Synthesis and Equivalence of Concurrent Systems. - Björn Lisper (Theor. Comput. Sci., 1988)

Synthesising Synchronous Systems by Static Scheduling in Space-Time - Björn Lisper (Springer, 1989)

Single-Assignment Semantics for Imperative Programs. - Björn Lisper (PARLE (2), 1989)

Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure. - Björn Lisper (J. Parallel Distributed Comput., 1990)

The interactive space-time scheduler. - Björn Lisper (Microprocessing and Microprogramming, 1990)

Detecting Static Algorithms by Partial Evaluation. - Björn Lisper (PEPM, 1991)

Computing Transitive Closure on Systolic Arrays of Fixed Size. - Björn Lisper (Distributed Comput., 1991)

Reasoning about Permutations in Regular Arrays. - Björn Lisper; Sanjay V. Rajopadhye (Designing Correct Circuits, 1992)

On the Relation between Functional and Data Parallel Programming Languages. - Per Hammarlund; Björn Lisper (FPCA, 1993)

Extended Analysis of Data Fields. - Björn Lisper; Jean-Francois Collard (SAS, 1994)

Total Unfolding: Theory and Applications. - Björn Lisper (J. Funct. Program., 1994)

Data Parallelism and Functional Programming. - Björn Lisper (The Data Parallel Programming Model, 1996)

Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. - Björn Lisper (Algorithmica, 1996)

Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. - Björn Lisper (Theor. Comput. Sci., 1998)

Development of Parallel Algorithms in Data Field Haskell (Research Note). - Jonas Holmerin; Björn Lisper (Euro-Par, 2000)

Data Field Haskell. - Jonas Holmerin; Björn Lisper (Haskell, 2000)

An Interval-Based Algebra for Restricted Event Detection. - Jan Carlson; Björn Lisper (FORMATS, 2003)

Data Caches in Multitasking Hard Real-Time Systems. - Xavier Vera; Björn Lisper; Jingling Xue (RTSS, 2003)

Data cache locking for higher program predictability. - Xavier Vera; Björn Lisper; Jingling Xue (SIGMETRICS, 2003)

Fully Automatic, Parametric Worst-Case Execution Time Analysis. - Björn Lisper (WCET, 2003)

Input-Dependency Analysis for Hard Real-Time Software. - Jan Gustafsson; Björn Lisper; Raimund Kirner; Peter P. Puschner (WORDS Fall, 2003)

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. - Jan Gustafsson; Björn Lisper; Christer Sandberg; Nerina Bermudo (WORDS, 2003)

An event detection algebra for reactive systems. - Jan Carlson; Björn Lisper (EMSOFT, 2004)

Static Timing Analysis of Real-Time Operating Systems Code. - Andreas Ermedahl; Jan Gustafsson; Björn Lisper; Daniel Sandell (ISoLA (Preliminary proceedings), 2004)

Static Timing Analysis of Real-Time Operating System Code. - Daniel Sandell; Andreas Ermedahl; Jan Gustafsson; Björn Lisper (ISoLA, 2004)

Applying Static WCET Analysis to Automotive Communication Software. - Susanna Byhlin; Andreas Ermedahl; Jan Gustafsson; Björn Lisper (ECRTS, 2005)

Experiences from Industrial WCET Analysis Case Studies. - Andreas Ermedahl; Jan Gustafsson; Björn Lisper (WCET, 2005)

Towards a Flow Analysis for Embedded System C Programs. - Jan Gustafsson; Andreas Ermedahl; Björn Lisper (WORDS, 2005)

Infinite Unfolding and Transformations of Nondeterministic Programs. - Björn Lisper (Fundam. Informaticae, 2005)

