BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
2 × Germany
2 × Italy
3 × Canada
6 × USA
Collaborated with:
M.H.Smith D.Peled R.Joshi A.Groce D.Dams W.Hesse K.Etessami R.Alur P.Godefroid D.Pirottin F.Schneider S.M.Easterbrook J.R.Callahan
Talks about:
softwar (5) verif (4) model (3) check (3) analysi (2) requir (2) state (2) logic (2) fault (2) event (2)

Person: Gerard J. Holzmann

DBLP DBLP: Holzmann:Gerard_J=

Contributed to:

TACAS 20112011
ASE 20082008
ICSE 20072007
FME 20032003
CAV 20022002
FSE 20022002
PASTE 20012001
RE 20012001
ICSE 19991999
CAV 19981998
ICRE 19981998
CAV 19961996
TACAS 19961996
CAV 19921992
ASE 20172017

Wrote 17 papers:

TACAS-2011-Holzmann #design #development #reliability
Reliable Software Development: Analysis-Aware Design (GJH), pp. 1–2.
ASE-2008-HolzmannJG #verification
Swarm Verification (GJH, RJ, AG), pp. 1–6.
ICSE-2007-GroceHJ #difference #random #testing #verification
Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
FME-2003-Holzmann #roadmap #verification
Trends in Software Verification (GJH), pp. 40–50.
CAV-2002-DamsHH #c
Abstracting C with abC (DD, WH, GJH), pp. 515–520.
CAV-2002-Holzmann #analysis #model checking
Software Analysis and Model Checking (GJH), pp. 1–16.
FSE-2002-Holzmann #debugging #logic
The logic of bugs (GJH), pp. 81–87.
PASTE-2001-Holzmann #verification
Economics of software verification (GJH), pp. 80–85.
RE-2001-SmithHE #constraints #editing #logic #requirements #source code #visual notation
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (MHS, GJH, KE), pp. 14–22.
ICSE-1999-HolzmannS #verification
A Practical Method for Verifying Event-Driven Software (GJH, MHS), pp. 597–607.
CAV-1998-Holzmann #model checking #on the
On Checking Model Checkers (GJH), pp. 61–70.
ICRE-1998-SchneiderECH #fault tolerance #model checking #requirements #using #validation
Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
The State of SPIN (GJH, DP), pp. 385–389.
TACAS-1996-AlurHP #sequence chart
An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.
TACAS-1996-Holzmann #detection #fault #tool support
Early Fault Detection Tools (GJH), pp. 1–13.
CAV-1992-GodefroidHP #revisited
State-Space Caching Revisited (PG, GJH, DP), pp. 178–191.
ASE-2017-Holzmann #interactive
Cobra - an interactive static code analyzer (GJH), p. 1.

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.