Publications
Number of publications matching the search criterion: 155 (showing 1 - 50)
Book (1)
Synthesis of Synchronous Systems by Static Scheduling in Space-Time (May 1989) Björn Lisper
Collection (Editor) (3)
Trends in Timing Analysis (Jan 2006) Björn Lisper From Model-Driven Design to Resource Management for Distributed Embedded Systems
Data parallelism and functional programming (May 1996) Björn Lisper The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications
Affine permutations of matrices on mesh-connected arrays (May 1991) Björn Lisper, S .V. Rajopadhye Parallel Algorithms and Architectures for DSP Applications
Journal article (24)
Machine Learning Testing in an ADAS Case Study Using Simulation-Integrated Bio-Inspired Search-Based Testing (Jun 2023) Mahshid Helali Moghadam, Markus Borg , Mehrdad Saadatmand , Seyed Jalaleddin Mousavirad , Markus Bohlin, Björn Lisper Journal of Software: Evolution and Process (JSEP)
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
An Autonomous Performance Testing Framework using Self-Adaptive Fuzzy Reinforcement Learning (Mar 2021) Mahshid Helali Moghadam, Mehrdad Saadatmand , Markus Borg , Markus Bohlin, Björn Lisper Software Quality Journal (Springer) (SQJ)
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Jan 2021) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Inference of Task Parallelism in Task-graph-based Actor Models (Dec 2018) Abu Naser Masud, Björn Lisper, Federico Ciccozzi Journal of IEEE Access (Access'18)
A Resource Efficient Framework to Run Automotive Embedded Software on Multi-core ECUs (Jan 2018) Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte Journal of Systems and Software (JSS)
Improved Precision in Polyhedral Analysis with Wrapping (Jan 2017) Stefan Bygde, Björn Lisper, Niklas Holsti Science of Computer Programming (SCICO)
Early execution time-estimation through automatically generated timing models (Nov 2016) Peter Altenbernd , Jan Gustafsson, Björn Lisper, Friedhelm Stappert Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)
Automatic message compression with overload protection (Apr 2016) Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper Journal of Systems and Software (JSS)
The ALL-TIMES project: introduction and overview (Feb 2013) Björn Lisper nternational Journal on Software Tools for Technology Transfer
Practical experiences of applying source-level WCET flow analysis to industrial code (Feb 2013) Björn Lisper, Andreas Ermedahl, Dietmar Schreiner , Peter Gliwa , Jens Knoop International Journal on Software Tools for Technology Transfer
Estimation of productivity increase for timing analysis tool chains (Feb 2013) Nicholas Merriam , Björn Lisper International Journal on Software Tools for Technology Transfer
An Efficient Algorithm for Parametric WCET Calculation (May 2011) Stefan Bygde, Andreas Ermedahl, Björn Lisper Journal of Systems Architecture
A resource-efficient event algebra (Dec 2010) Jan Carlson, Björn Lisper Science of Computer Programming
Data cache locking for tight timing calculations (Dec 2007) Xavier Vera, Björn Lisper, Jingling Xue ACM Transactions on Embedded Computer Systems (TECS-v7-i1-2007)
Code Analysis for Temporal Predictability (Mar 2006) Jan Gustafsson, Björn Lisper, Raimund Kirner , Peter Puschner Real-Time Systems
Infinite unfolding and transformations of nondeterministic programs (Apr 2005) Björn Lisper Fundamenta Informaticae
Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Jan 1998) Björn Lisper Theoretical Computer Science
Preconditioning index set transformations for time-optimal affine scheduling (Jul 1996) Björn Lisper Algorithmica
Total unfolding: Theory and applications (Oct 1994) Björn Lisper J. Functional Programming
Computing transitive closure on systolic arrays of fixed size. (Dec 1991) Björn Lisper Distrib. Comput
Synthesis of time-optimal systolic arrays with cells with inner structure. (Oct 1990) Björn Lisper J. Parallel Distrib. Comput.
The Interactive Space-Time Scheduler (Aug 1990) Björn Lisper Microprocessing and Microprogramming
Synthesis and equivalence of concurrent systems (May 1988) Björn Lisper Theoret. Comput. Sci.
Conference/Workshop Paper (106)
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code Jean Malm, Eduard Paul Enoiu, Abu Naser Masud, Björn Lisper, Sigrid Eldh, Zoltan Porkolab Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023)
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms (Jun 2023) Björn Lisper, Linus Källberg ARRAY 2023 (ARRAY '23)
DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators Mahdi Taheri , Mohammad Riazati, Mohammad Ahmadilivani , Maksim Jenihhin , Masoud Daneshtalab, Jaan Raik , Mikael Sjödin, Björn Lisper International Symposium on Quality Electronic Design (ISQED 2023)
DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper IEEE Nordic Circuits and Systems Conference (NORCAS)
AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper International Conference on Artificial Intelligence Circuits and Systems (AICAS'22)
On the Computation of Interprocedural Weak Control Closure (Apr 2022) Abu Naser Masud, Björn Lisper ACM SIGPLAN 2022 International Conference on Compiler Construction (CC '22)
Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent (Jul 2021) Mahshid Helali Moghadam, Golrokh Hamidi , Markus Borg , Mehrdad Saadatmand , Markus Bohlin, Björn Lisper, Pasqualina Potena 2021 IEEE Congress on Evolutionary Computation (IEEE CEC 2021)
DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper International Conference on Electronics Circuits and Systems (ICECS'20)
Poster: Performance Testing Driven by Reinforcement Learning (Oct 2020) Mahshid Helali Moghadam, Mehrdad Saadatmand , Markus Borg , Markus Bohlin, Björn Lisper IEEE 13th International Conference on Software Testing, Validation and Verification (ICST2020)
Automated Analysis of Flakiness-mitigating Delays (Oct 2020) Jean Malm, Adnan Causevic, Björn Lisper, Sigrid Eldh IEEE/ACM 1st International Conference on Automation of Software Test (AST'20)
Adjustable self-healing methodology for accelerated functions in heterogeneous systems Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper Euromicro Conference on Digital System Design (DSD'20)
SHiLA: Synthesizing High-Level Assertions for High Speed Validation of High-Level Designs Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'20)
Executable Modelling for Highly Parallel Accelerators (Sep 2019) Lorenzo Addazi, Federico Ciccozzi, Björn Lisper Workshop on Modelling Language Engineering and Execution at IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MLE@MODELS)
Machine Learning to Guide Performance Testing: An Autonomous Test Framework (Apr 2019) Mahshid Helali Moghadam, Mehrdad Saadatmand , Markus Borg , Markus Bohlin, Björn Lisper IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Static Flow Analysis of the Action Language for Foundational UML (Oct 2018) Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog International Conference on Emerging Technologies and Factory Automation (ETFA'18)
Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling (Sep 2018) Marcus Jägemar, Sigrid Eldh, Björn Lisper, Moris Behnam, Andreas Ermedahl International Conference on Emerging Technologies and Factory Automation (ETFA'18)
Probabilistic Response Time Analysis for Fixed Preemption Point Selection (Jun 2018) Filip Markovic, Jan Carlson, Abhilash Thekkilakattil, Radu Dobrin, Björn Lisper 13th International Symposium on Industrial Embedded Systems (SIES '18)
Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement Learning (May 2018) Mahshid Helali Moghadam, Mehrdad Saadatmand , Markus Borg , Markus Bohlin, Björn Lisper 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 18)
Learning-based Response Time Analysis in Real-Time Embedded Systems: A Simulation-based Approach (May 2018) Mahshid Helali Moghadam, Mehrdad Saadatmand , Markus Borg , Markus Bohlin, Björn Lisper 1st International Workshop on Software Qualities and their Dependencies, located at the International Conference of Software Engineering (ICSE) 2018 (SQUADE'18)
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System (Apr 2018) Mahshid Helali Moghadam, Mehrdad Saadatmand , Markus Borg , Markus Bohlin, Björn Lisper ICST Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'18)
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae (Sep 2017) Björn Lisper Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'17)
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties (Mar 2017) Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand , Markus Bohlin ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)
