Mani Swaminathan
Mani Swaminathan
Researcher in Computer Science
Geverifieerd e-mailadres voor uni-oldenburg.de
Geciteerd door
Geciteerd door
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
Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 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-6), 477-496, 2012
Structural transformations for data-enriched real-time systems
ER Olderog, M Swaminathan
Formal Aspects of Computing 27 (4), 727-750, 2015
Costs and rewards in priced timed automata
M Fränzle, M Shirmohammadi, M Swaminathan, J Worrell
Information and Computation 282, 2022
Revisiting decidability and optimum reachability for multi-priced timed automata
M Fränzle, M Swaminathan
Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009
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, ...
INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik–Informatik für …, 2019
Quantitative and Structural Analysis of Real-Time and Probabilistic Systems
M Swaminathan
PhD Dissertation, University of Oldenburg, 2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–10