Jonas Westman
Jonas Westman
Mechatronics, KTH
Verified email at kth.se - Homepage
TitleCited byYear
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems
M Persson, M Törngren, A Qamar, J Westman, M Biehl, S Tripakis, ...
Proceedings of the Eleventh ACM International Conference on Embedded …, 2013
392013
Structuring safety requirements in ISO 26262 using contract theory
J Westman, M Nyberg, M Törngren
International Conference on Computer Safety, Reliability, and Security, 166-177, 2013
272013
Extending contract theory with safety integrity levels
J Westman, M Nyberg
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
132015
Environment-centric contracts for design of cyber-physical systems
J Westman, M Nyberg
International Conference on Model Driven Engineering Languages and Systems …, 2014
132014
A reference example on the specification of safety requirements using ISO 26262
J Westman, M Nyberg
132013
Experience on applying software architecture recovery to automotive embedded systems
X Zhang, M Persson, M Nyberg, B Mokhtari, A Einarson, H Linder, ...
2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014
102014
Conditions of contracts for separating responsibilities in heterogeneous systems
J Westman, M Nyberg
Formal Methods in System Design 52 (2), 147-192, 2018
92018
Contracts for specifying and structuring requirements on cyber-physical systems
J Westman, M Nyberg, DB Rawat, J Rodriques, I Stojmenovic
Cyber Physical Systems: From Theory to Practice. Taylor & Francis, 2015
92015
Applying model checking for verifying the functional requirements of a Scania’s vehicle control system
S Ali, M Sulyman, M Nyberg, J Westman, G Dellapenna, GRN González, ...
School of Innovation, Design and Engineering Malardalen University, Vasteras …, 2012
72012
Failure propagation modeling based on contracts theory
M Nyberg, J Westman
2015 11th European Dependable Computing Conference (EDCC), 108-119, 2015
62015
Specifying and structuring requirements on cyber-physical systems using contracts
J Westman, M Nyberg
62014
Deductive functional verification of safety-critical embedded C-Code: an experience report
D Gurov, C Lidström, M Nyberg, J Westman
Critical Systems: Formal Methods and Automated Verification, 3-18, 2017
42017
Formal verification in automotive industry: Enablers and obstacles
M Nyberg, D Gurov, C Lidström, A Rasmusson, J Westman
International Symposium on Leveraging Applications of Formal Methods, 139-158, 2018
32018
Preserving contract satisfiability under non-monotonic composition
J Westman, M Nyberg
International Conference on Formal Techniques for Distributed Objects …, 2018
32018
Formal architecture modeling of sequential non-recursive C programs
J Westman, M Nyberg, J Gustavsson, D Gurov
Science of Computer Programming 146, 2-27, 2017
32017
A characterization of integrated multi-view modeling for embedded systems
M Persson, M Törngren, A Qamar, J Westman, M Biehl, S Tripakis, ...
32013
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions
J Westman, M Nyberg
Requirements Engineering 24 (2), 231-256, 2019
22019
Architecting Safety Supervisors for High Levels of Automated Driving
M Törngren, X Zhang, N Mohan, M Becker, L Svensson, X Tao, DJ Chen, ...
2018 21st International Conference on Intelligent Transportation Systems …, 2018
22018
Formal architecture modeling of sequential C-programs
J Westman, M Nyberg
Formal Aspects of Component Software, 312-329, 2015
22015
CPS Specifier–A Specification Tool for Safety-Critical Cyber-Physical Systems
J Westman, M Nyberg, O Thydén
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20