Roland Weiss

30 papers A* 2C 2Journal 4Unranked 21
YearRankTypeTitle / Venue / Authors
2023 J jnl
Software Architecture and Machine Learning (Dagstuhl Seminar 23302).
Dagstuhl Reports
Grace A. Lewis, Henry Muccini, Ipek Ozkaya, Karthik Vaidhyanathan, Roland Weiss, Liming Zhu
2012 — conf
Identify Impacts of Evolving Third Party Components on Long-Living Software Systems.
CSMR
Benjamin Klatt, Zoya Durdik, Heiko Koziolek, Klaus Krogmann, Johannes Stammel, Roland Weiss
2012 — conf
MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures.
WICSA/ECSA
Heiko Koziolek, Dominik Domis, Thomas Goldschmidt, Philipp Vorst, Roland Weiss
2012 — conf
Sustainability guidelines for long-living software systems.
ICSM
Zoya Durdik, Benjamin Klatt, Heiko Koziolek, Klaus Krogmann, Johannes Stammel, Roland Weiss
2011 A* conf
An industrial case study on quality impact prediction for evolving service-oriented software.
ICSE
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek
2011 J jnl
DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Softwaretechnik-Trends
Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss
2011 — conf
TechSuRe - A Method for Assessing Technology Sustainability in Long Lived Software Intensive Systems.
EUROMICRO-SEAA
Anton Jansen, Anders Wall, Roland Weiss
2011 C conf
Towards Software Sustainability Guidelines for Long-living Industrial Systems.
Software Engineering (Workshops)
Heiko Koziolek, Roland Weiss, Zoya Durdik, Johannes Stammel, Klaus Krogmann
2010 — conf
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.
FM+AM
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland Weiss
2010 J jnl
Towards Sustainable Industrial Automation Systems.
Softwaretechnik-Trends
Roland Weiss, Heiko Koziolek, Johannes Stammel, Zoya Durdik
2009 — conf
Applicability of the BLAST Model Checker: An Industrial Case Study.
Ershov Memorial Conference
Emanuel Kolb, Ondrej Sery, Roland Weiss
2009 — conf
Evolving Industrial Software Architectures into a Software Product Line: A Case Study.
QoSA
Heiko Koziolek, Roland Weiss, Jens Doppelhamer
2009 — conf
Modelling and Predicting Performance Impacts in a Service-oriented, Industrial Software System from the Automation Domain.
GI Jahrestagung
Roland Weiss, Heiko Koziolek, Jens Doppelhamer
2008 J jnl
Advanced Assertion-Based Design for Mixed-Signal Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel
2007 — conf
Semiformal Verification of Temporal Properties in Embedded Software.
MBMV
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel
2007 — conf
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.
MBMV
Stefan Lämmermann, Jörg Behrend, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2006 — conf
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen.
MBMV
Stefan Lämmermann, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2006 A* conf
Fast falsification based on symbolic bounded property checking.
DAC
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel
2006 — conf
Monitoring-based Formal Hardware Verification.
MBMV
Paul Duplys, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005 — conf
Distributed Symbolic Bounded Property Checking.
PDMC@ICALP
Pradeep Kumar Nalla, Roland Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005 C conf
Efficient and Customizable Integration of Temporal Properties.
FDL
Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005 — conf
Overlap reduction in symbolic system traversal.
HLDVT
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2004 — conf
Dynamic guiding of bounded property checking.
HLDVT
Prakash Mohan Peranandam, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2004 — conf
Modeling and Formal Verification of Production Automation Systems.
SoftSpez Final Report
Jürgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel
2004 — conf
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.
MBMV
Prakash Mohan Peranandam, Roland Weiss, Jürgen Ruf, Thomas Kropf
2003 — —
Compiling and distributing generic libraries with heterogeneous data and code representation.
Roland Weiss
2003 — conf
ProgDOC - A New Program Documentation System.
Ershov Memorial Conference
Volker Simonis, Roland Weiss
2003 — conf
Storing Properties in Grouped Tagged Tuples.
Ershov Memorial Conference
Roland Weiss, Volker Simonis
2001 — conf
Exploring Template Template Parameters.
Ershov Memorial Conference
Roland Weiss, Volker Simonis
1999 — conf
Heterogeneous, Nested STL Containers in C
Ershov Memorial Conference
Volker Simonis, Roland Weiss