Follow
Mani Swaminathan
Mani Swaminathan
Researcher in Computer Science
Verified email at uni-oldenburg.de
Title
Cited by
Cited by
Year
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
822006
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
262008
Layered composition for timed automata
ER Olderog, M Swaminathan
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
152010
A symbolic decision procedure for robust safety of timed systems
M Swaminathan, M Franzle
14th International Symposium on Temporal Representation and Reasoning (TIME …, 2007
152007
Layered reasoning for randomized distributed algorithms
M Swaminathan, JP Katoen, ER Olderog
Formal Aspects of Computing 24 (4), 477-496, 2012
92012
Costs and rewards in priced timed automata
M Fränzle, M Shirmohammadi, M Swaminathan, J Worrell
Information and Computation 282, 2022
62022
Structural transformations for data-enriched real-time systems
ER Olderog, M Swaminathan
Formal Aspects of Computing 27 (4), 727-750, 2015
62015
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, ...
32019
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
32009
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
2023
Quantitative and Structural Analysis of Real-Time and Probabilistic Systems
M Swaminathan
PhD Dissertation, University of Oldenburg, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–11