| 2025 | NeSy | Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification. | Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung |
| 2025 | TASE | Machine-Checked Compositional Specification and Proofs for Embedded Systems. | Karl Palmskog, Mattias Nyberg, Dilian Gurov |
| 2024 | ISoLA | A Theory of Probabilistic Contracts. | Anton Hampus, Mattias Nyberg |
| 2024 | RE | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. | Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Karl Palmskog |
| 2024 | VECoS | Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. | Minal Suresh Patil, Gustav Ung, Mattias Nyberg |
| 2023 | TASE | Verifying Refinement of Probabilistic Contracts Using Timed Automata. | Anton Hampus, Mattias Nyberg |
| 2022 | FMICS | Formally Verifying Decompositions of Stochastic Specifications. | Anton Hampus, Mattias Nyberg |
| 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 |
| 2019 | SAC | Constructing product-line safety cases from contract-based specifications. | Damir Nesic, Mattias Nyberg, Barbara Gallina |
| 2019 | SAFECOMP | Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. | Damir Nesic, Mattias Nyberg |
| 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 |
| 2018 | SAFECOMP | Improving Image Classification Robustness Using Predictive Data Augmentation. | Subramani Palanisamy Harisubramanyabalaji, Shafiq ur Rhman, Mattias Nyberg, Joakim Gustavsson |
| 2017 | FMICS | Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. | Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Jonas Westman |
| 2017 | ISSRE | Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. | Barbara Gallina, Mattias Nyberg |
| 2017 | MODELS | Applying Multi-level Modeling to Data Integration in Product Line Engineering. | Damir Nesic, Mattias Nyberg |
| 2017 | SAC | SMT-based consistency analysis of industrial systems requirements. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Mattias Nyberg, Cristina Seceleanu |
| 2017 | SPLC | Modeling Product-Line Legacy Assets using Multi-Level Theory. | Damir Nesic, Mattias Nyberg, Barbara Gallina |
| 2016 | COMPSAC | Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. | Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu |
| 2016 | QUATIC | Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. | Barbara Gallina, Kathyayani Padira, Mattias Nyberg |
| 2016 | SPLC | Multi-view modeling and automated analysis of product line variability in systems engineering. | Damir Nesic, Mattias Nyberg |
| 2015 | EDCC | Failure Propagation Modeling Based on Contracts Theory. | Mattias Nyberg, Jonas Westman |
| 2014 | DAC | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. | Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | MODELS | Environment-Centric Contracts for Design of Cyber-Physical Systems. | Jonas Westman, Mattias Nyberg |
| 2014 | RE | Reassessing the pattern-based approach for formalizing requirements in the automotive domain. | Predrag Filipovikj, Mattias Nyberg, Guillermo Rodrguez-Navas |
| 2013 | SAFECOMP | VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. | Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg |
| 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 |
| 2012 | ISSRE | Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. | Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg |
| 2008 | UAI | A Bayesian approach to learning in fault isolation. | Hannes Wettig, Anna Pernestl, Tomi Silander, Mattias Nyberg |