| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andreas Gustavsson, Jan Gustafsson, Björn Lisper |
Toward Static Timing Analysis of Parallel Software.  |
WCET  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Abdel Maksoud, Jan Reineke 0001 |
An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Frontmatter, Table of Contents, Preface, Workshop Organization, List of Authors. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega |
A Time-composable Operating System. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Marref |
Evolutionary Techniques for Parametric WCET Analysis. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega (eds.) |
12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy |
WCET |
2012 |
DBLP BibTeX RDF |
|
| 1 | Simon Wegener |
Computing Same Block Relations for Relational Cache Analysis. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lisper |
Towards Parallel Programming Models for Predictability. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Huber, Daniel Prokesch, Peter P. Puschner |
A Formal Framework for Precise Parametric WCET Formulas. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen |
What is a Timing Anomaly?. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Betts, Nicholas Merriam, Guillem Bernat |
Hybrid measurement-based WCET analysis at the source level using object-level traces. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lisper |
Frontmatter, Preface, Table of Contents, Workshop Organization. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson |
Towards WCET Analysis of Multicore Architectures Using UPPAAL. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Huber, Peter P. Puschner |
A Code Policy Guaranteeing Fully Automated Path Analysis. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen |
METAMOC: Modular Execution Time Analysis using Model Checking. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Griffin 0002, Alan Burns 0001 |
Realism in Statistical Analysis of Worst Case Execution Times. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Gebhard |
Timing Anomalies Reloaded. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Stattelmann, Florian Martin 0001 |
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Grund, Jan Reineke 0001 |
Toward Precise PLRU Cache Analysis. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Wilhelm, Christoph Cullmann |
Integrating Abstract Caches with Symbolic Pipeline Analysis. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Marco Panunzio, Tullio Vardanega |
Bounding the Effects of Resource Access Protocols on Cache Behavior. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper |
The Mälardalen WCET Benchmarks: Past, Present And Future. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Souyris |
WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Herter, Sebastian Altmeyer |
Precomputing Memory Locations for Parametric Allocations. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes 0001, Julian Wolf 0002, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu |
WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lisper (eds.) |
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium |
WCET |
2010 |
DBLP BibTeX RDF |
|
| 1 | Clément Ballabriga, Hugues Cassé, Marianne De Michiel |
A Generic Framework for Blackbox Components in WCET Computation. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niklas Holsti |
WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg |
ALF - A Language for WCET Flow Analysis. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paul Keim, Amanda Noyes, Andrew Ferguson, Joshua Neal, Christopher A. Healy |
Extending the Path Analysis Technique to Obtain a Soft WCET. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan |
From Trusted Annotations to Verified Knowledge. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Schoeberl, Peter P. Puschner |
Is Chip-Multiprocessing the End of Real-Time Scheduling?. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Herter, Jan Reineke 0001 |
Making Dynamic Memory Allocation Static to Support WCET Analysis. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sascha Plazar, Paul Lokuciejewski, Peter Marwedel |
WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time Systems. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Petru Eles |
Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niklas Holsti (eds.) |
9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009 |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jeffery P. Hansen, Scott A. Hissam, Gabriel A. Moreno |
Statistical-Based WCET Estimation and Validation. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefana Nenova, Daniel Kästner |
Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Reineke 0001, Rathijit Sen |
Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Huber, Martin Schoeberl |
Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Lesage, Damien Hardy, Isabelle Puaut |
WCET Analysis of Multi-Level Set-Associative Data Caches. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Claire Burguière, Jan Reineke 0001, Sebastian Altmeyer |
Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm |
Teaching WCET Analysis in Academia and Industry: A Panel Discussion. |
WCET |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jack Whitham, Neil C. Audsley |
Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Clément Ballabriga, Hugues Cassé |
Improving the WCET computation time by IPET using control flow graph partitioning. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amine Marref, Guillem Bernat |
Towards Predicated WCET Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan Gustafsson, Andreas Ermedahl |
Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Altmeyer, Gernot Gebhard |
WCET Analysis for Preemptive Scheduling. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Zolda |
INFER: Interactive Timing Profiles based on Bayesian Networks. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Olivier Gilles, Jérôme Hugues |
Applying WCET Analysis at Architectural Level. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Adrian Prantl, Markus Schordan, Jens Knoop |
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Raimund Kirner (eds.) |
8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008 |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Peter P. Puschner, Martin Schoeberl |
On Composable System Timing, Task Timing, and WCET Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop |
Towards a Common WCET Annotation Language: Essential Ingredients. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Niklas Holsti |
Computing time as a program variable: a way around infeasible paths. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan |
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Bygde, Björn Lisper |
Towards an Automatic Parametric WCET Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Hickey, Diarmuid Early, Michel P. Schellekens |
A tool for average and worst-case execution time analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Raimund Kirner |
WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon |
Automatic Amortised Worst-Case Execution Time Analysis. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Niklas Holsti |
Analysing Switch-Case Tables by Partial Evaluation. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Wilhelm (eds.) |
5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan Gustafsson |
WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ingmar Stein, Florian Martin 0001 |
Analysis of path exclusion at the machine code level. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Johan Fredriksson, Thomas Nolte, Andreas Ermedahl, Mikael Nolin |
Clustering Worst-Case Execution Times for Software Components. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christine Rochange (eds.) |
7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007 |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser |
Measurements or Static Analysis or Both?. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel |
WCET Analysis: The Annotation Language Challenge. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Liang Yun, Abhik Roychoudhury, Tulika Mitra |
Timing Analysis of Body Area Network Applications. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marc Schlickling, Markus Pister 0002 |
A Framework for Static Analysis of VHDL Code. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christine Rochange |
WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephan Wilhelm, Björn Wachter |
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane |
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christoph Cullmann, Florian Martin 0001 |
Data-Flow Based Detection of Loop Bounds. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christoph Berg |
PLRU Cache Domino Effects. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann 0001, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace |
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jan Gustafsson, Andreas Ermedahl, Björn Lisper |
Algorithms for Infeasible Path Calculation. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Claire Burguière, Christine Rochange |
History-based Schemes and Implicit Path Enumeration. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heiko Falk, Martin Schwarzer |
Loop Nest Splitting for WCET-Optimization and Predictability Improvement. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Djemai Kebbal, Pascal Sainrat |
Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heiko Falk, Paul Lokuciejewski, Henrik Theiling |
Design of a WCET-Aware C Compiler. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Raimund Kirner, Markus Grössing, Peter P. Puschner |
Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jan Reineke 0001, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker 0001 |
A Definition and Classification of Timing Anomalies. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Mueller 0001 |
2006 WCET Preface - Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06). |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon Schliecker, Matthias Ivers, Jan Staschulat, Rolf Ernst |
A Framework for the Busy Time Calculation of Multiple Correlated Events. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Mueller 0001 |
2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Mueller 0001 (eds.) |
6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel |
PapaBench: a Free Real-Time Benchmark. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nicky Williams |
WCET measurment using midified path testing. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark, Niklas Holsti |
Using a WCET Analysis Tool in Real-Time Systems Education. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephan Wilhelm |
Efficient Analysis of Pipeline Models for WCET Computation. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra |
Exploiting Branch Constraints without Exhaustive Path Enumeration. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Experiences from Industrial WCET Analysis Case Studies. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Wilhelm |
2005 WCET Preface - Message from the Workshop Chair. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jan Staschulat, Simon Schliecker, Matthias Ivers, Rolf Ernst |
Analysis of Memory Latencies in Multi-Processor Systems. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Raimund Kirner, Peter P. Puschner |
Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Deverge, Isabelle Puaut |
Safe measurement-based WCET estimation. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Adam Betts, Guillem Bernat |
Issues using the Nexus Interface for Measurement-Based WCET Analysis. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley |
Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. |
WCET |
2003 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license