BibTeX records: M. Oliver Möller

download as .bib file

@inproceedings{DBLP:conf/fase/DavidMY02,
  author       = {Alexandre David and
                  M. Oliver M{\"{o}}ller and
                  Wang Yi},
  editor       = {Ralf{-}Detlef Kutsche and
                  Herbert Weber},
  title        = {Formal Verification of {UML} Statecharts with Real-Time Extensions},
  booktitle    = {Fundamental Approaches to Software Engineering, 5th International
                  Conference, {FASE} 2002, held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
                  April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2306},
  pages        = {218--232},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45923-5\_15},
  doi          = {10.1007/3-540-45923-5\_15},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/DavidMY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Moller02,
  author       = {M. Oliver M{\"{o}}ller},
  editor       = {Eugene Asarin and
                  Oded Maler and
                  Sergio Yovine},
  title        = {Parking can get you there faster - Model Augmentation to Speed up
                  Real-Time Model-Checking},
  booktitle    = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
                  Grenoble, France, April 6-7, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {65},
  number       = {6},
  pages        = {202--217},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80477-8},
  doi          = {10.1016/S1571-0661(04)80477-8},
  timestamp    = {Mon, 05 Dec 2022 15:10:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Moller02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MollerRS02,
  author       = {M. Oliver M{\"{o}}ller and
                  Harald Rue{\ss} and
                  Maria Sorea},
  editor       = {Eugene Asarin and
                  Oded Maler and
                  Sergio Yovine},
  title        = {Predicate Abstraction for Dense Real-Time System},
  booktitle    = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
                  Grenoble, France, April 6-7, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {65},
  number       = {6},
  pages        = {218--237},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80478-X},
  doi          = {10.1016/S1571-0661(04)80478-X},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MollerRS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/MollerA01,
  author       = {M. Oliver M{\"{o}}ller and
                  Rajeev Alur},
  editor       = {Tiziana Margaria and
                  Thomas F. Melham},
  title        = {Heuristics for Hierarchical Partitioning with Application to Model
                  Checking},
  booktitle    = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
                  Scotland, UK, September 4-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2144},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44798-9\_5},
  doi          = {10.1007/3-540-44798-9\_5},
  timestamp    = {Sun, 02 Jun 2019 21:23:48 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/MollerA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
  author       = {Tobias Amnell and
                  Gerd Behrmann and
                  Johan Bengtsson and
                  Pedro R. D'Argenio and
                  Alexandre David and
                  Ansgar Fehnker and
                  Thomas Hune and
                  Bertrand Jeannet and
                  Kim Guldstrand Larsen and
                  M. Oliver M{\"{o}}ller and
                  Paul Pettersson and
                  Carsten Weise and
                  Wang Yi},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {{UPPAAL} - Now, Next, and Future},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {99--124},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_4},
  doi          = {10.1007/3-540-45510-8\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/MollerR98,
  author       = {M. Oliver M{\"{o}}ller and
                  Harald Rue{\ss}},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Solving Bit-Vector Equations},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {36--48},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_4},
  doi          = {10.1007/3-540-49519-3\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/MollerR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CyrlukMR97,
  author       = {David Cyrluk and
                  M. Oliver M{\"{o}}ller and
                  Harald Rue{\ss}},
  editor       = {Orna Grumberg},
  title        = {An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors},
  booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97,
                  Haifa, Israel, June 22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1254},
  pages        = {60--71},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63166-6\_9},
  doi          = {10.1007/3-540-63166-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CyrlukMR97.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.