Analyzing Industrial Architectural Models by Simulation and Model-Checking. - Raluca Marinescu; Henrik Kaijser; Marius Mikucionis; Cristina Seceleanu; Henrik Lönn; Alexandre David (FTSCS, 2014)

Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements. - Grischa Liebel; Andreea Olaru; Henrik Lönn; Henrik Kaijser; Sunith Rajendran; Urban Ingelsson; Richard Berntsson-Svensson (MODELSWARD, 2016)

EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research. - Hans Blom; De-Jiu Chen; Henrik Kaijser; Henrik Lönn; Yiannis Papadopoulos; Mark-Oliver Reiser; Ramin Tavakoli Kolagari; Sara Tucci Piergiovanni (Int. J. Syst. Dyn. Appl., 2016)

Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry. - Markus Borg; Cristofer Englund; Krzysztof Wnuk; Boris Durán; Christoffer Levandowski; Shenjian Gao; Yanwen Tan; Henrik Kaijser; Henrik Lönn; Jonas Törnqvist (CoRR, 2018)