Björn Lisper

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