| 2020 | ISoLA | Formally Proving Compositionality in Industrial Systems with Informal Specifications. | Mattias Nyberg, Jonas Westman, Dilian Gurov |
| 2019 | IIWAS | Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project. | Damir Nesic, Jad El-khoury, Jonas Westman, Mattias Nyberg |
| 2019 | QRS | Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. | Christian Lidstrm, Carl Bondesson, Mattias Nyberg, Jonas Westman |
| 2018 | FORTE | Preserving Contract Satisfiability Under Non-monotonic Composition. | Jonas Westman, Mattias Nyberg |
| 2018 | ISoLA | Formal Verification in Automotive Industry: Enablers and Obstacles. | Mattias Nyberg, Dilian Gurov, Christian Lidstrm, Andreas Rasmusson, Jonas Westman |
| 2017 | FMICS | Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. | Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Jonas Westman |
| 2015 | EDCC | Failure Propagation Modeling Based on Contracts Theory. | Mattias Nyberg, Jonas Westman |
| 2014 | MODELS | Environment-Centric Contracts for Design of Cyber-Physical Systems. | Jonas Westman, Mattias Nyberg |
| 2013 | EMSOFT | A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. | Magnus Persson, Martin Trngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil |
| 2013 | SAFECOMP | A Reference Example on the Specification of Safety Requirements using ISO 26262. | Jonas Westman, Mattias Nyberg |
| 2013 | SAFECOMP | Structuring Safety Requirements in ISO 26262 Using Contract Theory. | Jonas Westman, Mattias Nyberg, Martin Trngren |