![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mattias Nyberg
Person information
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Anton Hampus, Mattias Nyberg:
Formally verifying decompositions of stochastic specifications. Int. J. Softw. Tools Technol. Transf. 26(2): 207-228 (2024) - [c44]Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Karl Palmskog:
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. RE 2024: 287-298 - 2023
- [c43]Anton Hampus
, Mattias Nyberg:
Verifying Refinement of Probabilistic Contracts Using Timed Automata. TASE 2023: 95-113 - 2022
- [c42]Anton Hampus
, Mattias Nyberg:
Formally Verifying Decompositions of Stochastic Specifications. FMICS 2022: 193-210 - [c41]Stefan Kaalen, Anton Hampus, Mattias Nyberg, Olle Mattsson:
A Stochastic Extension of Stateflow. ICPE 2022: 211-222 - [c40]Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg:
Bounded Invariant Checking for Stateflow. FMAS/ASYDE@SEFM 2022: 38-52 - 2021
- [j19]Damir Nesic, Mattias Nyberg
, Barbara Gallina:
Product-line assurance cases from contract-based design. J. Syst. Softw. 176: 110922 (2021) - [c39]Stefan Kaalen
, Mattias Nyberg, Olle Mattsson:
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. QEST 2021: 105-126 - [i1]Predrag Filipovikj, Dilian Gurov, Mattias Nyberg:
Bounded Invariant Checking for Stateflow Programs. CoRR abs/2103.06248 (2021) - 2020
- [c38]Stefan Kaalen, Mattias Nyberg:
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. IMBSA 2020: 68-82 - [c37]Mattias Nyberg, Jonas Westman, Dilian Gurov
:
Formally Proving Compositionality in Industrial Systems with Informal Specifications. ISoLA (3) 2020: 348-365
2010 – 2019
- 2019
- [j18]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: 58-68 (2019) - [j17]Didem Gürdür
, Jad El-khoury
, Mattias Nyberg:
Methodology for linked enterprise data quality assessment through information visualizations. J. Ind. Inf. Integr. 15: 191-200 (2019) - [j16]Jonas Westman
, Mattias Nyberg:
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions. Requir. Eng. 24(2): 231-256 (2019) - [c36]Stefan Kaalen, Mattias Nyberg, Carl Bondesson:
Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving. ICSRS 2019: 126-135 - [c35]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: 512-521 - [c34]Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman:
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. QRS Companion 2019: 28-35 - [c33]Damir Nesic, Mattias Nyberg, Barbara Gallina:
Constructing product-line safety cases from contract-based specifications. SAC 2019: 2022-2031 - [c32]Damir Nesic, Mattias Nyberg:
Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. SAFECOMP Workshops 2019: 28-40 - 2018
- [j15]Jonas Westman
, Mattias Nyberg:
Conditions of contracts for separating responsibilities in heterogeneous systems. Formal Methods Syst. Des. 52(2): 147-192 (2018) - [c31]Damir Nesic, Mattias Nyberg:
Verifying Contract-Based Specifications of Product Lines using Description Logic. Description Logics 2018 - [c30]Jonas Westman, Mattias Nyberg:
Preserving Contract Satisfiability Under Non-monotonic Composition. FORTE 2018: 181-195 - [c29]Mattias Nyberg, Dilian Gurov
, Christian Lidström, Andreas Rasmusson, Jonas Westman:
Formal Verification in Automotive Industry: Enablers and Obstacles. ISoLA (4) 2018: 139-158 - [c28]Subramani Palanisamy Harisubramanyabalaji, Shafiq ur Réhman, Mattias Nyberg, Joakim Gustavsson:
Improving Image Classification Robustness Using Predictive Data Augmentation. SAFECOMP Workshops 2018: 548-561 - 2017
- [j14]Jonas Westman
, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov
:
Formal architecture modeling of sequential non-recursive C programs. Sci. Comput. Program. 146: 2-27 (2017) - [c27]Dilian Gurov
, Christian Lidström, Mattias Nyberg, Jonas Westman:
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS 2017: 3-18 - [c26]Barbara Gallina, Mattias Nyberg:
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. ISSRE Workshops 2017: 325-330 - [c25]Damir Nesic, Mattias Nyberg:
Applying Multi-level Modeling to Data Integration in Product Line Engineering. MoDELS (Satellite Events) 2017: 235-242 - [c24]Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
:
SMT-based consistency analysis of industrial systems requirements. SAC 2017: 1272-1279 - [c23]Damir Nesic, Mattias Nyberg, Barbara Gallina:
Modeling Product-Line Legacy Assets using Multi-Level Theory. SPLC (B) 2017: 89-96 - 2016
- [c22]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: 167-173 - [c21]Jonas Westman, Mattias Nyberg, Oscar Thydén:
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. CyPhy 2016: 116-125 - [c20]Barbara Gallina, Kathyayani Padira, Mattias Nyberg:
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. QUATIC 2016: 199-204 - [c19]Damir Nesic, Mattias Nyberg:
Multi-view modeling and automated analysis of product line variability in systems engineering. SPLC 2016: 287-296 - 2015
- [c18]Mattias Nyberg, Jonas Westman:
Failure Propagation Modeling Based on Contracts Theory. EDCC 2015: 108-119 - [c17]Jonas Westman, Mattias Nyberg:
Formal Architecture Modeling of Sequential C-Programs. FACS 2015: 312-329 - [c16]Jonas Westman, Mattias Nyberg:
Extending Contract theory with Safety Integrity Levels. HASE 2015: 85-92 - 2014
- [j13]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): 408-414 (2014) - [c15]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: 379-382 - [c14]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: 95:1-95:4 - [c13]Jonas Westman, Mattias Nyberg:
Environment-Centric Contracts for Design of Cyber-Physical Systems. MoDELS 2014: 218-234 - [c12]Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas
:
Reassessing the pattern-based approach for formalizing requirements in the automotive domain. RE 2014: 444-450 - 2013
- [j12]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): 1354-1369 (2013) - [c11]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: 111-125 - [c10]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 - [c9]Jonas Westman, Mattias Nyberg:
A Reference Example on the Specification of Safety Requirements using ISO 26262. DECS@SAFECOMP 2013 - [c8]Jonas Westman, Mattias Nyberg, Martin Törngren
:
Structuring Safety Requirements in ISO 26262 Using Contract Theory. SAFECOMP 2013: 166-177 - 2012
- [j11]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): 705-719 (2012) - [c7]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: 349-354 - 2011
- [j10]Mattias Nyberg:
A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes. IEEE Trans. Syst. Man Cybern. Part A 41(1): 137-148 (2011) - [j9]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): 1262-1267 (2011) - [c6]Carl Svärd, Mattias Nyberg, Erik Frisk, Mattias Krysander:
A data-driven and probabilistic approach to residual evaluation for fault diagnosis. CDC/ECC 2011: 95-102 - 2010
- [j8]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): 1310-1328 (2010)
2000 – 2009
- 2009
- [j7]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): 363-373 (2009) - 2008
- [j6]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): 269-276 (2008) - [j5]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): 197-206 (2008) - [c5]Håkan Warnquist, Mattias Nyberg, Petter Säby:
Troubleshooting when Action Costs are Dependent with Application to a Truck Engine. SCAI 2008: 68-75 - [c4]Anna Pernestål, Mattias Nyberg:
Bayesian Inference Under Probability Constraints. SCAI 2008: 151-156 - [c3]Hannes Wettig, Anna Pernestål, Tomi Silander, Mattias Nyberg:
A Bayesian approach to learning in fault isolation. BMA 2008 - 2006
- [j4]Mattias Nyberg, Erik Frisk:
Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations. IEEE Trans. Autom. Control. 51(12): 1995-2000 (2006) - 2002
- [j3]Mattias Nyberg:
Model-based diagnosis of an automotive engine using several types of fault models. IEEE Trans. Control. Syst. Technol. 10(5): 679-689 (2002) - 2001
- [j2]Erik Frisk, Mattias Nyberg:
A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems. Autom. 37(9): 1417-1424 (2001) - 2000
- [j1]Mattias Nyberg, Lars Nielsen:
A universal Chow-Willsky scheme and detectability criteria. IEEE Trans. Autom. Control. 45(1): 152-156 (2000)
1990 – 1999
- 1999
- [c2]Mattias Nyberg:
Framework and method for model based diagnosis with application to an automotive engine. ECC 1999: 1872-1877 - [c1]Erik Frisk, Mattias Nyberg:
Using minimal polynomial bases for fault diagnosis. ECC 1999: 4161-4166
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint