Jean-Pierre Queille

13 papers A* 1A 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2008 — conf
Specification and Verification of Conurrent Systems in Cesar.
25 Years of Model Checking
Jean-Pierre Queille, Joseph Sifakis
1996 — conf
Executable Assertions and Timed Traces for On-Line Software Error Detection.
FTCS
Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille
1995 — conf
Supporting impact analysis: a semi-automated technique and associated tool.
ICSM
S. Barros, Thierry Bodhuin, A. Escudie, Jean-Pierre Queille, Jean-Francois Voidrot
1994 — conf
A Traceability-based-model for an Integrated Maintenance Environment.
RIAO
A. Escudie, Pierre Yves Lambolez, Jean-Pierre Queille, Jean-Francois Voidrot
1994 — conf
The Impact Analysis Task in Software Maintenance: A Model and a Case Study.
ICSM
Jean-Pierre Queille, Jean-Francois Voidrot, Norman Wilde, Malcolm Munro
1992 — conf
A process model for the maintenance of large space systems software.
ICSM
Del-Raj Harjani, Jean-Pierre Queille
1989 — conf
Mark DURING Sweep rather than Mark THEN Sweep.
PARLE (1)
Christian Queinnec, Barbara Beaudoing, Jean-Pierre Queille
1983 J jnl
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
Acta Informatica
Jean-Pierre Queille, Joseph Sifakis
1982 A* conf
A Temporal Logic to Deal with Fairness in Transition Systems
FOCS
Jean-Pierre Queille, Joseph Sifakis
1982 — —
LesSystème CESAR : description, spécification et analyse des applications réparties.
Jean-Pierre Queille
1982 — conf
Specification and verification of concurrent systems in CESAR.
Symposium on Programming
Jean-Pierre Queille, Joseph Sifakis
1981 — conf
Iterative Methods for the Analysis of Petri Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Jean-Pierre Queille, Joseph Sifakis
1981 A conf
The CESAR System: An Aided Design and Certification System.
ICDCS
Jean-Pierre Queille