Pierre Wolper Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Linden, Pierre Wolper: A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. TACAS 2013: 339-353
2011
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Linden, Pierre Wolper: A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. SPIN 2011: 144-160
2010
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Axel Legay, Pierre Wolper: On (Omega-)regular model checking. ACM Trans. Comput. Log. 12(1): 2 (2010)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Linden, Pierre Wolper: An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. SPIN 2010: 212-226
2009
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20(4): 647-667 (2009)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: On the Use of Automata for Deciding Linear Arithmetic. TABLEAUX 2009: 16
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking. CoRR abs/0901.4080 (2009)
2008
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Axel Legay, Pierre Wolper: On (Omega-)Regular Model Checking. CoRR abs/0809.2214 (2008)
2006
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Axel Legay, Pierre Wolper: On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. Electr. Notes Theor. Comput. Sci. 150(1): 3-8 (2006)
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. OASICS 3, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
2005
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed Bouajjani, Axel Legay, Pierre Wolper: Handling Liveness Properties in (omega-)Regular Model Checking. Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 614-633 (2005)
2004
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Axel Legay, Pierre Wolper: Omega-Regular Model Checking. TACAS 2004: 561-575
2003
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Axel Legay, Pierre Wolper: Iterating Transducers in the Large (Extended Abstract). CAV 2003: 223-235
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper: An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables. CoRR cs.LO/0303019 (2003)
2002
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Pierre Wolper: Representing Arithmetic Constraints with Finite Automata: An Overview. ICLP 2002: 1-19
2001
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: Module Checking. Inf. Comput. 164(2): 322-344 (2001)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper: On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. IJCAR 2001: 611-625
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Representing Periodic Temporal Information with Automata. TIME 2001: 179
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ulrich Ultes-Nitsche, Pierre Wolper: Checking Properties within Fairness and Behavior Abstractions. CoRR cs.LO/0101017 (2001)
2000
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 221-227 (2000)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)
c37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Linear Repeating Points. Constraint Databases 2000: 305-314
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Constructing Automata from Temporal Logic Formulas: A Tutorial. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 261-277
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Bernard Boigelot: On the Construction of Automata from Linear Arithmetic Constraints. TACAS 2000: 1-19
1999
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marianne Baudinet, Jan Chomicki, Pierre Wolper: Constraint-Generating Dependencies. J. Comput. Syst. Sci. 59(1): 94-115 (1999)
1998
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doron 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): 183-203 (1998)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Bernard Boigelot: Verifying Systems with Infinite but Regular State Spaces. CAV 1998: 88-97
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Stéphane Rassart, Pierre Wolper: On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). ICALP 1998: 152-163
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). LOPSTR 1998: 308
1997
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alain Finkel, Bernard Willems, Pierre Wolper: A direct symbolic approach to model checking pushdown systems. Electr. Notes Theor. Comput. Sci. 9: 27-37 (1997)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: The Meaning of "Formal": From Weak to Strong Formal Methods. STTT 1(1-2): 6-8 (1997)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ulrich Nitsche, Pierre Wolper: Relative Liveness and Behavior Abstraction (Extended Abstract). PODC 1997: 45-52
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper: The Power of QDDs (Extended Abstract). SAS 1997: 172-186
1996
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Where is the Algorithmic Support? ACM Comput. Surv. 28(4es): 58 (1996)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: The Meaning of "Formal". ACM Comput. Surv. 28(4es): 127 (1996)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Willems, Pierre Wolper: Partial-Order Methods for Model Checking: From Linear Time to Branching Time. LICS 1996: 294-303
1995
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper: Handling Infinite Temporal Data. J. Comput. Syst. Sci. 51(1): 3-17 (1995)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marianne Baudinet, Jan Chomicki, Pierre Wolper: Constraint-Generating Dependencies. ICDT 1995: 322-337
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Bernard Boigelot: An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract). SAS 1995: 21-32
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper (Ed.): Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings. Lecture Notes in Computer Science 939, Springer 1995, isbn 3-540-60045-0
1994
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrice Godefroid, Pierre Wolper: A Partial Approach to Model Checking. Inf. Comput. 110(2): 305-326 (1994)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations. Inf. Comput. 115(1): 1-37 (1994)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernard Boigelot, Pierre Wolper: Symbolic Verification with Periodic Sets. CAV 1994: 55-67
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marianne Baudinet, Jan Chomicki, Pierre Wolper: Constraint-Generating Dependencies. PPCP 1994: 205-217
1993
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrice Godefroid, Pierre Wolper: Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods in System Design 2(2): 149-164 (1993)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marianne Baudinet, Jan Chomicki, Pierre Wolper: Temporal Deductive Databases. Temporal Databases 1993: 294-320
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Denis Leroy: Reliable Hashing without Collosion Detection. CAV 1993: 59-70
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Patrice Godefroid: Partial-Order Methods for Temporal Verification. CONCUR 1993: 233-246
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. IFIP Transactions C-16, North-Holland 1993, isbn 0-444-81648-8
1992
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1(2/3): 275-288 (1992)
1991
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrice Godefroid, Pierre Wolper: Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. CAV 1991: 332-342
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrice Godefroid, Pierre Wolper: A Partial Approach to Model Checking. LICS 1991: 406-415
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marianne Baudinet, Marc Niézette, Pierre Wolper: On the Representation of Infinite Temporal Data and Queries. PODS 1991: 280-290
1990
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper: Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans. Program. Lang. Syst. 12(2): 303-339 (1990)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper: Handling Infinite Temporal Data. PODS 1990: 392-403
1989
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Vinciane Lovinfosse: Verifying Properties of Large Sets of Processes with Network Invariants. Automatic Verification Methods for Finite State Systems 1989: 68-80
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Leslie Lamport, Pierre Wolper: Realizable and Unrealizable Specifications of Reactive Systems. ICALP 1989: 1-17
1987
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper: The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. 49: 217-237 (1987)
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: On the Relation of Programs and Computations to Models of Temporal Logic. Temporal Logic in Specification 1987: 75-123
1986
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moshe Y. Vardi, Pierre Wolper: Automata-Theoretic Techniques for Modal Logics of Programs. J. Comput. Syst. Sci. 32(2): 183-221 (1986)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). LICS 1986: 332-344
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Expressing Interesting Properties of Programs in Propositional Temporal Logic. POPL 1986: 184-193
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper: Reasoning about Fair Concurrent Programs. STOC 1986: 283-294
1985
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper: The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP 1985: 465-474
1984
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93 (1984)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shlomit S. Pinter, Pierre Wolper: A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). PODC 1984: 28-37
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moshe Y. Vardi, Pierre Wolper: Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). STOC 1984: 446-456
1983
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Temporal Logic Can Be More Expressive. Information and Control 56(1/2): 72-99 (1983)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla: Reasoning about Infinite Computation Paths (Extended Abstract). FOCS 1983: 185-194
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moshe Y. Vardi, Pierre Wolper: Yet Another Process Logic (Preliminary Version). Logic of Programs 1983: 501-512
1982
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. POPL 1982: 20-33
1981
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Wolper: Temporal Logic Can Be More Expressive. FOCS 1981: 340-348
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. Logic of Programs 1981: 253-281

