Publikationen
Liste als BibTeX-Datei exportieren
- August 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 Deppe
In
Proceedings of the IFAC Conference on Manufacturing Modeling, Management, and Control (MIM),
Berlin, Germany,
DetailsBIB
- Juni 2019From Specifications to Behavior: Maneuver Verification in a Semantic State SpaceKlemens Esterle, Vincent Aravantinos und Alois KnollDetailsURLDOIBIB
- März 2019What the Constant Velocity Model Can Teach Us About Pedestrian Motion PredictionChristoph Schöller, Vincent Aravantinos, Florian Lay und Alois Knoll
In
CoRR,
arxiv.
DetailsURLBIB
- 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
- 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
- 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
