Mani Swaminathan, M.Sc.
Contact
- E-Mail:
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 | Go to documentE. -R. Olderog and M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" Formal Asp. Comput. vol. 27, 2015.
@article{OlderogSwaminathan14,
author = {E.-R Olderog and M. Swaminathan},
title = {Structural Transformations for Data-Enriched Real-Time Systems},
journal = {Formal Asp. Comput.},
volume = {27},
pages = {727--750},
year = {2015},
url = {http://dx.doi.org/10.1007/s00165-014-0306-y} } - [inproceedings] bibtex | Go to documentE. -R. Olderog and M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" in Proc. Integrated Formal Methods (iFM), 2013.
@inproceedings{OlderogSwaminathan13,
author = {E.-R. Olderog and Mani Swaminathan},
title = {Structural Transformations for Data-Enriched Real-Time Systems},
editor = {Einar Broch Johnsen and Luigia Petre},
booktitle = {Integrated Formal Methods (iFM)},
volume = {7940},
series = {Lecture Notes in Computer Science},
pages = {378-393},
publisher = {Springer-Verlag},
year = {2013},
url = {http://dx.doi.org/10.1007/978-3-642-38613-8_26} } - [article] bibtex | Go to documentM. Swaminathan, J. -P. Katoen, and E. -R. Olderog, "Layered Reasoning for randomized distributed algorithms" Formal Asp. Comput. vol. 24, iss. 4-6, 2012.
@article{SwaminathanKatoenOlderog12,
author = {M. Swaminathan and J.-P. Katoen and E.-R. Olderog},
title = {Layered Reasoning for randomized distributed algorithms},
journal = {Formal Asp. Comput.},
volume = {24},
number = {4-6},
year = {2012},
pages = {477-496},
url = {http://dx.doi.org/10.1007/s00165-012-0231-x} } - [inproceedings] bibtex | Go to documentE. -R. Olderog and M. Swaminathan, "Layered Composition for Timed Automata" in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2010.
@inproceedings{OS10,
author = {E.-R. Olderog and M. Swaminathan},
title = {Layered Composition for Timed Automata},
editor = {K. Chatterjee and T. A Henzinger},
booktitle = {Formal Modeling and Analysis of Timed Systems (FORMATS) },
series = {Lecture Notes in Computer Science},
volume = {6246},
publisher = {Springer-Verlag},
pages = {228-242},
year = {2010},
url = {http://dx.doi.org/10.1007/978-3-642-15297-9_18} } - [inproceedings] bibtex | Go to documentM. 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{MS09,
author = {M. Fr{\"a}nzle and M. Swaminathan},
title = {Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata},
editor = {J. Ouaknine and F. Vaandrager},
booktitle = {Formal Modeling and Analysis of Timed Systems (FORMATS) },
series = {Lecture Notes in Computer Science},
volume = {5813},
publisher = {Springer-Verlag},
pages = {149-163},
year = {2009},
url = {http://dx.doi.org/10.1007/978-3-642-04368-0_13} } - [inproceedings] bibtex | Go to documentM. 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.
@inproceedings{SFK08,
author = {M. Swaminathan and M. Fr{\"a}nzle and J-.P. Katoen},
title = {The Surprising Robustness of (Closed) Timed Automata against Clock-Drift},
editor = {Giorgio Ausiello and Juhani Karhum{\"a}ki},
booktitle = {IFIP International Conference on Theoretical Computer Science (IFIP TCS) },
series = {International Federation for Information Processing},
volume = {273},
publisher = {Springer},
pages = {537-553},
year = {2008},
url = {http://dx.doi.org/10.1007/978-0-387-09680-3_36}