Stefan Lämmermann

According to our database, Stefan Lämmermann authored at least 5 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Domänenübergreifende temporale Eigenschaftsverifikation heterogener Systeme.

Stefan Lämmermann

PhD thesis, 2011

2010

Towards assertion-based verification of heterogeneous system designs.

Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich

Proceedings of the Design, Automation and Test in Europe, 2010

2008

Advanced Assertion-Based Design for Mixed-Signal Verification.

Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.

Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2006

Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen.

Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006