Jean-Pierre Queille

According to our database, Jean-Pierre Queille authored at least 13 papers between 1981 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Specification and Verification of Conurrent Systems in Cesar.

Jean-Pierre Queille, Joseph Sifakis

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

1996

Executable Assertions and Timed Traces for On-Line Software Error Detection.

Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille

Proceedings of the Digest of Papers: FTCS-26, 1996

1995

Supporting impact analysis: a semi-automated technique and associated tool.

S. Barros, Thierry Bodhuin, A. Escudie, Jean-Pierre Queille, Jean-Francois Voidrot

Proceedings of the International Conference on Software Maintenance, 1995

1994

A Traceability-based-model for an Integrated Maintenance Environment.

A. Escudie, Pierre Yves Lambolez, Jean-Pierre Queille, Jean-Francois Voidrot

Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 1994

The Impact Analysis Task in Software Maintenance: A Model and a Case Study.

Jean-Pierre Queille, Jean-Francois Voidrot, Norman Wilde, Malcolm Munro

Proceedings of the International Conference on Software Maintenance, 1994

1992

A process model for the maintenance of large space systems software.

Del-Raj Harjani, Jean-Pierre Queille

Proceedings of the Conference on Software Maintenance, 1992

1989

Mark DURING Sweep rather than Mark THEN Sweep.

Christian Queinnec, Barbara Beaudoing, Jean-Pierre Queille

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1983

Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.

Jean-Pierre Queille, Joseph Sifakis

Acta Informatica, 1983

1982

LesSystème CESAR : description, spécification et analyse des applications réparties.

Jean-Pierre Queille

PhD thesis, 1982

Specification and verification of concurrent systems in CESAR.

Jean-Pierre Queille, Joseph Sifakis

Proceedings of the International Symposium on Programming, 1982

A Temporal Logic to Deal with Fairness in Transition Systems

Jean-Pierre Queille, Joseph Sifakis

Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

1981

The CESAR System: An Aided Design and Certification System.

Jean-Pierre Queille

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Iterative Methods for the Analysis of Petri Nets.

Jean-Pierre Queille, Joseph Sifakis

Proceedings of the Application and Theory of Petri Nets, 1981