|
58
|
Y. Liu, S. Tyszberowicz, Z. Liu and B. Liu.
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method, באוסף IEEE International Conference on Systems, Man, and Cybernetics (SMC), Prague. Accepted, עמודים 1770-1777, October 2022.
|
|
57
|
B. Liu, J. Xiong, Q. Ren, S. Tyszberowicz and Z. Yang.
Log2MS: a framework for automated refactoring monolith into microservices using execution logs, באוסף IEEE International Conference on Web Services (ICWS), Barcelona, Spain, עמודים 391–396, July 2022.
|
|
56
|
Shmuel Tyszberowicz Aharon Abadi Bar Makovitzki Ron Shemer.
A Lightweight Approach for Sound Call Graph Approximation, באוסף ACM/SIGAPP Symposium On Applied Computing (SAC), עמודים 1837-1844, April 2022.
|
|
55
|
Shiri Morshtein, Ran Ettinger and Shmuel S. Tyszberowicz.
Verifying Time Complexity of Binary Search using Dafny, באוסף Formal Integrated Development Environment (F-IDE), EPTCS, כרך 338, עמודים 68–81, 2021.
|
|
54
|
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz and Jonas Klamroth.
Runtime Verification of Generalized Test Tables, באוסף NASA Formal Methods -NFM, Lecture Notes in Computer Science, כרך 12673, עמודים 358–374, Springer, 2021.
|
|
53
|
Bernhard Beckert, Mihai Herda, Michael Kirsten and Shmuel Tyszberowicz.
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference, באוסף Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle and Mattias Ulbrich (עורכים), Deductive Software Verification: Future Perspectives, LNCS, כרך 12345 , עמודים 287–312, Springer, December 4, 2020.
|
|
52
|
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Mɒssig and Bernhard Beckert.
Verification-based test case generation for information-flow properties, באוסף Chih-Cheng Hung and George A. Papadopoulos (עורכים), Proceedings of the ACM/SIGAPP Symposium on Applied Computing (SAC), עמודים 2231–2238, ACM, 2019.
|
|
51
|
Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz and Tingting Zhang.
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling, באוסף Jonathan P. Bowen, Zhiming Liu and Zili Zhang (עורכים), Engineering Trustworthy Software Systems—International School (SETSS) Tutorial Lectures, Lecture Notes in Computer Science, כרך 12154, עמודים 159–219, Springer, 2019.
|
|
50
|
Mihai Herda, Shmuel S. Tyszberowicz and Bernhard Beckert.
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties, באוסף Catherine Dubois and Burkhart Wolff (עורכים), Tests and Proofs—International Conference TAP@STAF, Lecture Notes in Computer Science, כרך 10889, עמודים 83–102, Springer, 2018.
|
|
49
|
Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu and Zhiming Liu.
Identifying Microservices Using Functional Decomposition, באוסף Xinyu Feng, Markus Mɒller-Olm and Zijiang Yang (עורכים), Dependable Software Engineering. Theories, Tools, and Applications International Symposium, (SETTA), Lecture Notes in Computer Science, כרך 10998, עמודים 50–65, Springer, 2018.
|
|
48
|
Ran Ettinger, Shmuel S. Tyszberowicz and Shay Menaia.
Efficient method extraction for automatic elimination of type-3 clones, באוסף Martin Pinzger, Gabriele Bavota and Andrian Marcus (עורכים), IEEE International Conference on Software Analysis, Evolution and Reengineering, (SANER), עמודים 327–337, IEEE Computer Society, 2017.
|
|
47
|
David Faitelson, Robert Heinrich and Shmuel S. Tyszberowicz.
Supporting Software Architecture Evolution by Functional Decomposition, באוסף Luís Ferreira Pires, Slimane Hammoudi and Bran Selic (עורכים), International Conference on Model-Driven Engineering and Software Development (MODELSWARD), עמודים 435–442, SciTePress, 2017.
|
|
46
|
David Faitelson, Robert Heinrich and Shmuel S. Tyszberowicz.
Functional Decomposition for Software Architecture Evolution, באוסף Luís Ferreira Pires, Slimane Hammoudi and Bran Selic (עורכים), Model-Driven Engineering and Software Development (MODELSWARD) Revised Selected Papers, Communications in Computer and Information Science, כרך 880, עמודים 377–400, Springer, 2017.
|
|
45
|
David Faitelson and Shmuel S. Tyszberowicz.
UML diagram refinement (focusing on class- and use case diagrams), באוסף Sebastián Uchitel, Alessandro Orso and Martin P. Robillard (עורכים), Proceedings of the 39th International Conference on Software Engineering (ICSE), עמודים 735–745, IEEE / ACM, 2017.
|
|
44
|
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert and Mana Taghdiri.
Computing Exact Loop Bounds for Bounded Program Verification, באוסף Kim Guldstrand Larsen, Oleg Sokolsky and Ji Wang (עורכים), Dependable Software Engineering. Theories, Tools, and Applications International Symposium, (SETTA), Lecture Notes in Computer Science, כרך 10606, עמודים 147–163, Springer, 2017.
|
|
43
|
Ran Ettinger and Shmuel S. Tyszberowicz.
Duplication for the Removal of Duplication, באוסף International Workshop on Software Clones, IWSC@SANER, עמודים 53–59, IEEE Computer Society, 2016.
|
|
42
|
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl and Mana Taghdiri.
Computing Specification-Sensitive Abstractions for Program Verification, באוסף Martin FrȨnzle, Deepak Kapur and Naijun Zhan (עורכים), Dependable Software Engineering: Theories, Tools, and Applications International Symposium, (SETTA), Lecture Notes in Computer Science, כרך 9984, עמודים 101–117, 2016.
|
|
41
|
David Faitelson and Shmuel S. Tyszberowicz.
Improving Design Decomposition, באוסף Xuandong Li, Zhiming Liu and Wang Yi (עורכים), Dependable Software Engineering: Theories, Tools, and Applications International Symposium, (SETTA), Lecture Notes in Computer Science, כרך 9409, עמודים 185–200, Springer, 2015.
|
|
40
|
Yishai A. Feldman, Ari Gam, Alex Tilkin and Shmuel S. Tyszberowicz.
Deverywhere: Develop Software Everywhere, באוסף Aharon Abadi, Danny Dig and Yael Dubinsky (עורכים), ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft), עמודים 121–124, IEEE Computer Society, 2015.
|
|
39
|
Nir Koblenc and Shmuel S. Tyszberowicz.
Behavior-preserving abstraction of ESTEREL programs, באוסף Maria Ganzha, Leszek A. Maciaszek and Marcin Paprzycki (עורכים), Federated Conference on Computer Science and Information Systems (FedCSIS), Annals of Computer Science and Information Systems, כרך 5, עמודים 743–754, IEEE, 2015.
|
|
38
|
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz and Mana Taghdiri.
JKelloy: A Proof Assistant for Relational Specifications of Java Programs, באוסף Julia M. Badger and Kristin Yvonne Rozier (עורכים), NASA Formal Methods—International Symposium (NFM), Lecture Notes in Computer Science, כרך 8430, עמודים 173–187, Springer, 2014.
|
|
37
|
Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri and Shmuel S. Tyszberowicz.
Generating JML Specifications from Alloy Expressions, באוסף Eran Yahav (עורכים), Hardware and Software: Verification and Testing, International Haifa Verification Conference, (HVC), Lecture Notes in Computer Science, כרך 8855, עמודים 99–115, Springer, 2014.
|
|
36
|
Nir Koblenc and Shmuel S. Tyszberowicz.
Purification of Esterel Programs, באוסף Christiano Braga and Narciso Martí-Oliet (עורכים), Brazilian Symposium on Formal Methods (SBMF), עמודים 183–188, Springer, 2014.
|
|
35
|
Zeev Chared and Shmuel S. Tyszberowicz.
Projective Template-Based Code Generation, באוסף Rébecca Deneckère and Henderik Alex Proper (עורכים), International Conference on Advanced Information Systems Engineering (CAiSE), CEUR Workshop Proceedings, כרך 998, עמודים 81–87, CEUR-WS.org, 2013.
|
|
34
|
Ferruccio Damiani, Christoph Gladisch and Shmuel S. Tyszberowicz.
Refinement-based testing of delta-oriented product lines, באוסף Martin Plɒmicke and Walter Binder (עורכים), International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ), עמודים 135–140, ACM, 2013.
|
|
33
|
Christoph Gladisch and Shmuel S. Tyszberowicz.
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking, באוסף Juliano Iyoda and Leonardo Mendonça de Moura (עורכים), Formal Methods: Foundations and Applications—16th Brazilian Symposium (SBMF), Lecture Notes in Computer Science, כרך 8195, עמודים 99–114, Springer, 2013, Best paper.
|
|
32
|
Igor Gelfgat, Shmuel S. Tyszberowicz and Amiram Yehudai.
Granulated Code Generation of Interfering Functionalities, באוסף Maria Ganzha, Leszek A. Maciaszek and Marcin Paprzycki (עורכים), Federated Conference on Computer Science and Information Systems (FedCSIS), עמודים 1333–1340, 2012.
|
|
31
|
David Faitelson and Shmuel S. Tyszberowicz.
Data refinement based testing, באוסף Formal Verification Object-Oriented Systems (FoVeOOS), עמודים 160–175, Springer, 2010.
|
|
30
|
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert and Amiram Yehudai.
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay, באוסף Gordon Fraser and Angelo Gargantini (עורכים), Tests and Proofs—International Conference TAP@TOOLS, Lecture Notes in Computer Science, כרך 6143, עמודים 61–76, Springer, 2010.
|
|
29
|
David Bar-On and Shmuel S. Tyszberowicz.
Derived Requirements Generation, באוסף International Workshop on Aspects, Dependencies and Interactions (ADI, affiliated to ECOOP), עמודים 5–10, Springer, 2007.
|
|
28
|
David Bar-On and Shmuel S. Tyszberowicz.
Derived Requirements Generation: The DRAS Methodology, באוסף IEEE International Conference on Software-Science, Technology & Engineering (SwSTE), עמודים 116–126, IEEE Computer Society, 2007.
|
|
27
|
Yishai A. Feldman, Maayan Goldstein and Shmuel S. Tyszberowicz.
Refactoring with Contracts, באוסף Danny Dig (עורכים), Workshop on Refactoring Tools (WRT), עמודים 13–14, 2007.
|
|
26
|
M. Kleyman, Shmuel S. Tyszberowicz and Amiram Yehudai.
Refactoring Aspects into Java Code, באוסף IEEE International Conference on Software-Science, Technology & Engineering (SwSTE), עמודים 35–47, IEEE Computer Society, 2007.
|
|
25
|
Menachem Leuchter and Shmuel S. Tyszberowicz.
How to verify Verliog designs, באוסף Internation Conference Software Engineering Advanced ( ICSEA ), 2007.
|
|
24
|
Menachem Leuchter, Shmuel S. Tyszberowicz and Yishai A. Feldman.
Reusing Verilog Designs in the Synchronous Language Esterel, באוסף Proceedings of the International Multiconference on Computer Science and Information Technology, עמודים 871–881, 2007.
|
|
23
|
Dor Nir, Shmuel S. Tyszberowicz and Amiram Yehudai.
Locating Regression Bugs, באוסף Karen Yorav (עורכים), Hardware and Software: Verification and Testing, International Haifa Verification Conference, (HVC), Lecture Notes in Computer Science, כרך 4899, עמודים 218–234, Springer, 2007.
|
|
22
|
Benny Pasternak, Shmuel S. Tyszberowicz and Amiram Yehudai.
GenUTest: A Unit Test and Mock Aspect Generation Tool, באוסף Karen Yorav (עורכים), Hardware and Software: Verification and Testing, International Haifa Verification Conference, (HVC), Lecture Notes in Computer Science, כרך 4899, עמודים 252–266, Springer, 2007.
|
|
21
|
Assaf Raman and Shmuel S. Tyszberowicz.
The EasyCRC Tool, באוסף International Conference on Software Engineering Advances (ICSEA), עמודים 52, IEEE Computer Society, 2007.
|
|
20
|
Constantin Serban and Shmuel S. Tyszberowicz.
AspectJTamer: The Controlled Weaving of Independently Developed Aspects, באוסף IEEE International Conference on Software-Science, Technology & Engineering, (SwSTE), עמודים 57–65, IEEE Computer Society, 2007.
|
|
19
|
Shmuel S. Tyszberowicz.
The modular approach of a real-time course, באוסף Proceedings of the International Multiconference on Computer Science and Information Technology, עמודים 653–655, 2007.
|
|
18
|
Yishai A. Feldman, Ohad Barzilay and Shmuel S. Tyszberowicz.
Jose: Aspects for Design by Contract, באוסף Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM), עמודים 80–89, IEEE Computer Society, 2006.
|
|
17
|
Maayan Goldstein, Yishai A. Feldman and Shmuel S. Tyszberowicz.
Refactoring with Contracts, באוסף Joseph Chao, Mike Cohn, Frank Maurer, Helen Sharp and James Shore (עורכים), AGILE Conference, עמודים 53–64, IEEE Computer Society, 2006.
|
|
16
|
Constantin Serban and Shmuel S. Tyszberowicz.
Enforcing Interaction Properties in AOSD-Enabled Systems, באוסף International Conference on Software Engineering Advances (ICSEA), עמודים 8, IEEE Computer Society, 2006.
|
|
15
|
Alexander Nyßen, Shmuel S. Tyszberowicz and Thomas Weiler.
Are Aspects useful for Managing Variability in Software Product Lines? A Case Study, באוסף Aspects and software product lines : an early aspects workshop at (SPLC)), עמודים 80–89, IEEE Computer Society, 2005.
|
|
14
|
Shmuel S. Tyszberowicz.
Constraining Aspect Usage, באוסף Software engineering Properties for Languages and Aspect Technologies (SPLAT), in AOSD, עמודים 80–89, IEEE Computer Society, 2005.
|
|
13
|
Ohad Barzilay, Yishai A. Feldman, Shmuel S. Tyszberowicz and Amiram Yehudai.
Call and Execution Semantics in AspectJ, באוסף n C. Clifton Ralf LȨmmel and Gary T. Leavens (עורכים), Foundation Foundations of Aspect-Oriented Languages (FOAL), in AOSD, עמודים 80–89, IEEE Computer Society, 2004.
|
|
12
|
Boris Litvak, Shmuel S. Tyszberowicz and Amiram Yehudai.
Consistency Validation of UML Diagrams, באוסף Ragnhild Van Der Straeten amd Andreas Speck, Elke Pulvermüller, Matthias Clauß and Andreas Pleuss (עורכים), Correctness of Model-based Software Composition (CMC), In Association with ECOOP, עמודים 45–54, 2003.
|
|
11
|
Boris Litvak, Shmuel S. Tyszberowicz and Amiram Yehudai.
Behavioral Consistency Validation of UML Diagrams, באוסף International Conference on Software Engineering and Formal Methods (SEFM), עמודים 118–125, IEEE Computer Society, 2003.
|
|
10
|
Naomi Sapir, Shmuel S. Tyszberowicz and Amiram Yehudai.
Extending UML with Aspect Usage Constraints in the Analysis and Design Phases, באוסף Mohamed Kandé, Omar Aldawud, Grady Booch and Bill Harrison (עורכים), Workshop on Aspect-Oriented Modeling with UML, 2002.
|
|
9
|
Shmuel Tyszberowicz and Amiram Yehudai.
Developing Provably Correct Systems, באוסף 24th IFAC/IFIP Workshop on Real Time Programming WRTP, IFAC Proceedings Volumes, כרך 32, מספר 1, עמודים 183–187, May 1999.
|
|
8
|
Ran Lotenberg and Shmuel S. Tyszberowicz.
Student Projects in Reactive and Real-Time Systems Course, באוסף Real-Time Systems Education Workshop (RTEW), עמודים 61–66, IEEE, 1998.
|
|
7
|
Gilad Koren and Shmuel S. Tyszberowicz.
Graduate Course: Reactive and Real-Time Systems, באוסף Real-Time Systems Education Workshop (RTEW), עמודים 96–103, IEEE, 1997.
|
|
6
|
Reinhard Budde, Shmuel S. Tyszberowicz and Amiram Yehudai.
Using Prolog for the design and implementation of OBSERV — a prototyping methodology and environment, באוסף International Conference on the Practical Applications of Prolog (PAP'94), עמודים 111–122, IEEE, 1994.
|
|
5
|
Aviv Cohen, Shmuel S. Tyszberowicz and Amiram Yehudai.
OBSERV/CRUISE – A CASE environment for prototyping of complex systems, באוסף CASE Workshop, עמודים 77–122, IEEE, 1991.
|
|
4
|
Aviv Cohen, Shmuel S. Tyszberowicz and Amiram Yehudai.
Specification of user-interfaces using CRUISE/OBSERV, באוסף International Computer Software and Applications Conference (COMPSAC), עמודים 104–109, IEEE, 1991.
|
|
3
|
Aviv Cohen, Shmuel S. Tyszberowicz and Amiram Yehudai.
CRUISE-CReative User Interface for Software Engineering: An Overview, באוסף International Conference on Computer Systems and Software Engineering, עמודים 298–306, IEEE, 1990.
|
|
2
|
Shmuel S. Tyszberowicz and Amiram Yehudai.
OBSERV – A Prototyping Language and Environment Combining Object Oriented Approach, State Machines and Logic Programming, באוסף Hawaii International Conference on System Sciences, Vol. 2, עמודים 247–256, IEEE, 1990.
|
|
1
|
Shmuel S. Tyszberowicz and Amiram Yehudai.
OBSERV — Object-oriented Based Specification, Execution and Rapid Validation system, באוסף Israel Conference on Computer Systems and Software Engineering, עמודים 96–106, IEEE, 1988.
|
