Björn Lisper

Orcid: 0000-0001-5297-6548

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Machine learning testing in an ADAS case study using simulation-integrated bio-inspired search-based testing.
J. Softw. Evol. Process., May, 2024

2023
A Comprehensive Exploration of Languages for Parallel Computing.
ACM Comput. Surv., 2023

HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms.
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.
Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022
An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning.
Softw. Qual. J., 2022

DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator.
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.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

On the computation of interprocedural weak control closure.
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.
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.
ACM Trans. Program. Lang. Syst., 2021

Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent.
Proceedings of the IEEE Congress on Evolutionary Computation, 2021

2020
Poster: Performance Testing Driven by Reinforcement Learning.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Automated Analysis of Flakiness-mitigating Delays.
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.
Proceedings of the 27th IEEE International Conference on Electronics, Circuits and Systems, 2020

Adjustable self-healing methodology for accelerated functions in heterogeneous systems.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs.
Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

2019
Executable Modelling for Highly Parallel Accelerators.
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.
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.
J. Syst. Softw., 2018

Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models.
IEEE Access, 2018

Probabilistic Response Time Analysis for Fixed Preemption Point Selection.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).
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.
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.
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.
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.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Improved precision in polyhedral analysis with wrapping.
Sci. Comput. Program., 2017

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae.
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.
Real Time Syst., 2016

Automatic message compression with overload protection.
J. Syst. Softw., 2016

TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research.
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015
Analysing Switch-Case Code with Abstract Execution.
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?.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Static Backward Demand-Driven Slicing.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Static Backward Program Slicing for Safety-Critical Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
Principles for Value Annotation Languages.
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Timing Analysis of Parallel Software Using Abstract Execution.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

SWEET - A Tool for WCET Flow Analysis (Extended Abstract).
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.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Adaptive Online Feedback Controlled Message Compression.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Estimation of productivity increase for timing analysis tool chains.
Int. J. Softw. Tools Technol. Transf., 2013

Practical experiences of applying source-level WCET flow analysis to industrial code.
Int. J. Softw. Tools Technol. Transf., 2013

The ALL-TIMES project: introduction and overview.
Int. J. Softw. Tools Technol. Transf., 2013

Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Towards Parallel Programming Models for Predictability.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Toward Static Timing Analysis of Parallel Software.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Timing Constraints: Theory Meets Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Simple and Flexible Timing Constraint Logic.
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.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
An efficient algorithm for parametric WCET calculation.
J. Syst. Archit., 2011

Fully Bounded Polyhedral Analysis of Integers with Wrapping.
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.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010
A resource-efficient event algebra.
Sci. Comput. Program., 2010

Frontmatter, Preface, Table of Contents, Workshop Organization.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Towards WCET Analysis of Multicore Architectures Using UPPAAL.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

The Mälardalen WCET Benchmarks: Past, Present And Future.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
ALF - A Language for WCET Flow Analysis.
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.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Model Identification for WCET Analysis.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

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

Parametric Timing Analysis for Complex Architectures.
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.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
Data cache locking for tight timing calculations.
ACM Trans. Embed. Comput. Syst., 2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006
Code Analysis for Temporal Predictability.
Real Time Syst., 2006

Algorithms for Infeasible Path Calculation.
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.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Faster WCET flow analysis by program slicing.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Trends in Timing Analysis.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005
Infinite Unfolding and Transformations of Nondeterministic Programs.
Fundam. Informaticae, 2005

Towards a Flow Analysis for Embedded System C Programs.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

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

Applying Static WCET Analysis to Automotive Communication Software.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2004
Static Timing Analysis of Real-Time Operating System Code.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Static Timing Analysis of Real-Time Operating Systems Code.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

An event detection algebra for reactive systems.
Proceedings of the EMSOFT 2004, 2004

2003
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.
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.
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.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Data cache locking for higher program predictability.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003

Data Caches in Multitasking Hard Real-Time Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Interval-Based Algebra for Restricted Event Detection.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2000
Data Field Haskell.
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

Development of Parallel Algorithms in Data Field Haskell (Research Note).
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.
Theor. Comput. Sci., 1998

1996
Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling.
Algorithmica, 1996

Data Parallelism and Functional Programming.
Proceedings of the Data Parallel Programming Model: Foundations, 1996

1994
Total Unfolding: Theory and Applications.
J. Funct. Program., 1994

Extended Analysis of Data Fields.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993
On the Relation between Functional and Data Parallel Programming Languages.
Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992
Reasoning about Permutations in Regular Arrays.
Proceedings of the Designing Correct Circuits, 1992

1991
Computing Transitive Closure on Systolic Arrays of Fixed Size.
Distributed Comput., 1991

Detecting Static Algorithms by Partial Evaluation.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
The interactive space-time scheduler.
Microprocessing and Microprogramming, 1990

Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure.
J. Parallel Distributed Comput., 1990

1989
Single-Assignment Semantics for Imperative Programs.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Synthesising Synchronous Systems by Static Scheduling in Space-Time
Lecture Notes in Computer Science 362, Springer, ISBN: 3-540-51156-3, 1989

1988
Synthesis and Equivalence of Concurrent Systems.
Theor. Comput. Sci., 1988


  Loading...