Dr. Stefan Lämmermann

Content

Publications

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 Rosenstiel
In 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 Kropf
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Viehl
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
In 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 Rosenstiel
Technical 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}
}