Jonas Westman

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 16

Top Topics

Automotive Industry

Formal Verification

Functional Verification

Top Venues

Publications

Mattias Nyberg, Jonas Westman, Dilian Gurov
Formally Proving Compositionality in Industrial Systems with Informal Specifications. ISoLA (3) (2020)
Jonas Westman, Mattias Nyberg
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions. Requir. Eng. 24 (2) (2019)
Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. QRS Companion (2019)
Damir Nesic, Jad El-khoury, Jonas Westman, Mattias Nyberg
Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project. iiWAS (2019)
Martin Törngren, Xinhai Zhang, Naveen Mohan, Matthias Becker, Lars J. Svensson, Xin Tao, De-Jiu Chen, Jonas Westman
Architecting Safety Supervisors for High Levels of Automated Driving. CoRR (2019)
Martin Törngren, Xinhai Zhang, Naveen Mohan, Matthias Becker, Lars J. Svensson, Xin Tao, De-Jiu Chen, Jonas Westman
Architecting Safety Supervisors for High Levels of Automated Driving. ITSC (2018)
Dilian Gurov, Jonas Westman
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. Principled Software Development (2018)
Jonas Westman, Mattias Nyberg
Conditions of contracts for separating responsibilities in heterogeneous systems. Formal Methods Syst. Des. 52 (2) (2018)
Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman
Formal Verification in Automotive Industry: Enablers and Obstacles. ISoLA (4) (2018)
Jonas Westman, Mattias Nyberg
Preserving Contract Satisfiability Under Non-monotonic Composition. FORTE (2018)
Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS (2017)
Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov
Formal architecture modeling of sequential non-recursive C programs. Sci. Comput. Program. 146 (2017)
Jonas Westman, Mattias Nyberg, Oscar Thydén
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. CyPhy (2016)
Jonas Westman, Mattias Nyberg
Extending Contract theory with Safety Integrity Levels. HASE (2015)
Jonas Westman, Mattias Nyberg
Formal Architecture Modeling of Sequential C-Programs. FACS (2015)
Mattias Nyberg, Jonas Westman
Failure Propagation Modeling Based on Contracts Theory. EDCC (2015)
Xinhai Zhang, Magnus Persson, Mattias Nyberg, Behrooz Mokhtari, Anton Einarson, Henrik Linder, Jonas Westman, De-Jiu Chen, Martin Törngren
Experience on applying software architecture recovery to automotive embedded systems. CSMR-WCRE (2014)
Jonas Westman, Mattias Nyberg
Environment-Centric Contracts for Design of Cyber-Physical Systems. MoDELS (2014)
Jonas Westman, Mattias Nyberg, Martin Törngren
Structuring Safety Requirements in ISO 26262 Using Contract Theory. SAFECOMP (2013)
Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. EMSOFT (2013)
Jonas Westman, Mattias Nyberg
A Reference Example on the Specification of Safety Requirements using ISO 26262. DECS@SAFECOMP (2013)