Pierre Wolper
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
Partial-order methods for temporal verification
Pierre Wolper and others (1993) · Lecture notes in computer science · Springer Science+Business Media
A partial approach to model checking
Patrice Godefroid and others (1991) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Realizable and unrealizable specifications of reactive systems
Martı́n Abadi and others (1989) · Lecture notes in computer science · Springer Science+Business Media
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science
Temporal logic can be more expressive
Pierre Wolper (1983) · Information and Control · Elsevier BV