Björn Lisper

According to our database, Björn Lisper authored at least 103 papers between 1988 and 2023.

Collaborative distances:

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

2023

A Comprehensive Exploration of Languages for Parallel Computing.

Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen

ACM Comput. Surv., 2023

HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms.

Björn Lisper, Linus Källberg

Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, 2023

DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators.

Mahdi Taheri, Mohammad Riazati, Mohammad Hasan Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022

An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning.

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper

Softw. Qual. J., 2022

Machine Learning Testing in an ADAS Case Study Using Simulation-Integrated Bio-Inspired Search-Based Testing.

Mahshid Helali Moghadam, Markus Borg, Mehrdad Saadatmand, Seyed Jalaleddin Mousavirad, Markus Bohlin, Björn Lisper

CoRR, 2022

DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator.

Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper

Proceedings of the IEEE Nordic Circuits and Systems Conference, NorCAS 2022, Oslo, 2022

An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code.

Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

On the computation of interprocedural weak control closure.

Abu Naser Masud, Björn Lisper

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision.

Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper

Proceedings of the 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, 2022

2021

Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs.

Abu Naser Masud, Björn Lisper

ACM Trans. Program. Lang. Syst., 2021

Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent.

Mahshid Helali Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, Markus Bohlin, Björn Lisper, Pasqualina Potena

Proceedings of the IEEE Congress on Evolutionary Computation, 2021

2020

Poster: Performance Testing Driven by Reinforcement Learning.

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Automated Analysis of Flakiness-mitigating Delays.

Jean Malm, Adnan Causevic, Björn Lisper, Sigrid Eldh

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA.

Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper

Proceedings of the 27th IEEE International Conference on Electronics, Circuits and Systems, 2020

Adjustable self-healing methodology for accelerated functions in heterogeneous systems.

Mohammad Riazati, Tara Ghasempouri, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs.

Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

2019

Executable Modelling for Highly Parallel Accelerators.

Lorenzo Addazi, Federico Ciccozzi, Björn Lisper

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

Machine Learning to Guide Performance Testing: An Autonomous Test Framework.

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

A resource efficient framework to run automotive embedded software on multi-core ECUs.

Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte

J. Syst. Softw., 2018

Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models.

Abu Naser Masud, Björn Lisper, Federico Ciccozzi

IEEE Access, 2018

Probabilistic Response Time Analysis for Fixed Preemption Point Selection.

Filip Markovic, Jan Carlson, Radu Dobrin, Björn Lisper, Abhilash Thekkilakattil

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).

Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System.

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Learning-based response time analysis in real-time embedded systems: a simulation-based approach.

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, 2018

Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning.

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Static Flow Analysis of the Action Language for Foundational UML.

Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling.

Marcus Jägemar, Andreas Ermedahl, Sigrid Eldh, Moris Behnam, Björn Lisper

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Improved precision in polyhedral analysis with wrapping.

Stefan Bygde, Björn Lisper, Niklas Holsti

Sci. Comput. Program., 2017

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties.

Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae.

Björn Lisper

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Early execution time-estimation through automatically generated timing models.

Peter Altenbernd, Jan Gustafsson, Björn Lisper, Friedhelm Stappert

Real Time Syst., 2016

Automatic message compression with overload protection.

Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper

J. Syst. Softw., 2016

TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research.

Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, Simon Wegener

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015

Analysing Switch-Case Code with Abstract Execution.

Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?.

Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Static Backward Demand-Driven Slicing.

Björn Lisper, Abu Naser Masud, Husni Khanfar

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Static Backward Program Slicing for Safety-Critical Systems.

Husni Khanfar, Björn Lisper, Abu Naser Masud

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

Principles for Value Annotation Languages.

Björn Lisper

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Timing Analysis of Parallel Software Using Abstract Execution.

Andreas Gustavsson, Jan Gustafsson, Björn Lisper

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

SWEET - A Tool for WCET Flow Analysis (Extended Abstract).

Björn Lisper

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

A communication-aware solution framework for mapping AUTOSAR runnables on multi-core systems.

Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Adaptive Online Feedback Controlled Message Compression.

Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Estimation of productivity increase for timing analysis tool chains.

Nicholas Merriam, Björn Lisper

Int. J. Softw. Tools Technol. Transf., 2013

Practical experiences of applying source-level WCET flow analysis to industrial code.

Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa

Int. J. Softw. Tools Technol. Transf., 2013

The ALL-TIMES project: introduction and overview.

Björn Lisper

Int. J. Softw. Tools Technol. Transf., 2013

Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores.

Hamid Reza Faragardi, Björn Lisper, Thomas Nolte

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

Towards Parallel Programming Models for Predictability.

Björn Lisper

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Toward Static Timing Analysis of Parallel Software.

Andreas Gustavsson, Jan Gustafsson, Björn Lisper

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Timing Constraints: Theory Meets Practice.

Björn Lisper, Johan Nordlander, Sophie Quinton

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Simple and Flexible Timing Constraint Logic.

