dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Dirk Leinenbach (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. Hillebrand, Dirk Leinenbach: Formal Verification of a Reader-Writer Lock Implementation in C. Electr. Notes Theor. Comput. Sci. 254: 123-141 (2009)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16

Selection of 7 from 13 records - Dirk Leinenbach has 29 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page