| What the constant velocity model can teach us about pedestrian motion prediction C Schöller, V Aravantinos, F Lay, A Knoll IEEE Robotics and Automation Letters 5 (2), 1696-1703, 2020 | 102 | 2020 |
| AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. V Aravantinos, S Voss, S Teufl, F Hölzl, B Schätz ACES-MB&WUCOR@ MoDELS 1508, 19-26, 2015 | 76 | 2015 |
| Decidability and undecidability results for propositional schemata V Aravantinos, R Caferra, N Peltier Journal of Artificial Intelligence Research 40, 599-656, 2011 | 40 | 2011 |
| A schemata calculus for propositional logic V Aravantinos, R Caferra, N Peltier International Conference on Automated Reasoning with Analytic Tableaux and …, 2009 | 39 | 2009 |
| Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective A Perzylo, J Grothoff, L Lucio, M Weser, S Malakuti, P Venet, ... IFAC-PapersOnLine 52 (13), 1590-1596, 2019 | 34 | 2019 |
| A resolution calculus for first-order schemata V Aravantinos, M Echenim, N Peltier Fundamenta Informaticae 125 (2), 101-133, 2013 | 27 | 2013 |
| Formalization of infinite dimension linear spaces with application to quantum theory MY Mahmoud, V Aravantinos, S Tahar NASA Formal Methods Symposium, 413-427, 2013 | 23 | 2013 |
| Formal stability analysis of optical resonators U Siddique, V Aravantinos, S Tahar NASA Formal Methods Symposium, 368-382, 2013 | 21 | 2013 |
| The simpler the better: Constant velocity for pedestrian motion prediction C Schöller, V Aravantinos, F Lay, A Knoll arXiv preprint arXiv:1903.07933 5 (6), 7, 2019 | 19 | 2019 |
| Formal analysis of optical systems S Khan-Afshar, U Siddique, MY Mahmoud, V Aravantinos, O Seddiki, ... Mathematics in Computer Science 8 (1), 39-70, 2014 | 18 | 2014 |
| A decidable class of nested iterated schemata V Aravantinos, R Caferra, N Peltier International Joint Conference on Automated Reasoning, 293-308, 2010 | 17 | 2010 |
| From specifications to behavior: Maneuver verification in a semantic state space K Esterle, V Aravantinos, A Knoll 2019 IEEE Intelligent Vehicles Symposium (IV), 2140-2147, 2019 | 16 | 2019 |
| Regstab: A sat solver for propositional schemata V Aravantinos, R Caferra, N Peltier International Joint Conference on Automated Reasoning, 309-315, 2010 | 16 | 2010 |
| Platforms4CPS, Key Outcomes and Recommendations H Thompson, M Reimann, D Ramos-Hernandez, S Bageritz, A Brunet, ... Steinbeis-Edition, 2018 | 15 | 2018 |
| Traceability of deep neural networks V Aravantinos, F Diehl arXiv preprint arXiv:1812.06744, 2018 | 13 | 2018 |
| Formalization of complex vectors in higher-order logic SK Afshar, V Aravantinos, O Hasan, S Tahar International Conference on Intelligent Computer Mathematics, 123-137, 2014 | 13 | 2014 |
| Linear temporal logic and propositional schemata, back and forth V Aravantinos, R Caferra, N Peltier 2011 Eighteenth International Symposium on Temporal Representation and …, 2011 | 13 | 2011 |
| On the formal analysis of geometrical optics in HOL U Siddique, V Aravantinos, S Tahar International Workshop on Automated Deduction in Geometry, 161-180, 2012 | 11 | 2012 |
| Modular Transformation from AF3 to nuXmv. S Kanav, V Aravantinos MODELS (Satellite Events), 300-306, 2017 | 10 | 2017 |
| A DPLL proof procedure for propositional iterated schemata V Aravantinos, R Caferra, N Peltier Workshop “Structures and Deduction 2009”(ESSLI), 24-38, 2009 | 9 | 2009 |
Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
