Mattias Nyberg
Orcid: 0000-0001-6667-3783
According to our database1,
Mattias Nyberg
authored at least 64 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., April, 2024
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
2022
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022
Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022
2021
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
2020
Formally Proving Compositionality in Industrial Systems with Informal Specifications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020
2019
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.
Requir. Eng., 2019
Methodology for linked enterprise data quality assessment through information visualizations.
J. Ind. Inf. Integr., 2019
An industrial evaluation of data access techniques for the interoperability of engineering software tools.
J. Ind. Inf. Integr., 2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project.
Proceedings of the 21st International Conference on Information Integration and Web-based Applications & Services, 2019
Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019
2018
Formal Methods Syst. Des., 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
2016
Multi-view modeling and automated analysis of product line variability in systems engineering.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the 11th European Dependable Computing Conference, 2015
2014
J. Comput. Sci., 2014
Reassessing the pattern-based approach for formalizing requirements in the automotive domain.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Experience on applying software architecture recovery to automotive embedded systems.
Proceedings of the 2014 Software Evolution Week, 2014
2013
Realizability Constrained Selection of Residual Generators for Fault Diagnosis With an Automotive Engine Application.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the SAFECOMP 2013, 2013
Proceedings of the SAFECOMP 2013, 2013
Proceedings of the Dependable Computing - 14th European Workshop, 2013
2012
Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system.
Eng. Appl. Artif. Intell., 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
2011
A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes.
IEEE Trans. Syst. Man Cybern. Part A, 2011
Distributed Diagnosis Using a Condensed Representation of Diagnoses With Application to an Automotive Vehicle.
IEEE Trans. Syst. Man Cybern. Part A, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2010
2009
Determining the fault status of a component and its readiness, with a distributed automotive application.
Eng. Appl. Artif. Intell., 2009
2008
An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis.
IEEE Trans. Syst. Man Cybern. Part A, 2008
An algorithm for computing the diagnoses with minimal cardinality in a distributed system.
Eng. Appl. Artif. Intell., 2008
Proceedings of the Sixth UAI Bayesian Modelling Applications Workshop Helsinki, 2008
Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008
Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008
2006
Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations.
IEEE Trans. Autom. Control., 2006
2002
IEEE Trans. Control. Syst. Technol., 2002
2001
A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems.
Autom., 2001
2000
IEEE Trans. Autom. Control., 2000
1999
Framework and method for model based diagnosis with application to an automotive engine.
Proceedings of the 5th European Control Conference, 1999
Proceedings of the 5th European Control Conference, 1999