( en | de | ru )

 

Disambiguation of "Nyberg, Mattias"

Author of the publication

copydeleteadd this publication to your clipboard
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262.

, , , , and . ISSRE Workshops, page 349-354. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tore Nyberg

Elisabeth Nyberg

Mattias Krüger

Mattias Kreutz

Mattias Martinson

 

Other publications of authors with the same name

Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems., and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 68-82. Springer, (2020)A Mixed Causality Approach to Residual Generation Utilizing Equation System Solvers and Differential-Algebraic Equation Theory, and . Blue Mountains, Australia, (2008)Formally Verifying Decompositions of Stochastic Specifications., and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 193-210. Springer, (2022)Reassessing the pattern-based approach for formalizing requirements in the automotive domain., , and . RE, page 444-450. IEEE Computer Society, (2014)Multi-view modeling and automated analysis of product line variability in systems engineering., and . SPLC, page 287-296. ACM, (2016)Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases., and . ISSRE Workshops, page 325-330. IEEE Computer Society, (2017)Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions., and . Requir. Eng., 24 (2): 231-256 (2019)Preserving Contract Satisfiability Under Non-monotonic Composition., and . FORTE, volume 10854 of Lecture Notes in Computer Science, page 181-195. Springer, (2018)Environment-Centric Contracts for Design of Cyber-Physical Systems., and . MoDELS, volume 8767 of Lecture Notes in Computer Science, page 218-234. Springer, (2014)Verifying Refinement of Probabilistic Contracts Using Timed Automata., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 95-113. Springer, (2023)