Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Pierre Wolper
@article{DBLP:journals/fmsd/LarsenSWJ21, author = {Kim G. Larsen and Natarajan Shankar and Pierre Wolper and Somesh Jha}, title = {2018 {CAV} award}, journal = {Formal Methods Syst. Des.}, volume = {57}, number = {1}, pages = {116--117}, year = {2021}, url = {https://doi.org/10.1007/s10703-021-00375-3}, doi = {10.1007/S10703-021-00375-3}, timestamp = {Tue, 27 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/LarsenSWJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/LindenW13, author = {Alexander Linden and Pierre Wolper}, editor = {Nir Piterman and Scott A. Smolka}, title = {A Verification-Based Approach to Memory Fence Insertion in {PSO} Memory Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7795}, pages = {339--353}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36742-7\_24}, doi = {10.1007/978-3-642-36742-7\_24}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/LindenW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/LindenW11, author = {Alexander Linden and Pierre Wolper}, editor = {Alex Groce and Madanlal Musuvathi}, title = {A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems}, booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6823}, pages = {144--160}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22306-8\_10}, doi = {10.1007/978-3-642-22306-8\_10}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/LindenW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/LegayW10, author = {Axel Legay and Pierre Wolper}, title = {On (Omega-)regular model checking}, journal = {{ACM} Trans. Comput. Log.}, volume = {12}, number = {1}, pages = {2:1--2:46}, year = {2010}, url = {https://doi.org/10.1145/1838552.1838554}, doi = {10.1145/1838552.1838554}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/LegayW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/LindenW10, author = {Alexander Linden and Pierre Wolper}, editor = {Jaco van de Pol and Michael Weber}, title = {An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models}, booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6349}, pages = {212--226}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16164-3\_16}, doi = {10.1007/978-3-642-16164-3\_16}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/LindenW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/CantinLW09, author = {Fran{\c{c}}ois Cantin and Axel Legay and Pierre Wolper}, title = {Computing Convex Hulls by Automata Iteration}, journal = {Int. J. Found. Comput. Sci.}, volume = {20}, number = {4}, pages = {647--667}, year = {2009}, url = {https://doi.org/10.1142/S0129054109006796}, doi = {10.1142/S0129054109006796}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijfcs/CantinLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Wolper09, author = {Pierre Wolper}, editor = {Martin Giese and Arild Waaler}, title = {On the Use of Automata for Deciding Linear Arithmetic}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5607}, pages = {16}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02716-1\_2}, doi = {10.1007/978-3-642-02716-1\_2}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Wolper09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0901-4080, author = {Ahmed Bouajjani and Axel Legay and Pierre Wolper}, title = {A Framework to Handle Linear Temporal Properties in ({\textbackslash}omega-)Regular Model Checking}, journal = {CoRR}, volume = {abs/0901.4080}, year = {2009}, url = {http://arxiv.org/abs/0901.4080}, eprinttype = {arXiv}, eprint = {0901.4080}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0901-4080.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wia/CantinLW08, author = {Fran{\c{c}}ois Cantin and Axel Legay and Pierre Wolper}, editor = {Oscar H. Ibarra and Bala Ravikumar}, title = {Computing Convex Hulls by Automata Iteration}, booktitle = {Implementation and Applications of Automata, 13th International Conference, {CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5148}, pages = {112--121}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70844-5\_12}, doi = {10.1007/978-3-540-70844-5\_12}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wia/CantinLW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0809-2214, author = {Axel Legay and Pierre Wolper}, title = {On (Omega-)Regular Model Checking}, journal = {CoRR}, volume = {abs/0809.2214}, year = {2008}, url = {http://arxiv.org/abs/0809.2214}, eprinttype = {arXiv}, eprint = {0809.2214}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0809-2214.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/AutexierMTWW06, author = {Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper}, editor = {Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper}, title = {Preface -- Workshop Trustworthy Software 2006}, booktitle = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbr{\"{u}}cken, Germany}, series = {OASIcs}, volume = {3}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/693}, timestamp = {Tue, 15 Feb 2022 09:40:05 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/AutexierMTWW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2006P6000, editor = {Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper}, title = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbr{\"{u}}cken, Germany}, series = {OASIcs}, volume = {3}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/portals/06000/}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BoigelotJW05, author = {Bernard Boigelot and S{\'{e}}bastien Jodogne and Pierre Wolper}, title = {An effective decision procedure for linear arithmetic over the integers and reals}, journal = {{ACM} Trans. Comput. Log.}, volume = {6}, number = {3}, pages = {614--633}, year = {2005}, url = {https://doi.org/10.1145/1071596.1071601}, doi = {10.1145/1071596.1071601}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BoigelotJW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LegayW06, author = {Axel Legay and Pierre Wolper}, editor = {Lubos Brim and Isabelle Linden}, title = {On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address}, booktitle = {Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION 2005, Namur, Belgium, April 23, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {150}, number = {1}, pages = {3--8}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.020}, doi = {10.1016/J.ENTCS.2005.12.020}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LegayW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BoigelotLW04, author = {Bernard Boigelot and Axel Legay and Pierre Wolper}, editor = {Kurt Jensen and Andreas Podelski}, title = {Omega-Regular Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2988}, pages = {561--575}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24730-2\_41}, doi = {10.1007/978-3-540-24730-2\_41}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/BoigelotLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BouajjaniLW05, author = {Ahmed Bouajjani and Axel Legay and Pierre Wolper}, editor = {Julian C. Bradfield and Faron Moller}, title = {Handling Liveness Properties in (\emph{omega}-)Regular Model Checking}, booktitle = {Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {138}, number = {3}, pages = {101--115}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.061}, doi = {10.1016/J.ENTCS.2005.02.061}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BouajjaniLW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BoigelotLW03, author = {Bernard Boigelot and Axel Legay and Pierre Wolper}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Iterating Transducers in the Large (Extended Abstract)}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {223--235}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_24}, doi = {10.1007/978-3-540-45069-6\_24}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/BoigelotLW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0303019, author = {Bernard Boigelot and S{\'{e}}bastien Jodogne and Pierre Wolper}, title = {An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables}, journal = {CoRR}, volume = {cs.LO/0303019}, year = {2003}, url = {http://arxiv.org/abs/cs/0303019}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0303019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BoigelotW02, author = {Bernard Boigelot and Pierre Wolper}, editor = {Peter J. Stuckey}, title = {Representing Arithmetic Constraints with Finite Automata: An Overview}, booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2401}, pages = {1--19}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45619-8\_1}, doi = {10.1007/3-540-45619-8\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/BoigelotW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KupfermanVW01, author = {Orna Kupferman and Moshe Y. Vardi and Pierre Wolper}, title = {Module Checking}, journal = {Inf. Comput.}, volume = {164}, number = {2}, pages = {322--344}, year = {2001}, url = {https://doi.org/10.1006/inco.2000.2893}, doi = {10.1006/INCO.2000.2893}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KupfermanVW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BoigelotJW01, author = {Bernard Boigelot and S{\'{e}}bastien Jodogne and Pierre Wolper}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {611--625}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_50}, doi = {10.1007/3-540-45744-5\_50}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BoigelotJW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Wolper01, author = {Pierre Wolper}, title = {Representing Periodic Temporal Information with Automata}, booktitle = {Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001}, pages = {179}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/TIME.2001.930715}, doi = {10.1109/TIME.2001.930715}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/Wolper01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0101017, author = {Ulrich Ultes{-}Nitsche and Pierre Wolper}, title = {Checking Properties within Fairness and Behavior Abstractions}, journal = {CoRR}, volume = {cs.LO/0101017}, year = {2001}, url = {https://arxiv.org/abs/cs/0101017}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0101017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BouajjaniEFMRWW00, author = {Ahmed Bouajjani and Javier Esparza and Alain Finkel and Oded Maler and Peter Rossmanith and Bernard Willems and Pierre Wolper}, title = {An efficient automata approach to some problems on context-free grammars}, journal = {Inf. Process. Lett.}, volume = {74}, number = {5-6}, pages = {221--227}, year = {2000}, url = {https://doi.org/10.1016/S0020-0190(00)00055-7}, doi = {10.1016/S0020-0190(00)00055-7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/BouajjaniEFMRWW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/KupfermanVW00, author = {Orna Kupferman and Moshe Y. Vardi and Pierre Wolper}, title = {An automata-theoretic approach to branching-time model checking}, journal = {J. {ACM}}, volume = {47}, number = {2}, pages = {312--360}, year = {2000}, url = {https://doi.org/10.1145/333979.333987}, doi = {10.1145/333979.333987}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/KupfermanVW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eef/Wolper00, author = {Pierre Wolper}, editor = {Ed Brinksma and Holger Hermanns and Joost{-}Pieter Katoen}, title = {Constructing Automata from Temporal Logic Formulas: {A} Tutorial}, booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2090}, pages = {261--277}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44667-2\_7}, doi = {10.1007/3-540-44667-2\_7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eef/Wolper00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/WolperB00, author = {Pierre Wolper and Bernard Boigelot}, editor = {Susanne Graf and Michael I. Schwartzbach}, title = {On the Construction of Automata from Linear Arithmetic Constraints}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, {TACAS} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1785}, pages = {1--19}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46419-0\_1}, doi = {10.1007/3-540-46419-0\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/WolperB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/cdb/Wolper00, author = {Pierre Wolper}, editor = {Gabriel M. Kuper and Leonid Libkin and Jan Paredaens}, title = {Linear Repeating Points}, booktitle = {Constraint Databases}, pages = {305--314}, publisher = {Springer}, year = {2000}, timestamp = {Thu, 08 Aug 2019 09:25:55 +0200}, biburl = {https://dblp.org/rec/conf/cdb/Wolper00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BaudinetCW99, author = {Marianne Baudinet and Jan Chomicki and Pierre Wolper}, title = {Constraint-Generating Dependencies}, journal = {J. Comput. Syst. Sci.}, volume = {59}, number = {1}, pages = {94--115}, year = {1999}, url = {https://doi.org/10.1006/jcss.1999.1632}, doi = {10.1006/JCSS.1999.1632}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BaudinetCW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PeledWW98, author = {Doron A. Peled and Thomas Wilke and Pierre Wolper}, title = {An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages}, journal = {Theor. Comput. Sci.}, volume = {195}, number = {2}, pages = {183--203}, year = {1998}, url = {https://doi.org/10.1016/S0304-3975(97)00219-3}, doi = {10.1016/S0304-3975(97)00219-3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PeledWW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/WolperB98, author = {Pierre Wolper and Bernard Boigelot}, editor = {Alan J. Hu and Moshe Y. Vardi}, title = {Verifying Systems with Infinite but Regular State Spaces}, booktitle = {Computer Aided Verification, 10th International Conference, {CAV} '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1427}, pages = {88--97}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0028736}, doi = {10.1007/BFB0028736}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/WolperB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BoigelotRW98, author = {Bernard Boigelot and St{\'{e}}phane Rassart and Pierre Wolper}, editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel}, title = {On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract)}, booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1443}, pages = {152--163}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055049}, doi = {10.1007/BFB0055049}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BoigelotRW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Wolper98, author = {Pierre Wolper}, editor = {Pierre Flener}, title = {Algorithms for Synthesizing Reactive Systems: {A} Perspective (Abstract)}, booktitle = {Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1559}, pages = {308}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48958-4\_17}, doi = {10.1007/3-540-48958-4\_17}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Wolper98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/Wolper97, author = {Pierre Wolper}, title = {The Meaning of "Formal": From Weak to Strong Formal Methods}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {1}, number = {1-2}, pages = {6--8}, year = {1997}, url = {https://doi.org/10.1007/s100090050002}, doi = {10.1007/S100090050002}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/Wolper97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/NitscheW97, author = {Ulrich Nitsche and Pierre Wolper}, editor = {James E. Burns and Hagit Attiya}, title = {Relative Liveness and Behavior Abstraction (Extended Abstract)}, booktitle = {Proceedings of the Sixteenth Annual {ACM} Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997}, pages = {45--52}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/259380.259419}, doi = {10.1145/259380.259419}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/podc/NitscheW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BoigelotGWW97, author = {Bernard Boigelot and Patrice Godefroid and Bernard Willems and Pierre Wolper}, editor = {Pascal Van Hentenryck}, title = {The Power of QDDs (Extended Abstract)}, booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France, September 8-10, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1302}, pages = {172--186}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0032741}, doi = {10.1007/BFB0032741}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/BoigelotGWW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkelWW97, author = {Alain Finkel and Bernard Willems and Pierre Wolper}, editor = {Faron Moller}, title = {A direct symbolic approach to model checking pushdown systems}, booktitle = {Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {9}, pages = {27--37}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80426-8}, doi = {10.1016/S1571-0661(05)80426-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkelWW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/Wolper96, author = {Pierre Wolper}, title = {Where is the Algorithmic Support?}, journal = {{ACM} Comput. Surv.}, volume = {28}, number = {4es}, pages = {58}, year = {1996}, url = {https://doi.org/10.1145/242224.242298}, doi = {10.1145/242224.242298}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/Wolper96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/Wolper96a, author = {Pierre Wolper}, title = {The Meaning of "Formal"}, journal = {{ACM} Comput. Surv.}, volume = {28}, number = {4es}, pages = {127}, year = {1996}, url = {https://doi.org/10.1145/242224.242386}, doi = {10.1145/242224.242386}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/Wolper96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/PeledWW96, author = {Doron A. Peled and Thomas Wilke and Pierre Wolper}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages}, booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1119}, pages = {596--610}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61604-7\_78}, doi = {10.1007/3-540-61604-7\_78}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/PeledWW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/WillemsW96, author = {Bernard Willems and Pierre Wolper}, title = {Partial-Order Methods for Model Checking: From Linear Time to Branching Time}, booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996}, pages = {294--303}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/LICS.1996.561357}, doi = {10.1109/LICS.1996.561357}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/WillemsW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/KabanzaSW95, author = {Froduald Kabanza and Jean{-}Marc St{\'{e}}venne and Pierre Wolper}, title = {Handling Infinite Temporal Data}, journal = {J. Comput. Syst. Sci.}, volume = {51}, number = {1}, pages = {3--17}, year = {1995}, url = {https://doi.org/10.1006/jcss.1995.1049}, doi = {10.1006/JCSS.1995.1049}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/KabanzaSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/BaudinetCW95, author = {Marianne Baudinet and Jan Chomicki and Pierre Wolper}, editor = {Georg Gottlob and Moshe Y. Vardi}, title = {Constraint-Generating Dependencies}, booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {893}, pages = {322--337}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-58907-4\_25}, doi = {10.1007/3-540-58907-4\_25}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/BaudinetCW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pstv/GerthPVW95, author = {Rob Gerth and Doron A. Peled and Moshe Y. Vardi and Pierre Wolper}, editor = {Piotr Dembinski and Marek Sredniawa}, title = {Simple on-the-fly automatic verification of linear temporal logic}, booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995}, series = {{IFIP} Conference Proceedings}, volume = {38}, pages = {3--18}, publisher = {Chapman {\&} Hall}, year = {1995}, timestamp = {Fri, 12 Feb 2016 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pstv/GerthPVW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/WolperB95, author = {Pierre Wolper and Bernard Boigelot}, editor = {Alan Mycroft}, title = {An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)}, booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {983}, pages = {21--32}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60360-3\_30}, doi = {10.1007/3-540-60360-3\_30}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/WolperB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/1995, editor = {Pierre Wolper}, title = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge, Belgium, July, 3-5, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {939}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60045-0}, doi = {10.1007/3-540-60045-0}, isbn = {3-540-60045-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GodefroidW94, author = {Patrice Godefroid and Pierre Wolper}, title = {A Partial Approach to Model Checking}, journal = {Inf. Comput.}, volume = {110}, number = {2}, pages = {305--326}, year = {1994}, url = {https://doi.org/10.1006/inco.1994.1035}, doi = {10.1006/INCO.1994.1035}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GodefroidW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/VardiW94, author = {Moshe Y. Vardi and Pierre Wolper}, title = {Reasoning About Infinite Computations}, journal = {Inf. Comput.}, volume = {115}, number = {1}, pages = {1--37}, year = {1994}, url = {https://doi.org/10.1006/inco.1994.1092}, doi = {10.1006/INCO.1994.1092}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/VardiW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BoigelotW94, author = {Bernard Boigelot and Pierre Wolper}, editor = {David L. Dill}, title = {Symbolic Verification with Periodic Sets}, booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94, Stanford, California, USA, June 21-23, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {818}, pages = {55--67}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58179-0\_43}, doi = {10.1007/3-540-58179-0\_43}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/BoigelotW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BernholtzVW94, author = {Orna Bernholtz and Moshe Y. Vardi and Pierre Wolper}, editor = {David L. Dill}, title = {An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)}, booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94, Stanford, California, USA, June 21-23, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {818}, pages = {142--155}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58179-0\_50}, doi = {10.1007/3-540-58179-0\_50}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BernholtzVW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppcp/BaudinetCW94, author = {Marianne Baudinet and Jan Chomicki and Pierre Wolper}, editor = {Alan Borning}, title = {Constraint-Generating Dependencies}, booktitle = {Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {874}, pages = {205--217}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58601-6\_102}, doi = {10.1007/3-540-58601-6\_102}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppcp/BaudinetCW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GodefroidW93, author = {Patrice Godefroid and Pierre Wolper}, title = {Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties}, journal = {Formal Methods Syst. Des.}, volume = {2}, number = {2}, pages = {149--164}, year = {1993}, url = {https://doi.org/10.1007/BF01383879}, doi = {10.1007/BF01383879}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/GodefroidW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/WolperL93, author = {Pierre Wolper and Denis Leroy}, editor = {Costas Courcoubetis}, title = {Reliable Hashing without Collosion Detection}, booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {697}, pages = {59--70}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56922-7\_6}, doi = {10.1007/3-540-56922-7\_6}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/WolperL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/WolperG93, author = {Pierre Wolper and Patrice Godefroid}, editor = {Eike Best}, title = {Partial-Order Methods for Temporal Verification}, booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {715}, pages = {233--246}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57208-2\_17}, doi = {10.1007/3-540-57208-2\_17}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/WolperG93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/bc/tanselCGSS93/BaudinetCW93, author = {Marianne Baudinet and Jan Chomicki and Pierre Wolper}, editor = {Abdullah Uz Tansel and James Clifford and Shashi K. Gadia and Arie Segev and Richard T. Snodgrass}, title = {Temporal Deductive Databases}, booktitle = {Temporal Databases: Theory, Design, and Implementation}, pages = {294--320}, publisher = {Benjamin/Cummings}, year = {1993}, timestamp = {Wed, 07 Aug 2019 16:42:16 +0200}, biburl = {https://dblp.org/rec/books/bc/tanselCGSS93/BaudinetCW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pstv/1993, editor = {Andr{\'{e}} A. S. Danthine and Guy Leduc and Pierre Wolper}, title = {Protocol Specification, Testing and Verification XIII, Proceedings of the {IFIP} {TC6/WG6.1} Thirteenth International Symposium on Protocol Specification, Testing and Verification, Li{\`{e}}ge, Belgium, 25-28 May, 1993}, series = {{IFIP} Transactions}, volume = {{C-16}}, publisher = {North-Holland}, year = {1993}, isbn = {0-444-81648-8}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pstv/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CourcoubetisVWY92, author = {Costas Courcoubetis and Moshe Y. Vardi and Pierre Wolper and Mihalis Yannakakis}, title = {Memory-Efficient Algorithms for the Verification of Temporal Properties}, journal = {Formal Methods Syst. Des.}, volume = {1}, number = {2/3}, pages = {275--288}, year = {1992}, url = {https://doi.org/10.1007/BF00121128}, doi = {10.1007/BF00121128}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CourcoubetisVWY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/GodefroidW91, author = {Patrice Godefroid and Pierre Wolper}, editor = {Kim Guldstrand Larsen and Arne Skou}, title = {Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties}, booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {575}, pages = {332--342}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55179-4\_32}, doi = {10.1007/3-540-55179-4\_32}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/GodefroidW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/GodefroidW91, author = {Patrice Godefroid and Pierre Wolper}, title = {A Partial Approach to Model Checking}, booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991}, pages = {406--415}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/LICS.1991.151664}, doi = {10.1109/LICS.1991.151664}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/GodefroidW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/BaudinetNW91, author = {Marianne Baudinet and Marc Ni{\'{e}}zette and Pierre Wolper}, editor = {Daniel J. Rosenkrantz}, title = {On the Representation of Infinite Temporal Data and Queries}, booktitle = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado, {USA}}, pages = {280--290}, publisher = {{ACM} Press}, year = {1991}, url = {https://doi.org/10.1145/113413.113439}, doi = {10.1145/113413.113439}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/BaudinetNW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/AggarwalCW90, author = {Sudhir Aggarwal and Costas Courcoubetis and Pierre Wolper}, title = {Adding Liveness Properties to Coupled Finite-State Machines}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {12}, number = {2}, pages = {303--339}, year = {1990}, url = {https://doi.org/10.1145/78942.78948}, doi = {10.1145/78942.78948}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/AggarwalCW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CourcoubetisVWY90, author = {Costas Courcoubetis and Moshe Y. Vardi and Pierre Wolper and Mihalis Yannakakis}, editor = {Edmund M. Clarke and Robert P. Kurshan}, title = {Memory Efficient Algorithms for the Verification of Temporal Properties}, booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {531}, pages = {233--242}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0023737}, doi = {10.1007/BFB0023737}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/CourcoubetisVWY90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/CourcoubetisVWY90, author = {Costas Courcoubetis and Moshe Y. Vardi and Pierre Wolper and Mihalis Yannakakis}, editor = {Edmund M. Clarke and Robert P. Kurshan}, title = {Memory Efficient Algorithms for the Verification of Temporal Properties}, booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {3}, pages = {207--218}, publisher = {{DIMACS/AMS}}, year = {1990}, url = {https://doi.org/10.1090/dimacs/003/15}, doi = {10.1090/DIMACS/003/15}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/CourcoubetisVWY90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/KabanzaSW90, author = {Froduald Kabanza and Jean{-}Marc St{\'{e}}venne and Pierre Wolper}, editor = {Daniel J. Rosenkrantz and Yehoshua Sagiv}, title = {Handling Infinite Temporal Data}, booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, {USA}}, pages = {392--403}, publisher = {{ACM} Press}, year = {1990}, url = {https://doi.org/10.1145/298514.298590}, doi = {10.1145/298514.298590}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/KabanzaSW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/avmfss/WolperL89, author = {Pierre Wolper and Vinciane Lovinfosse}, editor = {Joseph Sifakis}, title = {Verifying Properties of Large Sets of Processes with Network Invariants}, booktitle = {Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {407}, pages = {68--80}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-52148-8\_6}, doi = {10.1007/3-540-52148-8\_6}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/avmfss/WolperL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/ToussaintW89, author = {Marie{-}Jeanne Toussaint and Pierre Wolper}, editor = {Joan Feigenbaum and Michael Merritt}, title = {Reasoning about Cryptographic Protocols}, booktitle = {Distributed Computing And Cryptography, Proceedings of a {DIMACS} Workshop, Princeton, New Jersey, USA, October 4-6, 1989}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {2}, pages = {245}, publisher = {{DIMACS/AMS}}, year = {1989}, url = {https://doi.org/10.1090/dimacs/002/18}, doi = {10.1090/DIMACS/002/18}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/ToussaintW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AbadiLW89, author = {Mart{\'{\i}}n Abadi and Leslie Lamport and Pierre Wolper}, editor = {Giorgio Ausiello and Mariangiola Dezani{-}Ciancaglini and Simona Ronchi Della Rocca}, title = {Realizable and Unrealizable Specifications of Reactive Systems}, booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {372}, pages = {1--17}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0035748}, doi = {10.1007/BFB0035748}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/AbadiLW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SistlaVW87, author = {A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper}, title = {The Complementation Problem for B{\"{u}}chi Automata with Appplications to Temporal Logic}, journal = {Theor. Comput. Sci.}, volume = {49}, pages = {217--237}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90008-9}, doi = {10.1016/0304-3975(87)90008-9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/SistlaVW87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tls/Wolper87, author = {Pierre Wolper}, editor = {Behnam Banieqbal and Howard Barringer and Amir Pnueli}, title = {On the Relation of Programs and Computations to Models of Temporal Logic}, booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {398}, pages = {75--123}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-51803-7\_23}, doi = {10.1007/3-540-51803-7\_23}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tls/Wolper87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/VardiW86, author = {Moshe Y. Vardi and Pierre Wolper}, title = {Automata-Theoretic Techniques for Modal Logics of Programs}, journal = {J. Comput. Syst. Sci.}, volume = {32}, number = {2}, pages = {183--221}, year = {1986}, url = {https://doi.org/10.1016/0022-0000(86)90026-7}, doi = {10.1016/0022-0000(86)90026-7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/VardiW86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/VardiW86, author = {Moshe Y. Vardi and Pierre Wolper}, title = {An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)}, booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS} '86), Cambridge, Massachusetts, USA, June 16-18, 1986}, pages = {332--344}, publisher = {{IEEE} Computer Society}, year = {1986}, timestamp = {Thu, 22 Jan 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/VardiW86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Wolper86, author = {Pierre Wolper}, title = {Expressing Interesting Properties of Programs in Propositional Temporal Logic}, booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986}, pages = {184--193}, publisher = {{ACM} Press}, year = {1986}, url = {https://doi.org/10.1145/512644.512661}, doi = {10.1145/512644.512661}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Wolper86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/CourcoubetisVW86, author = {Costas Courcoubetis and Moshe Y. Vardi and Pierre Wolper}, editor = {Juris Hartmanis}, title = {Reasoning about Fair Concurrent Programs}, booktitle = {Proceedings of the 18th Annual {ACM} Symposium on Theory of Computing, May 28-30, 1986, Berkeley, California, {USA}}, pages = {283--294}, publisher = {{ACM}}, year = {1986}, url = {https://doi.org/10.1145/12130.12159}, doi = {10.1145/12130.12159}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/CourcoubetisVW86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/SistlaVW85, author = {A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper}, editor = {Wilfried Brauer}, title = {The Complementation Problem for B{\"{u}}chi Automata with Applications to Temporal Logic (Extended Abstract)}, booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {194}, pages = {465--474}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/BFb0015772}, doi = {10.1007/BFB0015772}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/SistlaVW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/MannaW84, author = {Zohar Manna and Pierre Wolper}, title = {Synthesis of Communicating Processes from Temporal Logic Specifications}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {6}, number = {1}, pages = {68--93}, year = {1984}, url = {https://doi.org/10.1145/357233.357237}, doi = {10.1145/357233.357237}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/MannaW84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/PinterW84, author = {Shlomit S. Pinter and Pierre Wolper}, editor = {Tiko Kameda and Jayadev Misra and Joseph G. Peters and Nicola Santoro}, title = {A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract)}, booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984}, pages = {28--37}, publisher = {{ACM}}, year = {1984}, url = {https://doi.org/10.1145/800222.806733}, doi = {10.1145/800222.806733}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/PinterW84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/VardiW84, author = {Moshe Y. Vardi and Pierre Wolper}, editor = {Richard A. DeMillo}, title = {Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)}, booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, {USA}}, pages = {446--456}, publisher = {{ACM}}, year = {1984}, url = {https://doi.org/10.1145/800057.808711}, doi = {10.1145/800057.808711}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/VardiW84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Wolper83, author = {Pierre Wolper}, title = {Temporal Logic Can Be More Expressive}, journal = {Inf. Control.}, volume = {56}, number = {1/2}, pages = {72--99}, year = {1983}, url = {https://doi.org/10.1016/S0019-9958(83)80051-5}, doi = {10.1016/S0019-9958(83)80051-5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Wolper83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/WolperVS83, author = {Pierre Wolper and Moshe Y. Vardi and A. Prasad Sistla}, title = {Reasoning about Infinite Computation Paths (Extended Abstract)}, booktitle = {24th Annual Symposium on Foundations of Computer Science, Tucson, Arizona, USA, 7-9 November 1983}, pages = {185--194}, publisher = {{IEEE} Computer Society}, year = {1983}, url = {https://doi.org/10.1109/SFCS.1983.51}, doi = {10.1109/SFCS.1983.51}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/WolperVS83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/VardiW83, author = {Moshe Y. Vardi and Pierre Wolper}, editor = {Edmund M. Clarke and Dexter Kozen}, title = {Yet Another Process Logic (Preliminary Version)}, booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {164}, pages = {501--512}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/3-540-12896-4\_383}, doi = {10.1007/3-540-12896-4\_383}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lop/VardiW83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Wolper82, author = {Pierre Wolper}, title = {Synthesis of communicating processes from temporal logic specifications}, school = {Stanford University, {USA}}, year = {1982}, url = {https://searchworks.stanford.edu/view/1037496}, timestamp = {Tue, 23 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Wolper82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Wolper82, author = {Pierre Wolper}, editor = {Richard A. DeMillo}, title = {Specification and Synthesis of Communicating Processes using an Extended Temporal Logic}, booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982}, pages = {20--33}, publisher = {{ACM} Press}, year = {1982}, url = {https://doi.org/10.1145/582153.582156}, doi = {10.1145/582153.582156}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Wolper82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Wolper81, author = {Pierre Wolper}, title = {Temporal Logic Can Be More Expressive}, booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville, Tennessee, USA, 28-30 October 1981}, pages = {340--348}, publisher = {{IEEE} Computer Society}, year = {1981}, url = {https://doi.org/10.1109/SFCS.1981.44}, doi = {10.1109/SFCS.1981.44}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/Wolper81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/MannaW81, author = {Zohar Manna and Pierre Wolper}, editor = {Dexter Kozen}, title = {Synthesis of Communicating Processes from Temporal Logic Specifications}, booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981}, series = {Lecture Notes in Computer Science}, volume = {131}, pages = {253--281}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/BFb0025786}, doi = {10.1007/BFB0025786}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lop/MannaW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.