Using minimal polynomial bases for fault diagnosis. - Erik Frisk; Mattias Nyberg (ECC, 1999)

Framework and method for model based diagnosis with application to an automotive engine. - Mattias Nyberg (ECC, 1999)

A universal Chow-Willsky scheme and detectability criteria. - Mattias Nyberg; Lars Nielsen (IEEE Trans. Autom. Control., 2000)

A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems. - Erik Frisk; Mattias Nyberg (Autom., 2001)

Model-based diagnosis of an automotive engine using several types of fault models. - Mattias Nyberg (IEEE Trans. Control. Syst. Technol., 2002)

Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations. - Mattias Nyberg; Erik Frisk (IEEE Trans. Autom. Control., 2006)

Bayesian Inference Under Probability Constraints. - Anna Pernestål; Mattias Nyberg (SCAI, 2008)

Troubleshooting when Action Costs are Dependent with Application to a Truck Engine. - Håkan Warnquist; Mattias Nyberg; Petter Säby (SCAI, 2008)

A Bayesian approach to learning in fault isolation. - Hannes Wettig; Anna Pernestål; Tomi Silander; Mattias Nyberg (BMA, 2008)

An algorithm for computing the diagnoses with minimal cardinality in a distributed system. - Jonas Biteus; Mattias Nyberg; Erik Frisk (Eng. Appl. Artif. Intell., 2008)

