Dr. rer. nat.
Vincent Aravantinos

Model-based systems Engineering · Kompetenzfeld Leiter
Telefon
+49 89 3603522 560

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

  • Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto und Georgeta Igna. Factory Product Lines: Tackling the Compatibility Problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, 2016. ACM. Details BibTeX
  • Zaur Molotnikov, Konstantin Schorp, Vincent Aravantinos und Bernhard Schätz. FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry. 2016. Details BibTeX

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