Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 155 (showing 1 - 50)

Doctoral Thesis (4)

Static Execution Time Analysis of Parallel Systems (May 2016)
Andreas Gustavsson

Parametric WCET Analysis (Jun 2013)
Stefan Bygde

Event Pattern Detection for Embedded Systems (Jun 2007)
Jan Carlson

A Modular Tool Architecture for Worst-Case Execution Time Analysis (Jun 2003)
Andreas Ermedahl

Licentiate Thesis (4)

Static Timing Analysis of Parallel Systems Using Abstract Execution (Dec 2014)
Andreas Gustavsson

Static WCET Analysis based on Abstract Interpretation and Counting of Elements (Mar 2010)
Stefan Bygde

Operational Semantics for PLEX: A Basis for Safe Parallelization (May 2008)
Johan Lindhult

Symmetric Cardinality Constraints (Dec 2005)
Waldemar Kocjan

Book (2)

A Modular Tool Architecture for Worst-Case Execution Time Analysis (Jan 2008)
Andreas Ermedahl

Synthesis of Synchronous Systems by Static Scheduling in Space-Time (May 1989)
Björn Lisper

Collection (Editor) (5)

Execution Time Analysis for Embedded Real-Time Systems (Jan 2007)
Andreas Ermedahl, Jakob Engblom
Handbook of Real-Time Embedded Systems

Trends in Timing Analysis (Jan 2006)
Björn Lisper
From Model-Driven Design to Resource Management for Distributed Embedded Systems

Automatic derivation of path and loop annotations in object-oriented real-time programs. (Jan 2001)
Jan Gustafsson, Andreas Ermedahl
Engineering of Distributed Control 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 (22)

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)

Faster Approximation of Minimum Enclosing Balls by Distance Filtering and GPU Parallelization (Jul 2015)
Linus Källberg, Thomas Larsson
Journal of Graphics Tools (JGT, 17(3))

Fast and Robust Approximation of Smallest Enclosing Balls in Arbitrary Dimensions (Aug 2013)
Thomas Larsson, Linus Källberg
Computer Graphics Forum (CGF, 32(5))

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

Identifying Irreducible Loops in the Instrumentation Point Graph (Jul 2010)
Adam Betts
Journal of Systems Architecture

The worst-case execution-time problem—overview of methods and survey of tools (Apr 2008)
Reinhard Wilhelm , Jakob Engblom , Andreas Ermedahl, Niklas Holsti , Stephan Thesing , David Whalley , Guillem Bernat , Christian Ferdinand , Reinhold Heckmann , Tulika Mitra , Frank Muller , Isabelle Puaut , Peter Puschner , Jan Staschulat , Per Stenström
ACM Transactions on Embedded Computing Systems (TECS)

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

An accurate cost model for guiding data locality transformations (Sep 2005)
Xavier Vera, Jaume Abella , Josep Llosa , Antonio Gonzalez
ACM Trans. Program. Lang. Syst.

Infinite unfolding and transformations of nondeterministic programs (Apr 2005)
Björn Lisper
Fundamenta Informaticae

Worst-Case Execution-Time Analysis for Embedded Real-Time Systems (Oct 2003)
Jakob Engblom , Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson
International Journal on Software Tools for Technology Transfer

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

Static Flow Analysis of the Action Language for Foundational UML
Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog
International Conference on Emerging Technologies and Factory Automation (ETFA'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)

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 )

Value Sensitivity and Observable Abstract Values for Information Flow Control (Nov 2015)
Luciano Bello , Daniel Hedin, Andrei Sabelefeld
20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'15)

Value-sensitive Hybrid Information Flow Control for a JavaScript-like Language (Jul 2015)
Daniel Hedin, Luciano Bello , Andrei Sabelefeld
28th IEEE Computer Security Foundations Symposium (CSF'15)

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)

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

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)

Items per page: