| 2014 | ICTAC | Refinement of Structured Interactive Systems. | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2013 | DSD | Generation of Structural VHDL Code with Library Components from Formal Event-B Models. | Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila |
| 2012 | Coordination | Node Coordination in Peer-to-Peer Networks. | Luigia Petre, Petter Sandvik, Kaisa Sere |
| 2012 | IFM | Refinement-Based Development of Timed Systems. | Jesper Berthing, Pontus Bostrm, Kaisa Sere, Leonidas Tsiopoulos, Jri Vain |
| 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 |
| 2007 | ICTAC | A Framework for Incorporating Trust into Formal Systems Development. | Fredrik Degerlund, Kaisa Sere |
| 2007 | PDCAT | Implementation Issues Concerning the Action Systems Formalism. | Fredrik Degerlund, Marina Waldn, Kaisa Sere |
| 2006 | ICFEM | A Language for Modeling Network Availability. | Luigia Petre, Kaisa Sere, Marina Waldn |
| 2006 | PDCAT | Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications. | Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere |
| 2006 | SEFM | A Formal Model of Context-Awareness and Context-Dependency. | Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy |
| 2005 | PDCAT | On-chip Debug for an Asynchronous Java Accelerator. | Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere |
| 2004 | ISPDC | A Formalism for Context-Aware Mobile Computing. | Lu Yan, Kaisa Sere |
| 2000 | Coordination | Coordination-Based Design of Distributed Systems. | Joost N. Kok, Kaisa Sere |
| 2000 | IFM | Developing Control Systems Components. | Luigia Petre, Kaisa Sere |
| 1999 | Coordination | Coordination Among Mobile Objects. | Luigia Petre, Kaisa Sere |
| 1999 | FM | Safety Analysis in Formal Specification. | Kaisa Sere, Elena Troubitsyna |
| 1999 | SAFECOMP | Hazard Analysis in Formal Specification. | Kaisa Sere, Elena Troubitsyna |
| 1998 | FPL | Reconfigurable Hardware - A Study in Codesign. | Samuel Holmstrm, Kaisa Sere |
| 1998 | MPC | An Approach to Object-Orientation in Action Systems. | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
| 1997 | Coordination | Coordinating Action Systems. | Eric J. Hedman, Joost N. Kok, Kaisa Sere |
| 1996 | Coordination | Coordination in the ImpUNITY Framework. | Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink |
| 1996 | FM | Integrating Action Systems and Z in a Medical System Specification. | V. Kasurinen, Kaisa Sere |
| 1996 | FM | Refining Action Systems within B-Tool. | Marina Waldn, Kaisa Sere |
| 1995 | MPC | An Action System Specification of the Caltech Asynchronous Microprocessor. | Ralph-Johan Back, Alain J. Martin, Kaisa Sere |
| 1994 | FM | From Action Systems to Modular Systems. | Ralph-Johan Back, Kaisa Sere |
| 1994 | PODC | Verification of a Distributed Algorithm (Abstract). | Kaisa Sere, Marina Waldn |
| 1991 | FORTE | Superposition Refinement of Parallel Algorithms. | Ralph-Johan Back, Kaisa Sere |
| 1989 | MPC | Stepwise Refinement of Action Systems. | Ralph-Johan Back, Kaisa Sere |