基本信息
浏览量:188
职业迁徙
个人简介
Awards
• The JPL Voyager award in recognition of research contributions, including publication
record, tool development, and conference organization. August 2017.
7
• The paper “Monitoring Programs using Rewriting”, authors: Klaus Havelund and
Grigore Rosu, published at ASE 2001, won the ASE 2016 Most Influential Paper
award (http://ase-conferences.org/Mip.html). This paper was one of our first
papers on runtime verification.
• The LogFire tool won the offline track of CRV-2015, the 2nd International Competition
on Runtime Verification (https://www.cost-arvi.eu/?page_id=664). Held in
connection with RV’15, The 15th International Conference on Runtime Verification,
September 22 - September 25, 2015 Vienna, Austria.
• The paper “Model Checking Programs”, authors: Willem Visser, Klaus Havelund,
Guillaume Brat, and SeungJoon Park, published at ASE 2000, won the ASE 2014
Most Influential Paper award (http://ase-conferences.org/Mip.html). This paper
represents the Java PathFinder project at the time, and the prospects of model
checking concrete programs rather than abstract models.
• The JPL Mariner award in recognition of significant and sustained efforts to establish
a new tool-based checking capability for a broad range of coding standards (C, C++,
and Java) at JPL. August 2011.
• Best paper award for the paper: “Runtime Verification with State Estimation”, Scott
D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A.
Smolka, and Erez Zadok. Presented at The 2nd International Conference on Runtime
Verification (RV 2011), San Francisco, California, USA, October 27-30, 2011.
• The JPL Ranger award for the development of a Java Coding Standard and its
implementation as an automated code checker. July 2010.
• The JPL Mariner award for the successful delivery of the LogScope tool for MSL
(Mars Science Laboratory). LogScope checks output log files against a formal specification
and reports violations. The tool was delivered to the FIT [testing] team to
support flight software testing. July 2009.
• Outstanding Technology Development Award for Java PathFinder (JPF), Federal
Laboratory Consortium (FLC, see: http://www.federallabs.org) Far West Region
Awards. July 2009.
• Royal Academy of Engineering Distinguished Visiting Fellowship at the University
of Manchester during December 2008-April 2009
研究兴趣
论文共 5 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFERno. 1 (2024): 33-47
Docteur De, L Universite Joseph Fourier, Specialite Informatique,Ylies Falcone,Howard Barringer,Ahmed Bouajjani, Liafa Universite De Paris,Jeanclaude Fernandez, Verimag Universite,Joseph Fourier Grenoble,Klaus Havelund, Thierry Jeron,
mag(2009)
引用23浏览0引用
23
0
Foundations of Aspect-Oriented Languages (2002)
引用59浏览0引用
59
0
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn