S. Kowalewski

Publications
Influence

Tools and Algorithms for the Construction and Analysis of Systems

S. Kowalewski, A. Philippou
Computer Science
Lecture Notes in Computer Science
2001

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

Raimondas Sasnauskas, O. Landsiedel, M. Alizai, Carsten Weise, S. Kowalewski, K. Wehrle
Computer Science, Engineering
IPSN '10
12 April 2010

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

Model-driven support for product line evolution on feature level

Andreas Pleuß, Goetz Botterweck, Deepak Dhungana, Andreas Polzer, S. Kowalewski
Engineering, Computer Science
J. Syst. Softw.
1 October 2012

We model the evolution of a product line on feature model level. Expand

An Empirical Evaluation of Refactoring

Dirk Wilking, U. Kahn, S. Kowalewski
Engineering, Computer Science
e Informatica Softw. Eng. J.
2007

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

EvoFM: feature-driven planning of product-line evolution

Goetz Botterweck, Andreas Pleuß, Deepak Dhungana, Andreas Polzer, S. Kowalewski
Engineering, Computer Science
PLEASE '10
2 May 2010

This paper presents an approach for extending model-driven product line engineering towards automated and tool-supported techniques for product line evolution. Expand

UNICARagil - Disruptive Modular Architectures for Agile, Automated Vehicle Concepts

Timo Woopen, M. Buchholz, +32 authors Inga Jatzkowski
Computer Science
1 October 2018

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

A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem

S. Kowalewski, O. Stursberg, +6 authors H. Treseler
Computer Science
Hybrid Systems
1997

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

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis

Stefan Schupp, E. Ábrahám, Ibtissem Ben Makhlouf, S. Kowalewski
Computer Science
NFM
16 May 2017

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

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications

Dominik Franke, S. Kowalewski, Carsten Weise, Nath Prakobkosol
Computer Science
IEEE Fifth International Conference on Software…
17 April 2012

We present a unit-based test approach for testing conformance of life cycle dependent properties of mobile applications, using assertions. Expand

Managing complexity and variability of a model-based embedded software product line

Andreas Polzer, Daniel Merschen, +4 authors S. Kowalewski
Computer Science
Innovations in Systems and Software Engineering
1 March 2012

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

Recommended Authors