| Ready for testing: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muniz, S Andisha, A Podelski Formal Aspects of Computing 28 (3), 499-527, 2016 | 21 | 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 | 19 | 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 | 15 | 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 | 15 | 2009 |
| 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 | 6 | 2014 |
| Formal verification of a parameterized data aggregation protocol S Feo-Arenis, B Westphal NASA Formal Methods Symposium, 428-434, 2013 | 5 | 2013 |
| 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 |
| Parameterized verification of track topology aggregation protocols S Feo-Arenis, B Westphal Formal Techniques for Distributed Systems, 35-49, 2013 | 3 | 2013 |
| On implementable timed automata S Feo-Arenis, M Vujinović, B Westphal International Conference on Formal Techniques for Distributed Objects …, 2020 | 2 | 2020 |
| System testing and program verification S Arlt, SF Arenis, A Podelski, M Wehrle Software-engineering and management 2015, 2015 | 2 | 2015 |
| On global scheduling independency in networks of timed automata S Feo-Arenis, M Vujinović, B Westphal International Conference on Formal Modeling and Analysis of Timed Systems, 42-57, 2017 | 1 | 2017 |
| A formal approach to the development of industrial cyber-physical systems SA Feo Arenis Dissertation, Albert-Ludwigs-Universität Freiburg, 2016, 2017 | | 2017 |
| Computer Science Theory (Bridging Course)(Tutorial) A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ... Language, 2014 | | 2014 |
| Black-Box Verification for GUI Applications S Arlt, E Ermis, S Feo-Arenis, A Podelski arXiv preprint arXiv:1210.4686, 2012 | | 2012 |
| Benchmark Generator for Stratified Controllers of Tank Networks A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ... | | |
| Program Verification A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ... | | |
| Trace Abstraction for Concurrent Programs via Petri Net Acceptors A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ... | | |
| Informatik III A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ... | | |
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
