The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre Wolper" ( http://dblp.L3S.de/Authors/Pierre_Wolper )

URL (Homepage):  http://www.montefiore.ulg.ac.be/~pw/  Author page on DBLP  Author page in RDF  Community of Pierre Wolper in ASPL-2

Publication years (Num. hits)
1981-1986 (15) 1987-1993 (18) 1994-1997 (18) 1998-2002 (15) 2003-2010 (15) 2011-2021 (3)
Publication types (Num. hits)
article(27) incollection(2) inproceedings(51) phdthesis(1) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 85 publication records. Showing 84 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha 2018 CAV award. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alexander Linden, Pierre Wolper A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander Linden, Pierre Wolper A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. Search on Bibsonomy SPIN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Axel Legay, Pierre Wolper On (Omega-)regular model checking. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Linden, Pierre Wolper An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. Search on Bibsonomy SPIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Axel Legay, Pierre Wolper A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1François Cantin, Axel Legay, Pierre Wolper Computing Convex Hulls by Automata Iteration. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Wolper On the Use of Automata for Deciding Linear Arithmetic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Axel Legay, Pierre Wolper On (Omega-)Regular Model Checking Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1François Cantin, Axel Legay, Pierre Wolper Computing Convex Hulls by Automata Iteration. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Axel Legay, Pierre Wolper On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper Preface -- Workshop Trustworthy Software 2006. Search on Bibsonomy Trustworthy Software The full citation details ... 2006 DBLP  BibTeX  RDF
1Serge 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 Search on Bibsonomy Trustworthy Software The full citation details ... 2006 DBLP  BibTeX  RDF
1Bernard Boigelot, Sébastien Jodogne, Pierre Wolper An effective decision procedure for linear arithmetic over the integers and reals. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF finite-state representations, integer and real arithmetic, weak ?-automata, Decision procedure
1Ahmed Bouajjani, Axel Legay, Pierre Wolper Handling Liveness Properties in (omega-)Regular Model Checking. Search on Bibsonomy INFINITY The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Axel Legay, Pierre Wolper Omega-Regular Model Checking. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Sébastien Jodogne, Pierre Wolper An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Bernard Boigelot, Axel Legay, Pierre Wolper Iterating Transducers in the Large (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Pierre Wolper Representing Arithmetic Constraints with Finite Automata: An Overview. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ulrich Ultes-Nitsche, Pierre Wolper Checking Properties within Fairness and Behavior Abstractions Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi, Pierre Wolper Module Checking. Search on Bibsonomy Inf. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Sébastien Jodogne, Pierre Wolper On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Representing Periodic Temporal Information with Automata. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper An efficient automata approach to some problems on context-free grammars. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi, Pierre Wolper An automata-theoretic approach to branching-time model checking. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Constructing Automata from Temporal Logic Formulas: A Tutorial. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Linear Repeating Points. Search on Bibsonomy Constraint Databases The full citation details ... 2000 DBLP  BibTeX  RDF
1Pierre Wolper, Bernard Boigelot On the Construction of Automata from Linear Arithmetic Constraints. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marianne Baudinet, Jan Chomicki, Pierre Wolper Constraint-Generating Dependencies. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Thomas Wilke, Pierre Wolper An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pierre Wolper, Bernard Boigelot Verifying Systems with Infinite but Regular State Spaces. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Stéphane Rassart, Pierre Wolper On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alain Finkel, Bernard Willems, Pierre Wolper A direct symbolic approach to model checking pushdown systems. Search on Bibsonomy INFINITY The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Pierre Wolper The Meaning of "Formal": From Weak to Strong Formal Methods. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Verification, Formal methods, Semantical analysis
1Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper The Power of QDDs (Extended Abstract). Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ulrich Nitsche, Pierre Wolper Relative Liveness and Behavior Abstraction (Extended Abstract). Search on Bibsonomy PODC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Pierre Wolper The Meaning of "Formal". Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Where is the Algorithmic Support? Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bernard Willems, Pierre Wolper Partial-Order Methods for Model Checking: From Linear Time to Branching Time. Search on Bibsonomy LICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Thomas Wilke, Pierre Wolper An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper Handling Infinite Temporal Data. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Pierre Wolper (eds.) Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Pierre Wolper, Bernard Boigelot An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) Search on Bibsonomy SAS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper Simple on-the-fly automatic verification of linear temporal logic. Search on Bibsonomy PSTV The full citation details ... 1995 DBLP  BibTeX  RDF
1Marianne Baudinet, Jan Chomicki, Pierre Wolper Constraint-Generating Dependencies. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Pierre Wolper Reasoning About Infinite Computations Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Pierre Wolper A Partial Approach to Model Checking Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Pierre Wolper Symbolic Verification with Periodic Sets. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marianne Baudinet, Jan Chomicki, Pierre Wolper Constraint-Generating Dependencies. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Pierre Wolper Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Marianne Baudinet, Jan Chomicki, Pierre Wolper Temporal Deductive Databases. Search on Bibsonomy Temporal Databases The full citation details ... 1993 DBLP  BibTeX  RDF
1Pierre Wolper, Denis Leroy Reliable Hashing without Collosion Detection. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1André 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 Search on Bibsonomy PSTV The full citation details ... 1993 DBLP  BibTeX  RDF
1Pierre Wolper, Patrice Godefroid Partial-Order Methods for Temporal Verification. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis Memory-Efficient Algorithms for the Verification of Temporal Properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Pierre Wolper Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Pierre Wolper A Partial Approach to Model Checking Search on Bibsonomy LICS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Marianne Baudinet, Marc Niézette, Pierre Wolper On the Representation of Infinite Temporal Data and Queries. Search on Bibsonomy PODS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper Adding Liveness Properties to Coupled Finite-State Machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis Memory Efficient Algorithms for the Verification of Temporal Properties. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper Handling Infinite Temporal Data. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis Memory Efficient Algorithms for the Verification of Temporal Properties. Search on Bibsonomy CAV (DIMACS/AMS volume) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Leslie Lamport, Pierre Wolper Realizable and Unrealizable Specifications of Reactive Systems. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Marie-Jeanne Toussaint, Pierre Wolper Reasoning about Cryptographic Protocols. Search on Bibsonomy Distributed Computing And Cryptography The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Pierre Wolper, Vinciane Lovinfosse Verifying Properties of Large Sets of Processes with Network Invariants. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Pierre Wolper On the Relation of Programs and Computations to Models of Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Pierre Wolper Automata-Theoretic Techniques for Modal Logics of Programs. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Pierre Wolper An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) Search on Bibsonomy LICS The full citation details ... 1986 DBLP  BibTeX  RDF
1Pierre Wolper Expressing Interesting Properties of Programs in Propositional Temporal Logic. Search on Bibsonomy POPL The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper Reasoning about Fair Concurrent Programs Search on Bibsonomy STOC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Zohar Manna, Pierre Wolper Synthesis of Communicating Processes from Temporal Logic Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Shlomit S. Pinter, Pierre Wolper A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). Search on Bibsonomy PODC The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Pierre Wolper Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) Search on Bibsonomy STOC The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Temporal Logic Can Be More Expressive Search on Bibsonomy Inf. Control. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla Reasoning about Infinite Computation Paths (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Pierre Wolper Yet Another Process Logic (Preliminary Version). Search on Bibsonomy Logic of Programs The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. Search on Bibsonomy POPL The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Synthesis of communicating processes from temporal logic specifications. Search on Bibsonomy 1982   RDF
1Pierre Wolper Temporal Logic Can Be More Expressive Search on Bibsonomy FOCS The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Zohar Manna, Pierre Wolper Synthesis of Communicating Processes from Temporal Logic Specifications. Search on Bibsonomy Logic of Programs The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #84 of 84 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license