Trustworthy software systems: a discussion of basic concepts and terminology. - Steffen Becker 001; Wilhelm Hasselbring; Alexandra Paul; Marko Boskovic; Heiko Koziolek; Jan Ploski; Abhishek Dhama; Henrik Lipskoch; Matthias Rohr; Daniel Winteler; Simon Giesecke; Roland Meyer 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2006)

A Symbolic Decision Procedure for Robust Safety of Timed Systems. - Mani Swaminathan; Martin Fränzle (TIME, 2007)

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. - Mani Swaminathan; Martin Fränzle; Joost-Pieter Katoen (IFIP TCS, 2008)

Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. - Martin Fränzle; Mani Swaminathan (FORMATS, 2009)

Layered Composition for Timed Automata. - Ernst-Rüdiger Olderog; Mani Swaminathan (FORMATS, 2010)

Layered reasoning for randomized distributed algorithms. - Mani Swaminathan; Joost-Pieter Katoen; Ernst-Rüdiger Olderog (Formal Aspects Comput., 2012)

Structural transformations for data-enriched real-time systems. - Ernst-Rüdiger Olderog; Mani Swaminathan (Formal Aspects Comput., 2015)

Quantitative and structural analysis of real-time and probabilistic systems. - Mani Swaminathan (2016)

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 (GI-Jahrestagung (Workshops), 2019)

Costs and rewards in priced timed automata. - Martin Fränzle; Mahsa Shirmohammadi; Mani Swaminathan; James Worrell 001 (Inf. Comput., 2022)

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. - Martin Fränzle; Willem Hagemann; Werner Damm; Astrid Rakow; Mani Swaminathan (Applicable Formal Methods for Safe Industrial Products, 2023)