Mani Swaminathan

According to our database, Mani Swaminathan authored at least 11 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.

Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Costs and rewards in priced timed automata.

Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell

Inf. Comput., 2022

2019

Design of a multi-hazard collaborative system for scenario-based response planning.

Benjamin Barth, Monika Friedemann, Martin Mühlbauer, Jordi Vendrell, Torsten Riedlinger, Tomaso de Cola, Mani Swaminathan

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2016

Quantitative and structural analysis of real-time and probabilistic systems.

Mani Swaminathan

PhD thesis, 2016

2015

Structural transformations for data-enriched real-time systems.

Ernst-Rüdiger Olderog, Mani Swaminathan

Formal Aspects Comput., 2015

2012

Layered reasoning for randomized distributed algorithms.

Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog

Formal Aspects Comput., 2012

2010

Layered Composition for Timed Automata.

Ernst-Rüdiger Olderog, Mani Swaminathan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009

Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.

Martin Fränzle, Mani Swaminathan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.

Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

A Symbolic Decision Procedure for Robust Safety of Timed Systems.

Mani Swaminathan, Martin Fränzle

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

2006

Trustworthy software systems: a discussion of basic concepts and terminology.

Steffen Becker, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns

ACM SIGSOFT Softw. Eng. Notes, 2006