Stefan Kowalewski
Stefan Kowalewski
Professor of Computer Science, RWTH Aachen University
Dirección de correo verificada de
Citado por
Citado por
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 2000
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
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
Design patterns for safety-critical embedded systems
A Armoush
RWTH Aachen University, 2010
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
Model checking C source code for embedded systems
B Schlich, S Kowalewski
International journal on software tools for technology transfer 11, 187-202, 2009
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, ...
Hybrid Systems V 5, 163-185, 1999
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
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
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
S Schupp, E Ábrahám, IB Makhlouf, S Kowalewski
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
UNICARagil-disruptive modular architectures for agile, automated vehicle concepts
T Woopen, B Lampe, T Böddeker, L Eckstein, A Kampmann, B Alrifaee, ...
Institute for Automotive Engineering, RWTH Aachen, 2018
Cyber-physical systems: Chancen und Nutzen aus Sicht der Automation
KD Bettenhausen, S Kowalewski
VDI/VDE-Gesellschaft Mess-und Automatisierungstechnik, 9-10, 2013
A dynamic service-oriented software architecture for highly automated vehicles
A Kampmann, B Alrifaee, M Kohout, A Wüstenberg, T Woopen, M Nolte, ...
2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2101-2108, 2019
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
Comparing timed and hybrid automata as approximations of continuous systems
O Stursberg, S Kowalewski, I Hoffmann, J Preußig
Hybrid Systems IV 4, 361-377, 1997
An empirical evaluation of refactoring
D Wilking, UF Kahn, S Kowalewski
e-Informatica Software Engineering Journal 1 (1), 2007
A mobile software quality model
D Franke, S Kowalewski, C Weise
2012 12th International Conference on Quality Software, 154-157, 2012
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
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
A benchmark suite for hybrid systems reachability analysis
X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20