Coauthor Index

1Martín Abadi
[c13]
2Sudhir Aggarwal
[j5]
3Serge Autexier
[c43] [e3]
4Marianne Baudinet
[j16] [c27] [c22] [p1] [c17]
5Orna Bernholtz
[c23]
6Bernard Boigelot
[j20] [c42] [c41] [i2] [c40] [c39] [c35] [c34] [c33] [c30] [c25] [c24]
7Ahmed Bouajjani
[i4] [j21] [j18]
8François Cantin
[j23] [c44]
9Jan Chomicki
[j16] [c27] [c22] [p1]
10Costas Courcoubetis
[j6] [j5] [c16] [c9]
11André A. S. Danthine
[e1]
12Javier Esparza
[j18]
13Alain Finkel
[j18] [j14]
14Rob Gerth
[c26]
15Patrice Godefroid
[c30] [j9] [j7] [c20] [c19] [c18]
16Sébastien Jodogne
[j20] [i2] [c39]
17Froduald Kabanza
[j10] [c15]
18Orna Kupferman
[j19] [j17]
19Leslie Lamport
[c13]
20Guy Leduc
[e1]
21Axel Legay
[j24] [j23] [i4] [c44] [i3] [j22] [j21] [c42] [c41]
22Denis Leroy
[c21]
23Alexander Linden
[c48] [c47] [c46]
24Vinciane Lovinfosse
[c14]
25Oded Maler
[j18]
26Zohar Manna
[j2] [c1]
27Stephan Merz
[c43] [e3]
28Marc Niézette
[c17]
29Doron Peled
[j15] [c29] [c26]
30Shlomit S. Pinter
[c7]
31Stéphane Rassart
[c33]
32Peter Rossmanith
[j18]
33A. Prasad Sistla
[j4] [c8] [c5]
34Jean-Marc Stévenne
[j10] [c15]
35Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)
[c43] [e3]
36Ulrich Ultes-Nitsche (Ulrich Nitsche)
[i1] [c31]
37Moshe Y. Vardi
[j19] [j17] [c26] [j8] [c23] [j6] [c16] [j4] [j3] [c11] [c9] [c8] [c6] [c5] [c4]
38Reinhard Wilhelm
[c43] [e3]
39Thomas Wilke
[j15] [c29]
40Bernard Willems
[j18] [j14] [c30] [c28]
41Mihalis Yannakakis
[j6] [c16]

Colors in the list of coauthors

Last update Mon May 20 23:33:59 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page