G. Holzmann
发表
Kousha Etessami,
Gerard J. Holzmann,
K. Etessami,
2000,
CONCUR.
Gerard J. Holzmann,
G. Holzmann,
1997,
IEEE Trans. Software Eng..
R. Joshi,
G. Holzmann,
Alex Groce,
2008
.
R. Joshi,
K. Havelund,
G. Holzmann,
2008
.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2007,
29th International Conference on Software Engineering (ICSE'07).
Gerard J. Holzmann,
G. Holzmann,
2003
.
Gerard J. Holzmann,
G. Holzmann,
1987,
PSTV.
G. Holzmann,
2005
.
G. Holzmann,
1995
.
Gerard J. Holzmann,
G. Holzmann,
1995,
Protocol Specification, Testing and Verification.
R. Kurshan,
K. Fisler,
D. Peled,
2013
.
Gerard J. Holzmann,
Doron Peled,
Jean-Charles Gregorie,
1997
.
Richard M. Murray,
Gerard J. Holzmann,
Ioannis Filippidis,
2015
.
Gerard J. Holzmann,
G. Holzmann,
1996,
CSUR.
Gerard J. Holzmann,
G. Holzmann,
2021,
Formal Methods in Outer Space.
Rajeev Alur,
Gerard J. Holzmann,
Doron Peled,
1996,
Softw. Concepts Tools.
G. Holzmann,
2005
.
Steven F Knittel,
M. Yannakakis,
B. Kernighan,
1996
.
Gerard J. Holzmann,
Rajeev Joshi,
R. Joshi,
2007,
Formal Aspects of Computing.
Gerard J. Holzmann,
G. Holzmann,
2017,
IEEE Software.
Andrew E. Johnson,
Gerard J. Holzmann,
Tara Estlin,
2016
.
Gerard J. Holzmann,
G. Holzmann,
1990
.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997
.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997,
Partial Order Methods in Verification.
Gerard J. Holzmann,
G. Holzmann,
2008,
ERCIM News.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997
.
Gerard J. Holzmann,
Margaret H. Smith,
Benjamin D. Smith,
2004
.
Gerard J. Holzmann,
Rajeev Joshi,
Klaus Havelund,
2011,
NASA Formal Methods.
V. Pratt,
D. Peled,
G. Holzmann,
1997
.
Gerard J. Holzmann,
G. Holzmann,
2003
.
Gerard J. Holzmann,
Yassine Lakhnech,
Michael Siegel,
1998,
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
Gerard J. Holzmann,
Doron A. Peled,
D. Peled,
1996,
CAV.
Gerard J. Holzmann,
G. Holzmann,
1997,
Comput. Commun..
Gerard J. Holzmann,
G. Holzmann,
1991
.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Gerard J. Holzmann,
G. Holzmann,
2015,
IEEE Softw..
Gerard J. Holzmann,
Doron A. Peled,
D. Peled,
1994,
FORTE.
Gerard J. Holzmann,
G. Holzmann,
1996,
FTRTFT.
Rajeev Alur,
Gerard J. Holzmann,
Doron A. Peled,
1996,
TACAS.
Gerard J. Holzmann,
G. Holzmann,
1996,
Softw. Concepts Tools.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
2022
.
Gerard J. Holzmann,
G. Holzmann,
2005,
Adv. Comput..
Gerard J. Holzmann,
Scott A. Smolka,
Xiaoqun Du,
2022
.
Gerard J. Holzmann,
G. Holzmann,
2002
.
Gerard J. Holzmann,
G. Holzmann,
1999,
SPIN.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
1998,
Bell Labs Technical Journal.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2007,
IEEE Transactions on Software Engineering.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Gerard J. Holzmann,
G. Holzmann,
1993,
Comput. Networks ISDN Syst..
Gerard J. Holzmann,
G. Holzmann,
2007
.
Gerard J. Holzmann,
G. Holzmann,
1990
.
Gerard J. Holzmann,
G. Holzmann,
2002,
CAV.
Gerard J. Holzmann,
Murray Hill,
Murray Hill,
2002
.
Gerard J. Holzmann,
G. Holzmann,
Gerard J. Holzmann,
2006,
Computer.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2005,
SPIN.
Gerard J. Holzmann,
Theo C. Ruys,
T. Ruys,
2004,
SPIN.
G.J. Holzmann,
P.R. Gluck,
G. Holzmann,
2002,
Proceedings, IEEE Aerospace Conference.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
2000,
Bell Labs Technical Journal.
Gerard J. Holzmann,
Elie Najm,
Ahmed Serhrouchni,
2000,
International Journal on Software Tools for Technology Transfer.
Gerard J. Holzmann,
G. Holzmann,
2000,
Bell Labs Technical Journal.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
1999,
FORTE.
Gerard J. Holzmann,
Patrice Godefroid,
Patrice Godefroid,
1993,
PSTV.
Gerard J. Holzmann,
Mani Chandy,
Mihai Florian,
2014
.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
25 Years of Model Checking.
Ahmed Serhrouchni,
Gerard J. Holzmann,
E li Najm,
2000
.
Mihalis Yannakakis,
Gerard J. Holzmann,
Doron A. Peled,
1996,
The Spin Verification System.
Gerard J. Holzmann,
Orna Kupferman,
O. Kupferman,
1996,
The Spin Verification System.
Richard M. Murray,
Gerard J. Holzmann,
Ioannis Filippidis,
2016,
SYNT.
Gerard J. Holzmann,
Rajeev Joshi,
R. Joshi,
2004,
SPIN.
Gerard J. Holzmann,
G. Holzmann,
2003,
FME.
Gerard J. Holzmann,
G. Holzmann,
1988,
Softw. Pract. Exp..
Gerard J. Holzmann,
G. Holzmann,
2010,
Innovations in Systems and Software Engineering.
Gerard J. Holzmann,
G. Holzmann,
2002,
SIGSOFT '02/FSE-10.
Gerard J. Holzmann,
G. Holzmann,
2012,
SPIN.
G. J. Holzmann,
G. Holzmann,
1979
.
Gerard J. Holzmann,
G. Holzmann,
1992,
IEEE Software.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2011,
IEEE Transactions on Software Engineering.
Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin,
1992,
Formal Methods Syst. Des..
Gerard J. Holzmann,
G. Holzmann,
2000,
SPIN.
Gerard J. Holzmann,
Björn Pehrson,
B. Pehrson,
1994
.
Gerard J. Holzmann,
G. Holzmann,
2007,
Computer.
Gerard J. Holzmann,
G. Holzmann,
2001,
Proceedings Second International Conference on Application of Concurrency to System Design.
G. Holzmann,
2018,
Software Technology: 10 Years of Innovation in IEEE Computer.
Gerard J. Holzmann,
Margaret H. Smith,
G. Holzmann,
2002,
IEEE Trans. Software Eng..
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,
G. Holzmann,
1987,
IEEE Transactions on Software Engineering.
G. J. Holzmann,
G. Holzmann,
1985,
AT&T Technical Journal.
Gerard J. Holzmann,
John R. Callahan,
Steve M. Easterbrook,
1998,
Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.
Gerard J. Holzmann,
G. Holzmann,
2012,
Springer London.
G. Holzmann,
Margaret H. Smith,
1999,
FORTE.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
Automated Software Engineering.
G. Holzmann,
Margaret H. Smith,
2001,
Softw. Test. Verification Reliab..
Gerard J. Holzmann,
G. Holzmann,
1998,
FMSP '98.
Gerard J. Holzmann,
G. Holzmann,
1995,
Formal Methods Syst. Des..
Gerard J. Holzmann,
Rajeev Joshi,
G. Holzmann,
2007,
Formal Aspects of Computing.
G. Holzmann,
2000
.
Gerard J. Holzmann,
G. Holzmann,
2001,
PASTE '01.
Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin,
1992,
PSTV.
Gerard J. Holzmann,
G. Holzmann,
1994,
FORTE.
Gerard J. Holzmann,
G. Holzmann,
1994,
IFIP Congress.
R. Alur,
D. Peled,
G. Holzmann,
1996,
Softw. Concepts Tools.
Gerard J. Holzmann,
G. Holzmann,
1988
.
Gerard J. Holzmann,
G. Holzmann,
1992,
Comput. Commun..
Gerard J. Holzmann,
Joanna Patti,
G. Holzmann,
1989,
PSTV.
Gerard J. Holzmann,
Doron A. Peled,
Margaret H. Redberg,
1997,
Bell Labs Technical Journal.
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).
Kousha Etessami,
Gerard J. Holzmann,
Margaret H. Smith,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.
G. Holzmann,
Margaret H. Smith,
2001,
Softw. Test. Verification Reliab..
Alex Groce,
Gerard J. Holzmann,
Klaus Havelund,
2014,
Annals of Mathematics and Artificial Intelligence.
Gerard J. Holzmann,
G. Holzmann,
1982,
PSTV.
Gerard J. Holzmann,
G. Holzmann,
2016,
IEEE Software.