| 2026 | DSN | Reentrancy Detection in the Age of LLMs. | Dalila Ressi, Alvise Span, Matteo Rizzo, Lorenzo Benetollo, Sabina Rossi |
| 2025 | FORTE | Assessing Code Understanding in LLMs. | Cosimo Laneve, Alvise Span, Dalila Ressi, Sabina Rossi, Michele Bugliesi |
| 2024 | MASCOTS | Cosmos discovery: Quantitative assessment of Cosmos blockchain. | Daria Smuseva, Carla Piazza, Ivan Malakhov, Andrea Marin, Sabina Rossi |
| 2023 | FOSSACS | Reverse Bisimilarity vs. Forward Bisimilarity. | Marco Bernardo, Sabina Rossi |
| 2019 | MASCOTS | Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows. | Andrea Marin, Sabina Rossi, Matteo Sottana, Carlo Zen |
| 2016 | MASCOTS | Product-Forms for Probabilistic Input/Output Automata. | Filippo Cavallin, Andrea Marin, Sabina Rossi |
| 2015 | MASCOTS | A Product-Form Model for the Analysis of Systems with Aging Objects. | Filippo Cavallin, Andrea Marin, Sabina Rossi |
| 2014 | MASCOTS | On the Relations between Lumpability and Reversibility. | Andrea Marin, Sabina Rossi |
| 2013 | MASCOTS | Autoreversibility: Exploiting Symmetries in Markov Chains. | Andrea Marin, Sabina Rossi |
| 2013 | MSWIM | A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. | Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska |
| 2012 | MSWIM | Evaluating resistance to jamming and casual interception in mobile wireless networks. | Lucia Gallina, Gian-Luca Dei Rossi, Andrea Marin, Sabina Rossi |
| 2008 | SYNASC | A Theory of Adaptable Contract-Based Service Composition. | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
| 2007 | LOPSTR | Action Refinement in Process Algebra and Security Issues. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2006 | CCS | P-congruences as non-interference for the pi-calculus. | Silvia Crafa, Sabina Rossi |
| 2005 | FOSSACS | Bridging Language-Based and Process Calculi Security. | Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
| 2004 | LOPSTR | Unwinding Conditions for Security in Imperative Languages. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2004 | TACAS | CoPS - Checker of Persistent Security. | Carla Piazza, Enrico Pivato, Sabina Rossi |
| 2003 | FCT | Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. | Michele Bugliesi, Ambra Ceccato, Sabina Rossi |
| 2003 | SEFM | Refinement Operators and Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | VMCAI | Bisimulation and Unwinding for Verifying Possibilistic Security Properties. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | LOPSTR | A Proof System for Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | VMCAI | Proofs Methods for Bisimulation Based Information Flow Security. | Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2001 | ESOP | Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
| 2001 | PPDP | Termination of Well-Typed Logic Programs. | Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
| 1998 | LOPSTR | Specialising Logic Programs with Respect to Call?Post Specifications. | Annalisa Bossi, Sabina Rossi |
| 1996 | LOPSTR | Specification-Based Automatic Verification of Prolog Programs. | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
| 1993 | LPAR | Static Analysis of Prolog with Cut. | Gilberto Fil, Sabina Rossi |