Continuous-discrete interactions in chemical processing plants S Engell, S Kowalewski, C Schulz, O Stursberg Proceedings of the IEEE 88 (7), 1050-1068, 2000 | 237 | 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 | 169 | 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 | 156 | 2014 |
Design patterns for safety-critical embedded systems A Armoush RWTH Aachen University, 2010 | 135* | 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 | 107 | 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 | 106 | 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 | 103 | 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 | 98 | 2012 |
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 | 90 | 2017 |
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 | 90 | 1999 |
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 | 87 | 2018 |
Cyber-physical systems: Chancen und Nutzen aus Sicht der Automation KD Bettenhausen, S Kowalewski VDI/VDE-Gesellschaft Mess-und Automatisierungstechnik, 9-10, 2013 | 78 | 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 | 70 | 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 | 66 | 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 | 63 | 1997 |
An empirical evaluation of refactoring D Wilking, UF Kahn, S Kowalewski e-Informatica Software Engineering Journal 1 (1), 2007 | 60 | 2007 |
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 | 56 | 2010 |
A mobile software quality model D Franke, S Kowalewski, C Weise 2012 12th International Conference on Quality Software, 154-157, 2012 | 55 | 2012 |
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 | 50 | 2000 |
Cyber-physical mobility lab: An open-source platform for networked and autonomous vehicles M Kloock, P Scheffe, J Maczijewski, A Kampmann, A Mokhtarian, ... 2021 European Control Conference (ECC), 1937-1944, 2021 | 49 | 2021 |