| Continuous-discrete interactions in chemical processing plants S Engell, S Kowalewski, C Schulz, O Stursberg Proceedings of the IEEE 88 (7), 1050-1068, 2000 | 208 | 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 | 147 | 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 | 102 | 2014 |
| 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 | 97 | 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, ... International Hybrid Systems Workshop, 163-185, 1997 | 96 | 1997 |
| 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 | 92 | 1999 |
| 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 | 89* | 2012 |
| Design patterns for safety-critical embedded systems A Armoush RWTH Aachen University, 2010 | 88 | 2010 |
| 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 | 79 | 2012 |
| 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 | 79 | 2012 |
| 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 | 59 | 2012 |
| 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 | 58 | 1996 |
| 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 | 51 | 2000 |
| 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 | 48 | 2017 |
| 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 | 46 | 2009 |
| 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 | 45 | 2010 |
| Cyber-physical systems: Chancen und Nutzen aus Sicht der Automation KD Bettenhausen, S Kowalewski VDI/VDE-Gesellschaft Mess-und Automatisierungstechnik, 9-10, 2013 | 44 | 2013 |
| 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 | 43 | 2015 |
| 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 | 43 | 1999 |
| Cyber-Physical Systems--eine Herausforderung an die Automatisierungstechnik? S Kowalewski, B Rumpe, A Stollenwerk arXiv preprint arXiv:1409.0385, 2014 | 42 | 2014 |
