Vincent Aravantinos

According to our database, Vincent Aravantinos authored at least 38 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

What the Constant Velocity Model Can Teach Us About Pedestrian Motion Prediction.

Christoph Schöller, Vincent Aravantinos, Florian Lay, Alois C. Knoll

IEEE Robotics Autom. Lett., 2020

Generic Analysis of Model Product Lines via Constraint Lifting.

Andreas Bayha, Vincent Aravantinos

CoRR, 2020

Making the Relationship between Uncertainty Estimation and Safety Less Uncertain.

Vincent Aravantinos, Peter Schlicht

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

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

Christoph Schöller, Vincent Aravantinos, Florian Lay, Alois C. Knoll

CoRR, 2019

From Specifications to Behavior: Maneuver Verification in a Semantic State Space.

Klemens Esterle, Vincent Aravantinos, Alois C. Knoll

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Roadmap to Skill Based Systems Engineering.

Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Traceability of Deep Neural Networks.

Vincent Aravantinos

CoRR, 2018

Robust Vehicle Infrastructure Cooperative Localization in Presence of Clutter.

Dhiraj Gulati, Vincent Aravantinos, Nikhil Somani, Alois C. Knoll

Proceedings of the 21st International Conference on Information Fusion, 2018

2017

Process-Aware Model-driven Development Environments.

Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Modular Transformation from AF3 to nuXmv.

Sudeep Kanav, Vincent Aravantinos

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Tool Support for Live Formal Verification.

Vincent Aravantinos, Sudeep Kanav

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Factory Product Lines: Tackling the Compatibility Problem.

Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

2015

Textual model-based software/system architecture documentation using MPS.

Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

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

Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

The SFIT tool: Supporting assembly planners to deal with new product variants.

Antoaneta Kondeva, Vincent Aravantinos, Lukas Hermanns, Leenhard Hörauf

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Formal Analysis of Optical Systems.

Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar

Math. Comput. Sci., 2014

Formalization of Complex Vectors in Higher-Order Logic.

Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Formal Verification of Optical Quantum Flip Gate.

Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Implicational Rewriting Tactics in HOL.

Vincent Aravantinos, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

On the Formal Analysis of HMM Using Theorem Proving.

Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2014

2013

A Resolution Calculus for First-order Schemata.

Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier

Fundam. Informaticae, 2013

Formal Stability Analysis of Optical Resonators.

Umair Siddique, Vincent Aravantinos, Sofiène Tahar

Proceedings of the NASA Formal Methods, 2013

Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory.

Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar

Proceedings of the NASA Formal Methods, 2013

Formal Reasoning about Classified Markov Chains in HOL.

Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

On the Formal Analysis of Geometrical Optics in HOL.

Umair Siddique, Vincent Aravantinos, Sofiène Tahar

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Decidability and Undecidability Results for Propositional Schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

J. Artif. Intell. Res., 2011

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

CoRR, 2011

Linear Temporal Logic and Propositional Schemata, Back and Forth.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Generating Schemata of Resolution Proofs.

Vincent Aravantinos, Nicolas Peltier

Proceedings of the TABLEAUX 2011, 2011

Schemata of SMT-Problems.

Vincent Aravantinos, Nicolas Peltier

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

Schémas de formules et de preuves en logique propositionnelle. (Formulas and proofs schemas in propositional logic).

Vincent Aravantinos

PhD thesis, 2010

A Decidable Class of Nested Iterated Schemata (extended version)

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

CoRR, 2010

Simplified handling of iterated term schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Ann. Math. Artif. Intell., 2010

Complexity of the Satisfiability Problem for a Class of Propositional Schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Proceedings of the Language and Automata Theory and Applications, 2010

RegSTAB: A SAT Solver for Propositional Schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

A Decidable Class of Nested Iterated Schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

A Schemata Calculus for Propositional Logic.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2008

More Flexible Term Schematisations via Extended Primal Grammars.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008