|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Benjamin Klatt, Zoya Durdik, Heiko Koziolek, Klaus Krogmann, Johannes Stammel, Roland Weiss |
Identify Impacts of Evolving Third Party Components on Long-Living Software Systems.  |
CSMR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Koziolek, Roland Weiss, Zoya Durdik, Johannes Stammel, Klaus Krogmann |
Towards Software Sustainability Guidelines for Long-living Industrial Systems. |
Software Engineering (Workshops) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek |
An industrial case study on quality impact prediction for evolving service-oriented software. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Jansen, Anders Wall, Roland Weiss |
TechSuRe - A Method for Assessing Technology Sustainability in Long Lived Software Intensive Systems. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss |
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. |
FM+AM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emanuel Kolb, Ondrej Sery, Roland Weiss |
Applicability of the BLAST Model Checker: An Industrial Case Study. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Koziolek, Roland Weiss, Jens Doppelhamer |
Evolving Industrial Software Architectures into a Software Product Line: A Case Study. |
QoSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Weiss, Heiko Koziolek, Jens Doppelhamer |
Modelling and Predicting Performance Impacts in a Service-oriented, Industrial Software System from the Automation Domain. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Distributed Symbolic Bounded Property Checking. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel |
Fast falsification based on symbolic bounded property checking. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
fast falsification, guiding, property checking |
| 1 | Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Efficient and Customizable Integration of Temporal Properties. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel |
Modeling and Formal Verification of Production Automation Systems. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Weiss |
Compiling and distributing generic libraries with heterogeneous data and code representation. |
|
2003 |
RDF |
|
| 1 | Volker Simonis, Roland Weiss |
ProgDOC - A New Program Documentation System. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Weiss, Volker Simonis |
Storing Properties in Grouped Tagged Tuples. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Weiss, Volker Simonis |
Exploring Template Template Parameters. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Simonis, Roland Weiss |
Heterogeneous, Nested STL Containers in C++. |
Ershov Memorial Conference |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")