Seguir
Stefan Kowalewski
Stefan Kowalewski
Professor of Computer Science, RWTH Aachen University
Email confirmado em embedded.rwth-aachen.de
Título
Citado por
Citado por
Ano
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 2000
2232000
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
1632010
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
1322014
Design patterns for safety-critical embedded systems
A Armoush
RWTH Aachen University, 2010
114*2010
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
1022009
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
971997
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
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
882012
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
862012
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 Symposium, 288-294, 2017
672017
Cyber-physical systems: Chancen und Nutzen aus Sicht der Automation
KD Bettenhausen, S Kowalewski
VDI/VDE-Gesellschaft Mess-und Automatisierungstechnik, 9-10, 2013
662013
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
612012
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
551996
An empirical evaluation of refactoring
D Wilking, UF Kahn, S Kowalewski
e-Informatica Software Engineering Journal 1 (1), 2007
542007
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
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
502010
Cyber-Physical Systems--eine Herausforderung an die Automatisierungstechnik?
S Kowalewski, B Rumpe, A Stollenwerk
arXiv preprint arXiv:1409.0385, 2014
482014
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
482009
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
472018
A mobile software quality model
D Franke, S Kowalewski, C Weise
2012 12th International Conference on Quality Software, 154-157, 2012
462012
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20