| 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 | 75 | 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 | 24 | 2008 |
| Layered composition for timed automata ER Olderog, M Swaminathan Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 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 | 14 | 2007 |
| Layered reasoning for randomized distributed algorithms M Swaminathan, JP Katoen, ER Olderog Formal Aspects of Computing 24 (4-6), 477-496, 2012 | 9 | 2012 |
| Structural transformations for data-enriched real-time systems ER Olderog, M Swaminathan Formal Aspects of Computing 27 (4), 727-750, 2015 | 6 | 2015 |
| Costs and rewards in priced timed automata M Fränzle, M Shirmohammadi, M Swaminathan, J Worrell Information and Computation 282, 2022 | 4 | 2022 |
| Revisiting decidability and optimum reachability for multi-priced timed automata M Fränzle, M Swaminathan Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009 | 3 | 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, ... INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik–Informatik für …, 2019 | 2 | 2019 |
| 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 OldenburgGeverifieerd e-mailadres voor informatik.uni-oldenburg.de
