Dr. rer. nat.
Vincent Aravantinos

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

Dr. Vincent Aravantinos received his PhD from Grenoble University (France) in 2010 in theoretical computer science, more specifically in computational logic. He then worked one year at Vienna Technical University in the field of automated theorem proving, and two years in Concordia University (Canada), in interactive theorem proving and the use thereof for the formal verification of optical systems. At fortiss, his research interests include formal verification, model-based driven development, and the interdisplinary use of techniques coming from computer science.

Projects

Publications

Export list as BibTeX file

2016

  • Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto and 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 and 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 and 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 and 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 and 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