| Ready for testing: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, S Andisha, A Podelski Formal Aspects of Computing 28, 499-527, 2016 | 25 | 2016 |
| Reducing Quasi-Equal Clocks in Networks of Timed Automata C Herrera, B Westphal, S Feo-Arenis, M Muniz, A Podelski Formal Modeling and Analysis of Timed Systems, 155-170, 2012 | 21 | 2012 |
| The wireless fire alarm system: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, AS Andisha International Symposium on Formal Methods, 658-672, 2014 | 20 | 2014 |
| Disambiguation of industrial standards through formalization and graphical languages D Dietsch, SF Arenis, B Westphal, A Podelski 2011 IEEE 19th International Requirements Engineering Conference, 265-270, 2011 | 18 | 2011 |
| Spatially resolved contact‐resistance measurements on crystalline silicon solar cells S Kontermann, M Hörteis, A Ruf, S Feo, R Preu Physica status solidi (a) 206 (12), 2866-2871, 2009 | 16 | 2009 |
| On implementable timed automata S Feo-Arenis, M Vujinović, B Westphal International Conference on Formal Techniques for Distributed Objects …, 2020 | 10 | 2020 |
| Verification of GUI applications: A black-box approach S Arlt, E Ermis, S Feo-Arenis, A Podelski International Symposium On Leveraging Applications of Formal Methods …, 2014 | 8 | 2014 |
| Smart component modeling for complex system development P Helle, S Feo-Arenis, A Mitschke, G Schramm International conference on complex systems design & management, 117-128, 2019 | 6 | 2019 |
| Formal verification of a parameterized data aggregation protocol S Feo-Arenis, B Westphal NASA Formal Methods Symposium, 428-434, 2013 | 5 | 2013 |
| Building a semantic layer for early design trade studies in the development of commercial aircraft A Zindel, S Feo-Arenis, P Helle, G Schramm, M Elaasar 2022 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2022 | 4 | 2022 |
| Enabling multidisciplinary-analysis of SysML models in a heterogeneous tool landscape using Parametric Analysis Models P Helle, G Schramm, S Klostermann, S Feo-Arenis 2022, submitted for The Complex Systems Design & Management conference, 2022 | 4 | 2022 |
| Towards successful subcontracting for software in small to medium-sized enterprises B Westphal, D Dietsch, S Feo-Arenis, A Podelski, L Pahlow, J Morsbach, ... 2012 Fifth IEEE International Workshop on Requirements Engineering and Law …, 2012 | 4 | 2012 |
| Abwicklung von Sofwareentwicklungsaufträgen in KMU–Analyse D Dietsch, S Feo-Arenis, B Westphal, C Meierhöfer, J Morsbach, ... Technical report, 2010. http://www. salomo-projekt. de/survey-results, 2010 | 4 | 2010 |
| Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks P Helle, S Feo-Arenis, C Strobel, K Shortt International Conference on Practical Applications of Agents and Multi-Agent …, 2022 | 3 | 2022 |
| Parameterized verification of track topology aggregation protocols S Feo-Arenis, B Westphal International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 3 | 2013 |
| System testing and program verification S Arlt, SF Arenis, A Podelski, M Wehrle Gesellschaft für Informatik eV, 2015 | 2 | 2015 |
| Decentralized Collaborative Decision-Making for Topology Building in Mobile Ad-Hoc Networks P Helle, S Feo-Arenis, K Shortt, C Strobel 2022 Thirteenth International Conference on Ubiquitous and Future Networks …, 2022 | 1 | 2022 |
| On global scheduling independency in networks of timed automata S Feo-Arenis, M Vujinović, B Westphal Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 1 | 2017 |
| METHOD FOR ESTABLISHING FREE-SPACE DATA TRANSMISSION CHANNELS S Feo Arenis, P Helle, K Shortt, C Strobel US Patent App. 18/658,060, 2024 | | 2024 |
| GPU Accelerating Statistical Model Checking for Extended Timed Automata OS Bak, MWB Christiansen, OV Eriksen, S Feo-Arenis, PG Jensen, ... Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
Andreas PodelskiProfessor of Computer Science, Freiburg Universityכתובת אימייל מאומתת בדומיין informatik.uni-freiburg.de
