Vincent Aravantinos

Publications

Export list as BibTeX file

• August 2024 Generic Analysis of Model Product Lines via Constraint Lifting Andreas Bayha and Vincent Aravantinos arXiv:2008.11427 [cs.SE], August 2024. Details DOI BIB
• January 2020 What the Constant Velocity Model Can Teach Us About Pedestrian Motion Prediction Christoph Schöller , Vincent Aravantinos , Florian Lay and Alois Knoll In Robotics and Automation Letters (RA-L), Paris, France, January 2020. IEEE. Details URL BIB
• December 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo , Julian Vogel , Levi Lúcio , Michael Weser , Somayeh Malakuti , Pierre Venet , Vincent Aravantinos and Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, December 2019. Details URL DOI BIB
• June 2019 From Specifications to Behavior: Maneuver Verification in a Semantic State Space Klemens Esterle , Vincent Aravantinos and Alois Knoll Details URL DOI BIB
• 2019 Roadmap to Skill Based Systems Engineering Kathrin Evers , Jan R Seyler , Vincent Aravantinos , Levi Lúcio and Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1093–1100, 2019. IEEE. Details DOI BIB
• April 2018 Applying DSE for Solving the Deployment Problem in Industry 4.0 Tarik Terzimehić , Sebastian Voss , Monika Wenger and Vincent Aravantinos In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
• September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio , Saad bin Abid , Salman Rahman , Vincent Aravantinos , Eduard Harwardt and Ralf Kuestner In MODELS Workshops, pages 405–411, September 2017. Details URL BIB
• 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav and Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, pages 300–306, 2017. Details URL BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, 2017. Details DOI BIB
• January 2016 Factory Product Lines: Tackling the Compatibility Problem Andreas Bayha , Levi Lúcio , Vincent Aravantinos , Kenji Miyamoto and Georgeta Igna In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), January 2016. ACM. Details DOI BIB
• 2016 FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry Zaur Molotnikov , Konstantin Schorp , Vincent Aravantinos and Bernhard Schätz 2016. Details URL BIB
• September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns and Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos , Sebastian Voss , Sabine Teufl , Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB
• 2015 Textual model-based software/system architecture documentation using MPS Vincent Aravantinos , Kenji Miyamoto , Zaur Molotnikov , Nikolaus Regnat and Bernhard Schätz In Software Engineering & Management, volume 239, pages 232-237, 2015. Details URL BIB
• 2014 Formal Verification of Optical Quantum Flip Gate Mohamed Yousri Mahmoud , Vincent Aravantinos and Sofiene Tahar In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 358–373, 2014. Springer. Details DOI BIB
• 2014 Implicational Rewriting Tactics in HOL Vincent Aravantinos and Sofiene Tahar In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 45-60, 2014. Springer. Details URL DOI BIB