| 2026 | ENASE | A Simple Trace Semantics for Asynchronous Sequence Diagrams. | David Faitelson, Shmuel S. Tyszberowicz |
| 2026 | ENASE | Observable Consistency Checking across Requirements and Models. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2026 | FASE | Analyses as First-Class Citizens in Model-Driven Development. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2025 | APSEC | Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy. | Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2025 | APSEC | Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach. | Chenxi Lv, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2025 | IJCNN | Fair and Efficient Federated Learning Client Selection via Dynamic Contribution Evaluation. | Zhengnan Zhang, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2025 | KSEM | GraphRAG-KM: An Automated Framework for Transforming Industrial Documents into Ontology and Conceptual Models. | Duyun Wang, Peilin Han, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu |
| 2025 | SETTA | Modular Data Refinement. | David Faitelson, Leonid Shepetovsky, Shmuel S. Tyszberowicz |
| 2022 | ICWS | Log2MS: a framework for automated refactoring monolith into microservices using execution logs. | Bo Liu, Jingliu Xiong, Qiurong Ren, Shmuel S. Tyszberowicz, Zheng Yang |
| 2022 | SMC | iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. | Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2022 | SAC | A lightweight approach for sound call graph approximation. | Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz |
| 2019 | SAC | Verification-based test case generation for information-flow properties. | Mihai Herda, Shmuel S. Tyszberowicz, Joachim Mssig, Bernhard Beckert |
| 2018 | SETTA | Identifying Microservices Using Functional Decomposition. | Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu |
| 2018 | TAP | Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. | Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2017 | ICSE | UML diagram refinement (focusing on class- and use case diagrams). | David Faitelson, Shmuel S. Tyszberowicz |
| 2017 | MODELSWARD | Supporting Software Architecture Evolution by Functional Decomposition. | David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz |
| 2017 | MODELSWARD | Functional Decomposition for Software Architecture Evolution. | David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz |
| 2017 | SETTA | Computing Exact Loop Bounds for Bounded Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri |
| 2016 | SETTA | Computing Specification-Sensitive Abstractions for Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri |
| 2015 | FedCSIS | Behavior-preserving abstraction of ESTEREL programs. | Nir Koblenc, Shmuel S. Tyszberowicz |
| 2015 | ICSE | Deverywhere: Develop Software Everywhere. | Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz |
| 2015 | SETTA | Improving Design Decomposition. | David Faitelson, Shmuel S. Tyszberowicz |
| 2013 | CaiSE | Projective Template-Based Code Generation. | Zeev Chared, Shmuel S. Tyszberowicz |
| 2012 | FedCSIS | Granulated Code Generation of Interfering Functionalities. | Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai |
| 2010 | TAP | Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
| 2007 | ECOOP | Refactoring with Contracts. | Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz |
| 2007 | ICSEA | The EasyCRC Tool. | Assaf Raman, Shmuel S. Tyszberowicz |
| 2006 | ICSEA | Enforcing Interaction Properties in AOSD-Enabled Systems. | Constantin Serban, Shmuel S. Tyszberowicz |
| 2006 | SEFM | Jose: Aspects for Design by Contract80-89. | Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz |
| 2003 | SEFM | Behavioral Consistency Validation of UML Diagrams. | Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai |
| 1991 | COMPSAC | Specification of user-interfaces using CRUISE/OBSERV. | Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai |