2008 |
11 | EE | Jean-Pierre Queille,
Joseph Sifakis:
Specification and Verification of Conurrent Systems in Cesar.
25 Years of Model Checking 2008: 216-230 |
1996 |
10 | | Christophe Rabéjac,
Jean-Paul Blanquart,
Jean-Pierre Queille:
Executable Assertions and Timed Traces for On-Line Software Error Detection.
FTCS 1996: 138-147 |
1995 |
9 | EE | S. Barros,
T. Bodhuin,
A. Escudie,
Jean-Pierre Queille,
Jean-Francois Voidrot:
Supporting impact analysis: a semi-automated technique and associated tool.
ICSM 1995: 42-51 |
1994 |
8 | | 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: 234-242 |
7 | | A. Escudie,
P. Y. Lambolez,
Jean-Pierre Queille,
Jean-Francois Voidrot:
A Traceability-based-model for an Integrated Maintenance Environment.
RIAO 1994: 358-369 |
1989 |
6 | | Christian Queinnec,
Barbara Beaudoing,
Jean-Pierre Queille:
Mark DURING Sweep rather than Mark THEN Sweep.
PARLE (1) 1989: 224-237 |
1983 |
5 | | Jean-Pierre Queille,
Joseph Sifakis:
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
Acta Inf. 19: 195-220 (1983) |
1982 |
4 | | Jean-Pierre Queille,
Joseph Sifakis:
A Temporal Logic to Deal with Fairness in Transition Systems
FOCS 1982: 217-225 |
3 | | Jean-Pierre Queille,
Joseph Sifakis:
Specification and verification of concurrent systems in CESAR.
Symposium on Programming 1982: 337-351 |
1981 |
2 | | Jean-Pierre Queille:
The CESAR System: An Aided Design and Certification System.
ICDCS 1981: 149-161 |
1 | | 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: 161-167 |