David Faitelson

15 papers A* 1B 1C 1Misc 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Simple Trace Semantics for Asynchronous Sequence Diagrams.
CoRR
David Faitelson, Shmuel S. Tyszberowicz
2020 J jnl
Emergence in cyber-physical systems: potential and risk.
Frontiers Inf. Technol. Electron. Eng.
Shmuel S. Tyszberowicz, David Faitelson
2017 J jnl
A novel model-based testing approach for software product lines.
Softw. Syst. Model.
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz
2017 — conf
Functional Decomposition for Software Architecture Evolution.
MODELSWARD (Revised Selected Papers)
David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz
2017 J jnl
Improving design decomposition (extended version).
Formal Aspects Comput.
David Faitelson, Shmuel S. Tyszberowicz
2017 C conf
Supporting Software Architecture Evolution by Functional Decomposition.
MODELSWARD
David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz
2017 A* conf
UML diagram refinement (focusing on class- and use case diagrams).
ICSE
David Faitelson, Shmuel S. Tyszberowicz
2015 Misc conf
Improving Design Decomposition.
SETTA
David Faitelson, Shmuel S. Tyszberowicz
2012 J jnl
The common aspect proof environment.
Int. J. Softw. Tools Technol. Transf.
Shmuel Katz, David Faitelson
2011 J jnl
Data refinement based testing.
Int. J. Syst. Assur. Eng. Manag.
David Faitelson, Shmuel S. Tyszberowicz
2008 J jnl
Automatic maintenance of association invariants.
Softw. Syst. Model.
James Welch, David Faitelson, Jim Davies
2008 — —
Program synthesis from domain specific object models.
David Faitelson
2006 — conf
Domain-specific Semantics and Data Refinement of Object Models.
SBMF
Jim Davies, David Faitelson, James Welch
2005 B conf
Automatic Maintenance of Association Invariants.
SEFM
James Welch, David Faitelson, Jim Davies
2005 — conf
From Predicates to Programs: The Semantics of a Method Language.
SBMF
David Faitelson, James Welch, Jim Davies