Klaus Havelund
发表
Rosemary Monahan,
Marieke Huisman,
Dilian Gurov,
2016,
ISoLA.
Grigore Rosu,
Klaus Havelund,
2004,
Formal Methods Syst. Des..
Cyrille Artho,
Klaus Havelund,
2004,
VMCAI.
Arne Skou,
Klaus Havelund,
Kim Guldstrand Larsen,
1997
.
Dimitra Giannakopoulou,
Klaus Havelund,
D. Giannakopoulou,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Klaus Havelund,
Rajeev Joshi,
2018,
ISoLA.
Dogan Ulus,
Klaus Havelund,
Doron Peled,
2020,
Formal Methods Syst. Des..
Robert E. Filman,
Klaus Havelund,
Daniel Clancy,
2002
.
Armin Biere,
Cyrille Artho,
Klaus Havelund,
2004,
ATVA.
Klaus Havelund,
Grigore Rosu,
G. Rosu,
2005,
Electron. Notes Theor. Comput. Sci..
Klaus Havelund,
Willem Visser,
John Penix,
2000,
Lecture Notes in Computer Science.
Howard Barringer,
David E. Rydeheard,
Klaus Havelund,
2007,
RV.
Alex Groce,
Howard Barringer,
Margaret H. Smith,
2010,
J. Aerosp. Comput. Inf. Commun..
Insup Lee,
Oleg Sokolsky,
Klaus Havelund,
2012,
International Journal on Software Tools for Technology Transfer.
Manfred Broy,
Bernhard Steffen,
Klaus Havelund,
2016,
ISoLA.
Radu Grosu,
Erez Zadok,
Scott A. Smolka,
2010
.
John Penix,
Klaus Havelund,
Perry Alexander,
1997,
Proceedings 12th IEEE International Conference Automated Software Engineering.
Howard Barringer,
David E. Rydeheard,
Klaus Havelund,
2012,
FM.
Klaus Havelund,
Grigore Rosu,
G. Rosu,
2005,
Formal Methods Syst. Des..
Koushik Sen,
Klaus Havelund,
Allen Goldberg,
2003
.
Klaus Havelund,
Rajeev Joshi,
Sean Kauffman,
2016,
RV.
Gerard J. Holzmann,
Klaus Havelund,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Klaus Havelund,
Seungjoon Park,
Willem Visser,
2004,
Automated Software Engineering.
Lina Khatib,
Nicola Muscettola,
Klaus Havelund,
2000,
FAABS.
Klaus Havelund,
Giles Reger,
K. Havelund,
2016,
ISoLA.
Dines Bjørner,
Klaus Havelund,
K. Havelund,
2014
.
Anne Elisabeth Haxthausen,
Klaus Havelund,
Chris George,
1992
.
Bernd Finkbeiner,
Grigore Rosu,
Oleg Sokolsky,
2007,
Runtime Verification.
Hakan Erdogmus,
Klaus Havelund,
2017,
SPIN.
Klaus Havelund,
K. Havelund,
2013,
RV.
Grigore Rosu,
Klaus Havelund,
K. Havelund,
2018,
RV.
Alex Groce,
Howard Barringer,
Klaus Havelund,
2009
.
Manfred Broy,
Klaus Havelund,
Rahul Kumar,
2016,
ISoLA.
Kim G. Larsen,
Arne Skou,
Klaus Havelund,
1997,
Proceedings Real-Time Systems Symposium.
Klaus Havelund,
K. Havelund,
2012,
ICTSS.
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2003
.
Klaus Havelund,
Giles Reger,
Daniel Thoma,
2018,
Lectures on Runtime Verification.
Klaus Havelund,
Rajeev Joshi,
K. Havelund,
2017,
SERENE.
Doron A. Peled,
Klaus Havelund,
K. Havelund,
2018,
RV.
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2004,
VMCAI.
Klaus Havelund,
Giles Reger,
K. Havelund,
2017,
Models, Algorithms, Logics and Tools.
Klaus Havelund,
Scott D. Stoller,
Shmuel Ur,
2007,
Concurr. Comput. Pract. Exp..
Klaus Havelund,
K. Havelund,
2008,
TestCom/FATES.
Klaus Havelund,
Thomas Pressburger,
K. Havelund,
2000,
International Journal on Software Tools for Technology Transfer.
Armin Biere,
Cyrille Artho,
Klaus Havelund,
2003,
Softw. Test. Verification Reliab..
Kim Guldstrand Larsen,
Arne Skou,
Klaus Havelund,
1997
.
Klaus Havelund,
2006,
FATES/RV.
Klaus Havelund,
K. Havelund,
2014,
HOWARD-60.
Radu Grosu,
Erez Zadok,
Scott A. Smolka,
2012,
Formal Methods Syst. Des..
Gerard J. Holzmann,
Klaus Havelund,
Rajeev Joshi,
2015,
Lecture Notes in Computer Science.
Jens Palsberg,
Rupak Majumdar,
Klaus Havelund,
2008
.
John Penix,
Klaus Havelund,
Charles Pecheur,
1999
.
Jens Palsberg,
Rupak Majumdar,
Klaus Havelund,
2008,
SPIN.
Erika Ábrahám,
Klaus Havelund,
E. Ábrahám,
2014,
Lecture Notes in Computer Science.
Howard Barringer,
Klaus Havelund,
K. Havelund,
2011,
FM.
Sebastian Fischmeister,
Klaus Havelund,
Rajeev Joshi,
2018,
Formal Methods Syst. Des..
Klaus Havelund,
K. Havelund,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Klaus Havelund,
Andrea Orlandini,
Saddek Bensalem,
2013,
International Journal on Software Tools for Technology Transfer.
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2003
.
Mogens Nielsen,
Klaus Havelund,
Chris George,
2005,
Formal Aspects of Computing.
Klaus Havelund,
Willem Visser,
2002,
International Journal on Software Tools for Technology Transfer.
Doron A. Peled,
Klaus Havelund,
K. Havelund,
2018,
SPIN.
Oleg Sokolsky,
Brian C. Williams,
Klaus Havelund,
2010,
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Klaus Havelund,
1999,
IPPS/SPDP Workshops.
Michel D. Ingham,
Klaus Havelund,
Matthew Bennett,
2010,
J. Aerosp. Comput. Inf. Commun..
Arne Skou,
Klaus Havelund,
Kim Guldstrand Larsen,
1999,
ARTS.
Grigore Rosu,
Klaus Havelund,
K. Havelund,
2001,
RV@CAV.
Kim G. Larsen,
Klaus Havelund,
1993,
Nord. J. Comput..
Michael R. Lowry,
John Penix,
Klaus Havelund,
2001,
IEEE Trans. Software Eng..
Klaus Havelund,
Andrea Orlandini,
Saddek Bensalem,
2013
.
Grigore Rosu,
Klaus Havelund,
G. Rosu,
2004,
International Journal on Software Tools for Technology Transfer.
Klaus Havelund,
2012,
ISoLA.
Natarajan Shankar,
Klaus Havelund,
1997
.
Alex Groce,
Howard Barringer,
Margaret H. Smith,
2010,
FMA.
Towards a framework and a benchmark for testing tools for multi-threaded programs: Research Articles
Klaus Havelund,
Scott D. Stoller,
Shmuel Ur,
2007
.
Mogens Nielsen,
Klaus Havelund,
Chris George,
1988,
VDM Europe.
Klaus Havelund,
K. Havelund,
2011,
HOWARD-60.
Cyrille Artho,
Shinichi Honiden,
Klaus Havelund,
2007,
31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
Klaus Havelund,
Rajeev Joshi,
Sean Kauffman,
2016,
ISoLA.
John Penix,
Klaus Havelund,
Willem Visser,
2000
.
Grigore Rosu,
Klaus Havelund,
G. Rosu,
2002,
TACAS.
Klaus Havelund,
Saddek Bensalem,
K. Havelund,
2005,
Haifa Verification Conference.
Dogan Ulus,
Doron A. Peled,
Klaus Havelund,
2017,
Formal Methods in System Design.
Klaus Havelund,
Rajeev Joshi,
K. Havelund,
2017,
SAFECOMP Workshops.
Michael R. Lowry,
Cyrille Artho,
Grigore Rosu,
2003,
Abstract State Machines.
Marcelo d'Amorim,
Klaus Havelund,
2005,
ACM SIGSOFT Softw. Eng. Notes.
Klaus Havelund,
K. Havelund,
1999,
SPIN.
Ezio Bartocci,
Radu Grosu,
Erez Zadok,
2011,
RV.
Hakan Erdogmus,
Klaus Havelund,
2019,
International Journal on Software Tools for Technology Transfer.
Margaret H. Smith,
Klaus Havelund,
2008,
2008 16th IEEE International Requirements Engineering Conference.
Radu Grosu,
Erez Zadok,
Scott A. Smolka,
2010,
RV.
Klaus Havelund,
K. Havelund,
2015,
International Journal on Software Tools for Technology Transfer.
Eric Bodden,
Klaus Havelund,
2010,
IEEE Transactions on Software Engineering.
Doron A. Peled,
Klaus Havelund,
2018,
ISoLA.
Dines Bjørner,
Anne Elisabeth Haxthausen,
Klaus Havelund,
1992,
Future Gener. Comput. Syst..
Klaus Havelund,
K. Havelund,
2013,
SPIN.
Cyrille Artho,
Klaus Havelund,
Rahul Kumar,
2015,
ICFEM.
Michel D. Ingham,
Klaus Havelund,
Nhut Ho,
2020
.
Alex Groce,
Howard Barringer,
David E. Rydeheard,
2009,
RV.
John Penix,
Klaus Havelund,
Seungjoon Park,
2000
.
Grigore Rosu,
Klaus Havelund,
K. Havelund,
2004,
Formal Methods Syst. Des..
Klaus Havelund,
Giles Reger,
2015,
SyDe Summer School.
Arne Skou,
Klaus Havelund,
Kim Guldstrand Larsen,
1997
.
Howard Barringer,
Klaus Havelund,
2011,
RV.
Klaus Havelund,
Rajeev Joshi,
R. Joshi,
2014,
ICFEM.
Klaus Havelund,
Grigore Rosu,
G. Rosu,
2001,
Electron. Notes Theor. Comput. Sci..
Klaus Havelund,
Allen Goldberg,
2005,
VSTTE.
Volker Stolz,
Klaus Havelund,
Martin Leucker,
2017,
Dagstuhl Reports.
Klaus Havelund,
K. Havelund,
2014,
ISoLA.
David A. Wagner,
Michel D. Ingham,
Klaus Havelund,
2010
.
Grigore Rosu,
Klaus Havelund,
Usa Sammapun,
2015,
Lecture Notes in Computer Science.
Kim G. Larsen,
Arne Skou,
Klaus Havelund,
1999,
ARTS.
Oleg Sokolsky,
Brian C. Williams,
Klaus Havelund,
2010,
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Klaus Havelund,
Scott D. Stoller,
Shmuel Ur,
2003,
Proceedings International Parallel and Distributed Processing Symposium.
Klaus Havelund,
Saddek Bensalem,
Laurent Mounier,
2006,
PADTAD '06.
Eric Bodden,
Klaus Havelund,
K. Havelund,
2008,
ISSTA '08.
Klaus Havelund,
Grigore Rosu,
G. Rosu,
2002,
Electron. Notes Theor. Comput. Sci..
Natarajan Shankar,
Klaus Havelund,
N. Shankar,
1996,
FME.
Alex Groce,
Gerard J. Holzmann,
Margaret H. Smith,
2008,
MoChArt.
Dogan Ulus,
Doron A. Peled,
Klaus Havelund,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Klaus Havelund,
K. Havelund,
2011
.
Grigore Rosu,
Klaus Havelund,
K. Havelund,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Erik P. de Vink,
Jan Peleska,
Klaus Havelund,
2018,
Lecture Notes in Computer Science.
Michael R. Lowry,
John Penix,
Klaus Havelund,
1997,
ISMIS.
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Klaus Havelund,
Rajeev Joshi,
R. Joshi,
2014,
FTSCS.
Lina Khatib,
Nicola Muscettola,
Klaus Havelund,
2001,
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Alex Groce,
Margaret H. Smith,
Klaus Havelund,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Klaus Havelund,
Yliès Falcone,
Giles Reger,
2013,
Engineering Dependable Software Systems.
Michael R. Lowry,
Sarfraz Khurshid,
Koushik Sen,
2005,
Theor. Comput. Sci..
Kim G. Larsen,
Klaus Havelund,
K. Larsen,
1995,
PSTV.
Bernd Finkbeiner,
Insup Lee,
Gordon J. Pace,
2010
.
The Effect of AOP on Software Engineering, with Particular Attention to OIF and Event Quantification
Robert E. Filman,
Klaus Havelund,
David J. Korsmeyer,
2003
.
Alex Groce,
Gerard J. Holzmann,
Klaus Havelund,
2014,
Annals of Mathematics and Artificial Intelligence.
Michael R. Lowry,
Doron Drusinsky,
Corina S. Pasareanu,
2013,
Formal Methods Syst. Des..
Klaus Havelund,
Rahul Kumar,
Chris Delp,
2016,
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Robert E. Filman,
Klaus Havelund,
Daniel Clancy,
2002
.
Erika Ábrahám,
Klaus Havelund,
E. Ábrahám,
2016,
International Journal on Software Tools for Technology Transfer.
Dines Bjørner,
Klaus Havelund,
K. Havelund,
2014,
FM.
Klaus Havelund,
Jens Ulrik Skakkebæk,
1999,
SPIN.
Bernd Finkbeiner,
Grigore Rosu,
Oleg Sokolsky,
2007,
Runtime Verification.
Klaus Havelund,
Rahul Kumar,
K. Havelund,
2016,
LNCS Trans. Found. Mastering Chang..
Klaus Havelund,
Scott D. Stoller,
Shmuel Ur,
2005
.
Klaus Havelund,
Seungjoon Park,
Willem Visser,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
Klaus Havelund,
Giles Reger,
Grigore Roşu,
2019,
Computing and Software Science.
Grigore Rosu,
Robert E. Filman,
Klaus Havelund,
2002
.
Manfred Broy,
Bernhard Steffen,
Klaus Havelund,
2018,
ISoLA.
Klaus Havelund,
Allen Goldberg,
2005,
MSVVEIS.
Grigore Rosu,
Klaus Havelund,
K. Havelund,
2005,
Automated Software Engineering.
Ezio Bartocci,
Yi Zhang,
Felix Klaedtke,
2017,
International Journal on Software Tools for Technology Transfer.
Burkhart Wolff,
Grigore Rosu,
Manuel Núñez,
2007
.
Klaus Havelund,
Doron Peled,
K. Havelund,
2021,
International Journal on Software Tools for Technology Transfer.
Klaus Havelund,
Robert Bocchino,
K. Havelund,
2021,
ISoLA.
Klaus Havelund,
Doron Peled,
Moran Omer,
2021,
SEFM.
Sebastian Fischmeister,
Klaus Havelund,
Sean Kauffman,
2021,
Int. J. Softw. Tools Technol. Transf..
Klaus Havelund,
Bernhard Steffen,
B. Steffen,
2021,
ISoLA.
Dimitra Giannakopoulou,
Klaus Havelund,
Willem Visser,
2004
.
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2003
.
Klaus Havelund,
Johan Brichau,
Donald Cowan,
2002
.
Klaus Havelund,
Giles Reger,
K. Havelund,
2015
.