Iterative Methods for the Analysis of Petri Nets. - Jean-Pierre Queille; Joseph Sifakis (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

The CESAR System: An Aided Design and Certification System. - Jean-Pierre Queille (ICDCS, 1981)

A Temporal Logic to Deal with Fairness in Transition Systems - Jean-Pierre Queille; Joseph Sifakis (FOCS, 1982)

Specification and verification of concurrent systems in CESAR. - Jean-Pierre Queille; Joseph Sifakis (Symposium on Programming, 1982)

LesSystème CESAR : description, spécification et analyse des applications réparties. - Jean-Pierre Queille (1982)

Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. - Jean-Pierre Queille; Joseph Sifakis (Acta Informatica, 1983)

Mark DURING Sweep rather than Mark THEN Sweep. - Christian Queinnec; Barbara Beaudoing; Jean-Pierre Queille (PARLE (1), 1989)

A process model for the maintenance of large space systems software. - Del-Raj Harjani; Jean-Pierre Queille (ICSM, 1992)

The Impact Analysis Task in Software Maintenance: A Model and a Case Study. - Jean-Pierre Queille; Jean-Francois Voidrot; Norman Wilde; Malcolm Munro (ICSM, 1994)

A Traceability-based-model for an Integrated Maintenance Environment. - A. Escudie; Pierre Yves Lambolez; Jean-Pierre Queille; Jean-Francois Voidrot (RIAO, 1994)

Supporting impact analysis: a semi-automated technique and associated tool. - S. Barros; Thierry Bodhuin; A. Escudie; Jean-Pierre Queille; Jean-Francois Voidrot (ICSM, 1995)

Executable Assertions and Timed Traces for On-Line Software Error Detection. - Christophe Rabéjac; Jean-Paul Blanquart; Jean-Pierre Queille (FTCS, 1996)

Specification and Verification of Conurrent Systems in Cesar. - Jean-Pierre Queille; Joseph Sifakis (25 Years of Model Checking, 2008)