| Trustworthy software systems: a discussion of basic concepts and terminology S Becker, W Hasselbring, A Paul, M Boskovic, H Koziolek, J Ploski, ... ACM SIGSOFT Software Engineering Notes 31 (6), 1-18, 2006 | 87 | 2006 |
| The surprising robustness of (closed) timed automata against clock-drift M Swaminathan, M Fränzle, JP Katoen Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 28 | 2008 |
| Layered composition for timed automata ER Olderog, M Swaminathan International Conference on Formal Modeling and Analysis of Timed Systems …, 2010 | 15 | 2010 |
| A symbolic decision procedure for robust safety of timed systems M Swaminathan, M Franzle 14th International Symposium on Temporal Representation and Reasoning (TIME …, 2007 | 15 | 2007 |
| Layered reasoning for randomized distributed algorithms M Swaminathan, JP Katoen, ER Olderog Formal Aspects of Computing 24 (4), 477-496, 2012 | 9 | 2012 |
| Costs and rewards in priced timed automata M Fränzle, M Shirmohammadi, M Swaminathan, J Worrell Information and Computation 282, 2022 | 7 | 2022 |
| Structural transformations for data-enriched real-time systems ER Olderog, M Swaminathan Formal Aspects of Computing 27 (4), 727-750, 2015 | 7 | 2015 |
| Revisiting decidability and optimum reachability for multi-priced timed automata M Fränzle, M Swaminathan International Conference on Formal Modeling and Analysis of Timed Systems …, 2009 | 4 | 2009 |
| Design of a multi-hazard collaborative system for scenario-based response planning B Barth, M Friedemann, M Mühlbauer, J Vendrell, T Riedlinger, T De Cola, ... | 3 | 2019 |
| Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles M Fränzle, W Hagemann, W Damm, A Rakow, M Swaminathan Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023 | 2 | 2023 |
| Quantitative and Structural Analysis of Real-Time and Probabilistic Systems M Swaminathan PhD Dissertation, University of Oldenburg, 2016 | | 2016 |
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
