BibTeX records: M. Oliver Möller

download as .bib file

@article{DBLP:journals/entcs/Moller02,
  author    = {M. Oliver M{\"{o}}ller},
  title     = {Parking can get you there faster - Model Augmentation to Speed up
               Real-Time Model-Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {65},
  number    = {6},
  pages     = {202--217},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80477-8},
  doi       = {10.1016/S1571-0661(04)80477-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Moller02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MollerRS02,
  author    = {M. Oliver M{\"{o}}ller and
               Harald Rue{\ss} and
               Maria Sorea},
  title     = {Predicate Abstraction for Dense Real-Time System},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {65},
  number    = {6},
  pages     = {218--237},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80478-X},
  doi       = {10.1016/S1571-0661(04)80478-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/MollerRS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DavidMY02,
  author    = {Alexandre David and
               M. Oliver M{\"{o}}ller and
               Wang Yi},
  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},
  pages     = {218--232},
  year      = {2002},
  crossref  = {DBLP:conf/fase/2002},
  url       = {https://doi.org/10.1007/3-540-45923-5\_15},
  doi       = {10.1007/3-540-45923-5\_15},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/DavidMY02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MollerA01,
  author    = {M. Oliver M{\"{o}}ller and
               Rajeev Alur},
  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},
  pages     = {71--85},
  year      = {2001},
  crossref  = {DBLP:conf/charme/2001},
  url       = {https://doi.org/10.1007/3-540-44798-9\_5},
  doi       = {10.1007/3-540-44798-9\_5},
  timestamp = {Fri, 02 Nov 2018 09:46:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/charme/MollerA01},
  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},
  title     = {{UPPAAL} - Now, Next, and Future},
  booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School,
               {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  pages     = {99--124},
  year      = {2000},
  crossref  = {DBLP:conf/movep/2000},
  url       = {https://doi.org/10.1007/3-540-45510-8\_4},
  doi       = {10.1007/3-540-45510-8\_4},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/movep/AmnellBBDDFHJLMPWY00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MollerR98,
  author    = {M. Oliver M{\"{o}}ller and
               Harald Rue{\ss}},
  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},
  pages     = {36--48},
  year      = {1998},
  crossref  = {DBLP:conf/fmcad/1998},
  url       = {https://doi.org/10.1007/3-540-49519-3\_4},
  doi       = {10.1007/3-540-49519-3\_4},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/MollerR98},
  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}},
  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},
  pages     = {60--71},
  year      = {1997},
  crossref  = {DBLP:conf/cav/1997},
  url       = {https://doi.org/10.1007/3-540-63166-6\_9},
  doi       = {10.1007/3-540-63166-6\_9},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CyrlukMR97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2002,
  editor    = {Ralf{-}Detlef Kutsche and
               Herbert Weber},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45923-5},
  doi       = {10.1007/3-540-45923-5},
  isbn      = {3-540-43353-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2001,
  editor    = {Tiziana Margaria and
               Thomas F. Melham},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44798-9},
  doi       = {10.1007/3-540-44798-9},
  isbn      = {3-540-42541-1},
  timestamp = {Fri, 02 Nov 2018 09:46:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/charme/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/movep/2000,
  editor    = {Franck Cassez and
               Claude Jard and
               Brigitte Rozoy and
               Mark Dermot Ryan},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45510-8},
  doi       = {10.1007/3-540-45510-8},
  isbn      = {3-540-42787-2},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/movep/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/1998,
  editor    = {Ganesh Gopalakrishnan and
               Phillip J. Windley},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49519-3},
  doi       = {10.1007/3-540-49519-3},
  isbn      = {3-540-65191-8},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1997,
  editor    = {Orna Grumberg},
  title     = {Computer Aided Verification, 9th International Conference, {CAV} '97,
               Haifa, Israel, June 22-25, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1254},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63166-6},
  doi       = {10.1007/3-540-63166-6},
  isbn      = {3-540-63166-6},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier