David Faitelson

ORCID

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 7

Top Venues

SETTA

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

MODELSWARD

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Shmuel S. Tyszberowicz, David Faitelson
Emergence in cyber-physical systems: potential and risk. Frontiers Inf. Technol. Electron. Eng. 21 (11) (2020)
David Faitelson, Shmuel S. Tyszberowicz
Improving design decomposition (extended version). Formal Aspects Comput. 29 (4) (2017)
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16 (4) (2017)
David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz
Supporting Software Architecture Evolution by Functional Decomposition. MODELSWARD (2017)
David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz
Functional Decomposition for Software Architecture Evolution. MODELSWARD (Revised Selected Papers) (2017)
David Faitelson, Shmuel S. Tyszberowicz
UML diagram refinement (focusing on class- and use case diagrams). ICSE (2017)
David Faitelson, Shmuel S. Tyszberowicz
Improving Design Decomposition. SETTA (2015)
Shmuel Katz, David Faitelson
The common aspect proof environment. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
David Faitelson, Shmuel S. Tyszberowicz
Data refinement based testing. Int. J. Syst. Assur. Eng. Manag. 2 (2) (2011)
James Welch, David Faitelson, Jim Davies
Automatic maintenance of association invariants. Softw. Syst. Model. 7 (3) (2008)
Jim Davies, David Faitelson, James Welch
Domain-specific Semantics and Data Refinement of Object Models. Electron. Notes Theor. Comput. Sci. 195 (2008)
David Faitelson, James Welch, Jim Davies
From Predicates to Programs: The Semantics of a Method Language. Electron. Notes Theor. Comput. Sci. 184 (2007)
James Welch, David Faitelson, Jim Davies
Automatic Maintenance of Association Invariants. SEFM (2005)

David Faitelson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Faitelson