| * | 2008 |
|---|
| 43 | EE | Dani Barkah,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper,
Christer Sandberg:
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.
ECRTS 2008: 331-340 |
| 42 | EE | Jan Gustafsson,
Björn Lisper,
Markus Schordan,
Christian Ferdinand,
Peter Gliwa,
Marek Jersak,
Guillem Bernat:
ALL-TIMES - A European Project on Integrating Timing Technology.
ISoLA 2008: 445-459 |
| 41 | EE | Sebastian Altmeyer,
Christian Humbert,
Björn Lisper,
Reinhard Wilhelm:
Parametric Timing Analysis for Complex Architectures.
RTCSA 2008: 367-376 |
| 40 | EE | Stefan Bygde,
Björn Lisper:
Towards an Automatic Parametric WCET Analysis.
WCET 2008 |
| 2007 |
|---|
| 39 | EE | Andreas Ermedahl,
Christer Sandberg,
Jan Gustafsson,
Stefan Bygde,
Björn Lisper:
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.
WCET 2007 |
| 38 | EE | Xavier Vera,
Björn Lisper,
Jingling Xue:
Data cache locking for tight timing calculations.
ACM Trans. Embedded Comput. Syst. 7(1): (2007) |
| 2006 |
|---|
| 37 | EE | Björn Lisper:
Trends in Timing Analysis.
DIPES 2006: 85-94 |
| 36 | EE | Daniel Sehlberg,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper,
Steffen Wiegratz:
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.
ISoLA 2006: 212-219 |
| 35 | EE | Christer Sandberg,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper:
Faster WCET flow analysis by program slicing.
LCTES 2006: 103-112 |
| 34 | EE | Jan Gustafsson,
Andreas Ermedahl,
Christer Sandberg,
Björn Lisper:
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.
RTSS 2006: 57-66 |
| 33 | EE | Jan Gustafsson,
Andreas Ermedahl,
Björn Lisper:
Algorithms for Infeasible Path Calculation.
WCET 2006 |
| 32 | EE | Jan Gustafsson,
Björn Lisper,
Raimund Kirner,
Peter P. Puschner:
Code Analysis for Temporal Predictability.
Real-Time Systems 32(3): 253-277 (2006) |
| 2005 |
|---|
| 31 | EE | Susanna Byhlin,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper:
Applying Static WCET Analysis to Automotive Communication Software.
ECRTS 2005: 249-258 |
| 30 | EE | Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper:
Experiences from Industrial WCET Analysis Case Studies.
WCET 2005 |
| 29 | EE | Jan Gustafsson,
Andreas Ermedahl,
Björn Lisper:
Towards a Flow Analysis for Embedded System C Programs.
WORDS 2005: 287-300 |
| 28 | EE | Björn Lisper:
Infinite Unfolding and Transformations of Nondeterministic Programs.
Fundam. Inform. 66(4): 415-439 (2005) |
| 2004 |
|---|
| 27 | EE | Jan Carlson,
Björn Lisper:
An event detection algebra for reactive systems.
EMSOFT 2004: 147-154 |
| 26 | EE | Daniel Sandell,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper:
Static Timing Analysis of Real-Time Operating System Code.
ISoLA 2004: 146-160 |
| 25 | | Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper,
Daniel Sandell:
Static Timing Analysis of Real-Time Operating Systems Code.
ISoLA (Preliminary proceedings) 2004: 126-133 |
| 2003 |
|---|
| 24 | EE | Jan Carlson,
Björn Lisper:
An Interval-Based Algebra for Restricted Event Detection.
FORMATS 2003: 121-133 |
| 23 | EE | Xavier Vera,
Björn Lisper,
Jingling Xue:
Data Caches in Multitasking Hard Real-Time Systems.
RTSS 2003: 154-165 |
| 22 | EE | Xavier Vera,
Björn Lisper,
Jingling Xue:
Data cache locking for higher program predictability.
SIGMETRICS 2003: 272-282 |
| 21 | | Björn Lisper:
Fully Automatic, Parametric Worst-Case Execution Time Analysis.
WCET 2003: 99-102 |
| 20 | EE | Jan Gustafsson,
Björn Lisper,
Christer Sandberg,
Nerina Bermudo:
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.
WORDS 2003: 106-112 |
| 19 | EE | Jan Gustafsson,
Björn Lisper,
Raimund Kirner,
Peter P. Puschner:
Input-Dependency Analysis for Hard Real-Time Software.
WORDS Fall 2003: 53-60 |
| 2000 |
|---|
| 18 | EE | Jonas Holmerin,
Björn Lisper:
Development of Parallel Algorithms in Data Field Haskell (Research Note).
Euro-Par 2000: 762-766 |
| 17 | EE | Jonas Holmerin,
Björn Lisper:
Data Field Haskell.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 1998 |
|---|
| 16 | EE | Björn Lisper:
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
Theor. Comput. Sci. 190(1): 61-85 (1998) |
| 1996 |
|---|
| 15 | EE | Björn Lisper:
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
CAAP 1996: 165-179 |
| 14 | | Björn Lisper:
Data Parallelism and Functional Programming.
The Data Parallel Programming Model 1996: 220-251 |
| 13 | | Björn Lisper:
Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling.
Algorithmica 15(2): 193-203 (1996) |
| 1994 |
|---|
| 12 | | Björn Lisper,
Jean-Francois Collard:
Extended Analysis of Data Fields.
SAS 1994: 208-222 |
| 11 | | Björn Lisper:
Total Unfolding: Theory and Applications.
J. Funct. Program. 4(4): 479-498 (1994) |
| 1993 |
|---|
| 10 | | P. Hammarlund,
Björn Lisper:
On the Relation between Functional and Data Parallel Programming Languages.
FPCA 1993: 210-222 |
| 1992 |
|---|
| 9 | | Björn Lisper,
Sanjay V. Rajopadhye:
Reasoning about Permutations in Regular Arrays.
Designing Correct Circuits 1992: 139-157 |
| 1991 |
|---|
| 8 | | Björn Lisper:
Detecting Static Algorithms by Partial Evaluation.
PEPM 1991: 31-42 |
| 7 | | Björn Lisper:
Computing Transitive Closure on Systolic Arrays of Fixed Size.
Distributed Computing 5: 133-144 (1991) |
| 1990 |
|---|
| 6 | EE | Björn Lisper:
Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling.
SPAA 1990: 360-366 |
| 5 | | Björn Lisper:
Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure.
J. Parallel Distrib. Comput. 10(2): 182-187 (1990) |
| 1989 |
|---|
| 4 | | Björn Lisper:
Synthesising Synchronous Systems by Static Scheduling in Space-Time
Springer 1989 |
| 3 | EE | Björn Lisper:
Single-Assignment Semantics for Imperative Programs.
PARLE (2) 1989: 321-334 |
| 1988 |
|---|
| 2 | | Björn Lisper:
Synthesis and Equivalence of Concurrent Systems.
Theor. Comput. Sci. 58: 183-199 (1988) |
| 1986 |
|---|
| 1 | EE | Björn Lisper:
Synthesis and Equivalence of Concurrent Systems.
ICALP 1986: 226-235 |
