|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 28 keywords
|
|
|
|
|
Results
Found 66 publication records. Showing 66 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andreas Polzer, Daniel Merschen, Goetz Botterweck, Andreas Pleuss, Jacques Thomas, Bernd Hedenetz, Stefan Kowalewski |
Managing complexity and variability of a model-based embedded software product line.  |
ISSE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Merschen, Yves Duhr, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski |
Model-Based Analysis of Design Artefacts Applying an Annotation Concept. |
Software Engineering |
2012 |
DBLP BibTeX RDF |
|
| 1 | Bastian Schlich, Jörg Brauer, Stefan Kowalewski |
Application of static analyses for state-space reduction to the microcontroller binary code. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski |
On-The-Fly Path Reduction. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan P. Maschuw, Hilal Diab, Dirk Abel, Stefan Kowalewski |
Control Design for Generalized Platoon Problems. |
Automatisierungstechnik |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
Automated Test-Trace Inspection for Microcontroller Binary Code. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
Past Time LTL Runtime Verification for Microcontroller Binary Code. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hänsch, John F. Schommer, Stefan Kowalewski |
Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students. |
ICIRA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise |
Reverse Engineering of Mobile Application Lifecycles. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |
Scalable Symbolic Execution of Distributed Systems. |
ICDCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Merschen, Andreas Polzer, Goetz Botterweck, Stefan Kowalewski |
Experiences of applying model-based analysis to support the development of automotive software product lines. |
VaMoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Guillermo Chávez Grunewald, Ibtissem Ben Makhlouf, Hilal Diab, Vicente A. Mut, Stefan Kowalewski, Dirk Abel |
Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods). |
Automatisierungstechnik |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King, Stefan Kowalewski |
Range Analysis of Microcontroller Code Using Bit-Level Congruences. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kowalewski, Marco Roveri (eds.) |
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
Variability and Evolution in Model-based Engineering of Embedded Systems. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dominique Gückel, Jörg Brauer, Stefan Kowalewski |
A system for synthesizing abstraction-enabled simulators for binary code verification. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski |
Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
reliability, embedded systems, real-time, measurements, linux, rapid prototyping, microcontroller |
| 1 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle |
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
automated protocol testing, wireless sensor networks, experimentation, failure detection |
| 1 | Alexander Michailidis, Uwe Spieth, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski |
Test front loading in early stages of automotive software development based on AUTOSAR. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich |
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski |
Synthesizing simulators for model checking microcontroller binary code. |
DDECS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
Design Pattern Representation for Safety-Critical Embedded Systems. |
JSEA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Bastian Schlich, Stefan Kowalewski |
Parallel and Distributed Invariant Checking of Microcontroller Software. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Schlich, Stefan Kowalewski |
Model checking C source code for embedded systems. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Embedded systems, Microcontroller, Assembly code, C code |
| 1 | Stefan Kowalewski, Anna Philippou (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Schmitz, Ming Zhang, Thomas Rose, Matthias Jarke, Andreas Polzer, Jacob Palczynski, Stefan Kowalewski, Michael Reke |
Mapping Requirement Models to Mathematical Models in Control System Development. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Palczynski, Stefan Kowalewski |
Early Behaviour Modelling for Control Systems. |
EMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski |
Stack bounds analysis for microcontroller assembly code. |
WESS |
2009 |
DBLP DOI BibTeX RDF |
model checking, verification, static analysis, embedded software, assembly code |
| 1 | Goetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski |
Towards feature-driven planning of product-line evolution. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
evolution, feature modeling, product line engineering |
| 1 | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise |
Evaluation of the real-time Java runtime environment for deployment in time-critical systems. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
initialization time compilation, scheduling, Java, real-time, benchmark, monitoring, timing, memory management, RTSJ, ITC |
| 1 | Andreas Polzer, Goetz Botterweck, Stefan Kowalewski, Iris Wangerin |
Variabilität im modelbasierten Engineering von eingebetteten Systemen. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski |
Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Polzer, Stefan Kowalewski, Goetz Botterweck |
Applying software product line techniques in model-based embedded systems engineering. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Salewski, Stefan Kowalewski |
Hardware/Software Design Considerations for Automotive Embedded Systems. |
IEEE Trans. Industrial Informatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Salewski, Stefan Kowalewski |
The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
Effective Pattern Representation for Safety Critical Embedded Systems. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Schmitz, Peter Drews, Frank Hesseier, Matthias Jarke, Stefan Kowalewski, Jacob Palczynski, Andreas Polzer, Michael Reke, Thomas Rose |
Modellbasierte Anforderungserfassung für softwarebasierte Regelungen. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer |
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer |
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski |
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. |
EUC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich |
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Wilking, Umar Farooq Kahn, Stefan Kowalewski |
An Empirical Evaluation of Refactoring. |
e-Informatica |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kurt Dirk Bettenhausen, Stefan Kowalewski, Andreas Kugi |
Bedeutung der Automatisierungstechnik. |
Automatisierungstechnik |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Schlich, Jann Löll, Stefan Kowalewski |
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Wilking, Stefan Kowalewski |
Analyzing Software Engineering Processes on Source Code Level. |
SoMeT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Falk Salewski, Stefan Kowalewski |
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Schlich, Falk Salewski, Stefan Kowalewski |
Applying Model Checking to an Automotive Microcontroller Application. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Salewski, Stefan Kowalewski |
The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Wilking, David Schilli, Stefan Kowalewski |
Measuring the Human Factor with the Rasch Model. |
CEE-SET |
2007 |
DBLP DOI BibTeX RDF |
Software engineering experiment, Rasch model, Human factor |
| 1 | Jacob Palczynski, Bastian Schlich, Stefan Kowalewski |
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. |
GI Jahrestagung |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bastian Schlich, Stefan Kowalewski |
[mc]square: A Model Checker for Microcontroller Code. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six |
Editorial zum Themenheft "Automotive Software Engineering". |
Inform., Forsch. Entwickl. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Wieland, Andreas Hein, Stefan Kowalewski, John MacGregor, Steffen Thiel |
Anwendungserfahrungen und methodische Anpassungen bei der Einführung von Software-Produktlinien. |
GI Jahrestagung |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne |
Reliability-Oriented Product Line Engineering of Embedded Systems. |
PFE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg |
Verification of logic controllers for continuous plants using timed condition/event-system models. |
Automatica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Preußig, Olaf Stursberg, Stefan Kowalewski |
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig |
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. |
Scalable Computing: Practice and Experience |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger |
An Algorithm for the Approximative Analysis of Rectangular Automata. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler |
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig |
Comparing Timed C/E Systems with Timed Automata (Abstract). |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kowalewski, Jörg Preußig |
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig |
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig |
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. |
EUROSIM |
1995 |
DBLP BibTeX RDF |
|
Displaying result #1 - #66 of 66 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")