Jonas Westman

22 papers A 1B 1C 2Misc 2Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2020 — conf
Formally Proving Compositionality in Industrial Systems with Informal Specifications.
ISoLA (3)
Mattias Nyberg, Jonas Westman, Dilian Gurov
2019 J jnl
Architecting Safety Supervisors for High Levels of Automated Driving.
CoRR
Martin Törngren, Xinhai Zhang, Naveen Mohan, Matthias Becker, Lars J. Svensson, Xin Tao, De-Jiu Chen, Jonas Westman
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 — 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
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.
Requir. Eng.
Jonas Westman, Mattias Nyberg
2018 — conf
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics.
Principled Software Development
Dilian Gurov, Jonas Westman
2018 — conf
Architecting Safety Supervisors for High Levels of Automated Driving.
ITSC
Martin Törngren, Xinhai Zhang, Naveen Mohan, Matthias Becker, Lars J. Svensson, Xin Tao, De-Jiu Chen, Jonas Westman
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 C conf
Preserving Contract Satisfiability Under Non-monotonic Composition.
FORTE
Jonas Westman, 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
2016 — conf
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems.
CyPhy
Jonas Westman, Mattias Nyberg, Oscar Thydén
2016 — —
Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory.
Jonas Westman
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 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
2013 — conf
A Reference Example on the Specification of Safety Requirements using ISO 26262.
DECS@SAFECOMP
Jonas Westman, Mattias Nyberg
2013 Misc conf
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems.
EMSOFT
Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil
2013 B conf
Structuring Safety Requirements in ISO 26262 Using Contract Theory.
SAFECOMP
Jonas Westman, Mattias Nyberg, Martin Törngren