Dr. Stefan Lämmermann
Dr. Stefan Lämmermann
Publications
2012
Heterogeneous Assertion-Based Verification for Medical Devices Development
by Stefan Lämmermann, Lukas Pielawa, Andreas Burger, Jan Schlemminger, Jürgen Ruf, Thomas Kropf, Andreas Hein, and Wolfgang RosenstielIn The 17th Workshop on Synthesis And System Integration of Mixed Information Technologies (Sasimi 2012), pages pp. 211 - 216, 2012. [BIB]
@inproceedings{32012,
author = {Lämmermann, Stefan and Pielawa, Lukas and Burger, Andreas and Schlemminger, Jan and Ruf, Jürgen and Kropf, Thomas and Hein, Andreas and Rosenstiel, Wolfgang},
title = {Heterogeneous Assertion-Based Verification for Medical Devices Development},
booktitle = {The 17th Workshop on Synthesis And System Integration of Mixed Information Technologies (Sasimi 2012)},
year = {2012},
month = {mar},
pages = {pp. 211 - 216},
address = {Oita Japan},
month_numeric = {3}
}
2011
Eigenschaftsbasierte Verifikation von MEMS
by Stefan Lämmermann, Erik Markert, Andreas Braun, Jürgen Ruf, Wolfgang Rosenstiel, and Thomas KropfIn Cyber-Physical Systems - Enabling Multi-Nature Systems 2011 (CPMNS’11), 2011. [BIB]
@inproceedings{022011,
author = {Lämmermann, Stefan and Markert, Erik and Braun, Andreas and Ruf, Jürgen and Rosenstiel, Wolfgang and Kropf, Thomas},
title = {Eigenschaftsbasierte Verifikation von MEMS},
booktitle = {Cyber-Physical Systems - Enabling Multi-Nature Systems 2011 (CPMNS’11)},
year = {2011},
month = {feb},
address = {Bremen, Germany},
month_numeric = {2}
}
2010
Virtual Prototyping in der Hardware- und Software-Entwicklung vernetzter Steuergeräte
by Andreas Braun, Stefan Lämmermann, Oliver Bringmann, and Wolfgang RosenstielIn AutoTest 2010 , 2010. [BIB]
@inproceedings{102010,
author = {Braun, Andreas and Lämmermann, Stefan and Bringmann, Oliver and Rosenstiel, Wolfgang},
title = {Virtual Prototyping in der Hardware- und Software-Entwicklung vernetzter Steuergeräte},
booktitle = {AutoTest 2010 },
year = {2010},
month = {oct},
address = {Stuttgart},
month_numeric = {10}
}
Towards Assertion-Based Verification of Heterogeneous System Designs
by Stefan Lämmermann, Alexander Jesser, Alexander Viehl, Jürgen Ruf, Lars Hedrich, Thomas Kropf, and Wolfgang RosenstielIn Design, Automation and Test in Europe (DATE’10), pages 1171-1176, 2010. [BIB]
@inproceedings{SAAJLTW032010,
author = {Lämmermann, Stefan and Jesser, Alexander and Viehl, Alexander and Ruf, Jürgen and Hedrich, Lars and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Towards Assertion-Based Verification of Heterogeneous System Designs},
booktitle = {Design, Automation and Test in Europe (DATE’10)},
year = {2010},
month = {mar},
pages = {1171-1176},
month_numeric = {3}
}
2009
Assertion-based Analog Mixed-Signal Verification
by Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, and Wolfgang RosenstielIn IP - Embedded Systems Conference 2009 (IP-ESC‘09), 2009. [BIB]
@inproceedings{SJTW122009,
author = {Lämmermann, Stefan and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Assertion-based Analog Mixed-Signal Verification},
booktitle = {IP - Embedded Systems Conference 2009 (IP-ESC‘09)},
year = {2009},
month = {dec},
month_numeric = {12}
}
Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification
by Stefan Lämmermann, M. Rathgeber, Alexander Jesser, Jürgen Ruf, Lars Hedrich, Thomas Kropf, and Wolfgang RosenstielIn Formal Verification of Analog Circuits at CAV’09 (FAC) , 2009. [BIB]
@inproceedings{SMAJLTW062009,
author = {Lämmermann, Stefan and Rathgeber, M. and Jesser, Alexander and Ruf, Jürgen and Hedrich, Lars and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification},
booktitle = {Formal Verification of Analog Circuits at CAV’09 (FAC) },
year = {2009},
month = {jun},
address = {Grenoble, France},
month_numeric = {6}
}
An Assertion-Based Verification Methodology for SystemC-AMS Designs
by Stefan Lämmermann, Alexander Jesser, Roland Weiss, Jürgen Ruf, Lars Hedrich, Thomas Kropf, and Wolfgang RosenstielIn 15th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), pages 434-435, 2009. [BIB]
@inproceedings{SARJLTW032009,
author = {Lämmermann, Stefan and Jesser, Alexander and Weiss, Roland and Ruf, Jürgen and Hedrich, Lars and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {An Assertion-Based Verification Methodology for SystemC-AMS Designs},
booktitle = {15th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI)},
year = {2009},
month = {mar},
pages = {434-435},
address = {Okinawa, Japan},
month_numeric = {3}
}
2008
Improving Mixed-Signal Verification by Assertion Based Design
by Stefan Lämmermann, Alexander Pacholik, Alexander Jesser, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf, and Wolfgang RosenstielIn 16th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), pages 144-148, 2008. [BIB]
@inproceedings{102009,
author = {Lämmermann, Stefan and Pacholik, Alexander and Jesser, Alexander and Weiss, Roland and Ruf, Jürgen and Fengler, Wolfgang and Hedrich, Lars and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Improving Mixed-Signal Verification by Assertion Based Design},
booktitle = {16th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)},
year = {2008},
month = {oct},
pages = {144-148},
address = { Rhodos, Griechenland},
month_numeric = {10}
}
2007
Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification
by Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf, and Wolfgang RosenstielIn 14. Workshop on Synthesis And System Integration of Mixed Information technologies (SASIM), pages 507-514, 2007. [BIB]
@inproceedings{ASARJWLTW102007,
author = {Jesser, Alexander and Lämmermann, Stefan and Pacholik, Alexander and Weiss, Roland and Ruf, Jürgen and Fengler, Wolfgang and Hedrich, Lars and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification},
booktitle = {14. Workshop on Synthesis And System Integration of Mixed Information technologies (SASIM)},
year = {2007},
month = {oct},
pages = {507-514},
address = {Sapporo, Japan},
month_numeric = {10}
}
Entwurf und Verifikation von Hardware/Software - Systemen
by Jörg Behrend, Andreas Braun, Oliver Bringmann, M. Krause, Thomas Kropf, Stefan Lämmermann, P. Nalla, Wolfgang Rosenstiel, Jürgen Ruf, Timo Schönwald, J. Zimmermann, and Alexander ViehlIn Kooperationsmarkt des Ekompass-Workshops, 2007. [BIB]
@inproceedings{JAOMTSPWJTAuJ062007,
author = {Behrend, Jörg and Braun, Andreas and Bringmann, Oliver and Krause, M. and Kropf, Thomas and Lämmermann, Stefan and Nalla, P. and Rosenstiel, Wolfgang and Ruf, Jürgen and Schönwald, Timo and Zimmermann, J. and Viehl, Alexander},
title = {Entwurf und Verifikation von Hardware/Software - Systemen},
booktitle = {Kooperationsmarkt des Ekompass-Workshops},
year = {2007},
month = {jun},
address = {Hannover, Germany},
month_numeric = {6}
}
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen
by Stefan Lämmermann, Jörg Behrend, Roland Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang RosenstielIn Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 29-38, 2007. [BIB]
@inproceedings{SJRJTW032007,
author = {Lämmermann, Stefan and Behrend, Jörg and Weiss, Roland and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
year = {2007},
month = {mar},
pages = {29-38},
address = {Erlangen, Germany},
month_numeric = {3}
}
2006
Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams
by Stefan Lämmermann, Roland Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang RosenstielIn 3rd Inernational UML for SoC Design Workshop at DAC’06 (UML-SoC), pages 29-34, 2006. [BIB]
@inproceedings{SRJTW072006,
author = {Lämmermann, Stefan and Weiss, Roland and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams},
booktitle = {3rd Inernational UML for SoC Design Workshop at DAC’06 (UML-SoC)},
year = {2006},
month = {jul},
pages = {29-34},
address = {San Francisco, USA},
month_numeric = {7}
}
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen
by Stefan Lämmermann, Roland Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang RosenstielIn Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 222-226, 2006. [BIB]
@inproceedings{SRJTW022006,
author = {Lämmermann, Stefan and Weiss, Roland and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
year = {2006},
month = {feb},
pages = {222-226},
address = {Dresden, Germany},
month_numeric = {2}
}
SystemC Temporal Checker
by Jürgen Ruf, Roland Weiss, V. D. Lettnin, Stefan Lämmermann, Thomas Kropf, and Wolfgang RosenstielTechnical report. Tübingen: Department of Computer Engineering, 2006. [BIB]
@techreport{JRDVSTW2006,
author = {Ruf, Jürgen and Weiss, Roland and Lettnin, V. D. and Lämmermann, Stefan and Kropf, Thomas and Rosenstiel, Wolfgang},
title = {SystemC Temporal Checker},
institution = {Tübingen: Department of Computer Engineering},
year = {2006}
}