An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis. - Mattias Krysander; Jan Åslund; Mattias Nyberg (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Determining the fault status of a component and its readiness, with a distributed automotive application. - Jonas Biteus; Mattias Nyberg; Erik Frisk; Jan Åslund (Eng. Appl. Artif. Intell., 2009)

Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems. - Carl Svärd; Mattias Nyberg (IEEE Trans. Syst. Man Cybern. Part A, 2010)

A data-driven and probabilistic approach to residual evaluation for fault diagnosis. - Carl Svärd; Mattias Nyberg; Erik Frisk; Mattias Krysander (CDC/ECC, 2011)

Distributed Diagnosis Using a Condensed Representation of Diagnoses With Application to an Automotive Vehicle. - Jonas Biteus; Erik Frisk; Mattias Nyberg (IEEE Trans. Syst. Man Cybern. Part A, 2011)

A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes. - Mattias Nyberg (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. - Raghad Dardar; Barbara Gallina; Andreas Johnsen; Kristina Lundqvist; Mattias Nyberg (ISSRE Workshops, 2012)

Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system. - Anna Pernestål; Mattias Nyberg; Håkan Warnquist (Eng. Appl. Artif. Intell., 2012)

Towards Benchmarking of Functional Safety in the Automotive Industry. - Mafijul Md. Islam; Behrooz Sangchoolie; Fatemeh Ayatolahi; Daniel Skarin; Jonny Vinter; Fredrik Törner; Andreas Käck; Mattias Nyberg; Emília Villani; Johan Haraldsson; Patrik Isaksson; Johan Karlsson (EWDC, 2013)

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. - Barbara Gallina; Antonio Gallucci; Kristina Lundqvist; Mattias Nyberg (SASSUR@SAFECOMP, 2013)

A Reference Example on the Specification of Safety Requirements using ISO 26262. - Jonas Westman; Mattias Nyberg (DECS@SAFECOMP, 2013)

Structuring Safety Requirements in ISO 26262 Using Contract Theory. - Jonas Westman; Mattias Nyberg; Martin Törngren (SAFECOMP, 2013)

Realizability Constrained Selection of Residual Generators for Fault Diagnosis With an Automotive Engine Application. - Carl Svärd; Mattias Nyberg; Erik Frisk (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Experience on applying software architecture recovery to automotive embedded systems. - Xinhai Zhang; Magnus Persson 001; Mattias Nyberg; Behrooz Mokhtari; Anton Einarson; Henrik Linder; Jonas Westman; De-Jiu Chen; Martin Törngren (CSMR-WCRE, 2014)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. - Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu; Hans Hansson; Mattias Nyberg; Oscar Ljungkrantz; Henrik Lönn (DAC, 2014)

Environment-Centric Contracts for Design of Cyber-Physical Systems. - Jonas Westman; Mattias Nyberg (MoDELS, 2014)

Reassessing the pattern-based approach for formalizing requirements in the automotive domain. - Predrag Filipovikj; Mattias Nyberg; Guillermo Rodríguez-Navas (RE, 2014)

An integrated toolchain for model based functional safety analysis. - Lena Rogovchenko-Buffoni; Andrea Tundis; Muhammed Zoheb Hossain; Mattias Nyberg; Peter Fritzson (J. Comput. Sci., 2014)

Failure Propagation Modeling Based on Contracts Theory. - Mattias Nyberg; Jonas Westman (EDCC, 2015)

Formal Architecture Modeling of Sequential C-Programs. - Jonas Westman; Mattias Nyberg (FACS, 2015)

Extending Contract theory with Safety Integrity Levels. - Jonas Westman; Mattias Nyberg (HASE, 2015)

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. - Predrag Filipovikj; Trevor Jagerfield; Mattias Nyberg; Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu (COMPSAC Workshops, 2016)

CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. - Jonas Westman; Mattias Nyberg; Oscar Thydén (CyPhy, 2016)

Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. - Barbara Gallina; Kathyayani Padira; Mattias Nyberg (QUATIC, 2016)

Multi-view modeling and automated analysis of product line variability in systems engineering. - Damir Nesic; Mattias Nyberg (SPLC, 2016)

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. - Dilian Gurov; Christian Lidström; Mattias Nyberg; Jonas Westman (FMICS-AVoCS, 2017)

Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. - Barbara Gallina; Mattias Nyberg (ISSRE Workshops, 2017)

Applying Multi-level Modeling to Data Integration in Product Line Engineering. - Damir Nesic; Mattias Nyberg (MoDELS (Satellite Events), 2017)

SMT-based consistency analysis of industrial systems requirements. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Mattias Nyberg; Cristina Seceleanu (SAC, 2017)

Modeling Product-Line Legacy Assets using Multi-Level Theory. - Damir Nesic; Mattias Nyberg; Barbara Gallina (SPLC (B), 2017)

Formal architecture modeling of sequential non-recursive C programs. - Jonas Westman; Mattias Nyberg; Joakim Gustavsson; Dilian Gurov (Sci. Comput. Program., 2017)

Verifying Contract-Based Specifications of Product Lines using Description Logic. - Damir Nesic; Mattias Nyberg (Description Logics, 2018)

Preserving Contract Satisfiability Under Non-monotonic Composition. - Jonas Westman; Mattias Nyberg (FORTE, 2018)

Formal Verification in Automotive Industry: Enablers and Obstacles. - Mattias Nyberg; Dilian Gurov; Christian Lidström; Andreas Rasmusson; Jonas Westman (ISoLA (4), 2018)

Improving Image Classification Robustness Using Predictive Data Augmentation. - Subramani Palanisamy Harisubramanyabalaji; Shafiq ur Réhman 002; Mattias Nyberg; Joakim Gustavsson (SAFECOMP Workshops, 2018)

Conditions of contracts for separating responsibilities in heterogeneous systems. - Jonas Westman; Mattias Nyberg (Formal Methods Syst. Des., 2018)

Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving. - Stefan Kaalen; Mattias Nyberg; Carl Bondesson (ICSRS, 2019)

Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project. - Damir Nesic; Jad El-khoury; Jonas Westman; Mattias Nyberg (iiWAS, 2019)

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. - Christian Lidström; Carl Bondesson; Mattias Nyberg; Jonas Westman (QRS Companion, 2019)

Constructing product-line safety cases from contract-based specifications. - Damir Nesic; Mattias Nyberg; Barbara Gallina (SAC, 2019)

Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. - Damir Nesic; Mattias Nyberg (SAFECOMP Workshops, 2019)

An industrial evaluation of data access techniques for the interoperability of engineering software tools. - Jad El-khoury; Andrii Berezovskyi; Mattias Nyberg (J. Ind. Inf. Integr., 2019)

Methodology for linked enterprise data quality assessment through information visualizations. - Didem Gürdür; Jad El-khoury; Mattias Nyberg (J. Ind. Inf. Integr., 2019)

Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions. - Jonas Westman; Mattias Nyberg (Requir. Eng., 2019)

Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. - Stefan Kaalen; Mattias Nyberg (IMBSA, 2020)

Formally Proving Compositionality in Industrial Systems with Informal Specifications. - Mattias Nyberg; Jonas Westman; Dilian Gurov (ISoLA (3), 2020)

Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. - Stefan Kaalen; Mattias Nyberg; Olle Mattsson (QEST, 2021)

Bounded Invariant Checking for Stateflow Programs. - Predrag Filipovikj; Dilian Gurov; Mattias Nyberg (CoRR, 2021)

Product-line assurance cases from contract-based design. - Damir Nesic; Mattias Nyberg; Barbara Gallina (J. Syst. Softw., 2021)

A Stochastic Extension of Stateflow. - Stefan Kaalen; Anton Hampus; Mattias Nyberg; Olle Mattsson (ICPE, 2022)

Bounded Invariant Checking for Stateflow. - Predrag Filipovikj; Gustav Ung; Dilian Gurov; Mattias Nyberg (FMAS/ASYDE@SEFM, 2022)

Verifying Refinement of Probabilistic Contracts Using Timed Automata. - Anton Hampus; Mattias Nyberg (TASE, 2023)

A Theory of Probabilistic Contracts. - Anton Hampus; Mattias Nyberg (ISoLA (3), 2024)

Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. - Gustav Ung; Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Karl Palmskog (RE, 2024)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. - Minal Suresh Patil; Gustav Ung; Mattias Nyberg (AISoLA, 2024)

Formally verifying decompositions of stochastic specifications. - Anton Hampus; Mattias Nyberg (Int. J. Softw. Tools Technol. Transf., 2024)

VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models. - Merlijn Sevenhuijsen; Khashayar Etemadi; Mattias Nyberg (FormaliSE, 2025)

Machine-Checked Compositional Specification and Proofs for Embedded Systems. - Karl Palmskog; Mattias Nyberg; Dilian Gurov (TASE, 2025)

AutoDeduct: A Tool for Automated Deductive Verification of C Code. - Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Gustav Ung; Ola Wingbrant (CoRR, 2025)