Roland Weiss

Research

Publications

2010
Workshop Paper
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Roland Weiss, Wolfgang Rosenstiel
State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines
2nd International Workshop on Formal Methods and Agile Methods (FM+AM 2010), September 17th, 2010, Pisa, Italy.
Workshop Paper
Roland Weiss, Heiko Koziolek, Johannes Stammel, Zoya Durdik
Towards Sustainable Industrial Automation Systems
12. Workshop Software-Reengineering (WSR 2010), 03-05 May 2010, Bad Honnef, Germany.
Conference Paper
Pia Stoll, Roland Weiss, Anders Wall
Quality Attribute Workshop Experiences and Reflections
Sixth SEI Architecture Technology User Network Conference (SATURN 2010), May 17-21, 2010, Minneapolis, MN, USA.
2009
Conference Paper
Heiko Koziolek, Roland Weiss, Jens Doppelhamer
Evolving Industrial Software Architectures into a Software Product Line: A Case Study
5th Int. Conf. on the Quality of Software Architecture (QoSA’09), June 26th, 2009, East Stroudberg, PA, USA.
Workshop Paper
Heiko Koziolek, Roland Weiss, Jens Doppelhamer
Modelling and Predicting Performance Impacts in a Service-oriented, Industrial Software System from the Automation Domain
GI Jahrestagung, Modellierung und Beherrschung der Komplexität (OOSE’09), October 2nd 2010, Lübeck, Germany.
Conference Paper
Emanuel Kolb, Ondrej Sery, Roland Weiss
Applicability of the BLAST Model Checker: An Industrial Case Study
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference (PSI 2009(QoSA’09), Novosibirsk, Russia, June 15-19, 2009.
Conference Paper
Roland Weiss, Jens Doppelhamer, Heiko Koziolek
Bottom-Up Software Product Line Design: A Case Study Emphasizing the Need for Stakeholder Commitment
Fifth SEI Architecture Technology User Network Conference (SATURN 2009), May 4-7, 2009, Pittsburgh, Pennsylvania, USA.
Workshop Paper
Stefan Lämmermann, Alexander Jesser, Roland Weiss, Jürgen Ruf, Lars Hedrich, Thomas Kropf, Wolfgang Rosenstiel
An Assertion-Based Verification Methodology for SystemC-AMS Designs
5th Workshop on Synthesis And System Integration of Mixed Information Technologies SASIMI 2009, March 09-10, 2009, Okinawa, Japan.
2008
Journal Paper
Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel
Advanced Assertion-Based Design for Mixed-Signal Verification
IEICE Transactions, Volume 91-A(12): 3548-3555, 2008.
Conference Paper
Stefan Lämmermann, Alexander Pacholik, Alexander Jesser, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf, 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, Greece.
Conference Paper
Roland Weiss, Pia Stoll
Identifying and Documenting Primary Concerns in Industrial Software Systems
Fourth SEI Architecture Technology User Network Conference (SATURN 2008), April 30 - May 1, 2009, Pittsburgh, Pennsylvania, USA.
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.
Download: [pdf: 230 KB]
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.