Björn Lisper

According to our database1, Björn Lisper authored at least 85 papers between 1986 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Machine Learning to Guide Performance Testing: An Autonomous Test Framework.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018
A resource efficient framework to run automotive embedded software on multi-core ECUs.
Journal of Systems and Software, 2018

Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models.
IEEE Access, 2018

Probabilistic Response Time Analysis for Fixed Preemption Point Selection.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Learning-based response time analysis in real-time embedded systems: a simulation-based approach.
Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, 2018

Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Static Flow Analysis of the Action Language for Foundational UML.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Improved precision in polyhedral analysis with wrapping.
Sci. Comput. Program., 2017

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016
Early execution time-estimation through automatically generated timing models.
Real-Time Systems, 2016

Automatic message compression with overload protection.
Journal of Systems and Software, 2016

TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research.
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015
Analysing Switch-Case Code with Abstract Execution.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Static Backward Demand-Driven Slicing.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Static Backward Program Slicing for Safety-Critical Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
Principles for Value Annotation Languages.
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Timing Analysis of Parallel Software Using Abstract Execution.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

SWEET - A Tool for WCET Flow Analysis (Extended Abstract).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

A communication-aware solution framework for mapping AUTOSAR runnables on multi-core systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Adaptive Online Feedback Controlled Message Compression.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Estimation of productivity increase for timing analysis tool chains.
STTT, 2013

Practical experiences of applying source-level WCET flow analysis to industrial code.
STTT, 2013

The ALL-TIMES project: introduction and overview.
STTT, 2013

Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Fully Bounded Polyhedral Analysis of Integers with Wrapping.
Electr. Notes Theor. Comput. Sci., 2012

Towards Parallel Programming Models for Predictability.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Toward Static Timing Analysis of Parallel Software.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Timing Constraints: Theory Meets Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Simple and Flexible Timing Constraint Logic.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Code-level timing analysis of embedded software: emsoft'12 invited talk session outline.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
Automatic Generation of Timing Models for Timing Analysis of High-Level Code.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010
A resource-efficient event algebra.
Sci. Comput. Program., 2010

Frontmatter, Preface, Table of Contents, Workshop Organization.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Towards WCET Analysis of Multicore Architectures Using UPPAAL.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

The Mälardalen WCET Benchmarks: Past, Present And Future.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
ALF - A Language for WCET Flow Analysis.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

An Efficient Algorithm for Parametric WCET Calculation.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Model Identification for WCET Analysis.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

2008
Towards an Automatic Parametric WCET Analysis.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Parametric Timing Analysis for Complex Architectures.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

ALL-TIMES - A European Project on Integrating Timing Technology.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
Data cache locking for tight timing calculations.
ACM Trans. Embedded Comput. Syst., 2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006
Code Analysis for Temporal Predictability.
Real-Time Systems, 2006

Algorithms for Infeasible Path Calculation.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Faster WCET flow analysis by program slicing.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Trends in Timing Analysis.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005
Infinite Unfolding and Transformations of Nondeterministic Programs.
Fundam. Inform., 2005

Towards a Flow Analysis for Embedded System C Programs.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Experiences from Industrial WCET Analysis Case Studies.
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Applying Static WCET Analysis to Automotive Communication Software.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2004
Static Timing Analysis of Real-Time Operating System Code.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Static Timing Analysis of Real-Time Operating Systems Code.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

An event detection algebra for reactive systems.
Proceedings of the EMSOFT 2004, 2004

2003
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Input-Dependency Analysis for Hard Real-Time Software.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Fully Automatic, Parametric Worst-Case Execution Time Analysis.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Data cache locking for higher program predictability.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003

Data Caches in Multitasking Hard Real-Time Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Interval-Based Algebra for Restricted Event Detection.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2000
Data Field Haskell.
Electr. Notes Theor. Comput. Sci., 2000

Development of Parallel Algorithms in Data Field Haskell (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1996
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
Proceedings of the Trees in Algebra and Programming, 1996

Data Parallelism and Functional Programming.
Proceedings of the Data Parallel Programming Model: Foundations, 1996

1994
Total Unfolding: Theory and Applications.
J. Funct. Program., 1994

Extended Analysis of Data Fields.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993
On the Relation between Functional and Data Parallel Programming Languages.
Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992
Reasoning about Permutations in Regular Arrays.
Proceedings of the Designing Correct Circuits, 1992

1991
Computing Transitive Closure on Systolic Arrays of Fixed Size.
Distributed Computing, 1991

Detecting Static Algorithms by Partial Evaluation.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure.
J. Parallel Distrib. Comput., 1990

Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling.
Proceedings of the 2nd Annual ACM Symposium on Parallel Algorithms and Architectures, 1990

1989
Single-Assignment Semantics for Imperative Programs.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Synthesising Synchronous Systems by Static Scheduling in Space-Time
Lecture Notes in Computer Science 362, Springer, ISBN: 3-540-51156-3, 1989

1986
Synthesis and Equivalence of Concurrent Systems.
Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986


  Loading...