Stefan Kowalewski
Stefan Kowalewski
Professor of Computer Science, RWTH Aachen University
Verified email at embedded.rwth-aachen.de
TitleCited byYear
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 2000
1962000
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
1302010
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
921997
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
891999
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
842009
Challenges for software engineering in automation
B Vogel-Heuser, C Diedrich, A Fay, S Jeschke, S Kowalewski, ...
Journal of Software Engineering and Applications 7 (05), 440, 2014
782014
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
702012
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
66*2012
Design patterns for safety-critical embedded systems
A Armoush
RWTH Aachen University, 2010
652010
Arcade. PLC: A verification platform for programmable logic controllers
S Biallas, J Brauer, S Kowalewski
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
622012
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
581996
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
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
502012
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
441999
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
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
392010
Hardware/software design considerations for automotive embedded systems
F Salewski, S Kowalewski
IEEE Transactions on Industrial Informatics 4 (3), 156-163, 2008
392008
Generating timed discrete models of continuous systems
O Stursberg, S Kowalewski, S Engell
Proc. 2nd IMACS Symposium on Mathematical Modelling, MATHMOD 97, 203-209, 1997
391997
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
382009
Direct model checking of PLC programs in IL
B Schlich, J Brauer, J Wernerus, S Kowalewski
IFAC Proceedings Volumes 42 (5), 28-33, 2009
362009
The system can't perform the operation now. Try again later.
Articles 1–20