| 2020 | DATE | Making the Relationship between Uncertainty Estimation and Safety Less Uncertain. | Vincent Aravantinos, Peter Schlicht |
| 2019 | ETFA | Roadmap to Skill Based Systems Engineering. | Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi |
| 2018 | FUSION | Robust Vehicle Infrastructure Cooperative Localization in Presence of Clutter. | Dhiraj Gulati, Vincent Aravantinos, Nikhil Somani, Alois C. Knoll |
| 2017 | MODELS | Tool Support for Live Formal Verification. | Vincent Aravantinos, Sudeep Kanav |
| 2017 | MODELS | Modular Transformation from AF3 to nuXmv. | Sudeep Kanav, Vincent Aravantinos |
| 2017 | MODELS | Process-Aware Model-driven Development Environments. | Levi Lcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt |
| 2015 | ETFA | The SFIT tool: Supporting assembly planners to deal with new product variants. | Antoaneta Kondeva, Vincent Aravantinos, Lukas Hermanns, Leenhard Hrauf |
| 2015 | MODELS | AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. | Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hlzl, Bernhard Schtz |
| 2014 | ICFEM | On the Formal Analysis of HMM Using Theorem Proving. | Liya Liu, Vincent Aravantinos, Osman Hasan, Sofine Tahar |
| 2014 | ITP | Implicational Rewriting Tactics in HOL. | Vincent Aravantinos, Sofine Tahar |
| 2014 | ITP | Formal Verification of Optical Quantum Flip Gate. | Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofine Tahar |
| 2013 | ITP | Formal Reasoning about Classified Markov Chains in HOL. | Liya Liu, Osman Hasan, Vincent Aravantinos, Sofine Tahar |
| 2011 | TABLEAUX | Schemata of SMT-Problems. | Vincent Aravantinos, Nicolas Peltier |
| 2011 | TABLEAUX | Generating Schemata of Resolution Proofs. | Vincent Aravantinos, Nicolas Peltier |
| 2011 | TIME | Linear Temporal Logic and Propositional Schemata, Back and Forth. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2010 | CADE | A Decidable Class of Nested Iterated Schemata. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2010 | CADE | RegSTAB: A SAT Solver for Propositional Schemata. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2010 | LATA | Complexity of the Satisfiability Problem for a Class of Propositional Schemata. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2009 | TABLEAUX | A Schemata Calculus for Propositional Logic. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2008 | ISAIM | More Flexible Term Schematisations via Extended Primal Grammars. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |