BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems. - Hans Hansson; Harold W. Lawson; Olof Bridal; Christer Eriksson; Sven Larsson; Henrik Lönn; Mikael Strömberg (IEEE Trans. Computers, 1997)

A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. - Henrik Lönn; Jakob Axelsson (ECRTS, 1999)

A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators. - Henrik Lönn (EDCC, 1999)

Initial Synchronization of TDMA Communication in Distributed Real-Time Systems. - Henrik Lönn (ICDCS, 1999)

Non-Preemptive Scheduling of Real-Time Threads on Multi-Level-Context Architectures. - Jan Jonsson; Henrik Lönn; Kang G. Shin (IPPS/SPDP Workshops, 1999)

Synchronization and Communication Results in Safety-Critical Real-Time Systems. - Henrik Lönn (1999)

Efficient TDMA Synchronization for Distributed Embedded Systems. - Vilgot Claesson; Henrik Lönn; Neeraj Suri (SRDS, 2001)

An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems. - Vilgot Claesson; Henrik Lönn; Neeraj Suri (IEEE Trans. Parallel Distributed Syst., 2004)

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. - Philippe Cuenot; De-Jiu Chen; Sébastien Gérard; Henrik Lönn; Mark-Oliver Reiser; David Servat; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (WADS, 2006)

The EAST-ADL Architecture Description Language for Automotive Embedded Software. - Philippe Cuenot; Patrick Frey; Rolf Johansson 002; Henrik Lönn; Yiannis Papadopoulos; Mark-Oliver Reiser; Anders Sandberg; David Servat; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML. - Carl-Johan Sjöstedt; De-Jiu Chen; Philippe Cuenot; Patrick Frey; Rolf Johansson 002; Henrik Lönn; David Servat; Martin Törngren (EOOLT, 2007)

Managing Complexity of Automotive Electronics Using the EAST-ADL. - Philippe Cuenot; De-Jiu Chen; Sébastien Gérard; Henrik Lönn; Mark-Oliver Reiser; David Servat; Carl-Johan Sjöstedt; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (ICECCS, 2007)

Modelling Support for Design of Safety-Critical Automotive Embedded Systems. - De-Jiu Chen; Rolf Johansson 002; Henrik Lönn; Yiannis Papadopoulos; Anders Sandberg; Fredrik Törner; Martin Törngren (SAFECOMP, 2008)

A road-map for enabling system analysis of AUTOSAR-based systems. - Rolf Johansson 002; Stefan Bunzel; Marc Graniou; Henrik Lönn; Håkan Sivencrona; Friedhelm Stappert (EDCC-CARS, 2010)

Automatic allocation of safety integrity levels. - Yiannis Papadopoulos; Martin Walker; Mark-Oliver Reiser; Matthias Weber 001; De-Jiu Chen; Martin Törngren; David Servat; Andreas Abele; Friedhelm Stappert; Henrik Lönn; L. Berntsson; Rolf Johansson 002; et al. (EDCC-CARS, 2010)

Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. - Anders Sandberg; De-Jiu Chen; Henrik Lönn; Rolf Johansson 002; Lei Feng 002; Martin Törngren; Sandra Torchiaro; Ramin Tavakoli Kolagari; Andreas Abele (SAFECOMP, 2010)

From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme. - Tahir Naseer Qureshi; De-Jiu Chen; Henrik Lönn; Martin Törngren (ECSA, 2011)

Integrated safety and architecture modeling for automotive embedded systems*. - De-Jiu Chen; Rolf Johansson 002; Henrik Lönn; Hans Blom; Martin Walker; Yiannis Papadopoulos; Sandra Torchiaro; Fulvio Tagliabo; Anders Sandberg (Elektrotech. Informationstechnik, 2011)

Models Meeting Automotive Design Challenges. - Henrik Lönn (ECMFA, 2012)

A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context. - Carl Bergenhem; Rolf Johansson 002; Henrik Lönn (SAFECOMP, 2012)

Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. - Oscar Ljungkrantz; Henrik Lönn; Hans Blom; Cecilia Ekelin; Daniel Karlsson (SAFECOMP Workshops, 2012)

