Mattias Nyberg

73 papers A* 1A 3B 3C 4Misc 6Journal 24Unranked 32

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