Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Dirk
Last name:	Leinenbach
DBLP:	26/1074
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 13 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Dirk Leinenbach, Thomas Santen. Verifying the Microsoft Hyper-V Hypervisor with VCC.	FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009	(0)	2009
	Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies. VCC: A Practical System for Verifying Concurrent C.	Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 2009	(0)	2009
	Mark A. Hillebrand, Dirk Leinenbach. Formal Verification of a Reader-Writer Lock Implementation in C.	Electr. Notes Theor. Comput. Sci. 2009, Volume 254	(0)	2009
	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban. Balancing the Load.	J. Autom. Reasoning 2009, Volume 42	(0)	2009
	Ernie 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.	Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers 2010	(0)	2009
	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin. The Verisoft Approach to Systems Verification.	Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 2008	(0)	2008
	Dirk Leinenbach, Elena Petrova. Pervasive Compiler Verification - From Verified Programs to Verified Systems.	Electr. Notes Theor. Comput. Sci. 2008, Volume 217	(0)	2008
	Sven Beyer, Christian Jacobi 0002, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul. Putting it all together - Formal verification of the VAMP.	STTT 2006, Volume 8	(0)	2006
	Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul. Towards the Pervasive Verification of Automotive Systems.	Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings 2005	(0)	2005
	Sven Beyer, Peter Böhm, Michael Gerke 0002, 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.	23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA 2005	(0)	2005
	Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova. Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.	Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005	(0)	2005
	Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul. On the Correctness of Operating System Kernels.	Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings 2005	(0)	2005
	Sven Beyer, Christian Jacobi 0002, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul. Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.	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 2003	(0)	2003

Your query returned 13 matches in the database.