Shmuel S. Tyszberowicz

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 26

Top Topics

Formal Verification

Software Architecture

Top Venues

Publications

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