Henrik Kaijser

According to our database, Henrik Kaijser authored at least 4 papers between 2014 and 2018.

Collaborative distances:

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

2018

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

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

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

Proceedings of the MODELSWARD 2016, 2016

2014

Analyzing Industrial Architectural Models by Simulation and Model-Checking.

Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014