BibTeX records: Dirk Leinenbach

download as .bib file

@article{DBLP:journals/entcs/HillebrandL09,
  author    = {Mark A. Hillebrand and
               Dirk Leinenbach},
  title     = {Formal Verification of a Reader-Writer Lock Implementation in {C}},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {254},
  pages     = {123--141},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.09.063},
  doi       = {10.1016/j.entcs.2009.09.063},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/HillebrandL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlkassarHLSST09,
  author    = {Eyad Alkassar and
               Mark A. Hillebrand and
               Dirk Leinenbach and
               Norbert Schirmer and
               Artem Starostin and
               Alexandra Tsyban},
  title     = {Balancing the Load},
  journal   = {J. Autom. Reasoning},
  volume    = {42},
  number    = {2-4},
  pages     = {389--454},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10817-009-9123-z},
  doi       = {10.1007/s10817-009-9123-z},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/AlkassarHLSST09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
  author    = {Ernie Cohen and
               Eyad Alkassar and
               Vladimir Boyarinov and
               Markus Dahlweid and
               Ulan Degenbaev and
               Mark A. Hillebrand and
               Bruno Langenstein and
               Dirk Leinenbach and
               Michal Moskal and
               Steven Obua and
               Wolfgang J. Paul and
               Hristo Pentchev and
               Elena Petrova and
               Thomas Santen and
               Norbert Schirmer and
               Sabine Schmaltz and
               Wolfram Schulte and
               Andrey Shadrin and
               Stephan Tobies and
               Alexandra Tsyban and
               Sergey Tverdyshev},
  editor    = {Amir Pnueli and
               Irina B. Virbitskaite and
               Andrei Voronkov},
  title     = {Invariants, Modularity, and Rights},
  booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
               Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
               2009. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5947},
  pages     = {43--55},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-11486-1\_4},
  doi       = {10.1007/978-3-642-11486-1\_4},
  timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl    = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeinenbachS09,
  author    = {Dirk Leinenbach and
               Thomas Santen},
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {Verifying the Microsoft Hyper-V Hypervisor with {VCC}},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  pages     = {806--809},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3\_51},
  doi       = {10.1007/978-3-642-05089-3\_51},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/LeinenbachS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CohenDHLMSST09,
  author    = {Ernie Cohen and
               Markus Dahlweid and
               Mark A. Hillebrand and
               Dirk Leinenbach and
               Michal Moskal and
               Thomas Santen and
               Wolfram Schulte and
               Stephan Tobies},
  editor    = {Stefan Berghofer and
               Tobias Nipkow and
               Christian Urban and
               Makarius Wenzel},
  title     = {{VCC:} {A} Practical System for Verifying Concurrent {C}},
  booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
               TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5674},
  pages     = {23--42},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03359-9\_2},
  doi       = {10.1007/978-3-642-03359-9\_2},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/tphol/CohenDHLMSST09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LeinenbachP08,
  author    = {Dirk Leinenbach and
               Elena Petrova},
  title     = {Pervasive Compiler Verification - From Verified Programs to Verified
               Systems},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {217},
  pages     = {23--40},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.040},
  doi       = {10.1016/j.entcs.2008.06.040},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/LeinenbachP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AlkassarHLSS08,
  author    = {Eyad Alkassar and
               Mark A. Hillebrand and
               Dirk Leinenbach and
               Norbert Schirmer and
               Artem Starostin},
  editor    = {Natarajan Shankar and
               Jim Woodcock},
  title     = {The Verisoft Approach to Systems Verification},
  booktitle = {Verified Software: Theories, Tools, Experiments, Second International
               Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5295},
  pages     = {209--224},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87873-5\_18},
  doi       = {10.1007/978-3-540-87873-5\_18},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/vstte/AlkassarHLSS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BeyerJKLP06,
  author    = {Sven Beyer and
               Christian Jacobi and
               Daniel Kr{\"{o}}ning and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  title     = {Putting it all together - Formal verification of the {VAMP}},
  journal   = {{STTT}},
  volume    = {8},
  number    = {4-5},
  pages     = {411--430},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10009-006-0204-6},
  doi       = {10.1007/s10009-006-0204-6},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/BeyerJKLP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RiedenLP05,
  author    = {Thomas In der Rieden and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  editor    = {Dominique Borrione and
               Wolfgang J. Paul},
  title     = {Towards the Pervasive Verification of Automotive Systems},
  booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
               Germany, October 3-6, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3725},
  pages     = {3--4},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11560548\_3},
  doi       = {10.1007/11560548\_3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/charme/RiedenLP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BeyerBGHRKLP05,
  author    = {Sven Beyer and
               Peter B{\"{o}}hm and
               Michael Gerke and
               Mark A. Hillebrand and
               Thomas In der Rieden and
               Steffen Knapp and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  title     = {Towards the Formal Verification of Lower System Layers in Automotive
               Systems},
  booktitle = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
               October 2005, San Jose, CA, {USA}},
  pages     = {317--326},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/ICCD.2005.110},
  doi       = {10.1109/ICCD.2005.110},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/iccd/BeyerBGHRKLP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LeinenbachPP05,
  author    = {Dirk Leinenbach and
               Wolfgang J. Paul and
               Elena Petrova},
  editor    = {Bernhard K. Aichernig and
               Bernhard Beckert},
  title     = {Towards the Formal Verification of a {C0} Compiler: Code Generation
               and Implementation Correctnes},
  booktitle = {Third {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  pages     = {2--12},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/SEFM.2005.51},
  doi       = {10.1109/SEFM.2005.51},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/LeinenbachPP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GarganoHLP05,
  author    = {Mauro Gargano and
               Mark A. Hillebrand and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  editor    = {Joe Hurd and
               Thomas F. Melham},
  title     = {On the Correctness of Operating System Kernels},
  booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference,
               TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3603},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11541868\_1},
  doi       = {10.1007/11541868\_1},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/tphol/GarganoHLP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BeyerJKLP03,
  author    = {Sven Beyer and
               Christian Jacobi and
               Daniel Kroening and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  editor    = {Daniel Geist and
               Enrico Tronci},
  title     = {Instantiating Uninterpreted Functional Units and Memory System: Functional
               Verification of the {VAMP}},
  booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
               Italy, October 21-24, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2860},
  pages     = {51--65},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-39724-3\_7},
  doi       = {10.1007/978-3-540-39724-3\_7},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/charme/BeyerJKLP03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics