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

My sw links