Entwicklung korrekter Systeme

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Raum: OFFIS D-118 (» Adresse und Lageplan) Tel.: 0441-9722-292

Aktuelle Lehrveranstaltungen

Wintersemester 2017/2018


Curriculum Vitae

Dezember 2002Master's degree in Telecommunications from the Indian Institute of Technology, Delhi http://www.iitd.ac.in
November 2000 - März 2005Stints in industry and academia in India and Switzerland, including General Electric Global Research www.ge.com/research/ and the Ecole Polytechnique Federale de Lausanne http://www.epfl.ch
April 2005 - März 2008Doktorand in the Graduiertenkolleg Trustsoft
April - Oktober 2008Consultant in Avionics and Aerospace at Altran Deutschland http://www.altran.de
Seit November 2008Wissenschaftlicher Mitarbeiter in the Subproject R1 of the SFB / TR AVACS http://www.avacs.org

Publikationen

  • E. -R. Olderog und M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems," Formal Asp. Comput., vol. 27, pp. 727-750, 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 | Dokument aufrufen Dokument aufrufen
    E. -R. Olderog und M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems," in Proc. Integrated Formal Methods (iFM), 2013, pp. 378-393.
    @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} }
  • M. Swaminathan, J. -P. Katoen, und E. -R. Olderog, "Layered Reasoning for randomized distributed algorithms," Formal Asp. Comput., vol. 24, iss. 4-6, pp. 477-496, 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 | Dokument aufrufen Dokument aufrufen
    E. -R. Olderog und M. Swaminathan, "Layered Composition for Timed Automata," in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2010, pp. 228-242.
    @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 | Dokument aufrufen Dokument aufrufen
    M. Fränzle und M. Swaminathan, "Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata," in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2009, pp. 149-163.
    @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 | Dokument aufrufen Dokument aufrufen
    M. Swaminathan, M. Fränzle, und 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, pp. 537-553.
    @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} }
 

Überblick