| 2025 | ETS | AI-Assisted Framework for Real-Time Monitoring and Management of Probe Cards in Electrical Wafer Sort Applications. | Mehdi Bejani, Davide Appello, Marco Mauri, Simone Todaro, Stefano Mariani |
| 2018 | IECON | Voltage Control Comparison for Low-Power DC-DC Converters in EVs: PI and Explicit MPC. | Mattia Rossi, Luigi Piegari, Francesco Castelli-Dezza, Marco Mauri, Maria Stefania Carmeli |
| 2016 | IECON | Torsional issues related to variable frequency control of elastic drive systems. | Martin Bruha, Miroslav Byrtus, Kai Pietilinen, Mattia Rossi, Marco Mauri |
| 2012 | GECCO | Automatic generation of regular expressions from examples with genetic programming. | Alberto Bartoli, Giorgio Davanzo, Andrea De Lorenzo, Marco Mauri, Eric Medvet, Enrico Sorio |
| 2012 | ICWE | Recording and Replaying Navigations on AJAX Web Sites. | Alberto Bartoli, Eric Medvet, Marco Mauri |
| 2006 | ICSOC | SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules. | Massimiliano Colombo, Elisabetta Di Nitto, Marco Mauri |
| 2003 | FASE | Towards UML-Based Formal Specifications of Component-Based Real-Time Software. | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso |
| 2002 | ICECCS | Model Checking UML Specifications of Real Time Software. | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
| 2000 | SMC | PLCTOOLS: design, formal validation, and code generation for programmable controllers. | Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezz |