Gerard J. Holzmann
发表
Gerard J. Holzmann,
Mani Chandy,
Mihai Florian,
2014
.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
1999,
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Gerard J. Holzmann,
Margaret H. Smith,
1999
.
Gerard J. Holzmann,
G. Holzmann,
1996,
CSUR.
Gerard J. Holzmann,
Doron A. Peled,
Margaret H. Redberg,
1997,
Bell Labs Technical Journal.
Gerard J. Holzmann,
G. Holzmann,
1997,
Comput. Commun..
Gerard J. Holzmann,
G. Holzmann,
2002,
CAV.
Gerard J. Holzmann,
G. Holzmann,
1987,
IEEE Transactions on Software Engineering.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
1999,
FORTE.
Gerard J. Holzmann,
2018,
Handbook of Model Checking.
Gerard J. Holzmann,
2002
.
Kousha Etessami,
Gerard J. Holzmann,
K. Etessami,
2000,
CONCUR.
Gerard J. Holzmann,
Ioannis Filippidis,
2014,
SPIN.
Gerard J. Holzmann,
G. Holzmann,
1988
.
Richard M. Murray,
Gerard J. Holzmann,
Ioannis Filippidis,
2016,
SYNT.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
SPIN.
Gerard J. Holzmann,
G. Holzmann,
2017,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
2012,
SPIN.
Gerard J. Holzmann,
Rajeev Joshi,
2005,
VSTTE.
Gerard J. Holzmann,
Rajeev Joshi,
R. Joshi,
2007,
Formal Aspects of Computing.
Gerard J. Holzmann,
1995,
CONCUR.
Gerard J. Holzmann,
G. Holzmann,
1998,
FMSP '98.
Gerard J. Holzmann,
2018,
IEEE Software.
Gerard J. Holzmann,
Jean-Charles Grégoire,
Doron Peled,
1997
.
Gerard J. Holzmann,
G. Holzmann,
2015,
IEEE Softw..
Gerard J. Holzmann,
V. Natarajan,
1996,
The Spin Verification System.
Gerard J. Holzmann,
G. Holzmann,
2002,
SIGSOFT '02/FSE-10.
Gerard J. Holzmann,
1984,
Comput. Networks.
Gerard J. Holzmann,
G. Holzmann,
1982,
PSTV.
Gerard J. Holzmann,
2016,
IEEE Software.
Gerard J. Holzmann,
Yassine Lakhnech,
Michael Siegel,
1998,
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
Gerard J. Holzmann,
Klaus Havelund,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Gerard J. Holzmann,
Doron Peled,
Jean-Charles Gregorie,
1997
.
Gerard J. Holzmann,
Doron A. Peled,
D. Peled,
1996,
CAV.
Gerard J. Holzmann,
G. Holzmann,
1990
.
Gerard J. Holzmann,
2020,
IEEE Software.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2011,
IEEE Transactions on Software Engineering.
Gerard J. Holzmann,
G. Holzmann,
2002
.
Gerard J. Holzmann,
G. Holzmann,
2003,
FME.
Gerard J. Holzmann,
1993,
Softw. Pract. Exp..
Gerard J. Holzmann,
G. Holzmann,
2008,
ERCIM News.
Gerard J. Holzmann,
2019,
From Reactive Systems to Cyber-Physical Systems.
Gerard J. Holzmann,
2014,
IEEE Software.
Gerard J. Holzmann,
2017,
ASE.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
2000,
Bell Labs Technical Journal.
Gerard J. Holzmann,
Murray Hill,
Murray Hill,
2002
.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Gerard J. Holzmann,
Elie Najm,
Ahmed Serhrouchni,
2000,
International Journal on Software Tools for Technology Transfer.
Gerard J. Holzmann,
1982,
IEEE Transactions on Computers.
Gerard J. Holzmann,
G. Holzmann,
1994,
FORTE.
Gerard J. Holzmann,
Mihai Florian,
Edward B. Gamble,
2012,
Infotech@Aerospace.
Gerard J. Holzmann,
Klaus Havelund,
Rajeev Joshi,
2015,
Lecture Notes in Computer Science.
Gerard J. Holzmann,
Margaret H. Smith,
Benjamin D. Smith,
2004
.
Gerard J. Holzmann,
Rajeev Joshi,
Klaus Havelund,
2011,
NASA Formal Methods.
Rajeev Alur,
Gerard J. Holzmann,
Doron A. Peled,
1996,
TACAS.
Gerard J. Holzmann,
G. Holzmann,
2003
.
Richard M. Murray,
Gerard J. Holzmann,
Ioannis Filippidis,
2015
.
Gerard J. Holzmann,
G. Holzmann,
1996,
Softw. Concepts Tools.
Gerard J. Holzmann,
G. Holzmann,
Gerard J. Holzmann,
2006,
Computer.
Gerard J. Holzmann,
G. Holzmann,
2003
.
Gerard J. Holzmann,
2017,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
1988,
Softw. Pract. Exp..
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2007,
IEEE Transactions on Software Engineering.
Gerard J. Holzmann,
Björn Pehrson,
B. Pehrson,
1994
.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
2002,
IEEE Trans. Software Eng..
Gerard J. Holzmann,
Joanna Patti,
G. Holzmann,
1989,
PSTV.
Harry Rudin,
Gerard J. Holzmann,
Pamela Zave,
1996,
Comput. Networks ISDN Syst..
Gerard J. Holzmann,
G. Holzmann,
2000,
SPIN.
Gerard J. Holzmann,
2013,
SPIN.
Gerard J. Holzmann,
2016,
Innovations in Systems and Software Engineering.
Andrew E. Johnson,
Gerard J. Holzmann,
Tara Estlin,
2016
.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2005,
SPIN.
Gerard J. Holzmann,
2011,
TACAS.
Kousha Etessami,
Gerard J. Holzmann,
Margaret H. Smith,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.
Gerard J. Holzmann,
2013,
IEEE Software.
Gerard J. Holzmann,
2017,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
2010,
Innovations in Systems and Software Engineering.
Gerard J. Holzmann,
Patrice Godefroid,
Patrice Godefroid,
1993,
PSTV.
Gerard J. Holzmann,
G. Holzmann,
1987,
PSTV.
Gerard J. Holzmann,
1998,
CAV.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
25 Years of Model Checking.
Gerard J. Holzmann,
Theo C. Ruys,
2005,
SPIN.
Gerard J. Holzmann,
1990
.
Gerard J. Holzmann,
2016,
IEEE Software.
Gerard J. Holzmann,
Margaret H. Smith,
Benjamin D. Smith,
2005
.
Gerard J. Holzmann,
Doron A. Peled,
D. Peled,
1994,
FORTE.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
2022
.
Gerard J. Holzmann,
2021,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
2007,
Computer.
Gerard J. Holzmann,
2016,
VMCAI.
Gerard J. Holzmann,
John R. Callahan,
Steve M. Easterbrook,
1998,
Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.
Gerard J. Holzmann,
1995
.
Gerard J. Holzmann,
2020,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
2001,
PASTE '01.
Gerard J. Holzmann,
Ken Thompson,
Rob Pike,
1991
.
Gerard J. Holzmann,
G. Holzmann,
1999,
SPIN.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2007,
29th International Conference on Software Engineering (ICSE'07).
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997
.
Gerard J. Holzmann,
2018,
IEEE Software.
Rajeev Alur,
Gerard J. Holzmann,
Doron Peled,
1996,
Softw. Concepts Tools.
Gerard J. Holzmann,
G. Holzmann,
1993,
Comput. Networks ISDN Syst..
Gerard J. Holzmann,
G. Holzmann,
1994,
IFIP Congress.
Gerard J. Holzmann,
Venkat Natarajan,
1996
.
Gerard J. Holzmann,
1984,
PSTV.
Barry W. Boehm,
Gerard J. Holzmann,
2013,
ISSRE.
Mihalis Yannakakis,
Gerard J. Holzmann,
Doron A. Peled,
1996,
The Spin Verification System.
Gerard J. Holzmann,
2017,
SPIN.
Gerard J. Holzmann,
G. Holzmann,
1997,
IEEE Trans. Software Eng..
Gerard J. Holzmann,
G. Holzmann,
2007
.
Gerard J. Holzmann,
2015,
IEEE Software.
Gerard J. Holzmann,
1983
.
Gerard J. Holzmann,
G. Holzmann,
1990
.
Gerard J. Holzmann,
Joshi Rajeev,
2005
.
Gerard J. Holzmann,
2008,
Electron. Notes Theor. Comput. Sci..
Gerard J. Holzmann,
1987,
AT&T Technical Journal.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997
.
Gerard J. Holzmann,
Theo C. Ruys,
T. Ruys,
2004,
SPIN.
Gerard J. Holzmann,
Rob A. Beukers,
1983,
Protocol Specification, Testing, and Verification.
Gerard J. Holzmann,
G. Holzmann,
2014,
CACM.
Gerard J. Holzmann,
Dennis Dams,
William Hesse,
2002,
CAV.
Gerard J. Holzmann,
1990,
AT&T Technical Journal.
Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin,
1992,
PSTV.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997,
Partial Order Methods in Verification.
Gerard J. Holzmann,
Rajeev Joshi,
G. Holzmann,
2007,
Formal Aspects of Computing.
Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin,
1992,
Formal Methods Syst. Des..
Gerard J. Holzmann,
Rajeev Joshi,
R. Joshi,
2004,
SPIN.
Gerard J. Holzmann,
2016,
IEEE Software.
Gerard J. Holzmann,
2019,
IEEE Software.
Gerard J. Holzmann,
Edward B. Gamble,
Mark L. McKelvin,
2011,
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.
Gerard J. Holzmann,
G. Holzmann,
2001,
Proceedings Second International Conference on Application of Concurrency to System Design.
Gerard J. Holzmann,
G. Holzmann,
1992,
IEEE Software.
Alex Groce,
Gerard J. Holzmann,
Margaret H. Smith,
2008,
MoChArt.
Gerard J. Holzmann,
2016,
IEEE Software.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Gerard J. Holzmann,
G. Holzmann,
1995,
Formal Methods Syst. Des..
Gerard J. Holzmann,
2015,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
1991
.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
1998,
Bell Labs Technical Journal.
Gerard J. Holzmann,
1994,
IFIP Congress.
Gerard J. Holzmann,
2017,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
2012,
Springer London.
Gerard J. Holzmann,
2015,
IEEE Software.
Gerard J. Holzmann,
2019,
IEEE Software.
Gerard J. Holzmann,
2016,
IEEE Software.
Gerard J. Holzmann,
G. Holzmann,
1992,
Comput. Commun..
Gerard J. Holzmann,
2013,
Computer.
Gerard J. Holzmann,
G. Holzmann,
2005,
Adv. Comput..
Gerard J. Holzmann,
2017,
IEEE Software.
Gerard J. Holzmann,
2017,
IEEE Software.
Gerard J. Holzmann,
Orna Kupferman,
O. Kupferman,
1996,
The Spin Verification System.
Alex Groce,
Gerard J. Holzmann,
Klaus Havelund,
2014,
Annals of Mathematics and Artificial Intelligence.
Gerard J. Holzmann,
2015
.
Gerard J. Holzmann,
Mihai Florian,
2010,
Formal Aspects of Computing.
Gerard J. Holzmann,
G. Holzmann,
1995,
Protocol Specification, Testing and Verification.
Gerard J. Holzmann,
P. J. Pingree,
Erich Mikk,
2002,
Proceedings. The 21st Digital Avionics Systems Conference.
Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin,
1995,
Formal Methods Syst. Des..
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1996
.
Gerard J. Holzmann,
Anuj Puri,
1999,
International Journal on Software Tools for Technology Transfer.
Gerard J. Holzmann,
2016,
IEEE Software.
Gerard J. Holzmann,
2019,
IEEE Software.
Gerard J. Holzmann,
2015,
IEEE Software.
Gerard J. Holzmann,
2010,
FMOODS/FORTE.
Gerard J. Holzmann,
2018,
IEEE Software.
Gerard J. Holzmann,
2015,
IEEE Software.
Gerard J. Holzmann,
Stefan Leue,
G. Holzmann,
1999,
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
Gerard J. Holzmann,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Gerard J. Holzmann,
Scott A. Smolka,
Xiaoqun Du,
2022
.
Gerard J. Holzmann,
G. Holzmann,
2000,
Bell Labs Technical Journal.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
Automated Software Engineering.
Erez Zadok,
Gerard J. Holzmann,
Scott A. Smolka,
2021,
HotStorage.
Gerard J. Holzmann,
2021,
ESEC/SIGSOFT FSE.
Gerard J. Holzmann,
G. Holzmann,
2021,
Formal Methods in Outer Space.
Gerard J. Holzmann,
2021,
IEEE Software.