Pierre Wolper

According to our database, Pierre Wolper authored at least 70 papers between 1982 and 2021.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2021

2018 CAV award.

Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha

Formal Methods Syst. Des., 2021

2013

A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems.

Alexander Linden, Pierre Wolper

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2011

A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.

Alexander Linden, Pierre Wolper

Proceedings of the Model Checking Software, 2011

2010

On (Omega-)regular model checking.

Axel Legay, Pierre Wolper

ACM Trans. Comput. Log., 2010

An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.

Alexander Linden, Pierre Wolper

Proceedings of the Model Checking Software, 2010

2009

Computing Convex Hulls by Automata Iteration.

François Cantin, Axel Legay, Pierre Wolper

Int. J. Found. Comput. Sci., 2009

A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking

Ahmed Bouajjani, Axel Legay, Pierre Wolper

CoRR, 2009

On the Use of Automata for Deciding Linear Arithmetic.

Pierre Wolper

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2006

Preface -- Workshop Trustworthy Software 2006.

Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

2005

An effective decision procedure for linear arithmetic over the integers and reals.

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

ACM Trans. Comput. Log., 2005

On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address.

Axel Legay, Pierre Wolper

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

2004

Handling Liveness Properties in (<i>omega</i>-)Regular Model Checking.

Ahmed Bouajjani, Axel Legay, Pierre Wolper

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Omega-Regular Model Checking.

Bernard Boigelot, Axel Legay, Pierre Wolper

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

CoRR, 2003

Iterating Transducers in the Large (Extended Abstract).

Bernard Boigelot, Axel Legay, Pierre Wolper

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Representing Arithmetic Constraints with Finite Automata: An Overview.

Bernard Boigelot, Pierre Wolper

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Module Checking.

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper

Inf. Comput., 2001

Checking Properties within Fairness and Behavior Abstractions

Ulrich Ultes-Nitsche, Pierre Wolper

CoRR, 2001

Representing Periodic Temporal Information with Automata.

Pierre Wolper

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables.

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

An automata-theoretic approach to branching-time model checking.

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper

J. ACM, 2000

An efficient automata approach to some problems on context-free grammars.

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Inf. Process. Lett., 2000

On the Construction of Automata from Linear Arithmetic Constraints.

Pierre Wolper, Bernard Boigelot

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Constructing Automata from Temporal Logic Formulas: A Tutorial.

Pierre Wolper

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Linear Repeating Points.

Pierre Wolper

Proceedings of the Constraint Databases, 2000

1999

Constraint-Generating Dependencies.

Marianne Baudinet, Jan Chomicki, Pierre Wolper

J. Comput. Syst. Sci., 1999

1998

An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages.

Doron A. Peled, Thomas Wilke, Pierre Wolper

Theor. Comput. Sci., 1998

Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract).

Pierre Wolper

Proceedings of the Logic Programming Synthesis and Transformation, 1998

On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).

Bernard Boigelot, Stéphane Rassart, Pierre Wolper

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Verifying Systems with Infinite but Regular State Spaces.

Pierre Wolper, Bernard Boigelot

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

The Meaning of "Formal": From Weak to Strong Formal Methods.

Pierre Wolper

Int. J. Softw. Tools Technol. Transf., 1997

A direct symbolic approach to model checking pushdown systems.

Alain Finkel, Bernard Willems, Pierre Wolper

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

The Power of QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper

Proceedings of the Static Analysis, 4th International Symposium, 1997

Relative Liveness and Behavior Abstraction (Extended Abstract).

Ulrich Nitsche, Pierre Wolper

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

1996

The Meaning of "Formal".

Pierre Wolper

ACM Comput. Surv., 1996

Where is the Algorithmic Support?

Pierre Wolper

ACM Comput. Surv., 1996

Partial-Order Methods for Model Checking: From Linear Time to Branching Time.

Bernard Willems, Pierre Wolper

Proceedings of the Proceedings, 1996

An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.

Doron A. Peled, Thomas Wilke, Pierre Wolper

Proceedings of the CONCUR '96, 1996

1995

Handling Infinite Temporal Data.

Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper

J. Comput. Syst. Sci., 1995

An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)

Pierre Wolper, Bernard Boigelot

Proceedings of the Static Analysis, 1995

Simple on-the-fly automatic verification of linear temporal logic.

Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper

Proceedings of the Protocol Specification, 1995

1994

Reasoning About Infinite Computations

Moshe Y. Vardi, Pierre Wolper

Inf. Comput., November, 1994

A Partial Approach to Model Checking

Patrice Godefroid, Pierre Wolper

Inf. Comput., May, 1994

Symbolic Verification with Periodic Sets.

Bernard Boigelot, Pierre Wolper

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract).

Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.

Patrice Godefroid, Pierre Wolper

Formal Methods Syst. Des., 1993

Partial-Order Methods for Temporal Verification.

Pierre Wolper, Patrice Godefroid

Proceedings of the CONCUR '93, 1993

Reliable Hashing without Collosion Detection.

Pierre Wolper, Denis Leroy

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Temporal Deductive Databases.

Marianne Baudinet, Jan Chomicki, Pierre Wolper

Proceedings of the Temporal Databases: Theory, Design, and Implementation., 1993

1992

Memory-Efficient Algorithms for the Verification of Temporal Properties.

Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis

Formal Methods Syst. Des., 1992

1991

On the Representation of Infinite Temporal Data and Queries.

Marianne Baudinet, Marc Niézette, Pierre Wolper

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

1990

Adding Liveness Properties to Coupled Finite-State Machines.

Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper

ACM Trans. Program. Lang. Syst., 1990

1989

Realizable and Unrealizable Specifications of Reactive Systems.

Martín Abadi, Leslie Lamport, Pierre Wolper

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

Reasoning about Cryptographic Protocols.

Marie-Jeanne Toussaint, Pierre Wolper

Proceedings of the Distributed Computing And Cryptography, 1989

Verifying Properties of Large Sets of Processes with Network Invariants.

Pierre Wolper, Vinciane Lovinfosse

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1987

The Complementation Problem for Büchi Automata with Appplications to Temporal Logic.

A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper

Theor. Comput. Sci., 1987

On the Relation of Programs and Computations to Models of Temporal Logic.

Pierre Wolper

Proceedings of the Temporal Logic in Specification, 1987

1986

Automata-Theoretic Techniques for Modal Logics of Programs.

Moshe Y. Vardi, Pierre Wolper

J. Comput. Syst. Sci., 1986

Reasoning about Fair Concurrent Programs

Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper

Proceedings of the 18th Annual ACM Symposium on Theory of Computing, 1986

Expressing Interesting Properties of Programs in Propositional Temporal Logic.

Pierre Wolper

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

Moshe Y. Vardi, Pierre Wolper

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).

A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper

Proceedings of the Automata, 1985

1984

Synthesis of Communicating Processes from Temporal Logic Specifications.

Zohar Manna, Pierre Wolper

ACM Trans. Program. Lang. Syst., 1984

Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)

Moshe Y. Vardi, Pierre Wolper

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract).

Shlomit S. Pinter, Pierre Wolper

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983

Temporal Logic Can Be More Expressive

Pierre Wolper

Inf. Control., 1983

Yet Another Process Logic (Preliminary Version).

Moshe Y. Vardi, Pierre Wolper

Proceedings of the Logics of Programs, 1983

Reasoning about Infinite Computation Paths (Extended Abstract)

Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982

Synthesis of communicating processes from temporal logic specifications.

Pierre Wolper

PhD thesis, 1982

Specification and Synthesis of Communicating Processes using an Extended Temporal Logic.

Pierre Wolper

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982