According to our database1, Jean-Pierre Queille authored at least 12 papers between 1981 and 2008.
Legend:Book In proceedings Article PhD thesis Other
Specification and Verification of Conurrent Systems in Cesar.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008
Executable Assertions and Timed Traces for On-Line Software Error Detection.
Proceedings of the Digest of Papers: FTCS-26, 1996
Supporting impact analysis: a semi-automated technique and associated tool.
Proceedings of the International Conference on Software Maintenance, 1995
A Traceability-based-model for an Integrated Maintenance Environment.
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.
Proceedings of the International Conference on Software Maintenance, 1994
Mark DURING Sweep rather than Mark THEN Sweep.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
Acta Inf., 1983
LesSystème CESAR : description, spécification et analyse des applications réparties.
PhD thesis, 1982
Specification and verification of concurrent systems in CESAR.
Proceedings of the International Symposium on Programming, 1982
A Temporal Logic to Deal with Fairness in Transition Systems
Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982
The CESAR System: An Aided Design and Certification System.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
Iterative Methods for the Analysis of Petri Nets.
Proceedings of the Application and Theory of Petri Nets, 1981