Henrik Lönn

44 papers A* 1A 2B 11C 1Misc 1Journal 9Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — conf
Framework for Transforming Compact Surface Languages into Augmented EAST-ADL Models.
ICSA Companion
Imad Berrouyne, Alessio Bucaioni, Federico Ciccozzi, Muhammad Waseem Anwar, Henrik Lönn
2024 — conf
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models.
ISoLA (3)
Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn
2022 J jnl
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.
Empir. Softw. Eng.
Sofia Ananieva, Sandra Greiner, Timo Kehrer, Jacob Krüger, Thomas Kühn, Lukas Linsbauer, Sten Grüner, Anne Koziolek, Henrik Lönn, S. Ramesh, Ralf H. Reussner
2022 — conf
Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution.
MoDELS (Companion)
Jörg Holtmann, Jan-Philipp Steghöfer, Henrik Lönn
2021 — conf
Trace-based Timing Analysis of Automotive Software Systems: an Experience Report.
MoDELS (Companion)
Alessio Bucaioni, Enxhi Ferko, Henrik Lönn
2021 — conf
Transferring a model-based development methodology to the automotive industry.
ICIT
Alessio Bucaioni, Vlatko Dimic, Mattias Gålnander, Henrik Lönn, John Lundbäck
2020 — conf
A conceptual model for unifying variability in space and time.
SPLC (A)
Sofia Ananieva, Sandra Greiner, Thomas Kühn, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf H. Reussner, Bernhard Westfechtel
2019 — conf
Towards a conceptual model for unifying variability in space and time.
SPLC (B)
Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel
2018 J jnl
Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry.
CoRR
Markus Borg, Cristofer Englund, Krzysztof Wnuk, Boris Durán, Christoffer Levandowski, Shenjian Gao, Yanwen Tan, Henrik Kaijser, Henrik Lönn, Jonas Törnqvist
2016 C conf
Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements.
MODELSWARD
Grischa Liebel, Andreea Olaru, Henrik Lönn, Henrik Kaijser, Sunith Rajendran, Urban Ingelsson, Richard Berntsson-Svensson
2016 J jnl
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research.
Int. J. Syst. Dyn. Appl.
Hans Blom, De-Jiu Chen, Henrik Kaijser, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Sara Tucci Piergiovanni
2016 B ed.
Modelling Foundations and Applications - 12th European Conference, ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
ECMFA
Andrzej Wasowski, Henrik Lönn
2016 B conf
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.
FM
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn
2015 J jnl
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited.
Int. J. Concept. Struct. Smart Appl.
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
2014 — conf
Analyzing Industrial Architectural Models by Simulation and Model-Checking.
FTSCS
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
2014 A* conf
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.
DAC
Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn
2014 — conf
Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics.
SAFECOMP Workshops
Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog, Jan Söderberg
2014 A conf
Towards feature-oriented requirements validation for automotive systems.
RE
Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lönn, Daniel Karlsson, Bo Liwang
2013 J jnl
An architectural approach to the analysis, verification and validation of software intensive embedded systems.
Computing
De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl
2013 — conf
Automatic Optimisation of System Architectures using EAST-ADL.
ASCoMS@SAFECOMP
De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
2013 J jnl
Automatic optimisation of system architectures using EAST-ADL.
J. Syst. Softw.
Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat
2013 — ed.
SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
ASCoMS@SAFECOMP
Henrik Lönn, Elad Michael Schiller
2012 B conf
A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context.
SAFECOMP
Carl Bergenhem, Rolf Johansson, Henrik Lönn
2012 — conf
EPM: a prototype tool for variability management in component hierarchies.
SPLC (2)
Andreas Abele, Henrik Lönn, Mark-Oliver Reiser, Matthias Weber, Helko Glathe
2012 — conf
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.
SAFECOMP Workshops
Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson
2012 B conf
Models Meeting Automotive Design Challenges.
ECMFA
Henrik Lönn
2011 B conf
From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme.
ECSA
Tahir Naseer Qureshi, De-Jiu Chen, Henrik Lönn, Martin Törngren
2011 J jnl
Integrated safety and architecture modeling for automotive embedded systems
Elektrotech. Informationstechnik
De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg
2010 — conf
A road-map for enabling system analysis of AUTOSAR-based systems.
EDCC-CARS
Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert
2010 — conf
Automatic allocation of safety integrity levels.
EDCC-CARS
Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg
2010 B conf
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2.
SAFECOMP
Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele
2008 B conf
Modelling Support for Design of Safety-Critical Automotive Embedded Systems.
SAFECOMP
De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren
2007 — conf
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML.
EOOLT
Carl-Johan Sjöstedt, De-Jiu Chen, Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, David Servat, Martin Törngren
2007 B conf
Managing Complexity of Automotive Electronics Using the EAST-ADL.
ICECCS
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
2007 — conf
The EAST-ADL Architecture Description Language for Automotive Embedded Software.
Model-Based Engineering of Embedded Real-Time Systems
Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber
2006 B conf
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.
WADS
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
2004 J jnl
An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems.
IEEE Trans. Parallel Distributed Syst.
Vilgot Claesson, Henrik Lönn, Neeraj Suri
2001 B conf
Efficient TDMA Synchronization for Distributed Embedded Systems.
SRDS
Vilgot Claesson, Henrik Lönn, Neeraj Suri
1999 Misc conf
A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators.
EDCC
Henrik Lönn
1999 B conf
A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications.
ECRTS
Henrik Lönn, Jakob Axelsson
1999 A conf
Initial Synchronization of TDMA Communication in Distributed Real-Time Systems.
ICDCS
Henrik Lönn
1999 — conf
Non-Preemptive Scheduling of Real-Time Threads on Multi-Level-Context Architectures.
IPPS/SPDP Workshops
Jan Jonsson, Henrik Lönn, Kang G. Shin
1999 — —
Synchronization and Communication Results in Safety-Critical Real-Time Systems.
Henrik Lönn
1997 J jnl
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems.
IEEE Trans. Computers
Hans Hansson, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lönn, Mikael Strömberg