Vincent Aravantinos

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 13

Top Venues

CoRR

ITP

MoDELS (Satellite Events)

ETFA

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Andreas Bayha, Vincent Aravantinos
Generic Analysis of Model Product Lines via Constraint Lifting. CoRR (2020)
Vincent Aravantinos, Peter Schlicht
Making the Relationship between Uncertainty Estimation and Safety Less Uncertain. DATE (2020)
Christoph Schöller, Vincent Aravantinos, Florian Lay, Alois C. Knoll
What the Constant Velocity Model Can Teach Us About Pedestrian Motion Prediction. IEEE Robotics Autom. Lett. 5 (2) (2020)
Klemens Esterle, Vincent Aravantinos, Alois C. Knoll
From Specifications to Behavior: Maneuver Verification in a Semantic State Space. CoRR (2019)
Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi
Roadmap to Skill Based Systems Engineering. ETFA (2019)
Klemens Esterle, Vincent Aravantinos, Alois C. Knoll
From Specifications to Behavior: Maneuver Verification in a Semantic State Space. IV (2019)
Christoph Schöller, Vincent Aravantinos, Florian Lay, Alois C. Knoll
The Simpler the Better: Constant Velocity for Pedestrian Motion Prediction. CoRR (2019)
Dhiraj Gulati, Vincent Aravantinos, Nikhil Somani, Alois C. Knoll
Robust Vehicle Infrastructure Cooperative Localization in Presence of Clutter. FUSION (2018)
Vincent Aravantinos
Traceability of Deep Neural Networks. CoRR (2018)
Sudeep Kanav, Vincent Aravantinos
Modular Transformation from AF3 to nuXmv. MoDELS (Satellite Events) (2017)
Vincent Aravantinos, Sudeep Kanav
Tool Support for Live Formal Verification. MoDELS (2017)
Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt
Process-Aware Model-driven Development Environments. MoDELS (Satellite Events) (2017)
Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna
Factory Product Lines: Tackling the Compatibility Problem. VaMoS (2016)
Antoaneta Kondeva, Vincent Aravantinos, Lukas Hermanns, Leenhard Hörauf
The SFIT tool: Supporting assembly planners to deal with new product variants. ETFA (2015)
Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. ACES-MB&WUCOR@MoDELS (2015)
Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz
Textual model-based software/system architecture documentation using MPS. Software Engineering & Management (2015)
Vincent Aravantinos, Sofiène Tahar
Implicational Rewriting Tactics in HOL. ITP (2014)
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
Formalization of Complex Vectors in Higher-Order Logic. CoRR (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. CoRR (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. Math. Comput. Sci. 8 (1) (2014)
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
Formalization of Complex Vectors in Higher-Order Logic. CICM (2014)
Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
On the Formal Analysis of HMM Using Theorem Proving. ICFEM (2014)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Decidability and Undecidability Results for Propositional Schemata. CoRR (2014)
Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar
Formal Verification of Optical Quantum Flip Gate. ITP (2014)
Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar
Formal Reasoning about Classified Markov Chains in HOL. ITP (2013)
Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. NASA Formal Methods (2013)
Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier
A Resolution Calculus for First-order Schemata. Fundam. Informaticae 125 (2) (2013)
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
Formal Stability Analysis of Optical Resonators. NASA Formal Methods (2013)
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
On the Formal Analysis of Geometrical Optics in HOL. Automated Deduction in Geometry (2012)
Vincent Aravantinos, Nicolas Peltier
Generating Schemata of Resolution Proofs CoRR (2011)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Linear Temporal Logic and Propositional Schemata, Back and Forth. TIME (2011)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) CoRR (2011)
Vincent Aravantinos, Nicolas Peltier
Schemata of SMT-Problems. TABLEAUX (2011)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. 40 (2011)
Vincent Aravantinos, Nicolas Peltier
Generating Schemata of Resolution Proofs. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Complexity of the Satisfiability Problem for a Class of Propositional Schemata. LATA (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Simplified handling of iterated term schemata. Ann. Math. Artif. Intell. 58 (3-4) (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
RegSTAB: A SAT Solver for Propositional Schemata. IJCAR (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
A Decidable Class of Nested Iterated Schemata. IJCAR (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
A Decidable Class of Nested Iterated Schemata (extended version) CoRR (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
A Schemata Calculus for Propositional Logic. TABLEAUX (2009)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
More Flexible Term Schematisations via Extended Primal Grammars. ISAIM (2008)

Vincent Aravantinos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Aravantinos