Klaus Havelund

Citirano

	Sve	Od 2018.
Citati	11391	2868
H-indeks	52	31
i10-indeks	114	64

720

360

180

540

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202335 43 60 85 128 179 274 316 428 532 423 494 413 450 540 546 623 570 574 525 540 480 711 504 397 547 405 301

Javni pristup

Prikaži sve

21 članak

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Grigore RosuUniversity of Illinois at Urbana ChampaignPotvrđena adresa e-pošte na illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Giles RegerAmazon and University of ManchesterPotvrđena adresa e-pošte na manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyPotvrđena adresa e-pošte na cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityPotvrđena adresa e-pošte na nau.edu
Kim G. LarsenDirector, Professor Aalborg UniversityPotvrđena adresa e-pošte na cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAGPotvrđena adresa e-pošte na univ-grenoble-alpes.fr
Rich WashingtonGooglePotvrđena adresa e-pošte na google.com
Radu GrosuProfessor of Computer SciencePotvrđena adresa e-pošte na tuwien.ac.at
Natarajan ShankarSRI International Computer Science LaboratoryPotvrđena adresa e-pošte na csl.sri.com
Gerard HolzmannNimble ResearchPotvrđena adresa e-pošte na nimbleresearch.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityPotvrđena adresa e-pošte na cs.sunysb.edu
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainPotvrđena adresa e-pošte na uclouvain.be
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkPotvrđena adresa e-pošte na dtu.dk
Ezio BartocciFaculty of Informatics, TU WienPotvrđena adresa e-pošte na tuwien.ac.at
Oleg SokolskyUniversity of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Armin BiereProfessor of Computer Science, University of FreiburgPotvrđena adresa e-pošte na informatik.uni-freiburg.de
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityPotvrđena adresa e-pošte na cispa.de
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMPotvrđena adresa e-pošte na uni-paderborn.de
Gordon J. PaceDepartment of Computer Science, University of MaltaPotvrđena adresa e-pošte na um.edu.mt

Prati

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Potvrđena adresa e-pošte na jpl.nasa.gov - Početna stranica

formal methods program verification runtime verification specification languages programming languages


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Model checking java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2, 366-381, 2000	1150	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	523	2004
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	461	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	398	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	299	2001
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24, 189-215, 2004	278	2004
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	274	2001
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	273	2001
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	267	2000
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	267	2000
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	261	2003
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	259*	1992
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	254	1997
Using runtime analysis to guide model checking of Java programs K Havelund SPIN Model Checking and Software Verification: 7th International SPIN …, 2000	247	2000
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	241	2005
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	238	1996
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	225	2004
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	224*	1992
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	212	2013
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	206	2008

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori