| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Linden, Pierre Wolper |
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.  |
SPIN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Pierre Wolper |
On (Omega-)regular model checking. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Linden, Pierre Wolper |
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Cantin, Axel Legay, Pierre Wolper |
Computing Convex Hulls by Automata Iteration. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Axel Legay, Pierre Wolper |
A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pierre Wolper |
On the Use of Automata for Deciding Linear Arithmetic. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Pierre Wolper |
On (Omega-)Regular Model Checking |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | François Cantin, Axel Legay, Pierre Wolper |
Computing Convex Hulls by Automata Iteration. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Pierre Wolper |
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (eds.) |
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany |
Trustworthy Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper |
Preface -- Workshop Trustworthy Software 2006. |
Trustworthy Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Axel Legay, Pierre Wolper |
Handling Liveness Properties in (omega-)Regular Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Sébastien Jodogne, Pierre Wolper |
An effective decision procedure for linear arithmetic over the integers and reals. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
finite-state representations, integer and real arithmetic, weak ?-automata, Decision procedure |
| 1 | Bernard Boigelot, Axel Legay, Pierre Wolper |
Omega-Regular Model Checking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Sébastien Jodogne, Pierre Wolper |
An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Bernard Boigelot, Axel Legay, Pierre Wolper |
Iterating Transducers in the Large (Extended Abstract). |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Pierre Wolper |
Representing Arithmetic Constraints with Finite Automata: An Overview. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Moshe Y. Vardi, Pierre Wolper |
Module Checking. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Ultes-Nitsche, Pierre Wolper |
Checking Properties within Fairness and Behavior Abstractions |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Bernard Boigelot, Sébastien Jodogne, Pierre Wolper |
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Representing Periodic Temporal Information with Automata. (PDF / PS) |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Moshe Y. Vardi, Pierre Wolper |
An automata-theoretic approach to branching-time model checking. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper, Bernard Boigelot |
On the Construction of Automata from Linear Arithmetic Constraints. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Linear Repeating Points. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre Wolper |
Constructing Automata from Temporal Logic Formulas: A Tutorial. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Constraint-Generating Dependencies. |
J. Comput. Syst. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Thomas Wilke, Pierre Wolper |
An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Stéphane Rassart, Pierre Wolper |
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper, Bernard Boigelot |
Verifying Systems with Infinite but Regular State Spaces. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Bernard Willems, Pierre Wolper |
A direct symbolic approach to model checking pushdown systems. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
The Meaning of "Formal": From Weak to Strong Formal Methods. |
STTT |
1997 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Semantical analysis |
| 1 | Ulrich Nitsche, Pierre Wolper |
Relative Liveness and Behavior Abstraction (Extended Abstract). |
PODC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper |
The Power of QDDs (Extended Abstract). |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Where is the Algorithmic Support? |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
The Meaning of "Formal". |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Thomas Wilke, Pierre Wolper |
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Willems, Pierre Wolper |
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper |
Handling Infinite Temporal Data. |
J. Comput. Syst. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper |
Simple on-the-fly automatic verification of linear temporal logic. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Constraint-Generating Dependencies. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper (eds.) |
Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings |
CAV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Pierre Wolper, Bernard Boigelot |
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
A Partial Approach to Model Checking |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Pierre Wolper |
Reasoning About Infinite Computations |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Constraint-Generating Dependencies. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Pierre Wolper |
Symbolic Verification with Periodic Sets. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Temporal Deductive Databases. |
Temporal Databases |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pierre Wolper, Patrice Godefroid |
Partial-Order Methods for Temporal Verification. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | André A. S. Danthine, Guy Leduc, Pierre Wolper (eds.) |
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pierre Wolper, Denis Leroy |
Reliable Hashing without Collosion Detection. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis |
Memory-Efficient Algorithms for the Verification of Temporal Properties. |
Formal Methods in System Design |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
A Partial Approach to Model Checking |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Baudinet, Marc Niézette, Pierre Wolper |
On the Representation of Infinite Temporal Data and Queries. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper |
Adding Liveness Properties to Coupled Finite-State Machines. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis |
Memory Efficient Algorithms for the Verification of Temporal Properties. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper |
Handling Infinite Temporal Data. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Leslie Lamport, Pierre Wolper |
Realizable and Unrealizable Specifications of Reactive Systems. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper, Vinciane Lovinfosse |
Verifying Properties of Large Sets of Processes with Network Invariants. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
On the Relation of Programs and Computations to Models of Temporal Logic. |
Temporal Logic in Specification |
1987 |
DBLP BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Pierre Wolper |
Automata-Theoretic Techniques for Modal Logics of Programs. |
J. Comput. Syst. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Expressing Interesting Properties of Programs in Propositional Temporal Logic. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Pierre Wolper |
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) |
LICS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper |
Reasoning about Fair Concurrent Programs |
STOC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohar Manna, Pierre Wolper |
Synthesis of Communicating Processes from Temporal Logic Specifications. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomit S. Pinter, Pierre Wolper |
A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). |
PODC |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Pierre Wolper |
Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) |
STOC |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Temporal Logic Can Be More Expressive |
Information and Control |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Pierre Wolper |
Yet Another Process Logic (Preliminary Version). |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla |
Reasoning about Infinite Computation Paths (Extended Abstract) |
FOCS |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohar Manna, Pierre Wolper |
Synthesis of Communicating Processes from Temporal Logic Specifications. |
Logic of Programs |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper |
Temporal Logic Can Be More Expressive |
FOCS |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")