Publications
Number of publications matching the search criterion: 198 (showing 1 - 50)
Doctoral Thesis (6)
Minimum Enclosing Balls and Ellipsoids in General Dimensions (Jan 2020) Linus Källberg
Utilizing Hardware Monitoring to Improve the Quality of Service and Performance of Industrial Systems (Oct 2018) Marcus Jägemar
Static Execution Time Analysis of Parallel Systems (May 2016) Andreas Gustavsson
Parametric WCET Analysis (Jun 2013) Stefan Bygde
Event Pattern Detection for Embedded Systems (Jun 2007) Jan Carlson
A Modular Tool Architecture for Worst-Case Execution Time Analysis (Jun 2003) Andreas Ermedahl
Licentiate Thesis (6)
Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs (Nov 2019) Husni Khanfar
Improving the Schedulability of Real Time Systems under Fixed Preemption Point Scheduling (Sep 2018) Filip Markovic
Static Timing Analysis of Parallel Systems Using Abstract Execution (Dec 2014) Andreas Gustavsson
Static WCET Analysis based on Abstract Interpretation and Counting of Elements (Mar 2010) Stefan Bygde
Operational Semantics for PLEX: A Basis for Safe Parallelization (May 2008) Johan Lindhult
Symmetric Cardinality Constraints (Dec 2005) Waldemar Kocjan
Book (2)
A Modular Tool Architecture for Worst-Case Execution Time Analysis (Jan 2008) Andreas Ermedahl
Synthesis of Synchronous Systems by Static Scheduling in Space-Time (May 1989) Björn Lisper
Collection (Editor) (5)
Execution Time Analysis for Embedded Real-Time Systems (Jan 2007) Andreas Ermedahl, Jakob Engblom Handbook of Real-Time Embedded Systems
Trends in Timing Analysis (Jan 2006) Björn Lisper From Model-Driven Design to Resource Management for Distributed Embedded Systems
Automatic derivation of path and loop annotations in object-oriented real-time programs. (Jan 2001) Jan Gustafsson, Andreas Ermedahl Engineering of Distributed Control Systems
Data parallelism and functional programming (May 1996) Björn Lisper The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications
Affine permutations of matrices on mesh-connected arrays (May 1991) Björn Lisper, S .V. Rajopadhye Parallel Algorithms and Architectures for DSP Applications
Journal article (29)
The Duality in Computing SSA Programs and Control Dependency (Aug 2022) Abu Naser Masud IEEE Transactions on Software Engineering (TSE)
Efficient Computation of Minimal Weak and Strong Control Closure (Feb 2022) Abu Naser Masud Journal of Systems and Software (JSS 2022 (184))
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Jan 2021) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
More precise construction of static single assignment programs using reaching definitions (Apr 2020) Abu Naser Masud, Federico Ciccozzi Journal of Systems and Software (JSS)
Automatic Inference of Task Parallelism in Task-graph-based Actor Models (Dec 2018) Abu Naser Masud, Björn Lisper, Federico Ciccozzi Journal of IEEE Access (Access'18)
A Resource Efficient Framework to Run Automotive Embedded Software on Multi-core ECUs (Jan 2018) Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte Journal of Systems and Software (JSS)
Improved Precision in Polyhedral Analysis with Wrapping (Jan 2017) Stefan Bygde, Björn Lisper, Niklas Holsti Science of Computer Programming (SCICO)
Early execution time-estimation through automatically generated timing models (Nov 2016) Peter Altenbernd , Jan Gustafsson, Björn Lisper, Friedhelm Stappert Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)
Automatic message compression with overload protection (Apr 2016) Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Björn Lisper Journal of Systems and Software (JSS)
Faster Approximation of Minimum Enclosing Balls by Distance Filtering and GPU Parallelization (Jul 2015) Linus Källberg, Thomas Larsson Journal of Graphics Tools (JGT, 17(3))
Fast and Robust Approximation of Smallest Enclosing Balls in Arbitrary Dimensions (Aug 2013) Thomas Larsson, Linus Källberg Computer Graphics Forum (CGF, 32(5))
The ALL-TIMES project: introduction and overview (Feb 2013) Björn Lisper nternational Journal on Software Tools for Technology Transfer
Practical experiences of applying source-level WCET flow analysis to industrial code (Feb 2013) Björn Lisper, Andreas Ermedahl, Dietmar Schreiner , Peter Gliwa , Jens Knoop International Journal on Software Tools for Technology Transfer
Estimation of productivity increase for timing analysis tool chains (Feb 2013) Nicholas Merriam , Björn Lisper International Journal on Software Tools for Technology Transfer
An Efficient Algorithm for Parametric WCET Calculation (May 2011) Stefan Bygde, Andreas Ermedahl, Björn Lisper Journal of Systems Architecture
A resource-efficient event algebra (Dec 2010) Jan Carlson, Björn Lisper Science of Computer Programming
Identifying Irreducible Loops in the Instrumentation Point Graph (Jul 2010) Adam Betts Journal of Systems Architecture
The worst-case execution-time problem—overview of methods and survey of tools (Apr 2008) Reinhard Wilhelm , Jakob Engblom , Andreas Ermedahl, Niklas Holsti , Stephan Thesing , David Whalley , Guillem Bernat , Christian Ferdinand , Reinhold Heckmann , Tulika Mitra , Frank Muller , Isabelle Puaut , Peter Puschner , Jan Staschulat , Per Stenström ACM Transactions on Embedded Computing Systems (TECS)
Data cache locking for tight timing calculations (Dec 2007) Xavier Vera, Björn Lisper, Jingling Xue ACM Transactions on Embedded Computer Systems (TECS-v7-i1-2007)
Code Analysis for Temporal Predictability (Mar 2006) Jan Gustafsson, Björn Lisper, Raimund Kirner , Peter Puschner Real-Time Systems
An accurate cost model for guiding data locality transformations (Sep 2005) Xavier Vera, Jaume Abella , Josep Llosa , Antonio Gonzalez ACM Trans. Program. Lang. Syst.
Infinite unfolding and transformations of nondeterministic programs (Apr 2005) Björn Lisper Fundamenta Informaticae
Worst-Case Execution-Time Analysis for Embedded Real-Time Systems (Oct 2003) Jakob Engblom , Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson International Journal on Software Tools for Technology Transfer
Preconditioning index set transformations for time-optimal affine scheduling (Jul 1996) Björn Lisper Algorithmica
Total unfolding: Theory and applications (Oct 1994) Björn Lisper J. Functional Programming
Computing transitive closure on systolic arrays of fixed size. (Dec 1991) Björn Lisper Distrib. Comput
Synthesis of time-optimal systolic arrays with cells with inner structure. (Oct 1990) Björn Lisper J. Parallel Distrib. Comput.
The Interactive Space-Time Scheduler (Aug 1990) Björn Lisper Microprocessing and Microprogramming
Synthesis and equivalence of concurrent systems (May 1988) Björn Lisper Theoret. Comput. Sci.
Conference/Workshop Paper (116)
On Time-Sensitive Control Closure for Secure Information Flow (Mar 2025) Abu Naser Masud, Björn Lisper Fundamentals of Software Engineering 2025 (FSEN'25)
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code Jean Malm, Eduard Paul Enoiu, Abu Naser Masud, Björn Lisper, Sigrid Eldh, Zoltan Porkolab Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023)
