| 2021 | SAC | COVID-19 hits the job market: an 88 million job ads analysis. | Maura Cerioli, Maurizio Leotta, Filippo Ricca |
| 2020 | ICSA | On the Deployment of IoT Systems: An Industrial Survey. | Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio |
| 2020 | SAC | What 5 million job advertisements tell us about testing: a preliminary empirical investigation. | Maura Cerioli, Maurizio Leotta, Filippo Ricca |
| 2019 | QUATIC | Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity. | Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca |
| 2018 | QUATIC | Fluent vs Basic Assertions in Java: An Empirical Study. | Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca |
| 2008 | ISoLA | Gesper: Support to Capitalize on Experience in a Network of SMEs. | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio |
| 2001 | FASE | Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. | Gianna Reggio, Maura Cerioli, Egidio Astesiano |
| 1999 | FASE | A Formal Framework with Late Binding. | Davide Ancona, Maura Cerioli, Elena Zucca |
| 1994 | COMPASS | A Lazy Approach to Partial Algebras. | Maura Cerioli |
| 1994 | COMPASS | What is an Abstract Data Type, after all? | Martin Gogolla, Maura Cerioli |
| 1993 | MFCS | May I Borrow Your Logic? | Maura Cerioli, Jos Meseguer |
| 1992 | COMPASS | Institutions for Very Abstract Specifications. | Maura Cerioli, Gianna Reggio |
| 1991 | COMPASS | Relationships between Logical Frameworks. | Egidio Astesiano, Maura Cerioli |
| 1991 | MFCS | Partial Higher-Order Specifications. | Egidio Astesiano, Maura Cerioli |