Articles with public access mandates - Mani SwaminathanLearn more
Not available anywhere: 1
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
Mandates: German Research Foundation
Available somewhere: 6
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
Mandates: German Research Foundation
Layered composition for timed automata
ER Olderog, M Swaminathan
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
Mandates: German Research Foundation
Layered reasoning for randomized distributed algorithms
M Swaminathan, JP Katoen, ER Olderog
Formal Aspects of Computing 24 (4), 477-496, 2012
Mandates: German Research Foundation
Structural transformations for data-enriched real-time systems
ER Olderog, M Swaminathan
Formal Aspects of Computing 27 (4), 727-750, 2015
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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, ...
Mandates: European Commission
Publication and funding information is determined automatically by a computer program