More Flexible Term Schematisations via Extended Primal Grammars. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (ISAIM, 2008)

A Schemata Calculus for Propositional Logic. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (TABLEAUX, 2009)

A Decidable Class of Nested Iterated Schemata. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (IJCAR, 2010)

RegSTAB: A SAT Solver for Propositional Schemata. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (IJCAR, 2010)

Complexity of the Satisfiability Problem for a Class of Propositional Schemata. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (LATA, 2010)

Simplified handling of iterated term schemata. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (Ann. Math. Artif. Intell., 2010)

A Decidable Class of Nested Iterated Schemata (extended version) - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (CoRR, 2010)

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

Schemata of SMT-Problems. - Vincent Aravantinos; Nicolas Peltier (TABLEAUX, 2011)

Generating Schemata of Resolution Proofs. - Vincent Aravantinos; Nicolas Peltier (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Linear Temporal Logic and Propositional Schemata, Back and Forth. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (TIME, 2011)

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (CoRR, 2011)

Decidability and Undecidability Results for Propositional Schemata. - Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier (J. Artif. Intell. Res., 2011)

On the Formal Analysis of Geometrical Optics in HOL. - Umair Siddique; Vincent Aravantinos; Sofiène Tahar (Automated Deduction in Geometry, 2012)

Formal Reasoning about Classified Markov Chains in HOL. - Liya Liu; Osman Hasan; Vincent Aravantinos; Sofiène Tahar (ITP, 2013)

Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. - Mohamed Yousri Mahmoud; Vincent Aravantinos; Sofiène Tahar (NASA Formal Methods, 2013)

Formal Stability Analysis of Optical Resonators. - Umair Siddique; Vincent Aravantinos; Sofiène Tahar (NASA Formal Methods, 2013)

A Resolution Calculus for First-order Schemata. - Vincent Aravantinos; Mnacho Echenim; Nicolas Peltier (Fundam. Informaticae, 2013)

On the Formal Analysis of HMM Using Theorem Proving. - Liya Liu; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (ICFEM, 2014)

Implicational Rewriting Tactics in HOL. - Vincent Aravantinos; Sofiène Tahar (ITP, 2014)

Formal Verification of Optical Quantum Flip Gate. - Mohamed Yousri Mahmoud; Vincent Aravantinos; Sofiène Tahar (ITP, 2014)

Formalization of Complex Vectors in Higher-Order Logic. - Sanaz Khan Afshar; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (CICM, 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)

The SFIT tool: Supporting assembly planners to deal with new product variants. - Antoaneta Kondeva; Vincent Aravantinos; Lukas Hermanns; Leenhard Hörauf (ETFA, 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 (ACES-MB&WUCOR@MoDELS, 2015)

Textual model-based software/system architecture documentation using MPS. - Vincent Aravantinos; Kenji Miyamoto; Zaur Molotnikov; Nikolaus Regnat; Bernhard Schätz (Software Engineering & Management, 2015)

Factory Product Lines: Tackling the Compatibility Problem. - Andreas Bayha; Levi Lúcio; Vincent Aravantinos; Kenji Miyamoto; Georgeta Igna (VaMoS, 2016)

Tool Support for Live Formal Verification. - Vincent Aravantinos; Sudeep Kanav (MoDELS, 2017)

Modular Transformation from AF3 to nuXmv. - Sudeep Kanav; Vincent Aravantinos (MoDELS (Satellite Events), 2017)

Process-Aware Model-driven Development Environments. - Levi Lúcio; Saad bin Abid; Salman Rahman; Vincent Aravantinos; Ralf Kuestner; Eduard Harwardt (MoDELS (Satellite Events), 2017)

Robust Vehicle Infrastructure Cooperative Localization in Presence of Clutter. - Dhiraj Gulati; Vincent Aravantinos; Nikhil Somani; Alois C. Knoll (FUSION, 2018)

Traceability of Deep Neural Networks. - Vincent Aravantinos (CoRR, 2018)

Roadmap to Skill Based Systems Engineering. - Kathrin Evers; Jan R. Seyler; Vincent Aravantinos; Levi Lucio; Anees Mehdi (ETFA, 2019)

From Specifications to Behavior: Maneuver Verification in a Semantic State Space. - Klemens Esterle; Vincent Aravantinos; Alois C. Knoll (IV, 2019)

The Simpler the Better: Constant Velocity for Pedestrian Motion Prediction. - Christoph Schöller; Vincent Aravantinos; Florian Lay; Alois C. Knoll (CoRR, 2019)

Making the Relationship between Uncertainty Estimation and Safety Less Uncertain. - Vincent Aravantinos; Peter Schlicht (DATE, 2020)

Generic Analysis of Model Product Lines via Constraint Lifting. - Andreas Bayha; Vincent Aravantinos (CoRR, 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)