Stefan Kowalewski
Stefan Kowalewski
Professor of Computer Science, RWTH Aachen University
Bestätigte E-Mail-Adresse bei embedded.rwth-aachen.de
Titel
Zitiert von
Zitiert von
Jahr
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 2000
2062000
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
R Sasnauskas, O Landsiedel, MH Alizai, C Weise, S Kowalewski, ...
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
1402010
A case study in tool-aided analysis of discretely controlled continuous systems: the two tanks problem
S Kowalewski, O Stursberg, M Fritz, H Graf, I Hoffmann, J Preußig, ...
International Hybrid Systems Workshop, 163-185, 1997
981997
Verification of logic controllers for continuous plants using timed condition/event-system models
S Kowalewski, S Engell, J Preußig, O Stursberg
Automatica 35 (3), 505-518, 1999
921999
Model checking C source code for embedded systems
B Schlich, S Kowalewski
International journal on software tools for technology transfer 11 (3), 187-202, 2009
912009
Challenges for software engineering in automation
B Vogel-Heuser, C Diedrich, A Fay, S Jeschke, S Kowalewski, ...
Journal of Software Engineering and Applications 2014, 2014
872014
A lack of sexual dimorphism in width-to-height ratio in white European faces using 2D photographs, 3D scans, and anthropometry
RSS Kramer, AL Jones, R Ward
PloS one 7 (8), e42705, 2012
81*2012
Design patterns for safety-critical embedded systems
A Armoush
RWTH Aachen University, 2010
812010
Model-driven support for product line evolution on feature level
A Pleuss, G Botterweck, D Dhungana, A Polzer, S Kowalewski
Journal of Systems and Software 85 (10), 2261-2274, 2012
772012
Arcade. PLC: A verification platform for programmable logic controllers
S Biallas, J Brauer, S Kowalewski
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
722012
Comparing timed and hybrid automata as approximations of continuous systems
O Stursberg, S Kowalewski, I Hoffmann, J Preußig
International Hybrid Systems Workshop, 361-377, 1996
601996
A real-time extension to the Android platform
I Kalkov, D Franke, JF Schommer, S Kowalewski
Proceedings of the 10th international workshop on Java technologies for real …, 2012
542012
On the generation of timed discrete approximations for continuous systems
O Stursberg, S Kowalewski, S Engell
Mathematical and Computer Modelling of Dynamical Systems 6 (1), 51-70, 2000
512000
Applying software product line techniques in model-based embedded systems engineering
A Polzer, S Kowalewski, G Botterweck
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded …, 2009
462009
Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis
J Preußig, O Stursberg, S Kowalewski
International Workshop on Hybrid Systems: Computation and Control, 209-222, 1999
431999
EvoFM: feature-driven planning of product-line evolution
G Botterweck, A Pleuss, D Dhungana, A Polzer, S Kowalewski
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software …, 2010
422010
An algorithm for the approximative analysis of rectangular automata
J Preu, S Kowalewski, H Wong-Toi, TA Henzinger
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
421998
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
S Schupp, E Abraham, IB Makhlouf, S Kowalewski
NASA Formal Methods Symposium, 288-294, 2017
412017
Cyber-Physical Systems--eine Herausforderung an die Automatisierungstechnik?
S Kowalewski, B Rumpe, A Stollenwerk
arXiv preprint arXiv:1409.0385, 2014
402014
A benchmark suite for hybrid systems reachability analysis
X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski
NASA Formal Methods Symposium, 408-414, 2015
392015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20