Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 131 (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 (18)

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 (90)

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)

TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research (Jul 2016)
Heiko Falk , Sebastian Altmeyer , Peter Hellinckx , Björn Lisper, Wolfgang Puffitsch , Christine Rochange , Martin Schoeberl , Rasmus Bo Sorensen , Peter Wägemann , Simon Wegener
Proc. 16th International Workshop on Worst-Case Execution Time Analysis (WCET'2016) (WCET16)

Enhanced PCB Based Slicing (Jun 2016)
Husni Khanfar, Björn Lisper
Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 )

Analysing Switch-Case Code with Abstract Execution (Jul 2015)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper
15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon? (Jul 2015)
Sebastian Altmeyer , Björn Lisper, Claire Maiza , Jan Reineke , Christine Rochange
15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)

Static Backward Program Slicing for Safety Critical Systems (Jun 2015)
Husni Khanfar, Björn Lisper, Abu Naser Masud
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Static Backward Demand-Driven Slicing (Jan 2015)
Björn Lisper, Abu Naser Masud, Husni Khanfar
ACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation (PEPM)

SWEET – a Tool for WCET Flow Analysis (Oct 2014)
Björn Lisper
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)

A Communication-Aware Solution Framework for Mapping AUTOSAR Runnables on Multi-core Systems (Sep 2014)
Hamid Reza Faragardi, Kristian Sandström, Björn Lisper, Thomas Nolte
The 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014)

An Efficient Scheduling of AUTOSAR Runnables to Minimize Communication Cost in Multi-core Systems (Sep 2014)
Hamid Reza Faragardi, Kristian Sandström, Björn Lisper, Thomas Nolte
The Seventh International Symposium on Telecommunications (IST2014)

Adaptive Online Feedback Controlled Message Compression (Jul 2014)
Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper
The 38th Annual International Computers, Software & Applications Conference (COMPSAC 2014)

Principles for Value Annotation Languages (Jul 2014)
Björn Lisper
14th International Workshop on Worst-Case Execution Time Analysis (WCET'14)

Challenges with Probabilities in Response-Time Analysis of Real-Time Systems (Jul 2014)
Thomas Nolte, Meng Liu, Björn Lisper
5th International Real-Time Scheduling Open Problems Seminar (RTSOPS'14)

Towards a communication-aware mapping of software components in multi-core embedded real-time systems (Apr 2014)
Hamid Reza Faragardi, Kristian Sandström, Björn Lisper, Thomas Nolte
The 20th IEEE Real-Time and Embedded Technology and Applications Symposium, WiP session (RTAS 2014 WIP)

Communication-aware Scheduling of AUTOSAR Runnables on Multi-core Systems (Apr 2014)
Hamid Reza Faragardi, Kristian Sandström, Björn Lisper, Thomas Nolte
International Workshop on Design Space Exploration of Cyber-physical Systems (IDEAL 2014)

Timing Analysis of Parallel Software Using Abstract Execution (Jan 2014)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)

Automatic Multi-Core Cache Characteristics Modelling (Nov 2013)
Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper
Sixth Swedish Workshop on Multicore Computing (MCC13)

Towards a Communication-efficient Mapping of AUTOSAR Runnables on Multi-cores (Sep 2013)
Hamid Reza Faragardi, Björn Lisper, Thomas Nolte
18th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'13)

A Simple and Flexible Timing Constraint Logic (Oct 2012)
Björn Lisper, Johan Nordlander
Proc. 5th International Symposium on Leveraging Applications of Formal Methods (ISOLA12)

Towards Feedback-Based Generation of Hardware Characteristics (Sep 2012)
Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper
7th International Workshop on Feedback Computing

Towards Parallel Programming Models for Predictability (Jul 2012)
Björn Lisper
Proc. 12th International Workshop on Worst-Case Execution-Time Analysis (WCET12)

Toward Static Timing Analysis of Parallel Software (Jul 2012)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
12th International Workshop on Worst-Case Execution-Time Analysis

Sequential Composition of Execution Time Distributions by Convolution (Nov 2011)
Marcelo Santos, Björn Lisper, George Lima , Veronica Lima
Proc. 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems (CRTS 2011)

Static Program Analysis for Real-Time and Embedded Systems (Nov 2011)
Björn Lisper
Proc. First International Software Technology Exchange Workshop 2011 (STEW 2011)

Static Analysis of Bounded Polyhedra (Oct 2011)
Stefan Bygde, Björn Lisper, Niklas Holsti
Nordic Workshop of Programming Theory (NWPT)

Automatic Generation of Timing Models for Timing Analysis of High-Level Code (Sep 2011)
Peter Altenbernd , Andreas Ermedahl, Björn Lisper, Jan Gustafsson
Proc. 19th International Conference on Real-Time and Network Systems (RTNS2011)

Fully Bounded Polyhedral Analysis of Integers with Wrapping (Sep 2011)
Stefan Bygde, Björn Lisper, Niklas Holsti
International Workshop on Numerical and Symbolic Abstract Domains (NSAD11)

Items per page: