Klaus Havelund

Citée par

	Toutes	Depuis 2019
Citations	13924	2838
indice h	54	29
indice i10	119	60

780

390

195

585

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202436 42 62 88 128 170 321 393 516 664 529 644 560 589 694 693 735 668 679 613 595 566 768 571 450 582 455 465 314

Accès public

Tout afficher

23 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Grigore RosuUniversity of Illinois at Urbana ChampaignAdresse e-mail validée de illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Giles RegerAmazon and University of ManchesterAdresse e-mail validée de manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresse e-mail validée de cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityAdresse e-mail validée de nau.edu
Kim G. LarsenDirector, Professor Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAGAdresse e-mail validée de univ-grenoble-alpes.fr
Rich WashingtonGoogleAdresse e-mail validée de google.com
Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
Gerard HolzmannNimble ResearchAdresse e-mail validée de nimbleresearch.com
Armin BiereProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
Radu GrosuProfessor of Computer ScienceAdresse e-mail validée de tuwien.ac.at
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainAdresse e-mail validée de uclouvain.be
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkAdresse e-mail validée de dtu.dk
Ezio BartocciFaculty of Informatics, TU WienAdresse e-mail validée de tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityAdresse e-mail validée de cs.sunysb.edu
Gordon J. PaceDepartment of Computer Science, University of MaltaAdresse e-mail validée de um.edu.mt
Oleg SokolskyUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMAdresse e-mail validée de uni-paderborn.de

Suivre

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Adresse e-mail validée de jpl.nasa.gov - Page d'accueil

formal methods program verification runtime verification specification languages programming languages


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10, 203-232, 2003	2030	2003
Model checking java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2, 366-381, 2000	1168	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	544	2004
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	492	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	406	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	315	2001
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24, 189-215, 2004	286	2004
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	286	2001
Formal analysis of a space-craft controller using SPIN K Havelund, M Lowry, J Penix IEEE Transactions on Software Engineering 27 (8), 749-765, 2001	284	2001
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	268	2000
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	265	2003
Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL K Havelund, A Skou, KG Larsen, K Lund Proceedings Real-Time Systems Symposium, 2-13, 1997	263	1997
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	261*	1992
Using runtime analysis to guide model checking of Java programs K Havelund SPIN Model Checking and Software Verification: 7th International SPIN …, 2000	259	2000
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	252	2005
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	241	1996
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	239	2013
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	233	2004
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	226*	1992
Rule Systems for Run-time Monitoring: from Eagle to RuleR H Barringer, D Rydeheard, K Havelund Journal of Logic and Computation 20 (3), 675-706, 2008	211	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs