J. P. Queille

Fairness and related properties in transition systems ? a temporal logic to deal with fairness

J. P. Queille, Joseph Sifakis · Acta Informatica · 1983 · 141 citations

Humanities, Systems Engineering, Markov Decision Processes +9

A process model for the maintenance of large space systems software

Del-Raj Harjani, J. P. Queille · 2003 · 28 citations

Computing, Computer Science, Systems Engineering +11

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

S. Barros, Thierry Bodhuin, A. Escudié et al. · 2002 · 27 citations

Computing, Computer Science, Formal Methods +15

Executable assertions and timed traces for on-line software error detection

Christophe Rabéjac, J.-P. Blanquart, J. P. Queille · 2002 · 26 citations

Computing, Computer Engineering, Computer Science +17

A temporal logic to deal with fairness in transition systems

J. P. Queille, Joseph Sifakis · 1982 · 11 citations

Computing, Computer Science, Dynamical Systems +14