From Predicates to Programs: The Semantics of a Method Language. - David Faitelson; James Welch; Jim Davies (SBMF, 2005)

Domain-specific Semantics and Data Refinement of Object Models. - Jim Davies; David Faitelson; James Welch (SBMF, 2006)

Automatic maintenance of association invariants. - James Welch; David Faitelson; Jim Davies (Softw. Syst. Model., 2008)

Program synthesis from domain specific object models. - David Faitelson (2008)

Data refinement based testing. - David Faitelson; Shmuel S. Tyszberowicz (Int. J. Syst. Assur. Eng. Manag., 2011)

The common aspect proof environment. - Shmuel Katz; David Faitelson (Int. J. Softw. Tools Technol. Transf., 2012)

Improving Design Decomposition. - David Faitelson; Shmuel S. Tyszberowicz (SETTA, 2015)

UML diagram refinement (focusing on class- and use case diagrams). - David Faitelson; Shmuel S. Tyszberowicz (ICSE, 2017)

Supporting Software Architecture Evolution by Functional Decomposition. - David Faitelson; Robert Heinrich; Shmuel S. Tyszberowicz (MODELSWARD, 2017)

Functional Decomposition for Software Architecture Evolution. - David Faitelson; Robert Heinrich; Shmuel S. Tyszberowicz (MODELSWARD (Revised Selected Papers), 2017)

Improving design decomposition (extended version). - David Faitelson; Shmuel S. Tyszberowicz (Formal Aspects Comput., 2017)

A novel model-based testing approach for software product lines. - Ferruccio Damiani; David Faitelson; Christoph Gladisch; Shmuel S. Tyszberowicz (Softw. Syst. Model., 2017)

Emergence in cyber-physical systems: potential and risk. - Shmuel S. Tyszberowicz; David Faitelson (Frontiers Inf. Technol. Electron. Eng., 2020)

A Simple Trace Semantics for Asynchronous Sequence Diagrams. - David Faitelson; Shmuel S. Tyszberowicz (CoRR, 2025)