Jean-Pierre Queille

Publication Activity (10 Years)

Years Active: 1981-2008
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Jean-Pierre Queille, Joseph Sifakis
Specification and Verification of Conurrent Systems in Cesar. 25 Years of Model Checking (2008)
Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille
Executable Assertions and Timed Traces for On-Line Software Error Detection. FTCS (1996)
S. Barros, Thierry Bodhuin, A. Escudie, Jean-Pierre Queille, Jean-Francois Voidrot
Supporting impact analysis: a semi-automated technique and associated tool. ICSM (1995)
Jean-Pierre Queille, Jean-Francois Voidrot, Norman Wilde, Malcolm Munro
The Impact Analysis Task in Software Maintenance: A Model and a Case Study. ICSM (1994)
A. Escudie, Pierre Yves Lambolez, Jean-Pierre Queille, Jean-Francois Voidrot
A Traceability-based-model for an Integrated Maintenance Environment. RIAO (1994)
Del-Raj Harjani, Jean-Pierre Queille
A process model for the maintenance of large space systems software. ICSM (1992)
Christian Queinnec, Barbara Beaudoing, Jean-Pierre Queille
Mark DURING Sweep rather than Mark THEN Sweep. PARLE (1) (1989)
Jean-Pierre Queille, Joseph Sifakis
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. Acta Informatica 19 (1983)
Jean-Pierre Queille, Joseph Sifakis
A Temporal Logic to Deal with Fairness in Transition Systems FOCS (1982)
Jean-Pierre Queille, Joseph Sifakis
Specification and verification of concurrent systems in CESAR. Symposium on Programming (1982)
Jean-Pierre Queille
The CESAR System: An Aided Design and Certification System. ICDCS (1981)
Jean-Pierre Queille, Joseph Sifakis
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 (1981)

Jean-Pierre Queille.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Jean-Pierre Queille