List of publications: index

Selection by year


2013 2012 2011 2010 2009 2008 2007 2006 2005
2004 2003 2002 2001 2000 1999 1998

Selection by category


Books and proceedings Articles in journal or book chapters Articles in conference or workshop proceedings
Internal reports

Selection by author


A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

A Sven Apel
B Basil Becker Dirk Beyer Michele Boreale
C Arindam Chakrabarti Adam J. Chlipala Alessandro Cimatti
F Ashgan Fararooy Karlheinz Friedberger
G Holger Giese Michael W. Godfrey Alberto Griggio
Armin Grösslinger
H Ahmed E. Hassan Andy Heinig Thomas A. Henzinger
Andreas Holzer Falk Howar Lotfi Hussami
I Malte Isberner
J Ranjit Jhala
K M. Erkan Keremoglu Florian Klein
L Lam-Son Le Claus Lewerentz Stefan Löwe
M Rupak Majumdar Maik Merten
N Andreas Noack Evgeny Novikov
P Alexander K. Petrenko
R Franco Raimondi Heinrich Rust Andrey Rybalchenko
S Daniela Schilling Roberto Sebastiani Sanjit A. Seshia
Frank Simon Vasu Singh Hendrik Speidel
Andreas Stahlbauer Bernhard Steffen
T Michael Tautschnig Grégory Théoduloz
V Arie van Deursen Helmut Veith Alexander von Rhein
W Alain Wegmann Philipp Wendler
Z Damien Zufferey

Selection by research interest


A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

F Formal Verification of Real-Time Systems
I Interfaces for Component-Based Design
S Software Model Checking Structural Analysis and Comprehension

Complete bibliography


Complete bibliography as a single HTML page
Complete bibliography as a single BIBTEX file





Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Tue Jun 4 15:51:51 2013
Author: dbeyer.


This document was translated from BibTEX by bibtex2html