Travelled to:1 × Belgium
1 × Spain
1 × Sweden
1 × USA
Collaborated with:J.Westman G.Rodríguez-Navas P.Filipovikj C.C.Seceleanu H.Hansson O.Ljungkrantz H.Lönn X.Zhang M.Persson B.Mokhtari A.Einarson H.Linder D.Chen M.Törngren
Talks about:approach (2) automot (2) system (2) architectur (1) recoveri (1) reassess (1) function (1) contract (1) softwar (1) pattern (1)
Person: Mattias Nyberg
DBLP: Nyberg:Mattias
Contributed to:
2014
2014
2014
2014Wrote 4 papers:
- CSMR-WCRE-2014-ZhangPNMELWCT #architecture #embedded #experience
- Experience on applying software architecture recovery to automotive embedded systems (XZ, MP, MN, BM, AE, HL, JW, DJC, MT), pp. 379–382.
- DAC-2014-Rodriguez-NavasSHNLL #approach #automation #functional #safety #specification #verification
- Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.
- MoDELS-2014-WestmanN #contract #cyber-physical #design
- Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
- RE-2014-FilipovikjNR #approach #formal method #requirements
- Reassessing the pattern-based approach for formalizing requirements in the automotive domain (PF, MN, GRN), pp. 444–450.