| 2017 | SEFM | Specification and Automated Verification of Dynamic Dataflow Networks. | Jonatan Wiik, Pontus Bostrm |
| 2015 | ECOOP | Modular Verification of Finite Blocking in Non-terminating Programs. | Pontus Bostrm, Peter Mller |
| 2015 | PDP | Derivation of Parallel and Resilient Programs from Simulink Models. | Sergey Ostroumov, Pontus Bostrm, Marina Waldn |
| 2014 | FMICS | Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. | Pontus Bostrm, Petr Alexeev, Mikko Heikkil, Mikko Huova, Marina Waldn, Matti Linjama |
| 2014 | ICFEM | Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. | Jonatan Wiik, Pontus Bostrm |
| 2012 | IFM | Refinement-Based Development of Timed Systems. | Jesper Berthing, Pontus Bostrm, Kaisa Sere, Leonidas Tsiopoulos, Jri Vain |
| 2011 | ICFEM | Contract-Based Verification of Simulink Models. | Pontus Bostrm |
| 2010 | IFM | Creating Sequential Programs from Event-B Models. | Pontus Bostrm |
| 2007 | ICTAC | Stepwise Development of Simulink Models Using the Refinement Calculus Framework. | Pontus Bostrm, Lionel Morel, Marina Waldn |
| 2005 | IFM | Development of Fault Tolerant Grid Applications Using Distributed B. | Pontus Bostrm, Marina Waldn |