researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2003
2005
2006
2007
2008
2009
2010
2012
2013
2014
2015
2016
2017
2018
2019
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
Pascal
analysis
architecture
caching
classification
compiler
context-aware
data-flow
data-flow analysis
design
meta-model
model checking
partitioning
program analysis
rule-based
software component
software components
static analysis
Filter by Author
[+]
OR
AND
NOT
1
Andreas Ermedahl
Armelle Bonenfant
Björn Lisper
Christine Rochange
Enrico Mezzetti
Francisco J. Cazorla
Guillem Bernat
Heiko Falk
Hugues Cassé
Isabelle Puaut
Jan Gustafsson
Jan Reineke
Jaume Abella
Martin Schoeberl
Niklas Holsti
Pascal Sainrat
Peter P. Puschner
Raimund Kirner
Simon Wegener
Tullio Vardanega
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
cache
case
code
estimation
execution
international
july
multi
preface
real
static
time
timing
tool
towards
using
wcet
workshop
worst
WCET (wcet)
Editions
Publications
Viewing Publication 1 - 100 from 218
2023
Front Matter, Table of Contents, Preface, Conference Organization
wcet 2023
:
[doi]
Exploring iGPU Memory Interference Response to L2 Cache Locking
Alfonso Mascareñas González
,
Jean-Baptiste Chaudron
,
Régine Leconte
,
Youcef Bouchebaba
,
David Doose
.
wcet 2023
:
[doi]
Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators
Alban Gruin
,
Thomas Carle
,
Christine Rochange
,
Pascal Sainrat
.
wcet 2023
:
[doi]
Towards Multi-Objective Dynamic SPM Allocation
Shashank Jadhav
,
Heiko Falk
.
wcet 2023
:
[doi]
Efficient and Effective Multi-Objective Optimization for Real-Time Multi-Task Systems
Shashank Jadhav
,
Heiko Falk
.
wcet 2023
:
[doi]
Warp-Level CFG Construction for GPU Kernel WCET Analysis
Louison Jeanmougin
,
Pascal Sotin
,
Christine Rochange
,
Thomas Carle
.
wcet 2023
:
[doi]
Analyzing the Stability of Relative Performance Differences Between Cloud and Embedded Environments
Rumen Rumenov Kolev
,
Christopher Helpa
.
wcet 2023
:
[doi]
Constant-Loop Dominators for Single-Path Code Optimization
Emad Jacob Maroun
,
Martin Schoeberl
,
Peter P. Puschner
.
wcet 2023
:
[doi]
Clustering Solutions of Multiobjective Function Inlining Problem
Kateryna Muts
,
Heiko Falk
.
wcet 2023
:
[doi]
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications
Simon Wegener
,
Kris K. Nikov
,
José L. Núñez-Yáñez
,
Kerstin Eder
.
wcet 2023
:
[doi]
21th International Workshop on Worst-Case Execution Time Analysis, WCET 2023, July 11, 2023, Vienna, Austria
Peter Wägemann
, editor,
Volume 114 of
OASIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
[doi]
2022
LLVMTA: An LLVM-Based WCET Analysis Tool
Sebastian Hahn 0001
,
Michael Jacobs 0002
,
Nils Hölscher
,
Kuan-Hsun Chen
,
Jian-Jia Chen
,
Jan Reineke
.
wcet 2022
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
wcet 2022
:
[doi]
DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution
Hazem Abaza
,
Zain Alabedin Haj Hammadeh
,
Daniel Lüdtke
.
wcet 2022
:
[doi]
20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022, July 5, 2022, Modena, Italy
Clément Ballabriga
, editor,
Volume 103 of
OASIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2022.
[doi]
StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks
Théo Degioanni
,
Isabelle Puaut
.
wcet 2022
:
[doi]
2019
Front Matter, Table of Contents, Preface, Conference Organization
wcet 2019
:
[doi]
19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, July 9, 2019, Stuttgart, Germany
Sebastian Altmeyer
, editor,
Volume 72 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2019.
[doi]
Non-Intrusive Online Timing Analysis of Large Embedded Applications
Boris Dreyer
,
Christian Hochberger
.
wcet 2019
:
[doi]
ePAPI: Performance Application Programming Interface for Embedded Platforms
Jeremy Giesen
,
Enrico Mezzetti
,
Jaume Abella
,
Enrique Fernández
,
Francisco J. Cazorla
.
wcet 2019
:
[doi]
TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis
Daniel Kästner
,
Markus Pister 0002
,
Simon Wegener
,
Christian Ferdinand
.
wcet 2019
:
[doi]
Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems
Phillip Raffeck
,
Christian Eichler
,
Peter Wägemann
,
Wolfgang Schröder-Preikschat
.
wcet 2019
:
[doi]
Validating Static WCET Analysis: A Method and Its Application
Wei-Tsun Sun
,
Eric Jenn
,
Hugues Cassé
.
wcet 2019
:
[doi]
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation
Steven Varoumas
,
Tristan Crolard
.
wcet 2019
:
[doi]
2018
Front Matter, Table of Contents, Preface, Conference Organization
wcet 2018
:
[doi]
Formal Executable Models for Automatic Detection of Timing Anomalies
Mihail Asavoae
,
Belgacem Ben Hedia
,
Mathieu Jan
.
wcet 2018
:
[doi]
18th International Workshop on Worst-Case Execution Time Analysis, WCET 2018, July 3, 2018, Barcelona, Spain
Florian Brandner
, editor,
Volume 63 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2018.
[doi]
Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures
Thomas Carle
,
Hugues Cassé
.
wcet 2018
:
[doi]
TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses
Christian Eichler
,
Tobias Distler
,
Peter Ulbrich
,
Peter Wägemann
,
Wolfgang Schröder-Preikschat
.
wcet 2018
:
[doi]
Toward Contention Analysis for Parallel Executing Real-Time Tasks
Fabrice Guet
,
Luca Santinelli
,
Jérôme Morio
,
Guillaume Phavorin
,
Eric Jenn
.
wcet 2018
:
[doi]
A New Hybrid Approach on WCET Analysis for Real-Time Systems Using Machine Learning
Thomas Huybrechts
,
Siegfried Mercelis
,
Peter Hellinckx
.
wcet 2018
:
[doi]
Fine-Grain Iterative Compilation for WCET Estimation
Isabelle Puaut
,
Mickaël Dardaillon
,
Christoph Cullmann
,
Gernot Gebhard
,
Steven Derrien
.
wcet 2018
:
[doi]
Embedded Program Annotations for WCET Analysis
Bernhard Schommer
,
Christoph Cullmann
,
Gernot Gebhard
,
Xavier Leroy
,
Michael Schmidt 0007
,
Simon Wegener
.
wcet 2018
:
[doi]
Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis
Darshit Shah
,
Sebastian Hahn 0001
,
Jan Reineke
.
wcet 2018
:
[doi]
Mixed Feelings About Mixed Criticality (Invited Paper)
Reinhard Wilhelm
.
wcet 2018
:
[doi]
2017
Front Matter, Table of Contents, Preface, Committee
wcet 2017
:
[doi]
Early WCET Prediction Using Machine Learning
Armelle Bonenfant
,
Denis Claraz
,
Marianne De Michiel
,
Pascal Sotin
.
wcet 2017
:
[doi]
Worst-Case Execution Time Analysis of Predicated Architectures
Florian Brandner
,
Amine Naji
.
wcet 2017
:
[doi]
On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks
Fabrice Guet
,
Luca Santinelli
,
Jérôme Morio
.
wcet 2017
:
[doi]
The Heptane Static Worst-Case Execution Time Estimation Tool
Damien Hardy
,
Benjamin Rouxel
,
Isabelle Puaut
.
wcet 2017
:
[doi]
The W-SEPT Project: Towards Semantic-Aware WCET Estimation
Claire Maiza
,
Pascal Raymond
,
Catherine Parent-Vigouroux
,
Armelle Bonenfant
,
Fabienne Carrier
,
Hugues Cassé
,
Philippe Cuenot
,
Denis Claraz
,
Nicolas Halbwachs
,
Erwan Jahier
,
Hanbing Li
,
Marianne De Michiel
,
Vincent Mussot
,
Isabelle Puaut
,
Christine Rochange
,
Erven Rohou
,
Jordy Ruiz
,
Pascal Sotin
,
Wei-Tsun Sun
.
wcet 2017
:
[doi]
Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling
Filip Markovic
,
Jan Carlson
,
Radu Dobrin
.
wcet 2017
:
[doi]
The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms
Vincent Nélis
,
Patrick Meumeu Yomsi
,
Luís Miguel Pinho
.
wcet 2017
:
[doi]
17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27, 2017, Dubrovnik, Croatia
Jan Reineke
, editor,
Volume 57 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2017.
[doi]
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling
Benjamin Rouxel
,
Isabelle Puaut
.
wcet 2017
:
[doi]
Best Practice for Caching of Single-Path Code
Martin Schoeberl
,
Bekim Cilku
,
Daniel Prokesch
,
Peter P. Puschner
.
wcet 2017
:
[doi]
Towards Multicore WCET Analysis
Simon Wegener
.
wcet 2017
:
[doi]
2016
Front Matter, Table of Contents, Preface, List of Authors, Committee
wcet 2016
:
[doi]
Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs
Boris Dreyer
,
Christian Hochberger
,
Alexander Lange
,
Simon Wegener
,
Alexander Weiss
.
wcet 2016
:
[doi]
Mitigating Software-Instrumentation Cache Effects in Measurement-Based Timing Analysis
Enrique Díaz
,
Jaume Abella
,
Enrico Mezzetti
,
Irune Agirre
,
Mikel Azkarate-askasua
,
Tullio Vardanega
,
Francisco J. Cazorla
.
wcet 2016
:
[doi]
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research
Heiko Falk
,
Sebastian Altmeyer
,
Peter Hellinckx
,
Björn Lisper
,
Wolfgang Puffitsch
,
Christine Rochange
,
Martin Schoeberl
,
Rasmus Bo Sorensen
,
Peter Wägemann
,
Simon Wegener
.
wcet 2016
:
[doi]
Employing MPI Collectives for Timing Analysis on Embedded Multi-Cores
Martin Frieb
,
Alexander Stegmeier
,
Jörg Mische
,
Theo Ungerer
.
wcet 2016
:
[doi]
Measurement-Based Timing Analysis of the AURIX Caches
Leonidas Kosmidis
,
Davide Compagnin
,
David Morales
,
Enrico Mezzetti
,
Eduardo Quiñones
,
Jaume Abella
,
Tullio Vardanega
,
Francisco J. Cazorla
.
wcet 2016
:
[doi]
Understanding Shared Memory Bank Access Interference in Multi-Core Avionics
Andreas Löfwenmark
,
Simin Nadjm-Tehrani
.
wcet 2016
:
[doi]
BEST: a Binary Executable Slicing Tool
Armel Mangean
,
Jean-Luc Béchennec
,
Mikaël Briday
,
Sébastien Faucou
.
wcet 2016
:
[doi]
Expressing and Exploiting Conflicts over Paths in WCET Analysis
Vincent Mussot
,
Jordy Ruiz
,
Pascal Sotin
,
Marianne De Michiel
,
Hugues Cassé
.
wcet 2016
:
[doi]
Eager Stack Cache Memory Transfers
Amine Naji
,
Florian Brandner
.
wcet 2016
:
[doi]
The Variability of Application Execution Times on a Multi-Core Platform
Vincent Nélis
,
Patrick Meumeu Yomsi
,
Luís Miguel Pinho
.
wcet 2016
:
[doi]
Parallel Real-Time Tasks, as Viewed by WCET Analysis and Task Scheduling Approaches
Christine Rochange
.
wcet 2016
:
[doi]
16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016, July 5, 2016, Toulouse, France
Martin Schoeberl
, editor,
Volume 55 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2016.
[doi]
Dynamic Branch Resolution Based on Combined Static Analyses
Wei-Tsun Sun
,
Hugues Cassé
.
wcet 2016
:
[doi]
2015
Front Matter, Table of Contents, Preface, Workshop Organization
wcet 2015
:
[doi]
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?
Sebastian Altmeyer
,
Björn Lisper
,
Claire Maiza
,
Jan Reineke
,
Christine Rochange
.
wcet 2015
:
65-74
[doi]
Context-sensitive Parametric WCET Analysis
Clément Ballabriga
,
Julien Forget
,
Giuseppe Lipari
.
wcet 2015
:
55-64
[doi]
A Framework to Quantify the Overestimations of Static WCET Analysis
Hugues Cassé
,
Haluk Ozaktas
,
Christine Rochange
.
wcet 2015
:
1-10
[doi]
15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden
Francisco J. Cazorla
, editor,
Volume 47 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2015.
[doi]
Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation
Boris Dreyer
,
Christian Hochberger
,
Simon Wegener
,
Alexander Weiss
.
wcet 2015
:
45-54
[doi]
Timing Analysis of Event-Driven Programs with Directed Testing
Mahdi Eslamimehr
,
Hesam Samimi
.
wcet 2015
:
21-31
[doi]
Analysing Switch-Case Code with Abstract Execution
Niklas Holsti
,
Jan Gustafsson
,
Linus Källberg
,
Björn Lisper
.
wcet 2015
:
85-94
[doi]
Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs
Jordy Ruiz
,
Hugues Cassé
.
wcet 2015
:
95-104
[doi]
Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System
Georg Wassen
,
Stefan Lankes
.
wcet 2015
:
75-84
[doi]
GenE: A Benchmark Generator for WCET Analysis
Peter Wägemann
,
Tobias Distler
,
Timo Hönig
,
Volkmar Sieh
,
Wolfgang Schröder-Preikschat
.
wcet 2015
:
33-43
[doi]
Software-enforced Interconnect Arbitration for COTS Multicores
Marco Ziccardi
,
Alessandro Cornaglia
,
Enrico Mezzetti
,
Tullio Vardanega
.
wcet 2015
:
11-20
[doi]
2014
Frontmatter, Contents, Welcome, List of Authors, Committee
wcet 2014
:
[doi]
Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
Sahar Abbaspour
,
Alexander Jordan
,
Florian Brandner
.
wcet 2014
:
83-92
[doi]
14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany
Heiko Falk
, editor,
Volume 39 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2014.
Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art
Gabriel Fernandez
,
Jaume Abella
,
Eduardo Quiñones
,
Christine Rochange
,
Tullio Vardanega
,
Francisco J. Cazorla
.
wcet 2014
:
31-42
[doi]
On Static Timing Analysis of GPU Kernels
Vesa Hirvisalo
.
wcet 2014
:
43-52
[doi]
Scope-Based Method Cache Analysis
Benedikt Huber
,
Stefan Hepp
,
Martin Schoeberl
.
wcet 2014
:
73-82
[doi]
Principles for Value Annotation Languages
Björn Lisper
.
wcet 2014
:
1-10
[doi]
A Formally Verified WCET Estimation Tool
André Maroneze
,
Sandrine Blazy
,
David Pichardie
,
Isabelle Puaut
.
wcet 2014
:
11-20
[doi]
The Challenge of Time-Predictability in Modern Many-Core Architectures
Vincent Nélis
,
Patrick Meumeu Yomsi
,
Luís Miguel Pinho
,
José Carlos Fonseca
,
Marko Bertogna
,
Eduardo Quiñones
,
Roberto Vargas
,
Andrea Marongiu
.
wcet 2014
:
63-72
[doi]
Towards Automated Generation of Time-Predictable Code
Daniel Prokesch
,
Benedikt Huber
,
Peter P. Puschner
.
wcet 2014
:
103-112
[doi]
On the Sustainability of the Extreme Value Theory for WCET Estimation
Luca Santinelli
,
Jérôme Morio
,
Guillaume Dufour
,
Damien Jacquemart
.
wcet 2014
:
21-30
[doi]
A Time-Predictable Memory Network-on-Chip
Martin Schoeberl
,
David Vh Chong
,
Wolfgang Puffitsch
,
Jens Sparsø
.
wcet 2014
:
53-62
[doi]
Identifying Relevant Parameters to Improve WCET Analysis
Jakob Zwirchmayr
,
Pascal Sotin
,
Armelle Bonenfant
,
Denis Claraz
,
Philippe Cuenot
.
wcet 2014
:
93-102
[doi]
2013
Frontmatter, Table of Contents, Preface, Workshop Organization
wcet 2013
:
[doi]
OASIcs, Volume 30, WCET'13, Complete Volume
wcet 2013
:
[doi]
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective
Mihail Asavoae
,
Claire Maiza
,
Pascal Raymond
.
wcet 2013
:
32-41
[doi]
The Auspicious Couple: Symbolic Execution and WCET Analysis
Armin Biere
,
Jens Knoop
,
Laura Kovács
,
Jakob Zwirchmayr
.
wcet 2013
:
53-63
[doi]
Multi-architecture Value Analysis for Machine Code
Hugues Cassé
,
Florian Birée
,
Pascal Sainrat
.
wcet 2013
:
42-52
[doi]
Upper-bounding Program Execution Time with Extreme Value Theory
Francisco J. Cazorla
,
Tullio Vardanega
,
Eduardo Quiñones
,
Jaume Abella
.
wcet 2013
:
64-76
[doi]
Static analysis of WCET in a satellite software subsystem
Jorge Garrido
,
Juan Zamorano
,
Juan Antonio de la Puente
.
wcet 2013
:
87-96
[doi]
PRADA: Predictable Allocations by Deferred Actions
Florian Haupenthal
,
Jörg Herter
.
wcet 2013
:
77-86
[doi]
Evaluation of resource arbitration methods for multi-core real-time systems
Timon Kelter
,
Tim Harde
,
Peter Marwedel
,
Heiko Falk
.
wcet 2013
:
1-10
[doi]
Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources
Leonidas Kosmidis
,
Tullio Vardanega
,
Jaume Abella
,
Eduardo Quiñones
,
Francisco J. Cazorla
.
wcet 2013
:
97-108
[doi]
13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France
Claire Maiza
, editor,
Volume 30 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2013.
Automatic WCET Analysis of Real-Time Parallel Applications
Haluk Ozaktas
,
Christine Rochange
,
Pascal Sainrat
.
wcet 2013
:
11-20
[doi]
Integrated Worst-Case Execution Time Estimation of Multicore Applications
Dumitru Potop-Butucaru
,
Isabelle Puaut
.
wcet 2013
:
21-31
[doi]
2012
An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis
Mohamed Abdel Maksoud
,
Jan Reineke
.
wcet 2012
:
13-24
[doi]
Sign in
or
sign up
to see more results.