Vincent Aravantinos

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