Klaus Havelund

Citata da

	Tutte	Dal 2016
Citazioni	12069	3003
Indice H	50	30
i10-index	114	69

820

410

205

615

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202132 39 57 78 120 186 325 397 520 655 548 610 582 591 686 703 730 657 699 602 608 562 818 562 439 10

Coautori

Grigore RosuUniversity of Illinois at Urbana ChampaignEmail verificata su illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityEmail verificata su cs.sun.ac.za
Koushik SenProfessor of Computer Science, University of California, BerkeleyEmail verificata su cs.berkeley.edu
Giles RegerDepartment of Computer Science, University of ManchesterEmail verificata su manchester.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityEmail verificata su cs.aau.dk
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityEmail verificata su nau.edu
Yliès FalconeUniv. Grenoble Alpes, InriaEmail verificata su univ-grenoble-alpes.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail verificata su univ-grenoble-alpes.fr
Rich WashingtonGoogleEmail verificata su google.com
Radu GrosuProfessor of Computer ScienceEmail verificata su tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityEmail verificata su cs.sunysb.edu
Natarajan ShankarSRI International Computer Science LaboratoryEmail verificata su csl.sri.com
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainEmail verificata su uclouvain.be
Armin BiereJohannes Kepler University LinzEmail verificata su jku.at
Gerard HolzmannNimble ResearchEmail verificata su nimbleresearch.com
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMEmail verificata su uni-paderborn.de
Oleg SokolskyUniversity of PennsylvaniaEmail verificata su cis.upenn.edu
Marcelo d'AmorimFederal University of PernambucoEmail verificata su cin.ufpe.br
Ezio BartocciProfessor of Computer Science, TU WienEmail verificata su tuwien.ac.at
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityEmail verificata su cispa.saarland

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Email verificata su jpl.nasa.gov - Home page

formal methods program verification runtime verification specification languages programming languages


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1844	2003
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1844	2003
Model checking java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2 (4), 366-381, 2000	1020	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	453	2004
Synthesizing monitors for safety properties K Havelund, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2002	401	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	373	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	276	2001
Java PathFinder-second generation of a Java model checker G Brat, K Havelund, SJ Park, W Visser In Proceedings of the Workshop on Advances in Verification, 2000	254	2000
Java PathFinder-second generation of a Java model checker G Brat, K Havelund, SJ Park, W Visser In Proceedings of the Workshop on Advances in Verification, 2000	254	2000
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	253	2001
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24 (2), 189-215, 2004	248	2004
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	244	2003
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	243	2001
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	239	1997
Coexpression of Rat P2X2 and P2X6Subunits in Xenopus Oocytes BF King, A Townsend-Nicholson, SS Wildman, T Thomas, KM Spyer, ... Journal of Neuroscience 20 (13), 4871-4877, 2000	232*	2000
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	226	1996
Using runtime analysis to guide model checking of Java programs K Havelund International SPIN Workshop on Model Checking of Software, 245-264, 2000	225	2000
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004	214	2004
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	206	2005
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	204*	1992

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori