Henrik Lnn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
16
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSA | Framework for Transforming Compact Surface Languages into Augmented EAST-ADL Models. | Imad Berrouyne, Alessio Bucaioni, Federico Ciccozzi, Muhammad Waseem Anwar, Henrik Lnn |
| 2024 | ISoLA | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |
| 2022 | MODELS | Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution. | Jrg Holtmann, Jan-Philipp Steghfer, Henrik Lnn |
| 2021 | MODELS | Trace-based Timing Analysis of Automotive Software Systems: an Experience Report. | Alessio Bucaioni, Enxhi Ferko, Henrik Lnn |
| 2020 | SPLC | A conceptual model for unifying variability in space and time. | Sofia Ananieva, Sandra Greiner, Thomas Khn, Jacob Krger, Lukas Linsbauer, Sten Grner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lnn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf Reussner, Bernhard Westfechtel |
| 2019 | SPLC | Towards a conceptual model for unifying variability in space and time. | Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lnn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel |
| 2016 | FM | Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lnn |
| 2016 | MODELSWARD | Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements. | Grischa Liebel, Andreea Olaru, Henrik Lnn, Henrik Kaijser, Sunith Rajendran, Urban Ingelsson, Richard Berntsson-Svensson |
| 2014 | DAC | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. | Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | RE | Towards feature-oriented requirements validation for automotive systems. | Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lnn, Daniel Karlsson, Bo Liwang |
| 2014 | SAFECOMP | Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics. | Johan Ekberg, Urban Ingelsson, Henrik Lnn, Magnus Skoog, Jan Sderberg |
| 2013 | SAFECOMP | Automatic Optimisation of System Architectures using EAST-ADL. | De-Jiu Chen, Henrik Lnn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Lus Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker |
| 2012 | SAFECOMP | A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context. | Carl Bergenhem, Rolf Johansson, Henrik Lnn |
| 2012 | SAFECOMP | Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. | Oscar Ljungkrantz, Henrik Lnn, Hans Blom, Cecilia Ekelin, Daniel Karlsson |
| 2012 | SPLC | EPM: a prototype tool for variability management in component hierarchies. | Andreas Abele, Henrik Lnn, Mark-Oliver Reiser, Matthias Weber, Helko Glathe |
| 2011 | ECSA | From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme. | Tahir Naseer Qureshi, De-Jiu Chen, Henrik Lnn, Martin Trngren |
| 2010 | EDCC | A road-map for enabling system analysis of AUTOSAR-based systems. | Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lnn, Hkan Sivencrona, Friedhelm Stappert |
| 2010 | EDCC | Automatic allocation of safety integrity levels. | Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Trngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lnn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg |
| 2010 | SAFECOMP | Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. | Anders Sandberg, De-Jiu Chen, Henrik Lnn, Rolf Johansson, Lei Feng, Martin Trngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele |
| 2008 | SAFECOMP | Modelling Support for Design of Safety-Critical Automotive Embedded Systems. | De-Jiu Chen, Rolf Johansson, Henrik Lnn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Trner, Martin Trngren |
| 2007 | ICECCS | Managing Complexity of Automotive Electronics Using the EAST-ADL. | Philippe Cuenot, De-Jiu Chen, Sbastien Grard, Henrik Lnn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjstedt, Ramin Tavakoli Kolagari, Martin Trngren, Matthias Weber |
| 2006 | ICSE | Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. | Philippe Cuenot, De-Jiu Chen, Sbastien Grard, Henrik Lnn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Trngren, Matthias Weber |
| 2001 | SRDS | Efficient TDMA Synchronization for Distributed Embedded Systems. | Vilgot Claesson, Henrik Lnn, Neeraj Suri |
| 1999 | ECRTS | A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. | Henrik Lnn, Jakob Axelsson |
| 1999 | EDCC | A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators. | Henrik Lnn |
| 1999 | ICDCS | Initial Synchronization of TDMA Communication in Distributed Real-Time Systems. | Henrik Lnn |