Mani Swaminathan, M.Sc.
Contact
Mani Swaminathan, M.Sc.
Curriculum Vitae
December 2002 | Master's degree in Telecommunications from the Indian Institute of Technology, Delhi www.iitd.ac.in |
---|---|
November 2000 - March 2005 | Stints in industry and academia in India and Switzerland, including General Electric Global Research www.ge.com/research/ and the Ecole Polytechnique Federale de Lausanne www.epfl.ch |
April 2005 - March 2008 | Doktorand in the Graduiertenkolleg Trustsoft |
April - October 2008 | Consultant in Avionics and Aerospace at Altran Deutschland www.altran.de |
Since November 2008 | Wissenschaftlicher Mitarbeiter in the Subproject R1 of the SFB / TR AVACS www.avacs.org |
Publications
- [article] bibtex |E. -R. Olderog and M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" Formal Asp. Comput. vol. 27.
- [inproceedings] bibtex |E. -R. Olderog and M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" in Proc. Integrated Formal Methods (iFM), 2013.
- [article] bibtex |M. Swaminathan, J. -P. Katoen, and E. -R. Olderog, "Layered Reasoning for randomized distributed algorithms" Formal Asp. Comput. vol. 24, iss. 4-6.
- [inproceedings] bibtex |E. -R. Olderog and M. Swaminathan, "Layered Composition for Timed Automata" in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2010.
- [inproceedings] bibtex |M. Fränzle and M. Swaminathan, "Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata" in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2009.
- [inproceedings] bibtex |M. Swaminathan, M. Fränzle, and J-. P. Katoen, "The Surprising Robustness of (Closed) Timed Automata against Clock-Drift" in Proc. IFIP International Conference on Theoretical Computer Science (IFIP TCS), 2008.