Roland Weiss

Liming Zhu

Dagstuhl Reports, 2023

2012

MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Sustainability guidelines for long-living software systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Identify Impacts of Evolving Third Party Components on Long-Living Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

DWARF-driven Equivalence Checking of UML Statecharts and Software Components.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2011

Towards Software Sustainability Guidelines for Long-living Industrial Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2011, 2011

An industrial case study on quality impact prediction for evolving service-oriented software.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

TechSuRe - A Method for Assessing Technology Sustainability in Long Lived Software Intensive Systems.

[BibT_eX]

[DOI]

Anton Jansen

Anders Wall

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Towards Sustainable Industrial Automation Systems.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2010

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.

[BibT_eX]

[DOI]

Proceedings of the FM+AM 2010, 2010

2009

Evolving Industrial Software Architectures into a Software Product Line: A Case Study.

[BibT_eX]

[DOI]

Heiko Koziolek

Jens Doppelhamer

Proceedings of the Architectures for Adaptive Software Systems, 2009

Modelling and Predicting Performance Impacts in a Service-oriented, Industrial Software System from the Automation Domain.

[BibT_eX]

[DOI]

Heiko Koziolek

Jens Doppelhamer

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Applicability of the BLAST Model Checker: An Industrial Case Study.

[BibT_eX]

[DOI]

Emanuel Kolb

Ondrej Sery

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Advanced Assertion-Based Design for Mixed-Signal Verification.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Semiformal Verification of Temporal Properties in Embedded Software.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2006

Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Monitoring-based Formal Hardware Verification.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Fast falsification based on symbolic bounded property checking.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

2005

Distributed Symbolic Bounded Property Checking.

[BibT_eX]

[DOI]

Pradeep Kumar Nalla

Jürgen Ruf

Thomas Kropf

Wolfgang Rosenstiel

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Overlap reduction in symbolic system traversal.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Efficient and Customizable Integration of Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

2004

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.

[BibT_eX]

Jürgen Ruf

Thomas Kropf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Dynamic guiding of bounded property checking.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Modeling and Formal Verification of Production Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Compiling and distributing generic libraries with heterogeneous data and code representation.

[BibT_eX]

[DOI]

PhD thesis, 2003

Storing Properties in Grouped Tagged Tuples.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

ProgDOC - A New Program Documentation System.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

2001

Exploring Template Template Parameters.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

1999

Heterogeneous, Nested STL Containers in C<sup>++</sup>.

[BibT_eX]

[DOI]