Henrik Lönn

According to our database, Henrik Lönn authored at least 41 papers between 1997 and 2024.

Collaborative distances:

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

2024

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2022

A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.

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

Empir. Softw. Eng., 2022

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

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Trace-based Timing Analysis of Automotive Software Systems: an Experience Report.

Alessio Bucaioni, Enxhi Ferko, Henrik Lönn

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Transferring a model-based development methodology to the automotive industry.

Alessio Bucaioni, Vlatko Dimic, Mattias Gålnander, Henrik Lönn, John Lundbäck

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

2020

A conceptual model for unifying variability in space and time.

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

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019

Towards a conceptual model for unifying variability in space and time.

Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

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

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.

Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn

Proceedings of the FM 2016: Formal Methods, 2016

2015

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

2014

Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics.

Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog, Jan Söderberg

Proceedings of the Computer Safety, Reliability, and Security, 2014

Towards feature-oriented requirements validation for automotive systems.

Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lönn, Daniel Karlsson, Bo Liwang

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 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

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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

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, De-Jiu Chen, David Servat

J. Syst. Softw., 2013

An architectural approach to the analysis, verification and validation of software intensive embedded systems.

De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl

Computing, 2013

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

Proceedings of the SAFECOMP 2013, 2013

2012

EPM: a prototype tool for variability management in component hierarchies.

Andreas Abele, Henrik Lönn, Mark-Oliver Reiser, Matthias Weber, Helko Glathe

Proceedings of the 16th International Software Product Line Conference, 2012

Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.

Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson

Proceedings of the Computer Safety, Reliability, and Security, 2012

A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context.

Carl Bergenhem, Rolf Johansson, Henrik Lönn

Proceedings of the Computer Safety, Reliability, and Security, 2012

Models Meeting Automotive Design Challenges.

Henrik Lönn

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Integrated safety and architecture modeling for automotive embedded systems^*.

De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg

Elektrotech. Informationstechnik, 2011

From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme.

Tahir Naseer Qureshi, De-Jiu Chen, Henrik Lönn, Martin Törngren

Proceedings of the Software Architecture - 5th European Conference, 2011

2010

Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2.

Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele

Proceedings of the Computer Safety, 2010

Automatic allocation of safety integrity levels.

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

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

A road-map for enabling system analysis of AUTOSAR-based systems.

Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2008

Modelling Support for Design of Safety-Critical Automotive Embedded Systems.

De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren

Proceedings of the Computer Safety, 2008

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

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 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, Henrik Lönn, David Servat, Martin Törngren

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

The EAST-ADL Architecture Description Language for Automotive Embedded Software.

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

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

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

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2004

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

2001

Efficient TDMA Synchronization for Distributed Embedded Systems.

Vilgot Claesson, Henrik Lönn, Neeraj Suri

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

1999

Synchronization and Communication Results in Safety-Critical Real-Time Systems.

Henrik Lönn

PhD thesis, 1999

Non-Preemptive Scheduling of Real-Time Threads on Multi-Level-Context Architectures.

Jan Jonsson, Henrik Lönn, Kang G. Shin

Proceedings of the Parallel and Distributed Processing, 1999

Initial Synchronization of TDMA Communication in Distributed Real-Time Systems.

Henrik Lönn

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators.

Henrik Lönn

Proceedings of the Dependable Computing, 1999

A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications.

Henrik Lönn, Jakob Axelsson

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1997

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