( en | de | ru )

 

Disambiguation of "Nyberg, Mattias"

Author of the publication

copydeleteadd this publication to your clipboard
Structuring Safety Requirements in ISO 26262 Using Contract Theory.

, , and . SAFECOMP, volume 8153 of Lecture Notes in Computer Science, page 166-177. Springer, (2013)

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

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines., , , and . SASSUR@SAFECOMP, HAL, (2013)Environment-Centric Contracts for Design of Cyber-Physical Systems., and . MoDELS, volume 8767 of Lecture Notes in Computer Science, page 218-234. Springer, (2014)Preserving Contract Satisfiability Under Non-monotonic Composition., and . FORTE, volume 10854 of Lecture Notes in Computer Science, page 181-195. Springer, (2018)Formal architecture modeling of sequential non-recursive C programs., , , and . Sci. Comput. Program., (2017)Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report., , , and . FMICS-AVoCS, volume 10471 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving., , and . ICSRS, page 126-135. IEEE, (2019)Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions., and . Requir. Eng., 24 (2): 231-256 (2019)Verifying Refinement of Probabilistic Contracts Using Timed Automata., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 95-113. Springer, (2023)Improving Image Classification Robustness Using Predictive Data Augmentation., , , and . SAFECOMP Workshops, volume 11094 of Lecture Notes in Computer Science, page 548-561. Springer, (2018)Applying Multi-level Modeling to Data Integration in Product Line Engineering., and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 235-242. CEUR-WS.org, (2017)