Björn Lisper

	2011
54		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)
	2010
53		Björn Lisper: 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010
52		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
51		Björn Lisper: Frontmatter, Preface, Table of Contents, Workshop Organization. WCET 2010
50		Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson: Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET 2010: 101-112
49		Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper: The Mälardalen WCET Benchmarks: Past, Present And Future. WCET 2010: 136-146
48		Jan Carlson, Björn Lisper: A resource-efficient event algebra. Sci. Comput. Program. 75(12): 1215-1234 (2010)
	2009
47		Björn Lisper, Marcelo Santos: Model Identification for WCET Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 55-64
46		Stefan Bygde, Andreas Ermedahl, Björn Lisper: An Efficient Algorithm for Parametric WCET Calculation. RTCSA 2009: 13-21
45		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
44		Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg: ALF - A Language for WCET Flow Analysis. WCET 2009
	2008
43		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		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		Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm: Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376
40		Stefan Bygde, Björn Lisper: Towards an Automatic Parametric WCET Analysis. WCET 2008
	2007
39		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		Xavier Vera, Björn Lisper, Jingling Xue: Data cache locking for tight timing calculations. ACM Trans. Embedded Comput. Syst. 7(1): (2007)
	2006
37		Björn Lisper: Trends in Timing Analysis. DIPES 2006: 85-94
36		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		Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Faster WCET flow analysis by program slicing. LCTES 2006: 103-112
34		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		Jan Gustafsson, Andreas Ermedahl, Björn Lisper: Algorithms for Infeasible Path Calculation. WCET 2006
32		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		Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Applying Static WCET Analysis to Automotive Communication Software. ECRTS 2005: 249-258
30		Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Experiences from Industrial WCET Analysis Case Studies. WCET 2005
29		Jan Gustafsson, Andreas Ermedahl, Björn Lisper: Towards a Flow Analysis for Embedded System C Programs. WORDS 2005: 287-300
28		Björn Lisper: Infinite Unfolding and Transformations of Nondeterministic Programs. Fundam. Inform. 66(4): 415-439 (2005)
	2004
27		Jan Carlson, Björn Lisper: An event detection algebra for reactive systems. EMSOFT 2004: 147-154
26		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		Jan Carlson, Björn Lisper: An Interval-Based Algebra for Restricted Event Detection. FORMATS 2003: 121-133
23		Xavier Vera, Björn Lisper, Jingling Xue: Data Caches in Multitasking Hard Real-Time Systems. RTSS 2003: 154-165
22		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		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		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		Jonas Holmerin, Björn Lisper: Development of Parallel Algorithms in Data Field Haskell (Research Note). Euro-Par 2000: 762-766
17		Jonas Holmerin, Björn Lisper: Data Field Haskell. Electr. Notes Theor. Comput. Sci. 41(1): 4 (2000)
	1998
16		Björn Lisper: Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. Theor. Comput. Sci. 190(1): 61-85 (1998)
	1996
15		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		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		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		Björn Lisper: Synthesis and Equivalence of Concurrent Systems. ICALP 1986: 226-235

Coauthor Index

1	Peter Altenbernd	[45]
2	Sebastian Altmeyer	[41]
3	Dani Barkah	[43]
4	Nerina Bermudo	[20]
5	Guillem Bernat	[42]
6	Adam Betts	[49]
7	Stefan Bygde	[39] [40] [46] [54]
8	Susanna Byhlin	[31]
9	Jan Carlson	[24] [27] [48]
10	Jean-Francois Collard	[12]
11	Andreas Ermedahl	[25] [26] [29] [30] [31] [33] [34] [35] [36] [39] [43] [44] [45] [46] [49] [50] [52] [54]
12	Christian Ferdinand	[42]
13	Peter Gliwa	[42] [52]
14	Jan Gustafsson	[19] [20] [25] [26] [29] [30] [31] [32] [33] [34] [35] [36] [39] [42] [43] [44] [45] [49]
15	Andreas Gustavsson	[50]
16	P. Hammarlund	[10]
17	Jonas Holmerin	[17] [18]
18	Christian Humbert	[41]
19	Marek Jersak	[42]
20	Linus Källberg	[44]
21	Raimund Kirner	[19] [32]
22	Jens Knoop	[52]
23	Paul Pettersson	[50]
24	Peter P. Puschner	[19] [32]
25	Sanjay V. Rajopadhye	[9]
26	Christer Sandberg	[20] [34] [35] [39] [43] [44]
27	Daniel Sandell	[25] [26]
28	Marcelo Santos	[47]
29	Markus Schordan	[42]
30	Dietmar Schreiner	[52]
31	Daniel Sehlberg	[36]
32	Xavier Vera	[22] [23] [38]
33	Steffen Wiegratz	[36]
34	Reinhard Wilhelm	[41]
35	Jingling Xue	[22] [23] [38]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page