Jonas Westman

According to our database, Jonas Westman authored at least 20 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Formally Proving Compositionality in Industrial Systems with Informal Specifications.

Mattias Nyberg, Jonas Westman, Dilian Gurov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.

Jonas Westman, Mattias Nyberg

Requir. Eng., 2019

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements.

Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman

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.

Damir Nesic, Jad El-khoury, Jonas Westman, Mattias Nyberg

Proceedings of the 21st International Conference on Information Integration and Web-based Applications & Services, 2019

2018

Conditions of contracts for separating responsibilities in heterogeneous systems.

Jonas Westman, Mattias Nyberg

Formal Methods Syst. Des., 2018

Architecting Safety Supervisors for High Levels of Automated Driving.

Martin Törngren, Xinhai Zhang, Naveen Mohan, Matthias Becker, Lars J. Svensson, Xin Tao, De-Jiu Chen, Jonas Westman

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Formal Verification in Automotive Industry: Enablers and Obstacles.

Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Preserving Contract Satisfiability Under Non-monotonic Composition.

Jonas Westman, Mattias Nyberg

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

A Hoare Logic Contract Theory: An Exercise in Denotational Semantics.

Dilian Gurov, Jonas Westman

Proceedings of the Principled Software Development, 2018

2017

Formal architecture modeling of sequential non-recursive C programs.

Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov

Sci. Comput. Program., 2017

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.

Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems.

Jonas Westman, Mattias Nyberg, Oscar Thydén

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Extending Contract theory with Safety Integrity Levels.

Jonas Westman, Mattias Nyberg

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Formal Architecture Modeling of Sequential C-Programs.

Jonas Westman, Mattias Nyberg

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Failure Propagation Modeling Based on Contracts Theory.

Mattias Nyberg, Jonas Westman

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Environment-Centric Contracts for Design of Cyber-Physical Systems.

Jonas Westman, Mattias Nyberg

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Experience on applying software architecture recovery to automotive embedded systems.

Xinhai Zhang, Magnus Persson, Mattias Nyberg, Behrooz Mokhtari, Anton Einarson, Henrik Linder, Jonas Westman, De-Jiu Chen, Martin Törngren

Proceedings of the 2014 Software Evolution Week, 2014

2013

Structuring Safety Requirements in ISO 26262 Using Contract Theory.

Jonas Westman, Mattias Nyberg, Martin Törngren

Proceedings of the Computer Safety, Reliability, and Security, 2013

A Reference Example on the Specification of Safety Requirements using ISO 26262.

Jonas Westman, Mattias Nyberg

Proceedings of the SAFECOMP 2013, 2013

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems.

Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil

Proceedings of the International Conference on Embedded Software, 2013