| 2022 | SECRYPT | Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures. | Loris Dal Lago, Fabio Federici, Davide Martintoni, Valerio Senni |
| 2022 | TrustBus | Homomorphic Encryption in Manufacturing Compliance Checks. | Aikaterini Triakosia, Panagiotis Rizomiliotis, Konstantinos Tserpes, Cecilia Tonelli, Valerio Senni, Fabio Federici |
| 2014 | PDP | Towards a Formal Approach to Mobile Cloud Computing. | Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi |
| 2012 | TAP | Generation of Test Data Structures Using Constraint Logic Programming. | Valerio Senni, Fabio Fioravanti |
| 2011 | LOPSTR | Using Real Relaxations during Program Specialization. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2011 | TABLEAUX | Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. | Christophe Ringeissen, Valerio Senni |
| 2010 | LOPSTR | Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2009 | LOPSTR | Deciding Full Branching Time Logic by Program Transformation. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2008 | ICLP | A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. | Valerio Senni, Alberto Pettorossi, Maurizio Proietti |
| 2007 | ICLP | Automatic Correctness Proofs for Logic Program Transformations. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2006 | ICLP | Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2005 | LOPSTR | Transformational Verification of Parameterized Protocols Using Array Formulas. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |