Mani Swaminathan

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