| 2021 | QUATIC | A Software Quality Course: The Breadth Approach. | Luigia Petre |
| 2017 | VECoS | Uppaal vs Event-B for Modelling Optimised Link State Routing. | Mojgan Kamali, Luigia Petre |
| 2016 | ICECCS | Modelling Link State Routing in Event-B. | Mojgan Kamali, Luigia Petre |
| 2015 | ICECCS | Improved Recovery for Proactive, Distributed Routing. | Mojgan Kamali, Luigia Petre |
| 2015 | ICECCS | Comparing Routing Protocols. | Mojgan Kamali, Luigia Petre |
| 2015 | SEFM | Formal Analysis of Proactive, Distributed Routing. | Mojgan Kamali, Peter Hfner, Maryam Kamali, Luigia Petre |
| 2014 | ICTAC | Refinement of Structured Interactive Systems. | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2012 | Coordination | Node Coordination in Peer-to-Peer Networks. | Luigia Petre, Petter Sandvik, Kaisa Sere |
| 2012 | IFM | Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2011 | DSD | Formal Modeling of Multicast Communication in 3D NoCs. | Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab |
| 2006 | ICFEM | A Language for Modeling Network Availability. | Luigia Petre, Kaisa Sere, Marina Waldn |
| 2000 | IFM | Developing Control Systems Components. | Luigia Petre, Kaisa Sere |
| 1999 | Coordination | Coordination Among Mobile Objects. | Luigia Petre, Kaisa Sere |