Björn Lisper

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 40

Top Venues

CoRR

WCET

ETFA

Int. J. Softw. Tools Technol. Transf.

Publications

Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen
A Comprehensive Exploration of Languages for Parallel Computing. ACM Comput. Surv. 55 (2) (2023)
Mahdi Taheri, Mohammad Riazati, Mohammad Hasan Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper
DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators. CoRR (2023)
Björn Lisper, Linus Källberg
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms. ARRAY@PLDI (2023)
Mahdi Taheri, Mohammad Riazati, Mohammad Hasan Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper
DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators. ISQED (2023)
Abu Naser Masud, Björn Lisper
On the computation of interprocedural weak control closure. CC (2022)
Mahshid Helali Moghadam, Markus Borg, Mehrdad Saadatmand, Seyed Jalaleddin Mousavirad, Markus Bohlin, Björn Lisper
Machine Learning Testing in an ADAS Case Study Using Simulation-Integrated Bio-Inspired Search-Based Testing. CoRR (2022)
Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. SEAA (2022)
Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper
DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator. NorCAS (2022)
Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper
AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision. AICAS (2022)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning. Softw. Qual. J. 30 (1) (2022)
Mahshid Helali Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, Markus Bohlin, Björn Lisper, Pasqualina Potena
Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent. CEC (2021)
Abu Naser Masud, Björn Lisper
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. ACM Trans. Program. Lang. Syst. 42 (4) (2021)
Mahshid Helali Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, Markus Bohlin, Björn Lisper, Pasqualina Potena
Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent. CoRR (2021)
Jean Malm, Adnan Causevic, Björn Lisper, Sigrid Eldh
Automated Analysis of Flakiness-mitigating Delays. AST@ICSE (2020)
Mohammad Riazati, Tara Ghasempouri, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper
Adjustable self-healing methodology for accelerated functions in heterogeneous systems. DSD (2020)
Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper
DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA. ICECS (2020)
Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper
SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. DDECS (2020)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
Poster: Performance Testing Driven by Reinforcement Learning. ICST (2020)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
An Autonomous Performance Testing Framework using Self-Adaptive Fuzzy Reinforcement Learning. CoRR (2019)
Lorenzo Addazi, Federico Ciccozzi, Björn Lisper
Executable Modelling for Highly Parallel Accelerators. MoDELS (Companion) (2019)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
Machine Learning to Guide Performance Testing: An Autonomous Test Framework. ICST Workshops (2019)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System. ICST Workshops (2018)
Abu Naser Masud, Björn Lisper, Federico Ciccozzi
Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models. IEEE Access 6 (2018)
Filip Markovic, Jan Carlson, Radu Dobrin, Björn Lisper, Abhilash Thekkilakattil
Probabilistic Response Time Analysis for Fixed Preemption Point Selection. SIES (2018)
Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte
A resource efficient framework to run automotive embedded software on multi-core ECUs. J. Syst. Softw. 139 (2018)
Marcus Jägemar, Andreas Ermedahl, Sigrid Eldh, Moris Behnam, Björn Lisper
Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling. ETFA (2018)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
Learning-based response time analysis in real-time embedded systems: a simulation-based approach. SQUADE@ICSE (2018)
Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). ISoLA (4) (2018)
Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog
Static Flow Analysis of the Action Language for Foundational UML. ETFA (2018)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper
Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning. SEAMS@ICSE (2018)
Stefan Bygde, Björn Lisper, Niklas Holsti
Improved precision in polyhedral analysis with wrapping. Sci. Comput. Program. 133 (2017)
Björn Lisper
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. FMICS-AVoCS (2017)
Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties. ICST Workshops (2017)
Peter Altenbernd, Jan Gustafsson, Björn Lisper, Friedhelm Stappert
Early execution time-estimation through automatically generated timing models. Real Time Syst. 52 (6) (2016)
Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sorensen, Peter Wägemann, Simon Wegener
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. WCET (2016)
Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper
Automatic message compression with overload protection. J. Syst. Softw. 121 (2016)
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. WCET (2015)
Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper
Analysing Switch-Case Code with Abstract Execution. WCET (2015)
Björn Lisper, Abu Naser Masud, Husni Khanfar
Static Backward Demand-Driven Slicing. PEPM (2015)
Husni Khanfar, Björn Lisper, Abu Naser Masud
Static Backward Program Slicing for Safety-Critical Systems. Ada-Europe (2015)
Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper
Adaptive Online Feedback Controlled Message Compression. COMPSAC (2014)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
Timing Analysis of Parallel Software Using Abstract Execution. VMCAI (2014)
Björn Lisper
Principles for Value Annotation Languages. WCET (2014)
Björn Lisper
SWEET - A Tool for WCET Flow Analysis (Extended Abstract). ISoLA (2) (2014)
Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte
A communication-aware solution framework for mapping AUTOSAR runnables on multi-core systems. ETFA (2014)
Björn Lisper
The ALL-TIMES project: introduction and overview. Int. J. Softw. Tools Technol. Transf. 15 (1) (2013)
Nicholas Merriam, Björn Lisper
Estimation of productivity increase for timing analysis tool chains. Int. J. Softw. Tools Technol. Transf. 15 (1) (2013)
Hamid Reza Faragardi, Björn Lisper, Thomas Nolte
Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores. ETFA (2013)
Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa
Practical experiences of applying source-level WCET flow analysis to industrial code. Int. J. Softw. Tools Technol. Transf. 15 (1) (2013)
Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT (2012)
Stefan Bygde, Björn Lisper, Niklas Holsti
Fully Bounded Polyhedral Analysis of Integers with Wrapping. Electron. Notes Theor. Comput. Sci. 288 (2012)
Björn Lisper, Johan Nordlander
A Simple and Flexible Timing Constraint Logic. ISoLA (2) (2012)
Björn Lisper
Towards Parallel Programming Models for Predictability. WCET (2012)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
Toward Static Timing Analysis of Parallel Software. WCET (2012)
Björn Lisper, Johan Nordlander, Sophie Quinton
Timing Constraints: Theory Meets Practice. ISoLA (2) (2012)
Peter Altenbernd, Andreas Ermedahl, Björn Lisper, Jan Gustafsson
Automatic Generation of Timing Models for Timing Analysis of High-Level Code. RTNS (2011)
Stefan Bygde, Andreas Ermedahl, Björn Lisper
An efficient algorithm for parametric WCET calculation. J. Syst. Archit. 57 (6) (2011)
Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper
The Mälardalen WCET Benchmarks: Past, Present And Future. WCET (2010)
Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. ISoLA (2) (2010)
Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson
Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET (2010)
Jan Carlson, Björn Lisper
A resource-efficient event algebra. Sci. Comput. Program. 75 (12) (2010)
Björn Lisper
Frontmatter, Preface, Table of Contents, Workshop Organization. WCET (2010)
Björn Lisper, Marcelo Santos
Model Identification for WCET Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg
ALF - A Language for WCET Flow Analysis. WCET (2009)
Stefan Bygde, Andreas Ermedahl, Björn Lisper
An Efficient Algorithm for Parametric WCET Calculation. RTCSA (2009)
Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. SEUS (2009)
Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat
ALL-TIMES - A European Project on Integrating Timing Technology. ISoLA (2008)
Stefan Bygde, Björn Lisper
Towards an Automatic Parametric WCET Analysis. WCET (2008)
Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm
Parametric Timing Analysis for Complex Architectures. RTCSA (2008)
Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. ECRTS (2008)
Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. WCET (2007)
Xavier Vera, Björn Lisper, Jingling Xue
Data cache locking for tight timing calculations. ACM Trans. Embed. Comput. Syst. 7 (1) (2007)
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Code Analysis for Temporal Predictability. Real Time Syst. 32 (3) (2006)
Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. RTSS (2006)
Björn Lisper
Trends in Timing Analysis. DIPES (2006)
Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. ISoLA (2006)
Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Faster WCET flow analysis by program slicing. LCTES (2006)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper
Algorithms for Infeasible Path Calculation. WCET (2006)
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Applying Static WCET Analysis to Automotive Communication Software. ECRTS (2005)
Björn Lisper
Infinite Unfolding and Transformations of Nondeterministic Programs. Fundam. Informaticae 66 (4) (2005)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper
Towards a Flow Analysis for Embedded System C Programs. WORDS (2005)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Experiences from Industrial WCET Analysis Case Studies. WCET (2005)
Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Static Timing Analysis of Real-Time Operating System Code. ISoLA (2004)
Jan Carlson, Björn Lisper
An event detection algebra for reactive systems. EMSOFT (2004)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell
Static Timing Analysis of Real-Time Operating Systems Code. ISoLA (Preliminary proceedings) (2004)
Jan Carlson, Björn Lisper
An Interval-Based Algebra for Restricted Event Detection. FORMATS (2003)
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall (2003)
Björn Lisper
Fully Automatic, Parametric Worst-Case Execution Time Analysis. WCET (2003)
Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. WORDS (2003)
Xavier Vera, Björn Lisper, Jingling Xue
Data Caches in Multitasking Hard Real-Time Systems. RTSS (2003)
Xavier Vera, Björn Lisper, Jingling Xue
Data cache locking for higher program predictability. SIGMETRICS (2003)
Jonas Holmerin, Björn Lisper
Development of Parallel Algorithms in Data Field Haskell (Research Note). Euro-Par (2000)
Jonas Holmerin, Björn Lisper
Data Field Haskell. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Björn Lisper
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. Theor. Comput. Sci. 190 (1) (1998)
Björn Lisper
Data Parallelism and Functional Programming. The Data Parallel Programming Model (1996)
Björn Lisper
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. CAAP (1996)
Björn Lisper
Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. Algorithmica 15 (2) (1996)
Björn Lisper, Jean-Francois Collard
Extended Analysis of Data Fields. SAS (1994)
Björn Lisper
Total Unfolding: Theory and Applications. J. Funct. Program. 4 (4) (1994)
Per Hammarlund, Björn Lisper
On the Relation between Functional and Data Parallel Programming Languages. FPCA (1993)

Björn Lisper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Björn Lisper