More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Shmuel S. Tyszberowicz

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/LiuTL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/LiuTL24
Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu:
The rCOS framework for multi-dimensional separation of concerns in model-driven engineering. J. Syst. Archit. 156: 103287 (2024)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/ChenLT0L24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/ChenLT0L24
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
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/HuZQWCTZL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/HuZQWCTZL24
Jie Hu, Yaozhong Zhang, Xiujuan Qin, Lvlun Wei, Fangwei Chen, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu:
DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL. Internetware 2024
2022
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/LiuXRTY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/LiuXRTY22
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: 391-396
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AbadiMST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AbadiMST22
Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz:
A lightweight approach for sound call graph approximation. SAC 2022: 1837-1844
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/LiuTLL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/LiuTLL22
Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu:
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. SMC 2022: 1778-1785
2021
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/WeiglUTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/WeiglUTK21
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth:
Runtime Verification of Generalized Test Tables. NFM 2021: 358-374
[c34]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02966
Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz:
Verifying Time Complexity of Binary Search using Dafny. F-IDE@NFM 2021: 68-81
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-03099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-03099
Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz:
NoCFG: A Lightweight Approach for Sound Call Graph Approximation. CoRR abs/2105.03099 (2021)
2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jzusc/TyszberowiczF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jzusc/TyszberowiczF20
Shmuel S. Tyszberowicz, David Faitelson:
Emergence in cyber-physical systems: potential and risk. Frontiers Inf. Technol. Electron. Eng. 21(11): 1554-1566 (2020)
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertHKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertHKT20
Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz:
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 20 Years of KeY 2020: 287-312

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HerdaTMB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HerdaTMB19
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert:
Verification-based test case generation for information-flow properties. SAC 2019: 2231-2238
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/LiuBLTZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/LiuBLTZ19
Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang:
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS 2019: 159-219
2018
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/TyszberowiczHLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/TyszberowiczHLL18
Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu:
Identifying Microservices Using Functional Decomposition. SETTA 2018: 50-65
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HerdaTB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HerdaTB18
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert:
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF 2018: 83-102
2017
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FaitelsonT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FaitelsonT17
David Faitelson, Shmuel S. Tyszberowicz:
Improving design decomposition (extended version). Formal Aspects Comput. 29(4): 601-627 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/DamianiFGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DamianiFGT17
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz:
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16(4): 1223-1251 (2017)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FaitelsonT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FaitelsonT17
David Faitelson, Shmuel S. Tyszberowicz:
UML diagram refinement (focusing on class- and use case diagrams). ICSE 2017: 735-745
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/FaitelsonHT17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/FaitelsonHT17a
David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz:
Functional Decomposition for Software Architecture Evolution. MODELSWARD (Revised Selected Papers) 2017: 377-400
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/FaitelsonHT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/FaitelsonHT17
David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz:
Supporting Software Architecture Evolution by Functional Decomposition. MODELSWARD 2017: 435-442
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuTBT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuTBT17
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri:
Computing Exact Loop Bounds for Bounded Program Verification. SETTA 2017: 147-163
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/EttingerTM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/EttingerTM17
Ran Ettinger, Shmuel S. Tyszberowicz, Shay Menaia:
Efficient method extraction for automatic elimination of type-3 clones. SANER 2017: 327-337
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuTHBGT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuTHBGT16
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri:
Computing Specification-Sensitive Abstractions for Program Verification. SETTA 2016: 101-117
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/EttingerT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/EttingerT16
Ran Ettinger, Shmuel S. Tyszberowicz:
Duplication for the Removal of Duplication. IWSC 2016: 53-59
2015
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GladischT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GladischT15
Christoph Gladisch, Shmuel S. Tyszberowicz:
Specifying linked data structures in JML for combining formal verification and testing. Sci. Comput. Program. 107-108: 19-40 (2015)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/KoblencT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/KoblencT15
Nir Koblenc, Shmuel S. Tyszberowicz:
Behavior-preserving abstraction of ESTEREL programs. FedCSIS 2015: 743-754
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FeldmanGTT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FeldmanGTT15
Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz:
Deverywhere: Develop Software Everywhere. MOBILESoft 2015: 121-124
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/FaitelsonT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/FaitelsonT15
David Faitelson, Shmuel S. Tyszberowicz:
Improving Design Decomposition. SETTA 2015: 185-200
2014
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/GrunwaldGLTT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/GrunwaldGLTT14
Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz:
Generating JML Specifications from Alloy Expressions. Haifa Verification Conference 2014: 99-115
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GhaziUGTT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GhaziUGTT14
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: 173-187
2013
[c17]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/CharedT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CharedT13
Zeev Chared, Shmuel S. Tyszberowicz:
Projective Template-Based Code Generation. CAiSE Forum 2013: 81-87
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/DamianiGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/DamianiGT13
Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz:
Refinement-based testing of delta-oriented product lines. PPPJ 2013: 135-140
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GladischT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GladischT13
Christoph Gladisch, Shmuel S. Tyszberowicz:
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. SBMF 2013: 99-114
2012
[c14]
- view
  - electronic edition @ fedcsis.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fedcsis/GelfgatTY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/GelfgatTY12
Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai:
Granulated Code Generation of Interfering Functionalities. FedCSIS 2012: 1333-1340
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/BeckertGTY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/BeckertGTY11
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): 97-113 (2011)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/FaitelsonT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/FaitelsonT11
David Faitelson, Shmuel S. Tyszberowicz:
Data refinement based testing. Int. J. Syst. Assur. Eng. Manag. 2(2): 144-154 (2011)
2010
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GladischTBY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GladischTBY10
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS 2010: 61-76

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PasternakTY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PasternakTY09
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
GenUTest: a unit test and mock aspect generation tool. Int. J. Softw. Tools Technol. Transf. 11(4): 273-290 (2009)
2008
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/SerbanTFM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/SerbanTFM08
Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky:
Developing Law-Governed Systems Using Aspects. J. Object Technol. 7(9): 25-46 (2008)
2007
[c12]
- view
  - electronic edition @ uiuc.edu
  - no references & citations available
