| 2020 | ICARCV | Black-box Identification of a Robotic Flight Simulator. | Aline da C. Matheus, Emlia Villani, Wesley Rodrigues de Oliveira |
| 2017 | PRDC | Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. | Mikael Asplund, Jakob Lovhall, Emlia Villani |
| 2014 | EDCC | On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | DSN | On reliability analysis of leader election protocols for virtual traffic lights. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | PRDC | Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | SAFECOMP | Reliability Analysis of Consensus in Cooperative Transport Systems. | Emlia Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2010 | ISSRE | Errors on Space Software Requirements: A Field Study and Application Scenarios. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira |
| 2010 | SAFECOMP | Benchmarking Software Requirements Documentation for Space Application. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira |
| 2005 | ETFA | A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm. | Fabrcio Junqueira, Emlia Villani, Paulo Eigi Miyagi |
| 2001 | ETFA | Modeling of hybrid supervisory systems using UML and Petri nets. | Paulo Eigi Miyagi, Emlia Villani, Newton Maruyama |