Pierre Wolper

Publication Activity (10 Years)

Years Active: 1981-2021
Publications (10 Years): 1

Top Topics

State Information

Conference Proceedings

Distributed Shared Memory

Ant Colony Optimization

Top Venues

Formal Methods Syst. Des.

Publications

Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha
2018 CAV award. Formal Methods Syst. Des. 57 (1) (2021)
Alexander Linden, Pierre Wolper
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. TACAS (2013)
Alexander Linden, Pierre Wolper
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. SPIN (2011)
Axel Legay, Pierre Wolper
On (Omega-)regular model checking. ACM Trans. Comput. Log. 12 (1) (2010)
Alexander Linden, Pierre Wolper
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. SPIN (2010)
François Cantin, Axel Legay, Pierre Wolper
Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20 (4) (2009)
Pierre Wolper
On the Use of Automata for Deciding Linear Arithmetic. TABLEAUX (2009)
Ahmed Bouajjani, Axel Legay, Pierre Wolper
A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR (2009)
François Cantin, Axel Legay, Pierre Wolper
Computing Convex Hulls by Automata Iteration. CIAA (2008)
Axel Legay, Pierre Wolper
On (Omega-)Regular Model Checking CoRR (2008)
Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
Preface -- Workshop Trustworthy Software 2006. Trustworthy Software (2006)
Axel Legay, Pierre Wolper
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. Electron. Notes Theor. Comput. Sci. 150 (1) (2006)
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
An effective decision procedure for linear arithmetic over the integers and reals. ACM Trans. Comput. Log. 6 (3) (2005)
Bernard Boigelot, Axel Legay, Pierre Wolper
Omega-Regular Model Checking. TACAS (2004)
Ahmed Bouajjani, Axel Legay, Pierre Wolper
-)Regular Model Checking. INFINITY (2004)
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables CoRR (2003)
Bernard Boigelot, Axel Legay, Pierre Wolper
Iterating Transducers in the Large (Extended Abstract). CAV (2003)
Bernard Boigelot, Pierre Wolper
Representing Arithmetic Constraints with Finite Automata: An Overview. ICLP (2002)
Ulrich Ultes-Nitsche, Pierre Wolper
Checking Properties within Fairness and Behavior Abstractions CoRR (2001)
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. IJCAR (2001)
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
Module Checking. Inf. Comput. 164 (2) (2001)
Pierre Wolper
Representing Periodic Temporal Information with Automata. TIME (2001)
Pierre Wolper, Bernard Boigelot
On the Construction of Automata from Linear Arithmetic Constraints. TACAS (2000)
Pierre Wolper
Constructing Automata from Temporal Logic Formulas: A Tutorial. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper
An efficient automata approach to some problems on context-free grammars. Inf. Process. Lett. 74 (5-6) (2000)
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
An automata-theoretic approach to branching-time model checking. J. ACM 47 (2) (2000)
Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. J. Comput. Syst. Sci. 59 (1) (1999)
Pierre Wolper
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). LOPSTR (1998)
Bernard Boigelot, Stéphane Rassart, Pierre Wolper
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). ICALP (1998)
Doron A. Peled, Thomas Wilke, Pierre Wolper
An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. Theor. Comput. Sci. 195 (2) (1998)
Pierre Wolper, Bernard Boigelot
Verifying Systems with Infinite but Regular State Spaces. CAV (1998)
Ulrich Nitsche, Pierre Wolper
Relative Liveness and Behavior Abstraction (Extended Abstract). PODC (1997)
Pierre Wolper
The Meaning of "Formal": From Weak to Strong Formal Methods. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Alain Finkel, Bernard Willems, Pierre Wolper
A direct symbolic approach to model checking pushdown systems. INFINITY (1997)
Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
The Power of QDDs (Extended Abstract). SAS (1997)
Pierre Wolper
Where is the Algorithmic Support? ACM Comput. Surv. 28 (4es) (1996)
Doron A. Peled, Thomas Wilke, Pierre Wolper
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR (1996)
Bernard Willems, Pierre Wolper
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. LICS (1996)
Pierre Wolper
The Meaning of "Formal". ACM Comput. Surv. 28 (4es) (1996)
Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. ICDT (1995)
Pierre Wolper, Bernard Boigelot
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS (1995)
Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper
Simple on-the-fly automatic verification of linear temporal logic. PSTV (1995)
Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper
Handling Infinite Temporal Data. J. Comput. Syst. Sci. 51 (1) (1995)
Patrice Godefroid, Pierre Wolper
A Partial Approach to Model Checking Inf. Comput. 110 (2) (1994)
Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. PPCP (1994)
Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV (1994)
Bernard Boigelot, Pierre Wolper
Symbolic Verification with Periodic Sets. CAV (1994)
Moshe Y. Vardi, Pierre Wolper
Reasoning About Infinite Computations Inf. Comput. 115 (1) (1994)
Pierre Wolper, Patrice Godefroid
Partial-Order Methods for Temporal Verification. CONCUR (1993)
Pierre Wolper, Denis Leroy
Reliable Hashing without Collosion Detection. CAV (1993)
Patrice Godefroid, Pierre Wolper
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods Syst. Des. 2 (2) (1993)
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods Syst. Des. 1 (2/3) (1992)
Patrice Godefroid, Pierre Wolper
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. CAV (1991)
Patrice Godefroid, Pierre Wolper
A Partial Approach to Model Checking LICS (1991)
Marianne Baudinet, Marc Niézette, Pierre Wolper
On the Representation of Infinite Temporal Data and Queries. PODS (1991)
Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper
Handling Infinite Temporal Data. PODS (1990)
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
Memory Efficient Algorithms for the Verification of Temporal Properties. CAV (DIMACS/AMS volume) (1990)
Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper
Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans. Program. Lang. Syst. 12 (2) (1990)
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
Memory Efficient Algorithms for the Verification of Temporal Properties. CAV (1990)
Martín Abadi, Leslie Lamport, Pierre Wolper
Realizable and Unrealizable Specifications of Reactive Systems. ICALP (1989)
Marie-Jeanne Toussaint, Pierre Wolper
Reasoning about Cryptographic Protocols. Distributed Computing And Cryptography (1989)
Pierre Wolper, Vinciane Lovinfosse
Verifying Properties of Large Sets of Processes with Network Invariants. Automatic Verification Methods for Finite State Systems (1989)
A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. 49 (1987)
Pierre Wolper
On the Relation of Programs and Computations to Models of Temporal Logic. Temporal Logic in Specification (1987)
Moshe Y. Vardi, Pierre Wolper
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) LICS (1986)
Moshe Y. Vardi, Pierre Wolper
Automata-Theoretic Techniques for Modal Logics of Programs. J. Comput. Syst. Sci. 32 (2) (1986)
Pierre Wolper
Expressing Interesting Properties of Programs in Propositional Temporal Logic. POPL (1986)
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper
Reasoning about Fair Concurrent Programs STOC (1986)
A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP (1985)
Shlomit S. Pinter, Pierre Wolper
A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). PODC (1984)
Moshe Y. Vardi, Pierre Wolper
Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) STOC (1984)
Zohar Manna, Pierre Wolper
Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6 (1) (1984)
Pierre Wolper
Temporal Logic Can Be More Expressive Inf. Control. 56 (1/2) (1983)
Moshe Y. Vardi, Pierre Wolper
Yet Another Process Logic (Preliminary Version). Logic of Programs (1983)
Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla
Reasoning about Infinite Computation Paths (Extended Abstract) FOCS (1983)
Pierre Wolper
Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. POPL (1982)
Zohar Manna, Pierre Wolper
Synthesis of Communicating Processes from Temporal Logic Specifications. Logic of Programs (1981)
Pierre Wolper
Temporal Logic Can Be More Expressive FOCS (1981)