Research

Publications

2007
Workshop Paper	Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Juergen 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, Germany.
Workshop Paper	Djones Lettnin, Pradeep K. Nalla, Juergen Ruf, Roland J. Weiss, Axel Braun, Joachim Gerlach, Thomas Kropf, and Wolfgang Rosenstiel Semiformal Verification of Temporal Properties in Embedded Software 10. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'07), März 2007, Erlangen, Germany.
2006
Conference Paper	Prakash M. Peranandam, Pradeep K. Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel Fast Falsification Based on Symbolic Bounded Property Checking 43rd Design Automation Conference (DAC'06), July 24-28, 2006, San Francisco, USA.
Workshop Paper	Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Automatic Generation of Verification Properties for SoC Design from UML-Diagrams UML for SoC Design (UML-SOC'06) at 43rd Design Automation Conference (DAC'06), July 23rd, 2006, San Francisco, USA.
Conference Poster	Pradeep K. Nalla, Prakash M. Peranandam, Jürgen Ruf, Stefan Laemmermann, Joerg Behrend, Roland J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel Fast Distributed Property Checking Design Automation and Test in Europe (Date 06), University Booth, March 6-10, 2006, Munich, Germany.
Workshop Paper and Poster	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), February 20-22 2006, Dresden, Germany.
Workshop Paper and Poster	Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Monitoring-based Formal Hardware Verification 9. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'06), February 20-22 2006, Dresden, Germany.
2005
Workshop Paper	Prakash M. Peranandam, Pradeep K. Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Overlap Reduction in Symbolic System Traversal IEEE International High Level Design Validation and Test Workshop 2005 (HLDVT 05), November 30-December 2, 2005, Napa Valley, California, USA.
Workshop Paper	Djones Lettnin, Roland J. Weiss, Axel Braun, Jürgen Ruf, and Wolfgang Rosenstiel Temporal Properties Verification of System Level Design Workshop on Object Oriented Software Design for Real Time and Embedded Computer Systems, Net.ObjectDays 2005, Erfurt, Germany.
Conference Paper Best paper award!	Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Efficient and Customizable Integration of Temporal Properties into SystemC Forum on specification and Design Languages (FDL'05), September 27-30, 2005, Lausanne, Switzerland.
Book Contribution	Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Symbolic Model Checking and Simulation with Temporal Assertions Advances in Design and Specification Languages for SoCs. Selected contributions from FDL'04. Boulet, Pierre (Ed.). Springer, 2005.
Workshop Paper	Pradeep K. Nalla, Roland J. Weiss, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Distributed Symbolic Bounded Property Checking 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2005), July 10, 2005, Lisboa, Portugal.
Workshop Paper	Pradeep K. Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Parallel Bounded Property Checking with SymC 8. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, April 2005, München, Germany. Download: [pdf: 227 KB]
2004
Workshop Paper	Prakash M. Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Dynamic Guiding of Bounded Property Checking IEEE International High Level Design Validation and Test Workshop 2004 (HLDVT 04), November 10-12, 2004, Sonoma Valley, California, USA. Download: [pdf: 140 KB]
Book Contribution	Jürgen Ruf, Roland J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel Modeling and Formal Verification of Production Automation Systems Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, Vol. 3147, Springer, 2004. Download: [pdf: 423 KB]
Workshop Paper	Prakash M. Peranandam, Roland J. Weiss, Jürgen Ruf, and Thomas Kropf Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation 7. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, January 2004, Kaiserslautern, Germany. Download: [pdf: 105 KB]
Technical Report	Holger Gast, Albrecht Haug, Rüdiger Loos, Volker Simonis, and Roland J. Weiss CIS: A Web-Based Course Information System Computeralgebra Group, Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls Universität Tübingen, Germany. Download: [pdf: 361 KB]
2003
Doctoral Thesis	Roland Weiss Compiling and Distributing Generic Libraries with Heterogeneous Data and Code Representation Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls Universität Tübingen, Germany. Download: [pdf: 1.8 MB]
Conference Paper	Roland Weiss and Volker Simonis Storing Properties in Grouped Tagged Tuples Perspectives of System Informatics (PSI 03), 5th Andrei Ershov Memorial Conference, Akademgorodok, Russia. Lecture Notes in Computer Science, Vol. 2890, Springer, 2003. Download: [pdf: 143 KB]
Conference Paper	Volker Simonis and Roland Weiss ProgDOC - a New Program Documentation System Perspectives of System Informatics (PSI 03), 5th Andrei Ershov Memorial Conference, Akademgorodok, Russia. Lecture Notes in Computer Science, Vol. 2890, Springer, 2003. Download: [pdf: 98 KB]
2001
Conference Paper	Roland Weiss and Volker Simonis Exploring Template Template Parameters Perspectives of System Informatics (PSI 01), 4th Andrei Ershov Memorial Conference, Akademgorodok, Russia. Lecture Notes in Computer Science, Vol. 2244, Springer, 2001. Download: [pdf: 169 KB]
2000
Project Report	Roland Weiss and Uwe Kreppel XGILF - A Conceptual Frame for Compiling and Linking Generic Libraries Computeralgebra Group, Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls Universität Tübingen, Germany. Download: [pdf: 206 KB]
1999
Conference Paper	Volker Simonis and Roland Weiss Heterogeneous, Nested STL Containers in C++ Perspectives of System Informatics (PSI 99), 3rd Andrei Ershov Memorial Conference, Akademgorodok, Russia. Lecture Notes in Computer Science, Vol. 1755, Springer, 1999. Download: [pdf: 240 KB] [Source Code (zip): 16 KB]
1998
Technical Report	Roland Weiss Scm2Cpp - A Configurable, Intelligent Back-End for SuchThat Computeralgebra Group, Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls Universität Tübingen, Germany. A revised version of my diploma thesis. Download: [pdf: 840 KB]
1997
Diploma Thesis	Roland Weiss Scm2Cpp - A Configurable, Intelligent Back-End for SuchThat Computeralgebra Group, Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls Universität Tübingen, Germany.
Studienarbeit	Roland Weiss Simulation digitaler Systeme auf RT-Ebene in Java Computer Architecture Group, Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls Universität Tübingen, Germany. Download: [pdf: 267 KB]