| 2015 | ESOP | Analysis of Asynchronous Programs with Event-Based Synchronization. | Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo |
| 2014 | LATA | Expressiveness of Dynamic Networks of Timed Petri Nets. | Mara Martos-Salgado, Fernando Rosa-Velardo |
| 2011 | FORTE | Dynamic Soundness in Resource-Constrained Workflow Nets. | Mara Martos-Salgado, Fernando Rosa-Velardo |
| 2011 | FOSSACS | Ordinal Theory for Expressiveness of Well Structured Transition Systems. | Rmi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo |
| 2010 | LATA | Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. | Fernando Rosa-Velardo, Giorgio Delzanno |
| 2007 | FORTE | New Bisimulation Semantics for Distributed Systems. | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodrguez |
| 2007 | UIC | Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association. | Fernando Rosa-Velardo |
| 2006 | ATVA | Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. | Fernando Rosa-Velardo, David de Frutos-Escrig |
| 2006 | ICCSA | Replicated Ubiquitous Nets. | Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroqun Alonso |
| 2005 | ICCSA | Ubiquitous Systems and Petri Nets. | David de Frutos-Escrig, Olga Marroqun Alonso, Fernando Rosa-Velardo |