BibTeX records: Pierre Wolper

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics