Jean-Pierre Queille

According to our database1, Jean-Pierre Queille
  • authored at least 12 papers between 1981 and 2008.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Specification and Verification of Conurrent Systems in Cesar.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

1996
Executable Assertions and Timed Traces for On-Line Software Error Detection.
Proceedings of the Digest of Papers: FTCS-26, 1996

1995
Supporting impact analysis: a semi-automated technique and associated tool.
Proceedings of the International Conference on Software Maintenance, 1995

1994
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

1989
Mark DURING Sweep rather than Mark THEN Sweep.
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.
Acta Inf., 1983

1982
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

1981
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


  Loading...