BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Japan
1 × Singapore
1 × South Africa
1 × Spain
1 × Sweden
1 × United Kingdom
2 × France
2 × Ireland
2 × USA
Collaborated with:
∅ G.Rosu H.Barringer M.H.Smith D.Bjørner E.Bodden C.Artho D.Giannakopoulou N.Shankar K.G.Larsen A.Groce J.Penix P.Alexander A.Goldberg K.Sen W.Visser G.P.Brat S.Park M.Nielsen K.R.Wagner C.George Y.Falcone G.Reger D.E.Rydeheard
Talks about:
program (4) verif (4) softwar (3) monitor (3) runtim (3) properti (2) automata (2) analysi (2) specif (2) requir (2)

♂ Person: Klaus Havelund

DBLP DBLP: Havelund:Klaus

Facilitated 3 volumes:

TACAS 2014Ed
SLE 2008PrCo
FATES/RV 2006Ed

Contributed to:

FM 20142014
FM 20122012
ICTSS 20122012
FM 20112011
ICSE 20102010
ISSTA 20082008
RE 20082008
TestCom/FATES 20082008
VMCAI 20042004
TACAS 20022002
ASE 20012001
ASE 20002000
ASE 19971997
FME 19961996
ICALP 19931993
VDM Europe 19881988

Wrote 18 papers:

FM-2014-BjornerH #formal method #question
40 Years of Formal Methods — Some Obstacles and Some Possibilities? (DB, KH), pp. 42–61.
FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
ICTSS-2012-Havelund #analysis
Requirements-Driven Log Analysis (KH), pp. 1–4.
FM-2011-BarringerH #analysis #domain-specific language #named #scala
TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.
ICSE-2010-GroceHS #evolution #specification #testing
From scripts to specifications: the evolution of a flight software testing effort (AG, KH, MHS), pp. 129–138.
ISSTA-2008-BoddenH #aspectj #concurrent #detection #effectiveness #named #using
Racer: effective race detection using aspectj (EB, KH), pp. 155–166.
RE-2008-SmithH #requirements
Requirements Capture with RCAT (MHS, KH), pp. 183–192.
TestCom-FATES-2008-Havelund #c #runtime #source code #verification
Runtime Verification of C Programs (KH), pp. 7–22.
VMCAI-2004-ArthoH
Applying Jlint to Space Exploration Software (CA, KH), pp. 297–308.
VMCAI-2004-BarringerGHS #rule-based #runtime #verification
Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
TACAS-2002-HavelundR #monitoring #safety
Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.
ASE-2001-GiannakopoulouH #source code #verification
Automata-Based Verification of Temporal Properties on Running Programs (DG, KH), pp. 412–416.
ASE-2001-HavelundR #monitoring #source code #using
Monitoring Programs Using Rewriting (KH, GR), pp. 135–143.
ASE-2000-VisserHBP #model checking #source code
Model Checking Programs (WV, KH, GPB, SP), pp. 3–12.
ASE-1997-PenixAH #architecture #declarative #specification
Declarative Specification of Software Architectures (JP, PA, KH), p. 201–?.
FME-1996-HavelundS #model checking #protocol #proving #theorem proving #verification
Experiments in Theorem Proving and Model Checking for Protocol Verification (KH, NS), pp. 662–681.
ICALP-1993-HavelundL #calculus
The Fork Calculus (KH, KGL), pp. 544–557.
VDME-1988-NielsenHWG #tool support
The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.