Shmuel S. Tyszberowicz

Orcid: 0000-0003-4937-8138

Affiliations:
  • Afeka Tel Aviv Academic College of Engineering, Tel Aviv, Israel
  • Southwest University, RISE - Centre for Research and Innovation in Software Engineering, Chongqing, China


According to our database1, Shmuel S. Tyszberowicz authored at least 51 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

2022
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A lightweight approach for sound call graph approximation.
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.
Proceedings of the IEEE International Conference on Web Services, 2022

2021
Verifying Time Complexity of Binary Search using Dafny.
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

NoCFG: A Lightweight Approach for Sound Call Graph Approximation.
CoRR, 2021

Runtime Verification of Generalized Test Tables.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.
Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Emergence in cyber-physical systems: potential and risk.
Frontiers Inf. Technol. Electron. Eng., 2020

2019
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

Verification-based test case generation for information-flow properties.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

Identifying Microservices Using Functional Decomposition.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017
A novel model-based testing approach for software product lines.
Softw. Syst. Model., 2017

Improving design decomposition (extended version).
Formal Aspects Comput., 2017

Efficient method extraction for automatic elimination of type-3 clones.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Computing Exact Loop Bounds for Bounded Program Verification.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Functional Decomposition for Software Architecture Evolution.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Supporting Software Architecture Evolution by Functional Decomposition.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

UML diagram refinement (focusing on class- and use case diagrams).
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Duplication for the Removal of Duplication.
Proceedings of the 10th International Workshop on Software Clones, 2016

Computing Specification-Sensitive Abstractions for Program Verification.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015
Specifying linked data structures in JML for combining formal verification and testing.
Sci. Comput. Program., 2015

Improving Design Decomposition.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Deverywhere: Develop Software Everywhere.
Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Behavior-preserving abstraction of ESTEREL programs.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014
JKelloy: A Proof Assistant for Relational Specifications of Java Programs.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Generating JML Specifications from Alloy Expressions.
Proceedings of the Hardware and Software: Verification and Testing, 2014

2013
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Refinement-based testing of delta-oriented product lines.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Projective Template-Based Code Generation.
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.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2011
Data refinement based testing.
Int. J. Syst. Assur. Eng. Manag., 2011

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.
Int. J. Syst. Assur. Eng. Manag., 2011

2010
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.
Proceedings of the Tests and Proofs - 4th International Conference, 2010

2009
GenUTest: a unit test and mock aspect generation tool.
Int. J. Softw. Tools Technol. Transf., 2009

2008
Developing Law-Governed Systems Using Aspects.
J. Object Technol., 2008

2007
AspectJTamer: The Controlled Weaving of Independently Developed Aspects.
Proceedings of the IEEE International Conference on Software-Science, 2007

Refactoring Aspects into Java Code.
Proceedings of the IEEE International Conference on Software-Science, 2007

Derived Requirements Generation: The DRAS Methodology.
Proceedings of the IEEE International Conference on Software-Science, 2007

The EasyCRC Tool.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Locating Regression Bugs.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Refactoring with Contracts.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006
Jose: Aspects for Design by Contract80-89.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Enforcing Interaction Properties in AOSD-Enabled Systems.
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.
Real Time Syst., 2003

Behavioral Consistency Validation of UML Diagrams.
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.
Real Time Syst., 1998

1992
OBSERV - A Prototyping Language and Environment.
ACM Trans. Softw. Eng. Methodol., 1992

1991
Specification of user-interfaces using CRUISE/OBSERV.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991


  Loading...