Publication list

By year

By type

By subject

(some papers missing)

(note: I automatically generate the publication lists and abstracts form my bibtex using xsl templates, some errors may pass unnoticed)

My data on external sites

My best paper

The paper I and Connie published at ESEC/FSE in 1999 pioneered the use of the model checker for tests generation and has more than 370 citations: A. Gargantini and C. HeitmeyerUsing Model Checking to Generate Tests from Requirements Specifications in ESEC/FSE’99 abstract ** download

Services/Program Committees

Research interests

Software Engineering, Formal methods, in particular specification, validation, and verification of time- and safety-critical systems.

Tag Cloud from the titles of my papers

Wordle: Angelo Gargantini Reasearch

Publication list from independent sources


my publications with ACM

my publications from

my publication list @dblp University of Trier, Germany

my publication list @The Collection of Computer Science Bibliographies

my publication with Springer

my citation list @citeseer - ResearchIndex


Research metrics

Hirsch a=3.85, m=0.58 Contemporary ac=4.33

9 paper(s) with 1 author(s) 35 paper(s) with 2 author(s) 83 paper(s) with 3 author(s) 20 paper(s) with 4 author(s) 29 paper(s) with 5 author(s) 11 paper(s) with 6 author(s) ~~~~~~

My sw links