| 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, ... 2013 Proceedings of the international conference on embedded software …, 2013 | 86 | 2013 |
| Formal verification in automotive industry: Enablers and obstacles M Nyberg, D Gurov, C Lidström, A Rasmusson, J Westman Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 34 | 2018 |
| Structuring safety requirements in ISO 26262 using contract theory J Westman, M Nyberg, M Törngren Computer Safety, Reliability, and Security: 32nd International Conference …, 2013 | 34 | 2013 |
| 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 | 32 | 2018 |
| Conditions of contracts for separating responsibilities in heterogeneous systems J Westman, M Nyberg Formal Methods in System Design 52, 147-192, 2018 | 20 | 2018 |
| 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: Joint 22nd …, 2017 | 17 | 2017 |
| Extending contract theory with safety integrity levels J Westman, M Nyberg 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 16 | 2015 |
| Environment-centric contracts for design of cyber-physical systems J Westman, M Nyberg Model-Driven Engineering Languages and Systems: 17th International …, 2014 | 16 | 2014 |
| A reference example on the specification of safety requirements using ISO 26262 J Westman, M Nyberg SAFECOMP 2013-Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and …, 2013 | 16 | 2013 |
| Contracts for structuring and specifying requirements on cyber-physical systems J Westman, M Nyberg CRC Press, 2015 | 15 | 2015 |
| 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 | 13 | 2014 |
| Formally proving compositionality in industrial systems with informal specifications M Nyberg, J Westman, D Gurov Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 11 | 2020 |
| A hoare logic contract theory: An exercise in denotational semantics D Gurov, J Westman Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018 | 11 | 2018 |
| 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 | 9 | 2012 |
| Improved pattern for ISO 26262 ASIL decomposition with dependent requirements C Lidström, C Bondesson, M Nyberg, J Westman 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 8 | 2019 |
| Preserving contract satisfiability under non-monotonic composition J Westman, M Nyberg International Conference on Formal Techniques for Distributed Objects …, 2018 | 8 | 2018 |
| Specifying and structuring requirements on cyber-physical systems using contracts J Westman, M Nyberg | 7 | 2014 |
| Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions J Westman, M Nyberg Requirements Engineering 24, 231-256, 2019 | 6 | 2019 |
| Failure propagation modeling based on contracts theory M Nyberg, J Westman 2015 11th European Dependable Computing Conference (EDCC), 108-119, 2015 | 6 | 2015 |
| A characterization of integrated multi-view modeling for embedded systems M Persson, M Törngren, A Qamar, J Westman, M Biehl, S Tripakis, ... | 4 | 2013 |
