Search the dblp DataBase
Jean-Pierre Queille :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean-Pierre Queille , Joseph Sifakis Iterative Methods for the Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP ] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:161-167 [Conf ] Jean-Pierre Queille , Joseph Sifakis A Temporal Logic to Deal with Fairness in Transition Systems [Citation Graph (0, 0)][DBLP ] FOCS, 1982, pp:217-225 [Conf ] Christophe Rabéjac , Jean-Paul Blanquart , Jean-Pierre Queille Executable Assertions and Timed Traces for On-Line Software Error Detection. [Citation Graph (0, 0)][DBLP ] FTCS, 1996, pp:138-147 [Conf ] Jean-Pierre Queille The CESAR System: An Aided Design and Certification System. [Citation Graph (0, 0)][DBLP ] ICDCS, 1981, pp:149-161 [Conf ] S. Barros , T. Bodhuin , A. Escudie , Jean-Pierre Queille , Jan-Francois Voidrot Supporting impact analysis: a semi-automated technique and associated tool. [Citation Graph (0, 0)][DBLP ] ICSM, 1995, pp:42-51 [Conf ] Jean-Pierre Queille , Jean-Francois Voidrot , Norman Wilde , Malcolm Munro The Impact Analysis Task in Software Maintenance: A Model and a Case Study. [Citation Graph (0, 0)][DBLP ] ICSM, 1994, pp:234-242 [Conf ] Christian Queinnec , Barbara Beaudoing , Jean-Pierre Queille Mark DURING Sweep rather than Mark THEN Sweep. [Citation Graph (0, 0)][DBLP ] PARLE (1), 1989, pp:224-237 [Conf ] Jean-Pierre Queille , Joseph Sifakis Specification and verification of concurrent systems in CESAR. [Citation Graph (0, 0)][DBLP ] Symposium on Programming, 1982, pp:337-351 [Conf ] Jean-Pierre Queille , Joseph Sifakis Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:19, n:, pp:195-220 [Journal ] Specification and Verification of Conurrent Systems in Cesar. [Citation Graph (, )][DBLP ] A Traceability-based-model for an Integrated Maintenance Environment. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs