Shmuel S. Tyszberowicz

According to our database, Shmuel S. Tyszberowicz authored at least 49 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method.

Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A lightweight approach for sound call graph approximation.

Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Log2MS: a framework for automated refactoring monolith into microservices using execution logs.

Bo Liu, Jingliu Xiong, Qiurong Ren, Shmuel S. Tyszberowicz, Zheng Yang

Proceedings of the IEEE International Conference on Web Services, 2022

2021

Verifying Time Complexity of Binary Search using Dafny.

Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

NoCFG: A Lightweight Approach for Sound Call Graph Approximation.

Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz

CoRR, 2021

Runtime Verification of Generalized Test Tables.

Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.

Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Emergence in cyber-physical systems: potential and risk.

Shmuel S. Tyszberowicz, David Faitelson

Frontiers Inf. Technol. Electron. Eng., 2020

2019

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.

Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

Verification-based test case generation for information-flow properties.

Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.

Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Identifying Microservices Using Functional Decomposition.

Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017

A novel model-based testing approach for software product lines.

Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz

Softw. Syst. Model., 2017

Improving design decomposition (extended version).

David Faitelson, Shmuel S. Tyszberowicz

Formal Aspects Comput., 2017

Efficient method extraction for automatic elimination of type-3 clones.

Ran Ettinger, Shmuel S. Tyszberowicz, Shay Menaia

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Computing Exact Loop Bounds for Bounded Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Functional Decomposition for Software Architecture Evolution.

David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz

Proceedings of the Model-Driven Engineering and Software Development, 2017

Supporting Software Architecture Evolution by Functional Decomposition.

David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

UML diagram refinement (focusing on class- and use case diagrams).

David Faitelson, Shmuel S. Tyszberowicz

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Duplication for the Removal of Duplication.

Ran Ettinger, Shmuel S. Tyszberowicz

Proceedings of the 10th International Workshop on Software Clones, 2016

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Specifying linked data structures in JML for combining formal verification and testing.

Christoph Gladisch, Shmuel S. Tyszberowicz

Sci. Comput. Program., 2015

Improving Design Decomposition.

David Faitelson, Shmuel S. Tyszberowicz

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Deverywhere: Develop Software Everywhere.

Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Behavior-preserving abstraction of ESTEREL programs.

Nir Koblenc, Shmuel S. Tyszberowicz

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Generating JML Specifications from Alloy Expressions.

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking.

Christoph Gladisch, Shmuel S. Tyszberowicz

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Refinement-based testing of delta-oriented product lines.

Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Projective Template-Based Code Generation.

Zeev Chared, Shmuel S. Tyszberowicz

Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

2012

Granulated Code Generation of Interfering Functionalities.

Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2011

Data refinement based testing.

David Faitelson, Shmuel S. Tyszberowicz

Int. J. Syst. Assur. Eng. Manag., 2011

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.

Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai

Int. J. Syst. Assur. Eng. Manag., 2011

2010

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.

Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai

Proceedings of the Tests and Proofs - 4th International Conference, 2010

2009

GenUTest: a unit test and mock aspect generation tool.

Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai

Int. J. Softw. Tools Technol. Transf., 2009

2008

Developing Law-Governed Systems Using Aspects.

Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky

J. Object Technol., 2008

2007

AspectJTamer: The Controlled Weaving of Independently Developed Aspects.

Constantin Serban, Shmuel S. Tyszberowicz

Proceedings of the IEEE International Conference on Software-Science, 2007

Refactoring Aspects into Java Code.

M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the IEEE International Conference on Software-Science, 2007

Derived Requirements Generation: The DRAS Methodology.

David Bar-On, Shmuel S. Tyszberowicz

Proceedings of the IEEE International Conference on Software-Science, 2007

The EasyCRC Tool.

Assaf Raman, Shmuel S. Tyszberowicz

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Locating Regression Bugs.

Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the Hardware and Software: Verification and Testing, 2007

Refactoring with Contracts.

Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

Jose: Aspects for Design by Contract80-89.

Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Enforcing Interaction Properties in AOSD-Enabled Systems.

Constantin Serban, Shmuel S. Tyszberowicz

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2003

Reactive and Real-Time Systems Course: How to Get the Most Out of it.

Tal Lev-Ami, Shmuel S. Tyszberowicz

Real Time Syst., 2003

Behavioral Consistency Validation of UML Diagrams.

Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

1998

How to Implement a Safe Real-Time System: The OBSERV Implementation of the Production Cell Case Study.

Shmuel S. Tyszberowicz

Real Time Syst., 1998

1992

OBSERV - A Prototyping Language and Environment.

Shmuel S. Tyszberowicz, Amiram Yehudai

ACM Trans. Softw. Eng. Methodol., 1992

1991

Specification of user-interfaces using CRUISE/OBSERV.

Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991