Shmuel S. Tyszberowicz

61 papers A* 1A 2B 6C 7Misc 6Journal 15Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Analyses as First-Class Citizens in Model-Driven Development. FASE Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert
2026	J	`jnl`	GraphRAG-ASCOC: A lightweight framework for adaptive synonym-aware clustering and ontology completion. Expert Syst. Appl. Duyun Wang, Shmuel S. Tyszberowicz, Peilin Han, Zhiming Liu, Mingyue Zhang, Bo Liu
2025	J	`jnl`	A Simple Trace Semantics for Asynchronous Sequence Diagrams. CoRR David Faitelson, Shmuel S. Tyszberowicz
2025	C	`conf`	Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach. APSEC Chenxi Lv, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2025	B	`conf`	Fair and Efficient Federated Learning Client Selection via Dynamic Contribution Evaluation. IJCNN Zhengnan Zhang, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2025	—	`conf`	GraphRAG-KM: An Automated Framework for Transforming Industrial Documents into Ontology and Conceptual Models. KSEM (2) Duyun Wang, Peilin Han, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu
2025	C	`conf`	Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy. APSEC Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2024	—	`conf`	DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL. Internetware Jie Hu, Yaozhong Zhang, Xiujuan Qin, Lvlun Wei, Fangwei Chen, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu
2024	—	`conf`	Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices. Internetware Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2024	J	`jnl`	The rCOS framework for multi-dimensional separation of concerns in model-driven engineering. J. Syst. Archit. Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu
2022	Misc	`conf`	A lightweight approach for sound call graph approximation. SAC Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz
2022	A	`conf`	Log2MS: a framework for automated refactoring monolith into microservices using execution logs. ICWS Bo Liu, Jingliu Xiong, Qiurong Ren, Shmuel S. Tyszberowicz, Zheng Yang
2022	B	`conf`	iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. SMC Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2021	J	`jnl`	NoCFG: A Lightweight Approach for Sound Call Graph Approximation. CoRR Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz
2021	—	`conf`	Runtime Verification of Generalized Test Tables. NFM Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
2021	—	`conf`	Verifying Time Complexity of Binary Search using Dafny. F-IDE@NFM Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz
2020	J	`jnl`	Emergence in cyber-physical systems: potential and risk. Frontiers Inf. Technol. Electron. Eng. Shmuel S. Tyszberowicz, David Faitelson
2020	—	`ch.`	Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 20 Years of KeY Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz
2019	—	`conf`	Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang
2019	Misc	`conf`	Verification-based test case generation for information-flow properties. SAC Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert
2018	Misc	`conf`	Identifying Microservices Using Functional Decomposition. SETTA Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu
2018	—	`conf`	Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert
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	Misc	`conf`	Computing Exact Loop Bounds for Bounded Program Verification. SETTA Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri
2017	A	`conf`	Efficient method extraction for automatic elimination of type-3 clones. SANER Ran Ettinger, Shmuel S. Tyszberowicz, Shay Menaia
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
2016	Misc	`conf`	Computing Specification-Sensitive Abstractions for Program Verification. SETTA Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
2016	—	`conf`	Duplication for the Removal of Duplication. IWSC Ran Ettinger, Shmuel S. Tyszberowicz
2015	C	`conf`	Behavior-preserving abstraction of ESTEREL programs. FedCSIS Nir Koblenc, Shmuel S. Tyszberowicz
2015	—	`conf`	Deverywhere: Develop Software Everywhere. MOBILESoft Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz
2015	Misc	`conf`	Improving Design Decomposition. SETTA David Faitelson, Shmuel S. Tyszberowicz
2015	J	`jnl`	Specifying linked data structures in JML for combining formal verification and testing. Sci. Comput. Program. Christoph Gladisch, Shmuel S. Tyszberowicz
2014	—	`conf`	Generating JML Specifications from Alloy Expressions. Haifa Verification Conference Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz
2014	—	`conf`	JKelloy: A Proof Assistant for Relational Specifications of Java Programs. NASA Formal Methods Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri
2013	—	`conf`	Projective Template-Based Code Generation. CAiSE Forum Zeev Chared, Shmuel S. Tyszberowicz
2013	—	`conf`	Refinement-based testing of delta-oriented product lines. PPPJ Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz
2013	—	`conf`	Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. SBMF Christoph Gladisch, Shmuel S. Tyszberowicz
2012	C	`conf`	Granulated Code Generation of Interfering Functionalities. FedCSIS Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai
2011	J	`jnl`	Data refinement based testing. Int. J. Syst. Assur. Eng. Manag. David Faitelson, Shmuel S. Tyszberowicz
2011	J	`jnl`	KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai
2010	—	`conf`	Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai
2009	J	`jnl`	GenUTest: a unit test and mock aspect generation tool. Int. J. Softw. Tools Technol. Transf. Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai
2008	J	`jnl`	Developing Law-Governed Systems Using Aspects. J. Object Technol. Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky
2007	—	`conf`	AspectJTamer: The Controlled Weaving of Independently Developed Aspects. SwSTE Constantin Serban, Shmuel S. Tyszberowicz
2007	—	`conf`	Derived Requirements Generation: The DRAS Methodology. SwSTE David Bar-On, Shmuel S. Tyszberowicz
2007	—	`conf`	GenUTest: A Unit Test and Mock Aspect Generation Tool. Haifa Verification Conference Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai
2007	—	`conf`	Locating Regression Bugs. Haifa Verification Conference Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai
2007	—	`conf`	Refactoring Aspects into Java Code. SwSTE M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai
2007	—	`conf`	Refactoring with Contracts. WRT Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz
2007	C	`conf`	The EasyCRC Tool. ICSEA Assaf Raman, Shmuel S. Tyszberowicz
2006	C	`conf`	Enforcing Interaction Properties in AOSD-Enabled Systems. ICSEA Constantin Serban, Shmuel S. Tyszberowicz
2006	B	`conf`	Jose: Aspects for Design by Contract80-89. SEFM Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz
2006	—	`conf`	Refactoring with Contracts. AGILE Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz
2003	B	`conf`	Behavioral Consistency Validation of UML Diagrams. SEFM Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai
2003	J	`jnl`	Reactive and Real-Time Systems Course: How to Get the Most Out of it. Real Time Syst. Tal Lev-Ami, Shmuel S. Tyszberowicz
1998	J	`jnl`	How to Implement a Safe Real-Time System: The OBSERV Implementation of the Production Cell Case Study. Real Time Syst. Shmuel S. Tyszberowicz
1992	J	`jnl`	OBSERV - A Prototyping Language and Environment. ACM Trans. Softw. Eng. Methodol. Shmuel S. Tyszberowicz, Amiram Yehudai
1991	B	`conf`	Specification of user-interfaces using CRUISE/OBSERV. COMPSAC Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai