• Publications
  • Influence
Tools and Algorithms for the Construction and Analysis of Systems
TLDR
Efficient Model-Checking of WS1S Systems to Verify Parameterized Networks . Expand
  • 1,576
  • 65
  • PDF
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
TLDR
We present KleeNet, a debugging environment that effectively discovers bugs that occur due to non-deterministic events, such as node reboots or packet duplicates. Expand
  • 125
  • 8
  • PDF
Model-driven support for product line evolution on feature level
TLDR
We model the evolution of a product line on feature model level. Expand
  • 75
  • 6
An Empirical Evaluation of Refactoring
TLDR
This paper presents a process evaluation for the agile technique of refactoring based on the language C. The basis for this evaluation is made up by an experiment. Expand
  • 47
  • 5
  • PDF
EvoFM: feature-driven planning of product-line evolution
TLDR
This paper presents an approach for extending model-driven product line engineering towards automated and tool-supported techniques for product line evolution. Expand
  • 42
  • 5
UNICARagil - Disruptive Modular Architectures for Agile, Automated Vehicle Concepts
TLDR
This paper introduces UNICARagil, a collaborative project carried out by aconsortium of seven Germanuniversities and six industrial partners, withfunding providedby the Federal Ministry of Education and Research of Germany. Expand
  • 31
  • 5
  • PDF
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
TLDR
This case study compares the usefulness and applicability of eight computer tools with respect to the validation of logic control programs for continuous processes. Expand
  • 74
  • 4
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
TLDR
In this tool paper we introduce HyPro, our free and open-source C++ programming library, which offers implementations for the most prominent state set representations used by flowpipe-construction-based reachability analysis techniques for hybrid systems. Expand
  • 44
  • 4
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications
TLDR
We present a unit-based test approach for testing conformance of life cycle dependent properties of mobile applications, using assertions. Expand
  • 30
  • 4
Managing complexity and variability of a model-based embedded software product line
TLDR
We show how to integrate model-based product line techniques into a consistent framework that can deal with large product lines as they are common in industry. Expand
  • 21
  • 4
...
1
2
3
4
5
...