Automatic optimisation of system architectures using EAST-ADL
Walker, Martin, Reiser, Mark-Oliver, Tucci-Piergiovanni, Sara, Papadopoulos, Yiannis, Lönn, Henrik, Mraidha, Chokri, Parker, David, Chen, DeJiu, Servat, David
Published in The Journal of systems and software (01.10.2013)
Published in The Journal of systems and software (01.10.2013)
Get full text
Journal Article
An architectural approach to the analysis, verification and validation of software intensive embedded systems
Chen, DeJiu, Feng, Lei, Qureshi, Tahir Naseer, Lönn, Henrik, Hagl, Frank
Published in Computing (01.08.2013)
Published in Computing (01.08.2013)
Get full text
Journal Article
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research
Reiser, Mark-Oliver, Blom, Hans, Chen, De-Jiu, Kaijser, Henrik, Lönn, Henrik, Papadopoulos, Yiannis, Kolagari, Ramin Tavakoli, Tucci, Sara
Published in International journal of system dynamics applications (01.07.2016)
Published in International journal of system dynamics applications (01.07.2016)
Get full text
Journal Article
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
Filipovikj, Predrag, Mahmud, Nesredin, Marinescu, Raluca, Seceleanu, Cristina, Ljungkrantz, Oscar, Lönn, Henrik
Published in FM 2016: Formal Methods (2016)
Published in FM 2016: Formal Methods (2016)
Get full text
Book Chapter
Conference Proceeding
Automated specification and verification of functional safety in heavy-vehicles: The VeriSpec approach
Rodriguez-Navas, Guillermo, Seceleanu, Cristina, Hansson, Hans, Nyberg, Mattias, Ljungkrantz, Oscar, Lönn, Henrik
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Get full text
Conference Proceeding
Analyzing Industrial Architectural Models by Simulation and Model-Checking
Marinescu, Raluca, Kaijser, Henrik, Mikučionis, Marius, Seceleanu, Cristina, Lönn, Henrik, David, Alexandre
Published in Formal Techniques for Safety-Critical Systems (2015)
Published in Formal Techniques for Safety-Critical Systems (2015)
Get full text
Book Chapter
Conference Proceeding
From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme
Qureshi, Tahir Naseer, Chen, DeJiu, Lönn, Henrik, Törngren, Martin
Published in 5th European Conference on Software Architecture, ECSA 2011 (2011)
Published in 5th European Conference on Software Architecture, ECSA 2011 (2011)
Get full text
Book Chapter
Conference Proceeding
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications
Ananieva, Sofia, Greiner, Sandra, Kehrer, Timo, Krüger, Jacob, Kühn, Thomas, Linsbauer, Lukas, Grüner, Sten, Koziolek, Anne, Lönn, Henrik, Ramesh, S., Reussner, Ralf
Published in Empirical software engineering : an international journal (01.09.2022)
Published in Empirical software engineering : an international journal (01.09.2022)
Get full text
Journal Article
Transferring a model-based development methodology to the automotive industry
Bucaioni, Alessio, Dimic, Vlatko, Galnander, Mattias, Lonn, Henrik, Lundback, John
Published in 2021 22nd IEEE International Conference on Industrial Technology (ICIT) (10.03.2021)
Published in 2021 22nd IEEE International Conference on Industrial Technology (ICIT) (10.03.2021)
Get full text
Conference Proceeding
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2
Sandberg, Anders, Chen, DeJiu, Lönn, Henrik, Johansson, Rolf, Feng, Lei, Törngren, Martin, Torchiaro, Sandra, Tavakoli-Kolagari, Ramin, Abele, Andreas
Published in COMPUTER SAFETY, RELIABILITY, AND SECURITY (2010)
Published in COMPUTER SAFETY, RELIABILITY, AND SECURITY (2010)
Get full text
Conference Proceeding
Towards feature-oriented requirements validation for automotive systems
Jiale Zhou, Yue Lu, Lundqvist, Kristina, Lönn, Henrik, Karlsson, Daniel, Bo Liwang
Published in 2014 IEEE 22nd International Requirements Engineering Conference (RE) (01.08.2014)
Published in 2014 IEEE 22nd International Requirements Engineering Conference (RE) (01.08.2014)
Get full text
Conference Proceeding
Verifying system behaviors in EAST-ADL2 with the SPIN model checker
Lei Feng, DeJiu Chen, Lönn, Henrik, Törngren, Martin
Published in 2010 IEEE International Conference on Mechatronics and Automation (01.08.2010)
Published in 2010 IEEE International Conference on Mechatronics and Automation (01.08.2010)
Get full text
Conference Proceeding
Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry
Borg, Markus, Englund, Cristofer, Wnuk, Krzysztof, Duran, Boris, Levandowski, Christoffer, Gao, Shenjian, Tan, Yanwen, Kaijser, Henrik, Lönn, Henrik, Törnqvist, Jonas
Published in Journal of Automotive Software Engineering (2019)
Published in Journal of Automotive Software Engineering (2019)
Get full text
Journal Article
Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Year of Publication 2016
Get full text
Conference Proceeding
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use andResearch
Blom, Hans, Chen, De-Jiu, Kaijser, Henrik, Lönn, Henrik, Papadopoulos, Yiannis, Reiser, Mark-Oliver, Kolagari, Ramin Tavakoli, Tucci, Sara
Published in International journal of system dynamics applications (01.07.2016)
Published in International journal of system dynamics applications (01.07.2016)
Get full text
Journal Article
Integrated safety and architecture modeling for automotive embedded systems
Chen, D., Johansson, R., Lönn, H., Blom, H., Walker, M., Papadopoulos, Y., Torchiaro, S., Tagliabo, F., Sandberg, A.
Published in Elektrotechnik und Informationstechnik (01.06.2011)
Published in Elektrotechnik und Informationstechnik (01.06.2011)
Get full text
Journal Article
The EAST-ADL Architecture Description Language for Automotive Embedded Software
Cuenot, Philippe, Frey, Patrik, Johansson, Rolf, Lönn, Henrik, Papadopoulos, Yiannis, Reiser, Mark-Oliver, Sandberg, Anders, Servata, David, Tavakoli Kolagari, Ramin, Törngren, Martin, Weber, Matthias
Published in Model-Based Engineering of Embedded Real-Time Systems (2010)
Published in Model-Based Engineering of Embedded Real-Time Systems (2010)
Get full text
Book Chapter