dblp.uni-trier.dewww.uni-trier.de

Björn Lisper Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
43EEDani 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
42EEJan 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
41EESebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm: Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376
40EEStefan Bygde, Björn Lisper: Towards an Automatic Parametric WCET Analysis. WCET 2008
2007
39EEAndreas 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
38EEXavier Vera, Björn Lisper, Jingling Xue: Data cache locking for tight timing calculations. ACM Trans. Embedded Comput. Syst. 7(1): (2007)
2006
37EEBjörn Lisper: Trends in Timing Analysis. DIPES 2006: 85-94
36EEDaniel 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
35EEChrister Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Faster WCET flow analysis by program slicing. LCTES 2006: 103-112
34EEJan 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
33EEJan Gustafsson, Andreas Ermedahl, Björn Lisper: Algorithms for Infeasible Path Calculation. WCET 2006
32EEJan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Code Analysis for Temporal Predictability. Real-Time Systems 32(3): 253-277 (2006)
2005
31EESusanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Applying Static WCET Analysis to Automotive Communication Software. ECRTS 2005: 249-258
30EEAndreas Ermedahl, Jan Gustafsson, Björn Lisper: Experiences from Industrial WCET Analysis Case Studies. WCET 2005
29EEJan Gustafsson, Andreas Ermedahl, Björn Lisper: Towards a Flow Analysis for Embedded System C Programs. WORDS 2005: 287-300
28EEBjörn Lisper: Infinite Unfolding and Transformations of Nondeterministic Programs. Fundam. Inform. 66(4): 415-439 (2005)
2004
27EEJan Carlson, Björn Lisper: An event detection algebra for reactive systems. EMSOFT 2004: 147-154
26EEDaniel 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
24EEJan Carlson, Björn Lisper: An Interval-Based Algebra for Restricted Event Detection. FORMATS 2003: 121-133
23EEXavier Vera, Björn Lisper, Jingling Xue: Data Caches in Multitasking Hard Real-Time Systems. RTSS 2003: 154-165
22EEXavier 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
20EEJan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo: A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. WORDS 2003: 106-112
19EEJan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall 2003: 53-60
2000
18EEJonas Holmerin, Björn Lisper: Development of Parallel Algorithms in Data Field Haskell (Research Note). Euro-Par 2000: 762-766
17EEJonas Holmerin, Björn Lisper: Data Field Haskell. Electr. Notes Theor. Comput. Sci. 41(1): (2000)
1998
16EEBjörn Lisper: Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. Theor. Comput. Sci. 190(1): 61-85 (1998)
1996
15EEBjö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
6EEBjö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
3EEBjö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
1EEBjörn Lisper: Synthesis and Equivalence of Concurrent Systems. ICALP 1986: 226-235

Coauthor Index

1Sebastian Altmeyer [41]
2Dani Barkah [43]
3Nerina Bermudo [20]
4Guillem Bernat [42]
5Stefan Bygde [39] [40]
6Susanna Byhlin [31]
7Jan Carlson [24] [27]
8Jean-Francois Collard [12]
9Andreas Ermedahl [25] [26] [29] [30] [31] [33] [34] [35] [36] [39] [43]
10Christian Ferdinand [42]
11Peter Gliwa [42]
12Jan Gustafsson [19] [20] [25] [26] [29] [30] [31] [32] [33] [34] [35] [36] [39] [42] [43]
13P. Hammarlund [10]
14Jonas Holmerin [17] [18]
15Christian Humbert [41]
16Marek Jersak [42]
17Raimund Kirner [19] [32]
18Peter P. Puschner [19] [32]
19Sanjay V. Rajopadhye [9]
20Christer Sandberg [20] [34] [35] [39] [43]
21Daniel Sandell [25] [26]
22Markus Schordan [42]
23Daniel Sehlberg [36]
24Xavier Vera [22] [23] [38]
25Steffen Wiegratz [36]
26Reinhard Wilhelm [41]
27Jingling Xue [22] [23] [38]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)