Dr. rer. nat.
Vincent Aravantinos

Analysis and Design of Dependable Systems · Research Group Leader
Telefon
+49 89 3603522 33

Dr. Vincent Aravantinos promovierte 2010 an der Universität von Grenoble (Frankreich) im Bereich theoretische Informatik, insbesondere Computational Logic und arbeitete danach für ein Jahr an der TU Wien im Bereich Automated Theorem Proving. Anschließend forschte er zwei Jahre an der Concordia Universität (Kanada) zum Thema Interactive Theorem Proving, mit Anwendungen in der Formal Verification von Optical Systems. Bei fortiss forscht er im Bereich Formal Verification, Model-Based Development und der interdisziplinären Anwendungen von Computertechniken.

Projekte

Veröffentlichungen

Liste als BibTeX-Datei exportieren

2016

2015

  • Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat und Bernhard Schätz. Textual model-based software/system architecture documentation using MPS. In Software Engineering & Management, volume 239, pages 232-237, 2015. Details BibTeX

2014

  • Mohamed Yousri Mahmoud, Vincent Aravantinos und Sofiene Tahar. Formal Verification of Optical Quantum Flip Gate. In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 358–373, 2014. Springer. Details DOI BibTeX
  • Vincent Aravantinos und Sofiene Tahar. Implicational Rewriting Tactics in HOL. In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 45-60, 2014. Springer. Details DOI BibTeX