Klaus Havelund

Sitert av

	Alle	Siden 2020
Sitater	14108	2410
h-indeks	54	26
i10-indeks	123	58

800

400

200

600

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202537 42 62 89 124 170 324 396 506 664 529 641 560 591 702 721 726 656 676 611 614 552 781 589 464 582 429 457 444 33

Offentlig tilgang

Vis alle

25 artikler

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Grigore RosuUniversity of Illinois at Urbana ChampaignVerifisert e-postadresse på illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerifisert e-postadresse på cs.sun.ac.za
Giles RegerAmazon (formerly University of Manchester, UK)Verifisert e-postadresse på manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerifisert e-postadresse på cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerifisert e-postadresse på nau.edu
Kim G. LarsenDirector, Professor Aalborg UniversityVerifisert e-postadresse på cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerifisert e-postadresse på univ-grenoble-alpes.fr
Rich WashingtonGoogleVerifisert e-postadresse på google.com
Natarajan ShankarSRI International Computer Science LaboratoryVerifisert e-postadresse på csl.sri.com
Radu GrosuProfessor of Computer ScienceVerifisert e-postadresse på tuwien.ac.at
Ezio BartocciFaculty of Informatics, TU WienVerifisert e-postadresse på tuwien.ac.at
Gerard HolzmannNimble ResearchVerifisert e-postadresse på nimbleresearch.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerifisert e-postadresse på cs.sunysb.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerifisert e-postadresse på informatik.uni-freiburg.de
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainVerifisert e-postadresse på uclouvain.be
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerifisert e-postadresse på dtu.dk
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerifisert e-postadresse på uni-paderborn.de
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerifisert e-postadresse på cispa.de
Oleg SokolskyUniversity of PennsylvaniaVerifisert e-postadresse på cis.upenn.edu
Gordon J. PaceDepartment of Computer Science, University of MaltaVerifisert e-postadresse på um.edu.mt

Følg

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Verifisert e-postadresse på jpl.nasa.gov - Startside

formal methods program verification runtime verification specification languages programming languages


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10, 203-232, 2003	2033	2003
Model checking java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2, 366-381, 2000	1175	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	553	2004
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	507	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	409	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	319	2001
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	294	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	290	2001
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24, 189-215, 2004	288	2004
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	271	2000
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	269	1997
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	267*	1992
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	263	2003
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	258	2005
Using runtime analysis to guide model checking of Java programs K Havelund International SPIN Workshop on Model Checking of Software, 245-264, 2000	258	2000
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	251	2013
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	240	1996
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004	238	2004
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	229*	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	217	2008

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere