Publikationen
Liste als BibTeX-Datei exportieren
- Januar 2020What the Constant Velocity Model Can Teach Us About Pedestrian Motion PredictionChristoph Schöller, Vincent Aravantinos, Florian Lay und Alois Knoll
In
Robotics and Automation Letters (RA-L),
Paris, France,
IEEE.
DetailsURLBIB
- Dezember 2019Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspectiveAlexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos und Torben DeppeIFAC-PapersOnLine,
52(13):1590–1596,
Dezember 2019.
DetailsDOIBIB
- Juni 2019From Specifications to Behavior: Maneuver Verification in a Semantic State SpaceKlemens Esterle, Vincent Aravantinos und Alois KnollDetailsURLDOIBIB
- April 2018Applying DSE for Solving the Deployment Problem in Industry 4.0Tarik Terzimehić, Sebastian Voss, Monika Wenger und Vincent Aravantinos
In
14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES),
fortiss GmbH.
DetailsBIB
- September 2017Process-Aware Model-Driven Development EnvironmentsLevi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Eduard Harwardt und Ralf Kuestner
In
MODELS Workshops,
Seiten 405–411,
DetailsURLBIB
- 2017Modular Transformation from AF3 to nuXmvSudeep Kanav und 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,
Seiten 300–306,
DetailsURLBIB
- 2017Tool Support for Live Formal VerificationVincent Aravantinos und Sudeep Kanav
In
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS),
Seiten 145-155,
DetailsDOIBIB
- Januar 2016Factory Product Lines: Tackling the Compatibility ProblemAndreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto und Georgeta Igna
In
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems,
ACM.
DetailsBIB
- 2016FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive IndustryZaur Molotnikov, Konstantin Schorp, Vincent Aravantinos und Bernhard SchätzDetailsURLBIB
- 2015AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded SystemsVincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl und Bernhard Schätz
In
ACES-MB&WUCOR@MoDELS 2015,
.
CEUR-WS.org,
1508 Ausgabe,
DetailsURLBIB
- 2015Textual model-based software/system architecture documentation using MPSVincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat und Bernhard Schätz
In
Software Engineering & Management,
Band 239,Seiten 232-237,
DetailsBIB
- 2014Formal Verification of Optical Quantum Flip GateMohamed Yousri Mahmoud, Vincent Aravantinos und Sofiene Tahar
In
Interactive Theorem Proving (ITP),
Band 8558 von Lecture Notes in Computer Science,Seiten 358–373,
Springer.
DetailsDOIBIB
- 2014Implicational Rewriting Tactics in HOLVincent Aravantinos und Sofiene Tahar
In
Interactive Theorem Proving (ITP),
Band 8558 von Lecture Notes in Computer Science,Seiten 45-60,
Springer.
DetailsURLDOIBIB
