Björn Lisper

Björn Lisper: The ALL-TIMES project: introduction and overview. STTT 15(1): 1-8 (2013)

Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa: Practical experiences of applying source-level WCET flow analysis to industrial code. STTT 15(1): 53-63 (2013)

Nicholas Merriam, Björn Lisper: Estimation of productivity increase for timing analysis tool chains. STTT 15(1): 65-84 (2013)

Stefan Bygde, Björn Lisper, Niklas Holsti: Fully Bounded Polyhedral Analysis of Integers with Wrapping. Electr. Notes Theor. Comput. Sci. 288: 3-13 (2012)

Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters: Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164

Björn Lisper, Johan Nordlander, Sophie Quinton: Timing Constraints: Theory Meets Practice. ISoLA (2) 2012: 78-79

Björn Lisper, Johan Nordlander: A Simple and Flexible Timing Constraint Logic. ISoLA (2) 2012: 80-95

Andreas Gustavsson, Jan Gustafsson, Björn Lisper: Toward Static Timing Analysis of Parallel Software. WCET 2012: 38-47

Björn Lisper: Towards Parallel Programming Models for Predictability. WCET 2012: 48-58

Stefan Bygde, Andreas Ermedahl, Björn Lisper: An efficient algorithm for parametric WCET calculation. Journal of Systems Architecture - Embedded Systems Design 57(6): 614-624 (2011)

Peter Altenbernd, Andreas Ermedahl, Björn Lisper, Jan Gustafsson: Automatic Generation of Timing Models for Timing Analysis of High-Level Code. RTNS 2011: 55-64

Jan Carlson, Björn Lisper: A resource-efficient event algebra. Sci. Comput. Program. 75(12): 1215-1234 (2010)

Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa: Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. ISoLA (2) 2010: 449-463

Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson: Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET 2010: 101-112

Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper: The Mälardalen WCET Benchmarks: Past, Present And Future. WCET 2010: 136-146

Björn Lisper: Frontmatter, Preface, Table of Contents, Workshop Organization. WCET 2010

Björn Lisper (Ed.): 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium. OASICS 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010, isbn 978-3-939897-21-7

Björn Lisper, Marcelo Santos: Model Identification for WCET Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 55-64

Stefan Bygde, Andreas Ermedahl, Björn Lisper: An Efficient Algorithm for Parametric WCET Calculation. RTCSA 2009: 13-21

Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper: Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. SEUS 2009: 308-319

Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg: ALF - A Language for WCET Flow Analysis. WCET 2009

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

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

Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm: Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376

Stefan Bygde, Björn Lisper: Towards an Automatic Parametric WCET Analysis. WCET 2008

Xavier Vera, Björn Lisper, Jingling Xue: Data cache locking for tight timing calculations. ACM Trans. Embedded Comput. Syst. 7(1) (2007)

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

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Code Analysis for Temporal Predictability. Real-Time Systems 32(3): 253-277 (2006)

Björn Lisper: Trends in Timing Analysis. DIPES 2006: 85-94

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

Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Faster WCET flow analysis by program slicing. LCTES 2006: 103-112

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

Jan Gustafsson, Andreas Ermedahl, Björn Lisper: Algorithms for Infeasible Path Calculation. WCET 2006

Björn Lisper: Infinite Unfolding and Transformations of Nondeterministic Programs. Fundam. Inform. 66(4): 415-439 (2005)

Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Applying Static WCET Analysis to Automotive Communication Software. ECRTS 2005: 249-258

Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Experiences from Industrial WCET Analysis Case Studies. WCET 2005

Jan Gustafsson, Andreas Ermedahl, Björn Lisper: Towards a Flow Analysis for Embedded System C Programs. WORDS 2005: 287-300

Jan Carlson, Björn Lisper: An event detection algebra for reactive systems. EMSOFT 2004: 147-154

Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell: Static Timing Analysis of Real-Time Operating Systems Code. ISoLA (Preliminary proceedings) 2004: 126-133

Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Static Timing Analysis of Real-Time Operating System Code. ISoLA 2004: 146-160

Jan Carlson, Björn Lisper: An Interval-Based Algebra for Restricted Event Detection. FORMATS 2003: 121-133

Xavier Vera, Björn Lisper, Jingling Xue: Data Caches in Multitasking Hard Real-Time Systems. RTSS 2003: 154-165

Xavier Vera, Björn Lisper, Jingling Xue: Data cache locking for higher program predictability. SIGMETRICS 2003: 272-282

Björn Lisper: Fully Automatic, Parametric Worst-Case Execution Time Analysis. WCET 2003: 99-102

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall 2003: 53-60

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

Jonas Holmerin, Björn Lisper: Data Field Haskell. Electr. Notes Theor. Comput. Sci. 41(1): 4 (2000)

Jonas Holmerin, Björn Lisper: Development of Parallel Algorithms in Data Field Haskell (Research Note). Euro-Par 2000: 762-766

Björn Lisper: Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. Theor. Comput. Sci. 190(1): 61-85 (1998)

Björn Lisper: Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. Algorithmica 15(2): 193-203 (1996)

Björn Lisper: Data Parallelism and Functional Programming. The Data Parallel Programming Model 1996: 220-251

Björn Lisper: Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. CAAP 1996: 165-179

Björn Lisper: Total Unfolding: Theory and Applications. J. Funct. Program. 4(4): 479-498 (1994)

Björn Lisper, Jean-Francois Collard: Extended Analysis of Data Fields. SAS 1994: 208-222

P. Hammarlund, Björn Lisper: On the Relation between Functional and Data Parallel Programming Languages. FPCA 1993: 210-222

Björn Lisper, Sanjay V. Rajopadhye: Reasoning about Permutations in Regular Arrays. Designing Correct Circuits 1992: 139-157

Björn Lisper: Computing Transitive Closure on Systolic Arrays of Fixed Size. Distributed Computing 5: 133-144 (1991)

Björn Lisper: Detecting Static Algorithms by Partial Evaluation. PEPM 1991: 31-42

Björn Lisper: Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure. J. Parallel Distrib. Comput. 10(2): 182-187 (1990)

Björn Lisper: Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. SPAA 1990: 360-366

Björn Lisper: Synthesising Synchronous Systems by Static Scheduling in Space-Time. Lecture Notes in Computer Science 362, Springer 1989, isbn 3-540-51156-3

Björn Lisper: Single-Assignment Semantics for Imperative Programs. PARLE (2) 1989: 321-334

Björn Lisper: Synthesis and Equivalence of Concurrent Systems. Theor. Comput. Sci. 58: 183-199 (1988)

Björn Lisper: Synthesis and Equivalence of Concurrent Systems. ICALP 1986: 226-235