Forschung

Veröffentlichungen

2009
Workshop Paper	Stefan Lämmermann, Martin Rathgeber, Alexander Jesser, Jürgen Ruf, Lars Hedrich, Thomas Kropf und Wolfgang Rosenstiel Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification Formal Verification of Analog Circuits at CAV'09 (FAC) 2009, 26. Juni, 2009, Grenoble, Frankreich Download Präsentation: Präsentation[pdf: 2 MB]
Workshop Paper	Stefan Lämmermann, Alexander Jesser, Roland Weiss, Jürgen Ruf, Lars Hedrich, Thomas Kropf und Wolfgang Rosenstiel An Assertion-Based Verification Methodology for SystemC-AMS Designs 15th Workshop on Synthesis And System Integration of Mixed Information Technologies SASIMI 2009, March 09-10, 2009, Okinawa, Japan, pp. 434-435. Download Poster: Poster[pdf: 3 MB] Download Präsentation: Präsentation[pdf: 308 KB]
2008
Journal	Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf und Wolfgang Rosenstiel Advanced Assertion Based Design for Mixed-Signal Verification IEICE TRANS. FUNDAMENTALS, VOL.E91–A, NO.10: Special Section on VLSI Design and CAD Algorithms, Dezember, 2008, pp. 3548-3555
Konferenz Paper	Stefan Lämmermann, Alexander Pacholik, Alexander Jesser, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf und Wolfgang Rosenstiel Improving Mixed-Signal Verification by Assertion Based Design 16th IFIP/IEEE International Conference on Very Large Scale Integration VLSI-SoC 2008, Oktober 13-15, 2008, Rhodos, Griechenland, pp. 144-148. Download Poster: Poster[pdf: 2310 KB]
2007
Workshop Paper	Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf und Wolfgang Rosenstiel Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification 14th Workshop on Synthesis And System Integration of Mixed Information technologies SASIMI 2007, Oktober 15-16, 2007, Sapporo, Japan, pp. 507-514. Download Poster: Poster[pdf: 2310 KB] Download Präsentation: Presentation[pdf: 132 KB]
Vortrag	S. Lämmermann, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Assertion-basierte Verifikation auf verschiedenen Abstraktionsebenen Fach- & Kooperations-Workshop "Verifikation", 16. Oktober 2007, Hannover, Deutschland. Download Präsentation: Presentation[pdf: 204 KB]
Poster	J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schönwald, A. Viehl und J. Zimmermann Entwurf und Verifikation von Hardware/Software - Systemen 5. Kooperationsmarkt des Ekompass-Workshops, Juni 19 – 20, 2007, Hannover, Deuschland. Download Poster: Poster[pdf: 246 KB]
Workshop Paper	Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen 10. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'07), März 2007, Erlangen, Deutschland, pp. 29-38 Download Präsentation: Presentation[pdf: 242 KB]
2006
Newsletter	Stefan Laemmermann, Juergen Ruf, Thomas Kropf et.al. FEST:Funktionale Verifikation von Systemen Newsletter edacentrum 03/2006, ISSN-Nr.: 1862 2283. pp. 5-12, 2006. Download Präsentation: Presentation[pdf: 594 KB]
Workshop Paper	Stefan Laemmermann, Roland J. Weiss, Juergen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams DAC 2006 Workshop, UML for SoC Design (UML-SOC'06), July 23, 2006, San Francisco CA, USA, pp. 29-34. Download Präsentation: Presentation[pdf: 204 KB]
Poster	Pradeep K. Nalla, Prakash M. Peranandam, J. Ruf, S. Laemmermann, J. Behrend, R.J. Weiss, T. Kropf, and W. Rosenstiel Fast Distributed Property Checking Design Automation and Test in Europe, University Booth (DATE 06), März 6-10, 2006, ICM Messe, München, Deutschland. Download: Poster[pdf: 246 KB] Flyer[pdf: 165 KB]
Workshop Paper	Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen 9. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'06), Februar 20-22, 2006, Dresden, Deutschland, pp. 222-226.. Download Poster: Poster[pdf: 283 KB]
2004
Diplomarbeit (TU)	Stefan Lämmermann Gefahrenanalyse und Risikooptimierung für mobile Roboter mittels der Fehlerbaum-Methode Fachbereich: Regelungstheorien und Robtik, Hans Busch Institut für Elektrotechnik, Technische Universität Darmstadt, Deutschland.
2002
Diplomarbeit (FH)	Stefan Lämmermann Analyse und Optimierung eines IP-Netzwerks Firma: Leybold Optics GmbH Fachbereich Nachrichtentechnik, Elektortechnik, Fachhochschule Frankfurt am Main, Deutschland.