Pierre Wolper
Orcid: 0000-0002-6729-8142Affiliations:
- University of Liège, Belgium
According to our database1,
Pierre Wolper
authored at least 70 papers
between 1982 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
2011
Proceedings of the Model Checking Software, 2011
2010
Proceedings of the Model Checking Software, 2010
2009
CoRR, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
2006
Proceedings of the Workshop "Trustworthy Software" 2006, 2006
2005
ACM Trans. Comput. Log., 2005
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005
2004
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004
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
CoRR, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Logic Programming, 18th International Conference, 2002
2001
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.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
2000
Inf. Process. Lett., 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000
Linear Repeating Points.
Proceedings of the Constraint Databases, 2000
1999
1998
An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages.
Theor. Comput. Sci., 1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Int. J. Softw. Tools Technol. Transf., 1997
Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997
Proceedings of the Static Analysis, 4th International Symposium, 1997
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997
1996
Proceedings of the Proceedings, 1996
Proceedings of the CONCUR '96, 1996
1995
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)
Proceedings of the Static Analysis, 1995
Simple on-the-fly automatic verification of linear temporal logic.
Proceedings of the Protocol Specification, 1995
1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.
Formal Methods Syst. Des., 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
Temporal Deductive Databases.
Proceedings of the Temporal Databases: Theory, Design, and Implementation., 1993
1992
Formal Methods Syst. Des., 1992
1991
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991
1990
ACM Trans. Program. Lang. Syst., 1990
1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
Proceedings of the Distributed Computing And Cryptography, 1989
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1987
Theor. Comput. Sci., 1987
Proceedings of the Temporal Logic in Specification, 1987
1986
J. Comput. Syst. Sci., 1986
Proceedings of the 18th Annual ACM Symposium on Theory of Computing, 1986
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)
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).
Proceedings of the Automata, 1985
1984
ACM Trans. Program. Lang. Syst., 1984
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).
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
1983
Proceedings of the Logics of Programs, 1983
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
1982
PhD thesis, 1982
Specification and Synthesis of Communicating Processes using an Extended Temporal Logic.
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982