Mani Swaminathan

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 5

Top Venues

CoRR

Applicable Formal Methods for Safe Industrial Products

Formal Aspects Comput.

ICALP

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products (2023)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and rewards in priced timed automata. Inf. Comput. 282 (2022)
Benjamin Barth, Monika Friedemann, Martin Mühlbauer, Jordi Vendrell, Torsten Riedlinger, Tomaso de Cola, Mani Swaminathan
Design of a multi-hazard collaborative system for scenario-based response planning. GI-Jahrestagung (Workshops) (2019)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and Rewards in Priced Timed Automata. CoRR (2018)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and Rewards in Priced Timed Automata. ICALP (2018)
Ernst-Rüdiger Olderog, Mani Swaminathan
Structural transformations for data-enriched real-time systems. Formal Aspects Comput. 27 (4) (2015)
Ernst-Rüdiger Olderog, Mani Swaminathan
Structural Transformations for Data-Enriched Real-Time Systems. IFM (2013)
Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog
Layered reasoning for randomized distributed algorithms. Formal Aspects Comput. 24 (4-6) (2012)
Ernst-Rüdiger Olderog, Mani Swaminathan
Layered Composition for Timed Automata. FORMATS (2010)
Martin Fränzle, Mani Swaminathan
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. FORMATS (2009)
Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS (2008)
Mani Swaminathan, Martin Fränzle
A Symbolic Decision Procedure for Robust Safety of Timed Systems. TIME (2007)
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
Trustworthy software systems: a discussion of basic concepts and terminology. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)

Mani Swaminathan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mani Swaminathan