Björn Lisper, Johan Nordlander

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Code-level timing analysis of embedded software: emsoft'12 invited talk session outline.

Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

An efficient algorithm for parametric WCET calculation.

Stefan Bygde, Andreas Ermedahl, Björn Lisper

J. Syst. Archit., 2011

Fully Bounded Polyhedral Analysis of Integers with Wrapping.

Stefan Bygde, Björn Lisper, Niklas Holsti

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Automatic Generation of Timing Models for Timing Analysis of High-Level Code.

Peter Altenbernd, Andreas Ermedahl, Björn Lisper, Jan Gustafsson

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

A resource-efficient event algebra.

Jan Carlson, Björn Lisper

Sci. Comput. Program., 2010

Frontmatter, Preface, Table of Contents, Workshop Organization.

Björn Lisper

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Towards WCET Analysis of Multicore Architectures Using UPPAAL.

Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

The Mälardalen WCET Benchmarks: Past, Present And Future.

Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code.

Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

ALF - A Language for WCET Flow Analysis.

Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development.

Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Model Identification for WCET Analysis.

Björn Lisper, Marcelo Santos

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

2008

Towards an Automatic Parametric WCET Analysis.

Stefan Bygde, Björn Lisper

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Parametric Timing Analysis for Complex Architectures.

Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

ALL-TIMES - A European Project on Integrating Timing Technology.

Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat

Proceedings of the Leveraging Applications of Formal Methods, 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.

Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

Data cache locking for tight timing calculations.

Xavier Vera, Björn Lisper, Jingling Xue

ACM Trans. Embed. Comput. Syst., 2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.

Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006

Code Analysis for Temporal Predictability.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner

Real Time Syst., 2006

Algorithms for Infeasible Path Calculation.

Jan Gustafsson, Andreas Ermedahl, Björn Lisper

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.

Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Faster WCET flow analysis by program slicing.

Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.

Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz

Proceedings of the Leveraging Applications of Formal Methods, 2006

Trends in Timing Analysis.

Björn Lisper

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005

Infinite Unfolding and Transformations of Nondeterministic Programs.

Björn Lisper

Fundam. Informaticae, 2005

Towards a Flow Analysis for Embedded System C Programs.

Jan Gustafsson, Andreas Ermedahl, Björn Lisper

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Experiences from Industrial WCET Analysis Case Studies.

Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Applying Static WCET Analysis to Automotive Communication Software.

Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2004

Static Timing Analysis of Real-Time Operating System Code.

Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the Leveraging Applications of Formal Methods, 2004

Static Timing Analysis of Real-Time Operating Systems Code.

Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

An event detection algebra for reactive systems.

Jan Carlson, Björn Lisper

Proceedings of the EMSOFT 2004, 2004

2003

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.

Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Input-Dependency Analysis for Hard Real-Time Software.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Fully Automatic, Parametric Worst-Case Execution Time Analysis.

Björn Lisper

Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Data cache locking for higher program predictability.

Xavier Vera, Björn Lisper, Jingling Xue

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003

Data Caches in Multitasking Hard Real-Time Systems.

Xavier Vera, Björn Lisper, Jingling Xue

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Interval-Based Algebra for Restricted Event Detection.

Jan Carlson, Björn Lisper

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2000

Data Field Haskell.

Jonas Holmerin, Björn Lisper

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

Development of Parallel Algorithms in Data Field Haskell (Research Note).

Jonas Holmerin, Björn Lisper

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1998

Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.

Björn Lisper

Theor. Comput. Sci., 1998

1996

Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling.

Björn Lisper

Algorithmica, 1996

Data Parallelism and Functional Programming.

Björn Lisper

Proceedings of the Data Parallel Programming Model: Foundations, 1996

1994

Total Unfolding: Theory and Applications.

Björn Lisper

J. Funct. Program., 1994

Extended Analysis of Data Fields.

Björn Lisper, Jean-Francois Collard

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993

On the Relation between Functional and Data Parallel Programming Languages.

Per Hammarlund, Björn Lisper

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992

Reasoning about Permutations in Regular Arrays.

Björn Lisper, Sanjay V. Rajopadhye

Proceedings of the Designing Correct Circuits, 1992

1991

Computing Transitive Closure on Systolic Arrays of Fixed Size.

Björn Lisper

Distributed Comput., 1991

Detecting Static Algorithms by Partial Evaluation.

Björn Lisper

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

The interactive space-time scheduler.

Björn Lisper

Microprocessing and Microprogramming, 1990

Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure.

Björn Lisper

J. Parallel Distributed Comput., 1990

1989

Single-Assignment Semantics for Imperative Programs.

Björn Lisper

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Synthesising Synchronous Systems by Static Scheduling in Space-Time

Björn Lisper

Lecture Notes in Computer Science 362, Springer, ISBN: 3-540-51156-3, 1989

1988

Synthesis and Equivalence of Concurrent Systems.

Björn Lisper

Theor. Comput. Sci., 1988