Elvio Gilberto Amparore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2010–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | EDBT | Heterogeneous Industrial Vehicle Usage Predictions: A Real Case. | Dena Markudova, Elena Baralis, Luca Cagliero, Marco Mellia, Luca Vassio, Elvio Gilberto Amparore, Riccardo Loti, Lucia Salvatori |
| 2019 | TACAS | Presentation of the 9th Edition of the Model Checking Contest. | Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf |
| 2019 | TACAS | i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. | Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner |
| 2018 | DSN | On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. | Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli |
| 2018 | IJCAI | Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. | Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango |
| 2017 | ATVA | Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli |
| 2014 | ICINCO | Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. | Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango |
| 2013 | PADS | Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. | Elvio Gilberto Amparore, Benot Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
| 2010 | DSN | Model checking CSL | Elvio Gilberto Amparore, Susanna Donatelli |