| UML diagram refinement (focusing on class-and use case diagrams) D Faitelson, S Tyszberowicz 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 29 | 2017 |
| From predicates to programs: the semantics of a method language D Faitelson, J Welch, J Davies Electronic Notes in Theoretical Computer Science 184, 171-187, 2007 | 22 | 2007 |
| Automatic maintenance of association invariants J Welch, D Faitelson, J Davies Software & Systems Modeling 7, 287-301, 2008 | 17 | 2008 |
| Functional decomposition for software architecture evolution D Faitelson, R Heinrich, S Tyszberowicz Model-Driven Engineering and Software Development: 5th International …, 2018 | 15 | 2018 |
| Emergence in cyber-physical systems: Potential and risk S Tyszberowicz, D Faitelson Frontiers of Information Technology & Electronic Engineering 21 (11), 1554-1566, 2020 | 13 | 2020 |
| A novel model-based testing approach for software product lines F Damiani, D Faitelson, C Gladisch, S Tyszberowicz Software & Systems Modeling 16, 1223-1251, 2017 | 13 | 2017 |
| Domain-specific semantics and data refinement of object models J Davies, D Faitelson, J Welch Electronic Notes in Theoretical Computer Science 195, 151-170, 2008 | 12 | 2008 |
| Supporting software architecture evolution by functional decomposition D Faitelson, R Heinrich, S Tyszberowicz International Conference on Model-Driven Engineering and Software …, 2017 | 11 | 2017 |
| Improving design decomposition (extended version) D Faitelson, S Tyszberowicz Formal Aspects of Computing 29 (4), 601-627, 2017 | 6 | 2017 |
| Improving design decomposition D Faitelson, S Tyszberowicz Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015 | 6 | 2015 |
| Data refinement based testing D Faitelson, S Tyszberowicz International Journal of System Assurance Engineering and Management 2, 144-154, 2011 | 5 | 2011 |
| The common aspect proof environment S Katz, D Faitelson International Journal on Software Tools for Technology Transfer 14, 41-52, 2012 | 4 | 2012 |
| Program synthesis from domain specific object models D Faitelson University of Oxford, 2008 | 2 | 2008 |
| A Simple Trace Semantics for Asynchronous Sequence Diagrams D Faitelson, S Tyszberowicz arXiv preprint arXiv:2501.10981, 2025 | | 2025 |
| 信息物理融合系统中的突现: 潜力与风险 S Tyszberowicz, D Faitelson, AS Tyszberowicz, AD Faitelson Frontiers 21 (11), 1554-1566, 2020 | | 2020 |
| 信息物理融合系统中的突现: 潜力与风险 (英文) S TYSZBEROWICZ, D FAITELSON | | |
James WelchBig Data Institute, Oxford University在 cs.ox.ac.uk 的电子邮件经过验证
