default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHenrik Lönn
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c31]Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn:
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. ISoLA (3) 2024: 220-246- 2022
- [j8]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:
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications. Empir. Softw. Eng. 27(5): 101 (2022) - [c30]Jörg Holtmann, Jan-Philipp Steghöfer, Henrik Lönn:
Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution. MoDELS (Companion) 2022: 7-11 - 2021
- [c29]Alessio Bucaioni, Vlatko Dimic, Mattias Gålnander, Henrik Lönn, John Lundbäck:
Transferring a model-based development methodology to the automotive industry. ICIT 2021: 762-767 - [c28]Alessio Bucaioni, Enxhi Ferko, Henrik Lönn:
Trace-based Timing Analysis of Automotive Software Systems: an Experience Report. MoDELS (Companion) 2021: 254-263 - 2020
- [c27]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:
A conceptual model for unifying variability in space and time. SPLC (A) 2020: 15:1-15:12
2010 – 2019
- 2019
- [c26]Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel:
Towards a conceptual model for unifying variability in space and time. SPLC (B) 2019: 67:1-67:5 - 2018
- [i1]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 abs/1812.05389 (2018) - 2016
- [j7]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): 1-20 (2016) - [c25]Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn:
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. FM 2016: 748-756 - [c24]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: 168-175 - [e2]Andrzej Wasowski, Henrik Lönn:
Modelling Foundations and Applications - 12th European Conference, ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Lecture Notes in Computer Science 9764, Springer 2016, ISBN 978-3-319-42060-8 [contents] - 2015
- [j6]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:
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. Int. J. Concept. Struct. Smart Appl. 3(2): 25-70 (2015) - 2014
- [c23]Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn:
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC 2014: 95:1-95:4 - [c22]Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David:
Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS 2014: 189-205 - [c21]Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lönn, Daniel Karlsson, Bo Liwang:
Towards feature-oriented requirements validation for automotive systems. RE 2014: 428-436 - [c20]Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog, Jan Söderberg:
Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics. SAFECOMP Workshops 2014: 55-62 - 2013
- [j5]De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl:
An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing 95(8): 649-688 (2013) - [j4]Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat:
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10): 2467-2487 (2013) - [c19]De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker:
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP 2013 - [e1]Henrik Lönn, Elad Michael Schiller:
SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL 2013 [contents] - 2012
- [c18]Henrik Lönn:
Models Meeting Automotive Design Challenges. ECMFA 2012: 2-3 - [c17]Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson:
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. SAFECOMP Workshops 2012: 190-201 - [c16]Carl Bergenhem, Rolf Johansson, Henrik Lönn:
A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context. SAFECOMP 2012: 247-257 - [c15]Andreas Abele, Henrik Lönn, Mark-Oliver Reiser, Matthias Weber, Helko Glathe:
EPM: a prototype tool for variability management in component hierarchies. SPLC (2) 2012: 246-249 - 2011
- [j3]De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg:
Integrated safety and architecture modeling for automotive embedded systems*. Elektrotech. Informationstechnik 128(6): 196-202 (2011) - [c14]Tahir Naseer Qureshi, De-Jiu Chen, Henrik Lönn, Martin Törngren:
From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme. ECSA 2011: 328-335 - 2010
- [c13]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:
Automatic allocation of safety integrity levels. EDCC-CARS 2010: 7-10 - [c12]Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert:
A road-map for enabling system analysis of AUTOSAR-based systems. EDCC-CARS 2010: 21-24 - [c11]Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele:
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. SAFECOMP 2010: 332-346
2000 – 2009
- 2008
- [c10]De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren:
Modelling Support for Design of Safety-Critical Automotive Embedded Systems. SAFECOMP 2008: 72-85 - 2007
- [c9]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:
The EAST-ADL Architecture Description Language for Automotive Embedded Software. Model-Based Engineering of Embedded Real-Time Systems 2007: 297-307 - [c8]Carl-Johan Sjöstedt, De-Jiu Chen, Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, David Servat, Martin Törngren:
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML. EOOLT 2007: 25-36 - [c7]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:
Managing Complexity of Automotive Electronics Using the EAST-ADL. ICECCS 2007: 353-358 - 2006
- [c6]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:
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. WADS 2006: 39-65 - 2004
- [j2]Vilgot Claesson, Henrik Lönn, Neeraj Suri:
An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 15(8): 725-739 (2004) - 2001
- [c5]Vilgot Claesson, Henrik Lönn, Neeraj Suri:
Efficient TDMA Synchronization for Distributed Embedded Systems. SRDS 2001: 198-201
1990 – 1999
- 1999
- [b1]Henrik Lönn:
Synchronization and Communication Results in Safety-Critical Real-Time Systems. Chalmers University of Technology, Gothenburg, Sweden, 1999 - [c4]Henrik Lönn, Jakob Axelsson:
A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. ECRTS 1999: 142-149 - [c3]Henrik Lönn:
A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators. EDCC 1999: 88-105 - [c2]Henrik Lönn:
Initial Synchronization of TDMA Communication in Distributed Real-Time Systems. ICDCS 1999: 370-379 - [c1]Jan Jonsson, Henrik Lönn, Kang G. Shin:
Non-Preemptive Scheduling of Real-Time Threads on Multi-Level-Context Architectures. IPPS/SPDP Workshops 1999: 363-374 - 1997
- [j1]Hans Hansson, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lönn, Mikael Strömberg:
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems. IEEE Trans. Computers 46(9): 1016-1027 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
