Klaus Havelund

引用先

	すべて	2020 年以来
引用	14099	2427
h 指標	54	27
i10 指標	122	58

780

390

195

585

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202536 42 62 89 128 170 322 393 516 663 529 646 561 591 693 696 744 657 679 612 599 566 768 572 450 583 453 490 430 20

オープンアクセス

すべて表示

24 件の論文

1 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Grigore RosuUniversity of Illinois at Urbana Champaign確認したメールアドレス: illinois.edu
Willem VisserComputer Science Division, Stellenbosch University確認したメールアドレス: cs.sun.ac.za
Giles RegerAmazon and University of Manchester確認したメールアドレス: manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, Berkeley確認したメールアドレス: cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona University確認したメールアドレス: nau.edu
Kim G. LarsenDirector, Professor Aalborg University確認したメールアドレス: cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAG確認したメールアドレス: univ-grenoble-alpes.fr
Rich WashingtonGoogle確認したメールアドレス: google.com
Natarajan ShankarSRI International Computer Science Laboratory確認したメールアドレス: csl.sri.com
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメールアドレス: cispa.de
Gerard HolzmannNimble Research確認したメールアドレス: nimbleresearch.com
Armin BiereProfessor of Computer Science, University of Freiburg確認したメールアドレス: informatik.uni-freiburg.de
Radu GrosuProfessor of Computer Science確認したメールアドレス: tuwien.ac.at
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de Louvain確認したメールアドレス: uclouvain.be
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM確認したメールアドレス: uni-paderborn.de
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of Denmark確認したメールアドレス: dtu.dk
Ezio BartocciFaculty of Informatics, TU Wien確認したメールアドレス: tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook University確認したメールアドレス: cs.sunysb.edu
Gordon J. PaceDepartment of Computer Science, University of Malta確認したメールアドレス: um.edu.mt
Oleg SokolskyUniversity of Pennsylvania確認したメールアドレス: cis.upenn.edu

フォロー

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

確認したメールアドレス: jpl.nasa.gov - ホームページ

formal methods program verification runtime verification specification languages programming languages


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10, 203-232, 2003	2041	2003
Model checking java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2, 366-381, 2000	1173	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	550	2004
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	501	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	318	2001
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 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	289	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	289	2001
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	269	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	267	1997
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	265	2003
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	263*	1992
Using runtime analysis to guide model checking of Java programs K Havelund SPIN Model Checking and Software Verification: 7th International SPIN …, 2000	261	2000
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	254	2005
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	249	2013
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	242	1996
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	236	2004
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	228*	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	213	2008

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者