Correct System Design
Mani Swaminathan
| Address: | Mani Swaminathan University of Oldenburg Faculty II Department of Computing Science D-26111 Oldenburg Germany |
|
| Room: | A2 2-201 | |
| Phone: | +49 441 798-4492 | |
| Fax: | +49 441 798-2965 | |
| email: | Mani.Swaminathan | |
Curriculum Vitae
| December 2002 | Master's degree in Telecommunications from the Indian Institute of Technology, Delhi http://www.iitd.ac.in |
| November 2000-March 2005 | Stints in industry and academia in India and Switzerland, including General Electric Global Research http://www.ge.com/research/ and the Ecole Polytechnique Federale de Lausanne http://www.epfl.ch |
| April 2005 - March 2008 | Doktorand in the Graduiertenkolleg Trustsoft http://www.uni-oldenburg.de/trustsoft/en/ |
| April - October 2008 | Consultant in Avionics and Aerospace at Altran Deutschland http://www.altran.de/ |
| Since November 2008 | Wissenschaftlicher Mitarbeiter in the Subproject R1 of the SFB / TR AVACS http://www.avacs.org |
Publications
- [OS10]
-
E.-R. Olderog and M. Swaminathan.
Layered composition for timed automata.
In K. Chatterjee and T. A Henzinger, editors, Formal Modeling
and Analysis of Timed Systems (FORMATS), volume 6246 of Lecture Notes
in Computer Science, pages 228-242. Springer-Verlag, 2010.
[ bib | http ] - [FS09]
-
M. Fränzle and M. Swaminathan.
Revisiting decidability and optimum reachability for multi-priced
timed automata.
In J. Ouaknine and F. Vaandrager, editors, Formal Modeling and
Analysis of Timed Systems (FORMATS), volume 5813 of Lecture Notes in
Computer Science, pages 149-163. Springer-Verlag, 2009.
[ bib | http ] - [SFK08]
-
M. Swaminathan, M. Fränzle, and J-.P. Katoen.
The surprising robustness of (closed) timed automata against
clock-drift.
In Giorgio Ausiello and Juhani Karhumäki, editors, IFIP
International Conference on Theoretical Computer Science (IFIP TCS), volume
273 of International Federation for Information Processing, pages
537-553. Springer, 2008.
[ bib | http ]