Mani Swaminathan
Mani Swaminathan
Researcher in Computer Science
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
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
Layered composition for timed automata
ER Olderog, M Swaminathan
International Conference on Formal Modeling and Analysis of Timed Systems …, 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
Layered reasoning for randomized distributed algorithms
M Swaminathan, JP Katoen, ER Olderog
Formal Aspects of Computing 24 (4), 477-496, 2012
Costs and rewards in priced timed automata
M Fränzle, M Shirmohammadi, M Swaminathan, J Worrell
Information and Computation 282, 2022
Structural transformations for data-enriched real-time systems
ER Olderog, M Swaminathan
Formal Aspects of Computing 27 (4), 727-750, 2015
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, ...
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
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
Quantitative and Structural Analysis of Real-Time and Probabilistic Systems
M Swaminathan
PhD Dissertation, University of Oldenburg, 2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11