| 2013 | TACAS | A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. | Alexander Linden, Pierre Wolper |
| 2009 | TABLEAUX | On the Use of Automata for Deciding Linear Arithmetic. | Pierre Wolper |
| 2004 | TACAS | Omega-Regular Model Checking. | Bernard Boigelot, Axel Legay, Pierre Wolper |
| 2003 | CAV | Iterating Transducers in the Large (Extended Abstract). | Bernard Boigelot, Axel Legay, Pierre Wolper |
| 2002 | ICLP | Representing Arithmetic Constraints with Finite Automata: An Overview. | Bernard Boigelot, Pierre Wolper |
| 2001 | CADE | On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. | Bernard Boigelot, Sbastien Jodogne, Pierre Wolper |
| 2001 | TIME | Representing Periodic Temporal Information with Automata. | Pierre Wolper |
| 2000 | TACAS | On the Construction of Automata from Linear Arithmetic Constraints. | Pierre Wolper, Bernard Boigelot |
| 1998 | CAV | Verifying Systems with Infinite but Regular State Spaces. | Pierre Wolper, Bernard Boigelot |
| 1998 | ICALP | On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). | Bernard Boigelot, Stphane Rassart, Pierre Wolper |
| 1998 | LOPSTR | Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). | Pierre Wolper |
| 1997 | PODC | Relative Liveness and Behavior Abstraction (Extended Abstract). | Ulrich Nitsche, Pierre Wolper |
| 1997 | SAS | The Power of QDDs (Extended Abstract). | Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper |
| 1996 | CONCUR | An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. | Doron A. Peled, Thomas Wilke, Pierre Wolper |
| 1996 | LICS | Partial-Order Methods for Model Checking: From Linear Time to Branching Time. | Bernard Willems, Pierre Wolper |
| 1995 | ICDT | Constraint-Generating Dependencies. | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
| 1995 | SAS | An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) | Pierre Wolper, Bernard Boigelot |
| 1994 | CAV | An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
| 1994 | CAV | Symbolic Verification with Periodic Sets. | Bernard Boigelot, Pierre Wolper |
| 1993 | CAV | Reliable Hashing without Collosion Detection. | Pierre Wolper, Denis Leroy |
| 1993 | CONCUR | Partial-Order Methods for Temporal Verification. | Pierre Wolper, Patrice Godefroid |
| 1991 | CAV | Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. | Patrice Godefroid, Pierre Wolper |
| 1991 | LICS | A Partial Approach to Model Checking | Patrice Godefroid, Pierre Wolper |
| 1991 | PODS | On the Representation of Infinite Temporal Data and Queries. | Marianne Baudinet, Marc Nizette, Pierre Wolper |
| 1990 | CAV | Memory Efficient Algorithms for the Verification of Temporal Properties. | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis |
| 1990 | PODS | Handling Infinite Temporal Data. | Froduald Kabanza, Jean-Marc Stvenne, Pierre Wolper |
| 1989 | ICALP | Realizable and Unrealizable Specifications of Reactive Systems. | Martn Abadi, Leslie Lamport, Pierre Wolper |
| 1986 | LICS | An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) | Moshe Y. Vardi, Pierre Wolper |
| 1986 | POPL | Expressing Interesting Properties of Programs in Propositional Temporal Logic. | Pierre Wolper |
| 1986 | STOC | Reasoning about Fair Concurrent Programs | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper |
| 1985 | ICALP | The Complementation Problem for Bchi Automata with Applications to Temporal Logic (Extended Abstract). | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
| 1984 | PODC | A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). | Shlomit S. Pinter, Pierre Wolper |
| 1984 | STOC | Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) | Moshe Y. Vardi, Pierre Wolper |
| 1983 | FOCS | Reasoning about Infinite Computation Paths (Extended Abstract) | Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla |
| 1982 | POPL | Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. | Pierre Wolper |
| 1981 | FOCS | Temporal Logic Can Be More Expressive | Pierre Wolper |