Stefan Lämmermann

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Eberhard Karls University of Tübingen (PHD)

Education History

Eberhard Karls University of Tübingen

PHD

Publications

Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich
Towards assertion-based verification of heterogeneous system designs. DATE (2010)
Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel
Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2008)
Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV (2007)
Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV (2006)