S. Tyszberowicz
发表
Bo Liu,
Jingliu Xiong,
Qiurong Ren,
2022,
2022 IEEE International Conference on Web Services (ICWS).
A. Yehudai,
S. Tyszberowicz,
A. Cohen,
2007
.
Bo Liu,
Jonathan P. Bowen,
Shmuel S. Tyszberowicz,
2019,
SETSS.
Shmuel S. Tyszberowicz,
Nir Koblenc,
S. Tyszberowicz,
2015,
2015 Federated Conference on Computer Science and Information Systems (FedCSIS).
Y. A. Feldman,
M. Leuchter,
S. Tyszberowicz,
2009
.
Shmuel S. Tyszberowicz,
Tal Lev-Ami,
T. Lev-Ami,
2003,
Real-Time Systems.
Mattias Ulbrich,
Mana Taghdiri,
Shmuel S. Tyszberowicz,
2014,
NASA Formal Methods.
Amiram Yehudai,
Shmuel S. Tyszberowicz,
A. Yehudai,
1992,
TSEM.
Amiram Yehudai,
Shmuel S. Tyszberowicz,
A. Yehudai,
1988,
[1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
Bernhard Beckert,
Amiram Yehudai,
Shmuel S. Tyszberowicz,
2011,
Int. J. Syst. Assur. Eng. Manag..
Bernhard Beckert,
Amiram Yehudai,
Shmuel S. Tyszberowicz,
2010,
TAP@TOOLS.
Shmuel S. Tyszberowicz,
David Faitelson,
S. Tyszberowicz,
2017,
Formal Aspects of Computing.
Amiram Yehudai,
Shmuel S. Tyszberowicz,
Igor Gelfgat,
2012,
2012 Federated Conference on Computer Science and Information Systems (FedCSIS).
Amiram Yehudai,
Shmuel S. Tyszberowicz,
Benny Pasternak,
2007,
International Journal on Software Tools for Technology Transfer.
Constantin Serban,
Shmuel S. Tyszberowicz,
C. Serban,
2007,
IEEE International Conference on Software-Science, Technology & Engineering (SwSTE'07).
Ran Lotenberg,
Shmuel Tyszberowicz,
S. Tyszberowicz,
1998,
Proceedings Real-Time Systems Education III.
Robert Heinrich,
Bo Liu,
Shmuel S. Tyszberowicz,
2018,
SETTA.
Shmuel S. Tyszberowicz,
David Faitelson,
S. Tyszberowicz,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Ran Ettinger,
Shmuel Tyszberowicz,
Shiri Morshtein,
2021,
F-IDE@NFM.
Amiram Yehudai,
Shmuel S. Tyszberowicz,
M. Kleyman,
2007,
IEEE International Conference on Software-Science, Technology & Engineering (SwSTE'07).
Yishai A. Feldman,
Shmuel S. Tyszberowicz,
Maayan Goldstein,
2006,
AGILE 2006 (AGILE'06).
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2019,
SAC.
Shmuel S. Tyszberowicz,
Christoph Gladisch,
C. Gladisch,
2015,
Sci. Comput. Program..
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2018,
TAP@STAF.
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2020,
20 Years of KeY.
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method
S. Tyszberowicz,
Yu Liu,
Bo Liu,
2022,
IEEE International Conference on Systems, Man and Cybernetics.
Robert Heinrich,
Shmuel S. Tyszberowicz,
David Faitelson,
2017,
MODELSWARD.
Koren,
Shmuel,
TyszberowiczComputer,
1997
.
Shmuel S. Tyszberowicz,
Ferruccio Damiani,
David Faitelson,
2017,
Software & Systems Modeling.
Shmuel S. Tyszberowicz,
Zeev Chared,
S. Tyszberowicz,
2013,
CAiSE Forum.
Amiram Yehudai,
Shmuel S. Tyszberowicz,
Boris Litvak,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Amiram Yehudai,
Shmuel S. Tyszberowicz,
A. Yehudai,
1999
.
How to Implement a Safe Real-Time System:The OBSERV Implementation of the Production Cell Case Study
Shmuel S. Tyszberowicz,
S. Tyszberowicz,
1998,
Real-Time Systems.
Robert Heinrich,
Shmuel S. Tyszberowicz,
David Faitelson,
2017,
MODELSWARD.