Vincent Aravantinos

Publications

249

Citations

H-Index

2011

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Technical University of Munich

Fortiss

Laboratoire d'Informatique de Grenoble

Université Grenoble Alpes

Vincent Aravantinos is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsMachine LearningFormal VerificationSoftware EngineeringHealthAutomationKinesiologyData Science

Publications per year

2011–2020

Publications

AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.

Vincent Aravantinos, Sebastian Voß, Sabine Teufl et al. · 2015 · 64 citations

Engineering, Computer Architecture, Software Engineering +26

Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective

Alexander Perzylo, Julian Grothoff, Lucio Levi et al. · IFAC-PapersOnLine · 2019 · 54 citations · Full text

Decidability and Undecidability Results for Propositional Schemata

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier · Journal of Artificial Intelligence Research · 2011 · 25 citations · Full text

Bound-linear Schemata, Engineering, Automated Reasoning +14

Formal Analysis of Optical Systems

Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud et al. · Mathematics in Computer Science · 2014 · 22 citations

Photonics, Engineering, Formal Modeling +8

The Simpler the Better: Constant Velocity for Pedestrian Motion Prediction.

Christoph Schöller, Vincent Aravantinos, Florian Lay et al. · arXiv (Cornell University) · 2019 · 19 citations · Full text

Constant Velocity, Motion Detection, Crowd Simulation +12

Rows per page

1–5 of 10