- export record
  dblp key:
  - conf/ecoop/FeldmanGT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FeldmanGT07
Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz:
Refactoring with Contracts. WRT 2007: 13-14
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/NirTY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/NirTY07
Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai:
Locating Regression Bugs. Haifa Verification Conference 2007: 218-234
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/PasternakTY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/PasternakTY07
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
GenUTest: A Unit Test and Mock Aspect Generation Tool. Haifa Verification Conference 2007: 252-266
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/RamanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/RamanT07
Assaf Raman, Shmuel S. Tyszberowicz:
The EasyCRC Tool. ICSEA 2007: 52
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/swste/KleymanTY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swste/KleymanTY07
M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai:
Refactoring Aspects into Java Code. SwSTE 2007: 35-47
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/swste/SerbanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swste/SerbanT07
Constantin Serban, Shmuel S. Tyszberowicz:
AspectJTamer: The Controlled Weaving of Independently Developed Aspects. SwSTE 2007: 57-65
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/swste/Bar-OnT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swste/Bar-OnT07
David Bar-On, Shmuel S. Tyszberowicz:
Derived Requirements Generation: The DRAS Methodology. SwSTE 2007: 116-126
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/agiledc/GoldsteinFT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agiledc/GoldsteinFT06
Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz:
Refactoring with Contracts. AGILE 2006: 53-64
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/SerbanT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/SerbanT06
Constantin Serban, Shmuel S. Tyszberowicz:
Enforcing Interaction Properties in AOSD-Enabled Systems. ICSEA 2006: 8
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FeldmanBT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FeldmanBT06
Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz:
Jose: Aspects for Design by Contract80-89. SEFM 2006: 80-89
2003
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Lev-AmiT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Lev-AmiT03
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): 231-253 (2003)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LitvakTY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LitvakTY03
Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai:
Behavioral Consistency Validation of UML Diagrams. SEFM 2003: 118-125

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Tyszberowicz98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Tyszberowicz98
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): 61-90 (1998)
1992
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/TyszerowiczY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/TyszerowiczY92
Shmuel S. Tyszberowicz, Amiram Yehudai:
OBSERV - A Prototyping Language and Environment. ACM Trans. Softw. Eng. Methodol. 1(3): 269-309 (1992)
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/CohenTY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/CohenTY91
Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai:
Specification of user-interfaces using CRUISE/OBSERV. COMPSAC 1991: 104-109

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.