| 2020 | LATA | Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. | Susanna Donatelli, Serge Haddad |
| 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 |
| 2008 | CRITIS | Dependent Automata for the Modelling of Dependencies. | Susanna Donatelli |
| 2007 | CRITIS | UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. | Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone |
| 2007 | TACAS | From Time Petri Nets to Timed Automata: An Untimed Approach. | Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston |
| 2004 | DSN | Student Forum. | Susanna Donatelli |
| 2004 | ISoLA | A class Diagram framework for collecting dependability requirements in automation systems. | Simona Bernardi, Susanna Donatelli, Giovanna Dondossola |
| 2004 | PRDC | Stochastic Petri Nets and Inheritance for Dependability Modelling. | Simona Bernardi, Susanna Donatelli |
| 2002 | DSN | Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. | Paolo Ballarini, Simona Bernardi, Susanna Donatelli |
| 2001 | DSN | Performance Validation of Fault-Tolerance Software: A Compositional Approach. | Simona Bernardi, Susanna Donatelli |
| 2000 | PDP | The TIRAN approach to reusing software implemented fault tolerance. | Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Kfner, Erwin M. Thurner, Eric Verhulst |
| 2000 | SIGMETRICS | Using the exact state space of a Markov model to compute approximate stationary measures. | Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli |
| 1999 | EuroPar | TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. | Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Kfner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst |
| 1995 | SIGMETRICS | State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. | Susanna Donatelli, Giuliana Franceschinis |
| 1993 | INFOCOM | Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems. | Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino |
| 1993 | PDP | On the use of communication graphs in automatic mapping. | Susanna Donatelli, Cosimo Anglano |
| 1992 | INFOCOM | Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver Multiqueue Systems. | Marco Ajmone Marsan, Lus F. M. de Moraes, Susanna Donatelli, Fabio Neri |
| 1991 | INFOCOM | Multiserver Multiqueue Systems with Limited Service and Zero Walk Time. | Marco Ajmone Marsan, Fabio Neri, Susanna Donatelli |
| 1991 | SIGCOMM | GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems. | Marco Ajmone Marsan, Susanna Donatelli, U. Rubino, Fabio Neri |
| 1990 | INFOCOM | Analysis of Symmetric Nonexhaustive Polling with Multiple Servers. | Marco Ajmone Marsan, Lus F. M. de Moraes, Susanna Donatelli, Fabio Neri |