The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Björn Lisper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. P. Hammarlund, Björn Lisper
    On the Relation between Functional and Data Parallel Programming Languages. [Citation Graph (1, 0)][DBLP]
    FPCA, 1993, pp:210-222 [Conf]
  2. Björn Lisper
    Data Parallelism and Functional Programming. [Citation Graph (0, 0)][DBLP]
    The Data Parallel Programming Model, 1996, pp:220-251 [Conf]
  3. Björn Lisper
    Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:165-179 [Conf]
  4. Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
    Applying Static WCET Analysis to Automotive Communication Software. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2005, pp:249-258 [Conf]
  5. Jan Carlson, Björn Lisper
    An event detection algebra for reactive systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:147-154 [Conf]
  6. Jonas Holmerin, Björn Lisper
    Development of Parallel Algorithms in Data Field Haskell (Research Note). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:762-766 [Conf]
  7. Jan Carlson, Björn Lisper
    An Interval-Based Algebra for Restricted Event Detection. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:121-133 [Conf]
  8. Björn Lisper
    Synthesis and Equivalence of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1986, pp:226-235 [Conf]
  9. Björn Lisper, Sanjay V. Rajopadhye
    Reasoning about Permutations in Regular Arrays. [Citation Graph (0, 0)][DBLP]
    Designing Correct Circuits, 1992, pp:139-157 [Conf]
  10. Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
    Static Timing Analysis of Real-Time Operating System Code. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:146-160 [Conf]
  11. Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
    Faster WCET flow analysis by program slicing. [Citation Graph (0, 0)][DBLP]
    LCTES, 2006, pp:103-112 [Conf]
  12. Björn Lisper
    Single-Assignment Semantics for Imperative Programs. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:321-334 [Conf]
  13. Björn Lisper
    Detecting Static Algorithms by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:31-42 [Conf]
  14. Xavier Vera, Björn Lisper, Jingling Xue
    Data Caches in Multitasking Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RTSS, 2003, pp:154-165 [Conf]
  15. Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper
    Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. [Citation Graph (0, 0)][DBLP]
    RTSS, 2006, pp:57-66 [Conf]
  16. Björn Lisper, Jean-Francois Collard
    Extended Analysis of Data Fields. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:208-222 [Conf]
  17. Xavier Vera, Björn Lisper, Jingling Xue
    Data cache locking for higher program predictability. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 2003, pp:272-282 [Conf]
  18. Björn Lisper
    Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. [Citation Graph (0, 0)][DBLP]
    SPAA, 1990, pp:360-366 [Conf]
  19. Björn Lisper
    Fully Automatic, Parametric Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP]
    WCET, 2003, pp:99-102 [Conf]
  20. Jan Gustafsson, Andreas Ermedahl, Björn Lisper
    Towards a Flow Analysis for Embedded System C Programs. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:287-300 [Conf]
  21. Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
    Input-Dependency Analysis for Hard Real-Time Software. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:53-60 [Conf]
  22. Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo
    A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:106-112 [Conf]
  23. Björn Lisper
    Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 1996, v:15, n:2, pp:193-203 [Journal]
  24. Björn Lisper
    Computing Transitive Closure on Systolic Arrays of Fixed Size. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:133-144 [Journal]
  25. Jonas Holmerin, Björn Lisper
    Data Field Haskell. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:41, n:1, pp:- [Journal]
  26. Björn Lisper
    Infinite Unfolding and Transformations of Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:4, pp:415-439 [Journal]
  27. Björn Lisper
    Total Unfolding: Theory and Applications. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:4, pp:479-498 [Journal]
  28. Björn Lisper
    Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1990, v:10, n:2, pp:182-187 [Journal]
  29. Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
    Code Analysis for Temporal Predictability. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2006, v:32, n:3, pp:253-277 [Journal]
  30. Björn Lisper
    Synthesis and Equivalence of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:58, n:, pp:183-199 [Journal]
  31. Björn Lisper
    Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:190, n:1, pp:61-85 [Journal]
  32. Björn Lisper
    Trends in Timing Analysis. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:85-94 [Conf]

  33. Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. [Citation Graph (, )][DBLP]


  34. Static Timing Analysis of Real-Time Operating Systems Code. [Citation Graph (, )][DBLP]


  35. ALL-TIMES - A European Project on Integrating Timing Technology. [Citation Graph (, )][DBLP]


  36. Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. [Citation Graph (, )][DBLP]


  37. Model Identification for WCET Analysis. [Citation Graph (, )][DBLP]


  38. Parametric Timing Analysis for Complex Architectures. [Citation Graph (, )][DBLP]


  39. An Efficient Algorithm for Parametric WCET Calculation. [Citation Graph (, )][DBLP]


  40. Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. [Citation Graph (, )][DBLP]


  41. Towards an Automatic Parametric WCET Analysis. [Citation Graph (, )][DBLP]


  42. Experiences from Industrial WCET Analysis Case Studies. [Citation Graph (, )][DBLP]


  43. Algorithms for Infeasible Path Calculation. [Citation Graph (, )][DBLP]


  44. ALF - A Language for WCET Flow Analysis. [Citation Graph (, )][DBLP]


  45. Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. [Citation Graph (, )][DBLP]


Search in 0.073secs, Finished in 0.075secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002