EPM: a prototype tool for variability management in component hierarchies. - Andreas Abele; Henrik Lönn; Mark-Oliver Reiser; Matthias Weber 001; Helko Glathe (SPLC (2), 2012)

Automatic Optimisation of System Architectures using EAST-ADL. - De-Jiu Chen; Henrik Lönn; Chokri Mraidha; Yiannis Papadopoulos; Mark-Oliver Reiser; David Servat; Luís Silva Azevedo; Sara Tucci Piergiovanni; Martin Walker (ASCoMS@SAFECOMP, 2013)

An architectural approach to the analysis, verification and validation of software intensive embedded systems. - De-Jiu Chen; Lei Feng 002; Tahir Naseer Qureshi; Henrik Lönn; Frank Hagl (Computing, 2013)

Automatic optimisation of system architectures using EAST-ADL. - Martin Walker; Mark-Oliver Reiser; Sara Tucci Piergiovanni; Yiannis Papadopoulos; Henrik Lönn; Chokri Mraidha; David Parker 002; De-Jiu Chen; David Servat (J. Syst. Softw., 2013)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. - Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu; Hans Hansson; Mattias Nyberg; Oscar Ljungkrantz; Henrik Lönn (DAC, 2014)

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

Towards feature-oriented requirements validation for automotive systems. - Jiale Zhou; Yue Lu 005; Kristina Lundqvist; Henrik Lönn; Daniel Karlsson; Bo Liwang (RE, 2014)

Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics. - Johan Ekberg; Urban Ingelsson; Henrik Lönn; Magnus Skoog; Jan Söderberg (SAFECOMP Workshops, 2014)

Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. - Ramin Tavakoli Kolagari; De-Jiu Chen; Agnes Lanusse; Renato Librino; Henrik Lönn; Nidhal Mahmud; Chokri Mraidha; Mark-Oliver Reiser; Sandra Torchiaro; Sara Tucci Piergiovanni; Tobias Wägemann; Nataliya Yakymets (Int. J. Concept. Struct. Smart Appl., 2015)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. - Predrag Filipovikj; Nesredin Mahmud; Raluca Marinescu; Cristina Seceleanu; Oscar Ljungkrantz; Henrik Lönn (FM, 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 (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)

Towards a conceptual model for unifying variability in space and time. - Sofia Ananieva; Timo Kehrer; Heiko Klare; Anne Koziolek; Henrik Lönn; S. Ramesh 002; Andreas Burger; Gabriele Taentzer; Bernhard Westfechtel (SPLC (B), 2019)

A conceptual model for unifying variability in space and time. - Sofia Ananieva; Sandra Greiner 001; Thomas Kühn 001; Jacob Krüger; Lukas Linsbauer; Sten Grüner; Timo Kehrer; Heiko Klare; Anne Koziolek; Henrik Lönn; Sebastian Krieter; Christoph Seidl 001; et al. (SPLC (A), 2020)

Transferring a model-based development methodology to the automotive industry. - Alessio Bucaioni; Vlatko Dimic; Mattias Gålnander; Henrik Lönn; John Lundbäck (ICIT, 2021)

Trace-based Timing Analysis of Automotive Software Systems: an Experience Report. - Alessio Bucaioni; Enxhi Ferko; Henrik Lönn (MoDELS (Companion), 2021)

Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution. - Jörg Holtmann; Jan-Philipp Steghöfer; Henrik Lönn (MoDELS (Companion), 2022)

A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications. - Sofia Ananieva; Sandra Greiner 001; Timo Kehrer; Jacob Krüger; Thomas Kühn 001; Lukas Linsbauer; Sten Grüner; Anne Koziolek; Henrik Lönn; S. Ramesh 002; Ralf H. Reussner (Empir. Softw. Eng., 2022)

SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. - Predrag Filipovikj; Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodríguez-Navas; Oscar Ljungkrantz; Henrik Lönn (ISoLA (3), 2024)

Framework for Transforming Compact Surface Languages into Augmented EAST-ADL Models. - Imad Berrouyne; Alessio Bucaioni; Federico Ciccozzi; Muhammad Waseem Anwar; Henrik Lönn (ICSA Companion, 2025)