Henrik Kaijser

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Automotive Industry

Description Language

Linear Temporal Logic

Architectural Models

Top Venues

Int. J. Syst. Dyn. Appl.

Publications

Markus Borg, Cristofer Englund, Krzysztof Wnuk, Boris Durán, Christoffer Levandowski, Shenjian Gao, Yanwen Tan, Henrik Kaijser, Henrik Lönn, Jonas Törnqvist
Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry. CoRR (2018)
Grischa Liebel, Andreea Olaru, Henrik Lönn, Henrik Kaijser, Sunith Rajendran, Urban Ingelsson, Richard Berntsson-Svensson
Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements. MODELSWARD (2016)
Hans Blom, De-Jiu Chen, Henrik Kaijser, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Sara Tucci Piergiovanni
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research. Int. J. Syst. Dyn. Appl. 5 (3) (2016)
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS (2014)