Trends in Timing Analysis. - Björn Lisper (DIPES, 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 (ISoLA, 2006)

Faster WCET flow analysis by program slicing. - Christer Sandberg; Andreas Ermedahl; Jan Gustafsson; Björn Lisper (LCTES, 2006)

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. - Jan Gustafsson; Andreas Ermedahl; Christer Sandberg; Björn Lisper (RTSS, 2006)

Algorithms for Infeasible Path Calculation. - Jan Gustafsson; Andreas Ermedahl; Björn Lisper (WCET, 2006)

Code Analysis for Temporal Predictability. - Jan Gustafsson; Björn Lisper; Raimund Kirner; Peter P. Puschner (Real Time Syst., 2006)

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 (WCET, 2007)

Data cache locking for tight timing calculations. - Xavier Vera; Björn Lisper; Jingling Xue (ACM Trans. Embed. Comput. Syst., 2007)

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 (ECRTS, 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 (ISoLA, 2008)

Parametric Timing Analysis for Complex Architectures. - Sebastian Altmeyer; Christian Humbert; Björn Lisper; Reinhard Wilhelm (RTCSA, 2008)

Towards an Automatic Parametric WCET Analysis. - Stefan Bygde; Björn Lisper (WCET, 2008)

Model Identification for WCET Analysis. - Björn Lisper; Marcelo Santos (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. - Jan Gustafsson; Peter Altenbernd; Andreas Ermedahl; Björn Lisper (SEUS, 2009)

ALF - A Language for WCET Flow Analysis. - Jan Gustafsson; Andreas Ermedahl; Björn Lisper; Christer Sandberg; Linus Källberg (WCET, 2009)

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. - Björn Lisper; Andreas Ermedahl; Dietmar Schreiner; Jens Knoop; Peter Gliwa (ISoLA (2), 2010)

The Mälardalen WCET Benchmarks: Past, Present And Future. - Jan Gustafsson; Adam Betts; Andreas Ermedahl; Björn Lisper (WCET, 2010)

Towards WCET Analysis of Multicore Architectures Using UPPAAL. - Andreas Gustavsson; Andreas Ermedahl; Björn Lisper; Paul Pettersson (WCET, 2010)

Frontmatter, Preface, Table of Contents, Workshop Organization. - Björn Lisper (WCET, 2010)

A resource-efficient event algebra. - Jan Carlson; Björn Lisper (Sci. Comput. Program., 2010)

Automatic Generation of Timing Models for Timing Analysis of High-Level Code. - Peter Altenbernd; Andreas Ermedahl; Björn Lisper; Jan Gustafsson (RTNS, 2011)

Fully Bounded Polyhedral Analysis of Integers with Wrapping. - Stefan Bygde; Björn Lisper; Niklas Holsti (NSAD@SAS, 2011)

An efficient algorithm for parametric WCET calculation. - Stefan Bygde; Andreas Ermedahl; Björn Lisper (J. Syst. Archit., 2011)

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 (EMSOFT, 2012)

A Simple and Flexible Timing Constraint Logic. - Björn Lisper; Johan Nordlander (ISoLA (2), 2012)

Timing Constraints: Theory Meets Practice. - Björn Lisper; Johan Nordlander; Sophie Quinton (ISoLA (2), 2012)

Toward Static Timing Analysis of Parallel Software. - Andreas Gustavsson; Jan Gustafsson; Björn Lisper (WCET, 2012)

Towards Parallel Programming Models for Predictability. - Björn Lisper (WCET, 2012)

Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores. - Hamid Reza Faragardi; Björn Lisper; Thomas Nolte (ETFA, 2013)

The ALL-TIMES project: introduction and overview. - 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)

Estimation of productivity increase for timing analysis tool chains. - Nicholas Merriam; Björn Lisper (Int. J. Softw. Tools Technol. Transf., 2013)

Adaptive Online Feedback Controlled Message Compression. - Marcus Jägemar; Sigrid Eldh; Andreas Ermedahl; Björn Lisper (COMPSAC, 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 (ETFA, 2014)

SWEET - A Tool for WCET Flow Analysis (Extended Abstract). - Björn Lisper (ISoLA (2), 2014)

Timing Analysis of Parallel Software Using Abstract Execution. - Andreas Gustavsson; Jan Gustafsson; Björn Lisper (VMCAI, 2014)

Principles for Value Annotation Languages. - Björn Lisper (WCET, 2014)

Static Backward Program Slicing for Safety-Critical Systems. - Husni Khanfar; Björn Lisper; Abu Naser Masud (Ada-Europe, 2015)

Static Backward Demand-Driven Slicing. - Björn Lisper; Abu Naser Masud; Husni Khanfar (PEPM, 2015)

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. - Sebastian Altmeyer; Björn Lisper; Claire Maiza; Jan Reineke 001; Christine Rochange (WCET, 2015)

Analysing Switch-Case Code with Abstract Execution. - Niklas Holsti; Jan Gustafsson; Linus Källberg; Björn Lisper (WCET, 2015)

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 (WCET, 2016)

Automatic message compression with overload protection. - Marcus Jägemar; Sigrid Eldh; Andreas Ermedahl; Björn Lisper (J. Syst. Softw., 2016)

Early execution time-estimation through automatically generated timing models. - Peter Altenbernd; Jan Gustafsson; Björn Lisper; Friedhelm Stappert (Real Time Syst., 2016)

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. - Björn Lisper (FMICS-AVoCS, 2017)

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties. - Björn Lisper; Birgitta Lindström; Pasqualina Potena; Mehrdad Saadatmand; Markus Bohlin (ICST Workshops, 2017)

Improved precision in polyhedral analysis with wrapping. - Stefan Bygde; Björn Lisper; Niklas Holsti (Sci. Comput. Program., 2017)

Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling. - Marcus Jägemar; Andreas Ermedahl; Sigrid Eldh; Moris Behnam; Björn Lisper (ETFA, 2018)

Static Flow Analysis of the Action Language for Foundational UML. - Jean Malm; Federico Ciccozzi; Jan Gustafsson; Björn Lisper; Jonas Skoog (ETFA, 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 (SEAMS@ICSE, 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 (SQUADE@ICSE, 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 (ICST Workshops, 2018)

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). - Michael Felderer; Dilian Gurov; Marieke Huisman; Björn Lisper; Rupert Schlick (ISoLA (4), 2018)

Probabilistic Response Time Analysis for Fixed Preemption Point Selection. - Filip Markovic 001; Jan Carlson; Radu Dobrin; Björn Lisper; Abhilash Thekkilakattil (SIES, 2018)

Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models. - Abu Naser Masud; Björn Lisper; Federico Ciccozzi (IEEE Access, 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)

Machine Learning to Guide Performance Testing: An Autonomous Test Framework. - Mahshid Helali Moghadam; Mehrdad Saadatmand; Markus Borg; Markus Bohlin; Björn Lisper (ICST Workshops, 2019)

Executable Modelling for Highly Parallel Accelerators. - Lorenzo Addazi; Federico Ciccozzi; Björn Lisper (MoDELS (Companion), 2019)

SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. - Mohammad Riazati; Masoud Daneshtalab; Mikael Sjödin; Björn Lisper (DDECS, 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 (DSD, 2020)

DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA. - Mohammad Riazati; Masoud Daneshtalab; Mikael Sjödin; Björn Lisper (ICECS, 2020)

Automated Analysis of Flakiness-mitigating Delays. - Jean Malm; Adnan Causevic; Björn Lisper; Sigrid Eldh (AST@ICSE, 2020)

Poster: Performance Testing Driven by Reinforcement Learning. - Mahshid Helali Moghadam; Mehrdad Saadatmand; Markus Borg; Markus Bohlin; Björn Lisper (ICST, 2020)

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 (CEC, 2021)

Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. - Abu Naser Masud; Björn Lisper (ACM Trans. Program. Lang. Syst., 2021)

AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision. - Mohammad Riazati; Masoud Daneshtalab; Mikael Sjödin; Björn Lisper (AICAS, 2022)

On the computation of interprocedural weak control closure. - Abu Naser Masud; Björn Lisper (CC, 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 (SEAA, 2022)

DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator. - Mohammad Riazati; Masoud Daneshtalab; Mikael Sjödin; Björn Lisper (NorCAS, 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)

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 (ISQED, 2023)

HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms. - Björn Lisper; Linus Källberg (ARRAY@PLDI, 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)

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 (J. Softw. Evol. Process., 2024)

On Time-Sensitive Control Closure for Secure Information Flow. - Abu Naser Masud; Björn Lisper (FSEN, 2025)