David Faitelson

According to our database, David Faitelson authored at least 14 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

A Simple Trace Semantics for Asynchronous Sequence Diagrams.

David Faitelson, Shmuel S. Tyszberowicz

CoRR, January, 2025

2020

Emergence in cyber-physical systems: potential and risk.

Shmuel S. Tyszberowicz, David Faitelson

Frontiers Inf. Technol. Electron. Eng., 2020

2017

A novel model-based testing approach for software product lines.

Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz

Softw. Syst. Model., 2017

Improving design decomposition (extended version).

David Faitelson, Shmuel S. Tyszberowicz

Formal Aspects Comput., 2017

Functional Decomposition for Software Architecture Evolution.

David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz

Proceedings of the Model-Driven Engineering and Software Development, 2017

Supporting Software Architecture Evolution by Functional Decomposition.

David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

UML diagram refinement (focusing on class- and use case diagrams).

David Faitelson, Shmuel S. Tyszberowicz

Proceedings of the 39th International Conference on Software Engineering, 2017

2015

Improving Design Decomposition.

David Faitelson, Shmuel S. Tyszberowicz

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2012

The common aspect proof environment.

Shmuel Katz, David Faitelson

Int. J. Softw. Tools Technol. Transf., 2012

2011

Data refinement based testing.

David Faitelson, Shmuel S. Tyszberowicz

Int. J. Syst. Assur. Eng. Manag., 2011

2008

Program synthesis from domain specific object models.

David Faitelson

PhD thesis, 2008

2006

Domain-specific Semantics and Data Refinement of Object Models.

Jim Davies, David Faitelson, James Welch

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

From Predicates to Programs: The Semantics of a Method Language.

David Faitelson, James Welch, Jim Davies

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Automatic Maintenance of Association Invariants.

James Welch, David Faitelson, Jim Davies

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005