Mattias Nyberg

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 33

Top Topics

Safety Analysis

Formal Verification

Lessons Learned

Industrial Systems

Top Venues

SAFECOMP Workshops

J. Ind. Inf. Integr.

Publications

Anton Hampus, Mattias Nyberg
Formally verifying decompositions of stochastic specifications. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Anton Hampus, Mattias Nyberg
Verifying Refinement of Probabilistic Contracts Using Timed Automata. TASE (2023)
Anton Hampus, Mattias Nyberg
Formally Verifying Decompositions of Stochastic Specifications. FMICS (2022)
Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg
Bounded Invariant Checking for Stateflow. FMAS/ASYDE@SEFM (2022)
Stefan Kaalen, Anton Hampus, Mattias Nyberg, Olle Mattsson
A Stochastic Extension of Stateflow. ICPE (2022)
Damir Nesic, Mattias Nyberg, Barbara Gallina
Product-line assurance cases from contract-based design. J. Syst. Softw. 176 (2021)
Predrag Filipovikj, Dilian Gurov, Mattias Nyberg
Bounded Invariant Checking for Stateflow Programs. CoRR (2021)
Stefan Kaalen, Mattias Nyberg, Olle Mattsson
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. QEST (2021)
Stefan Kaalen, Mattias Nyberg
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. IMBSA (2020)
Mattias Nyberg, Jonas Westman, Dilian Gurov
Formally Proving Compositionality in Industrial Systems with Informal Specifications. ISoLA (3) (2020)
Jonas Westman, Mattias Nyberg
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions. Requir. Eng. 24 (2) (2019)
Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. QRS Companion (2019)
Didem Gürdür, Jad El-khoury, Mattias Nyberg
Methodology for linked enterprise data quality assessment through information visualizations. J. Ind. Inf. Integr. 15 (2019)
Damir Nesic, Mattias Nyberg
Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. SAFECOMP Workshops (2019)
Damir Nesic, Jad El-khoury, Jonas Westman, Mattias Nyberg
Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project. iiWAS (2019)
Jad El-khoury, Andrii Berezovskyi, Mattias Nyberg
An industrial evaluation of data access techniques for the interoperability of engineering software tools. J. Ind. Inf. Integr. 15 (2019)
Stefan Kaalen, Mattias Nyberg, Carl Bondesson
Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving. ICSRS (2019)
Damir Nesic, Mattias Nyberg, Barbara Gallina
Constructing product-line safety cases from contract-based specifications. SAC (2019)
Jonas Westman, Mattias Nyberg
Conditions of contracts for separating responsibilities in heterogeneous systems. Formal Methods Syst. Des. 52 (2) (2018)
Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman
Formal Verification in Automotive Industry: Enablers and Obstacles. ISoLA (4) (2018)
Jonas Westman, Mattias Nyberg
Preserving Contract Satisfiability Under Non-monotonic Composition. FORTE (2018)
Damir Nesic, Mattias Nyberg
Verifying Contract-Based Specifications of Product Lines using Description Logic. Description Logics (2018)
Subramani Palanisamy Harisubramanyabalaji, Shafiq ur Réhman, Mattias Nyberg, Joakim Gustavsson
Improving Image Classification Robustness Using Predictive Data Augmentation. SAFECOMP Workshops (2018)
Damir Nesic, Mattias Nyberg, Barbara Gallina
Modeling Product-Line Legacy Assets using Multi-Level Theory. SPLC (B) (2017)
Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS (2017)
Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov
Formal architecture modeling of sequential non-recursive C programs. Sci. Comput. Program. 146 (2017)
Barbara Gallina, Mattias Nyberg
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. ISSRE Workshops (2017)
Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
SMT-based consistency analysis of industrial systems requirements. SAC (2017)
Damir Nesic, Mattias Nyberg
Applying Multi-level Modeling to Data Integration in Product Line Engineering. MoDELS (Satellite Events) (2017)
Damir Nesic, Mattias Nyberg
Multi-view modeling and automated analysis of product line variability in systems engineering. SPLC (2016)
Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. COMPSAC Workshops (2016)
Barbara Gallina, Kathyayani Padira, Mattias Nyberg
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. QUATIC (2016)
Jonas Westman, Mattias Nyberg, Oscar Thydén
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. CyPhy (2016)
Jonas Westman, Mattias Nyberg
Extending Contract theory with Safety Integrity Levels. HASE (2015)
Jonas Westman, Mattias Nyberg
Formal Architecture Modeling of Sequential C-Programs. FACS (2015)
Mattias Nyberg, Jonas Westman
Failure Propagation Modeling Based on Contracts Theory. EDCC (2015)
Xinhai Zhang, Magnus Persson, Mattias Nyberg, Behrooz Mokhtari, Anton Einarson, Henrik Linder, Jonas Westman, De-Jiu Chen, Martin Törngren
Experience on applying software architecture recovery to automotive embedded systems. CSMR-WCRE (2014)
Jonas Westman, Mattias Nyberg
Environment-Centric Contracts for Design of Cyber-Physical Systems. MoDELS (2014)
Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC (2014)
Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas
Reassessing the pattern-based approach for formalizing requirements in the automotive domain. RE (2014)
Lena Rogovchenko-Buffoni, Andrea Tundis, Muhammed Zoheb Hossain, Mattias Nyberg, Peter Fritzson
An integrated toolchain for model based functional safety analysis. J. Comput. Sci. 5 (3) (2014)
Jonas Westman, Mattias Nyberg, Martin Törngren
Structuring Safety Requirements in ISO 26262 Using Contract Theory. SAFECOMP (2013)
Carl Svärd, Mattias Nyberg, Erik Frisk
Realizability Constrained Selection of Residual Generators for Fault Diagnosis With an Automotive Engine Application. IEEE Trans. Syst. Man Cybern. Syst. 43 (6) (2013)
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
Towards Benchmarking of Functional Safety in the Automotive Industry. EWDC (2013)
Jonas Westman, Mattias Nyberg
A Reference Example on the Specification of Safety Requirements using ISO 26262. DECS@SAFECOMP (2013)
Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. SASSUR@SAFECOMP (2013)
Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. ISSRE Workshops (2012)
Anna Pernestål, Mattias Nyberg, Håkan Warnquist
Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system. Eng. Appl. Artif. Intell. 25 (4) (2012)
Carl Svärd, Mattias Nyberg, Erik Frisk, Mattias Krysander
A data-driven and probabilistic approach to residual evaluation for fault diagnosis. CDC/ECC (2011)
Jonas Biteus, Erik Frisk, Mattias Nyberg
Distributed Diagnosis Using a Condensed Representation of Diagnoses With Application to an Automotive Vehicle. IEEE Trans. Syst. Man Cybern. Part A 41 (6) (2011)
Mattias Nyberg
A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes. IEEE Trans. Syst. Man Cybern. Part A 41 (1) (2011)
Carl Svärd, Mattias Nyberg
Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems. IEEE Trans. Syst. Man Cybern. Part A 40 (6) (2010)
Jonas Biteus, Mattias Nyberg, Erik Frisk, Jan Åslund
Determining the fault status of a component and its readiness, with a distributed automotive application. Eng. Appl. Artif. Intell. 22 (3) (2009)
Håkan Warnquist, Mattias Nyberg, Petter Säby
Troubleshooting when Action Costs are Dependent with Application to a Truck Engine. SCAI (2008)
Anna Pernestål, Mattias Nyberg
Bayesian Inference Under Probability Constraints. SCAI (2008)
Jonas Biteus, Mattias Nyberg, Erik Frisk
An algorithm for computing the diagnoses with minimal cardinality in a distributed system. Eng. Appl. Artif. Intell. 21 (2) (2008)
Mattias Krysander, Jan Åslund, Mattias Nyberg
An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis. IEEE Trans. Syst. Man Cybern. Part A 38 (1) (2008)
Hannes Wettig, Anna Pernestål, Tomi Silander, Mattias Nyberg
A Bayesian approach to learning in fault isolation. BMA (2008)
Mattias Nyberg, Erik Frisk
Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations. IEEE Trans. Autom. Control. 51 (12) (2006)
Mattias Nyberg
Model-based diagnosis of an automotive engine using several types of fault models. IEEE Trans. Control. Syst. Technol. 10 (5) (2002)
Erik Frisk, Mattias Nyberg
A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems. Autom. 37 (9) (2001)
Mattias Nyberg, Lars Nielsen
A universal Chow-Willsky scheme and detectability criteria. IEEE Trans. Autom. Control. 45 (1) (2000)
Mattias Nyberg
Framework and method for model based diagnosis with application to an automotive engine. ECC (1999)
Erik Frisk, Mattias Nyberg
Using minimal polynomial bases for fault diagnosis. ECC (1999)