Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Liang Yun, Abhik Roychoudhury, Tulika Mitra |
Timing Analysis of Body Area Network Applications. |
WCET |
2007 |
DBLP BibTeX RDF |
|
37 | Marc Schlickling, Markus Pister 0002 |
A Framework for Static Analysis of VHDL Code. |
WCET |
2007 |
DBLP BibTeX RDF |
|
37 | Christoph Cullmann, Florian Martin 0001 |
Data-Flow Based Detection of Loop Bounds. |
WCET |
2007 |
DBLP BibTeX RDF |
|
37 | Frank Mueller 0001 (eds.) |
6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | Christoph Berg |
PLRU Cache Domino Effects. |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | Jan Gustafsson, Andreas Ermedahl, Björn Lisper |
Algorithms for Infeasible Path Calculation. |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | Claire Burguière, Christine Rochange |
History-based Schemes and Implicit Path Enumeration. |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | Djemai Kebbal, Pascal Sainrat |
Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | 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 |
|
37 | Simon Schliecker, Matthias Ivers, Jan Staschulat, Rolf Ernst |
A Framework for the Busy Time Calculation of Multiple Correlated Events. |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel |
PapaBench: a Free Real-Time Benchmark. |
WCET |
2006 |
DBLP BibTeX RDF |
|
37 | Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra |
Exploiting Branch Constraints without Exhaustive Path Enumeration. |
WCET |
2005 |
DBLP BibTeX RDF |
|
37 | Jan Staschulat, Simon Schliecker, Matthias Ivers, Rolf Ernst |
Analysis of Memory Latencies in Multi-Processor Systems. |
WCET |
2005 |
DBLP BibTeX RDF |
|
37 | 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 |
|
37 | Jan Gustafsson (eds.) |
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1, 2003 |
WCET |
2003 |
DBLP BibTeX RDF |
|
37 | Christer Sandberg |
Elimination of Unstructured Loops in Flow Analysis. |
WCET |
2003 |
DBLP BibTeX RDF |
|
37 | Björn Lisper |
Fully Automatic, Parametric Worst-Case Execution Time Analysis. |
WCET |
2003 |
DBLP BibTeX RDF |
|
37 | Paulo Abadie Guedes, Sérgio Vanderlei Cavalcante |
On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation. |
WCET |
2003 |
DBLP BibTeX RDF |
|
37 | Vicente Lorente Garcés, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes, Alfons Crespo |
Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code. |
WCET |
2003 |
DBLP BibTeX RDF |
|
35 | Zhenyu Bai |
Modélisation du comportement temporel du pipeline pour le calcul de WCET. (Pipeline Temporal Behavior Modeling for WCET Computation). |
|
2023 |
RDF |
|
35 | Vincent Mussot |
Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET. (Flow fact automata for the expression and the integration of properties in WCET analysis). |
|
2016 |
RDF |
|
35 | Hanbing Li |
Extraction and traceability of annotations for WCET estimation. (Extraction et traçabilité d'annotations pour l'estimation de WCET). |
|
2015 |
RDF |
|
35 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. |
RTNS |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Rodolfo Pellizzoni, Marco Caccamo |
Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Real-time resource management, components-off-the-shelf, WCET estimation, system integration |
34 | Paul Lokuciejewski, Timon Kelter, Peter Marwedel |
Superblock-Based Source Code Optimizations for WCET Reduction. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Optimizations, Embedded Systems, Real-Time, Compiler, WCET, Superblock |
34 | Ghaith Haddad, Faraz Hussain 0001, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
34 | Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero |
Hardware support for WCET analysis of hard real-time multicore systems. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability |
34 | Jack Whitham, Neil C. Audsley, Martin Schoeberl |
Using hardware methods to improve time-predictable performance in real-time Java systems. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Christof Pitter |
Time-predictable memory arbitration for a Java chip-multiprocessor. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
Java, chip-multiprocessor, shared memory, worst-case execution time |
34 | Harini Ramaprasad, Frank Mueller 0001 |
Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
real-time, timing analysis, data cache |
34 | Christof Pitter, Martin Schoeberl |
Time Predictable CPU and DMA Shared Memory Access. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada |
Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Nadia Bel Hadj Aissa, Gilles Grimaud, Vincent Bénony |
Bringing Worst Case Execution Time Awareness to an Open Smart Card OS. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Lili Tan |
The Worst Case Execution Time Tool Challenge 2006: The External Test. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Harini Ramaprasad, Frank Mueller 0001 |
Tightening the Bounds on Feasible Preemption Points. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Chunjie Duan, Sunil P. Khatri |
Computing during supply voltage switching in DVS enabled real-time processors. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Lars Wehmeyer, Peter Marwedel |
Influence of Memory Hierarchies on Predictability for Time Constrained Embedded Software. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Harini Ramaprasad, Frank Mueller 0001 |
Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Kaustubh Patil, Kiran Seth, Frank Mueller 0001 |
Compositional static instruction cache simulation. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, caches, worst-case execution time |
34 | Frank Mueller 0001 |
Timing Analysis: In Search of Multiple Paradigms. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Aravindh Anantaraman, Kiran Seth, Eric Rotenberg, Frank Mueller 0001 |
Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA). |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Raimund Kirner, Peter P. Puschner |
Timing Analysis of Optimised Code. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages |
34 | Iain Bate, Guillem Bernat, Peter P. Puschner |
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner |
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Jan Gustafsson |
Worst Case Execution Time Analysis of Object-Oriented Programs. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, Object-oriented programming, worst case execution time |
34 | Guillem Bernat, Alan Burns 0001, Andy J. Wellings |
Portable worst-case execution time analysis using Java Byte Code. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Peter Altenbernd, Lars-Olof Burchard, Friedhelm Stappert |
Worst-case execution times analysis of MPEG-2 decoding. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Tai-Yi Huang, Jane W.-S. Liu, Jen-Yao Chung |
Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
cycle-stealing direct memory access, I/O concurrent, hard-real-time programs, bus cycles, straight-line sequence, cycle-stealing operations, real-time systems, fault tolerant computing, worst-case execution time, schedulability analysis, file organisation |
34 | Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim |
An Accurate Worst Case Timing Analysis for RISC Processors. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
pipelined execution, real-time system, Cache memory, worst case execution time, RISC processor |
29 | Stephan Wilhelm, Björn Wachter |
Symbolic state traversal for WCET analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models |
29 | Jack Whitham, Neil C. Audsley |
Forming Virtual Traces for WCET Analysis and Reduction. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Jun Yan 0008, Wei Zhang 0002 |
WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel |
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. |
WISES |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Jean-François Deverge, Isabelle Puaut |
WCET-Directed Dynamic Scratchpad Memory Allocation of Data. |
ECRTS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Guowei Wu, Kai Yao 0001 |
A Graph-Theory Algorithm for WCET Estimation. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Isabelle Puaut |
WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems. |
ECRTS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann |
New Developments in WCET Analysis. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Mengluo Ji, Xin Wang, Zhichang Qi |
Trace Acquirement from Real-Time Systems Based on WCET Analysis. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min |
A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor. |
SCOPES |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Reinhard Wilhelm |
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Guillem Bernat, Antoine Colin, Stefan M. Petters |
WCET Analysis of Probabilistic Hard Real-Time System. |
RTSS |
2002 |
DBLP DOI BibTeX RDF |
worst case execution time, probabilistic analysis, hard real-time, execution profiles |
29 | Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin 0001, Michael Schmidt 0007, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
Reliable and Precise WCET Determination for a Real-Life Processor. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jun Yan 0008, Wei Zhang 0002 |
A time-predictable VLIW processor and its compiler support. |
Real Time Syst. |
2008 |
DBLP DOI BibTeX RDF |
if-conversion, Compiler, VLIW, WCET analysis, Time-predictability |
29 | Mark Bartlett, Iain Bate, Dimitar Kazakov |
Challenges in Relational Learning for Real-Time Systems Applications. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
Efficiency, Symmetry, Lazy Learning, Worst Case Execution Time (WCET), Inductive Logic Programming (ILP) |
29 | ZhiLei Chai, Wenke Zhao, Wenbo Xu 0001 |
Real-time Java processor optimized for RTSJ. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
Real-time Java platform, Real-time Java processor, Java Virtual Machine (JVM), Real-time specification for Java (RTSJ), Worst Case Execution Time (WCET) |
29 | ZhiLei Chai, ZhiQiang Tang, LiMing Wang, Shi-liang Tu |
An Effective Instruction Optimization Method for Embedded Real-Time Java Processor. |
ICPP Workshops |
2005 |
DBLP DOI BibTeX RDF |
Embedded Real-time Java Processor, Instruction Optimization, WCET (Worst Case Execution Time), Java Processor |
29 | Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings |
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
Portable WCET Analysis, Java, Hard Real-Time Systems, Real-Time Java, Worst-Case Execution Time Analysis |
29 | Jakob Engblom, Andreas Ermedahl |
Pipeline Timing Analysis Using a Trace-Driven Simulator. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
pipeline analysis, embedded systems, WCET, hard real-time |
23 | Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber |
Towards Time-Predictable Data Caches for Chip-Multiprocessors. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Albert Mo Kim Cheng, Yan Wang |
A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. |
J. Signal Process. Syst. |
2008 |
DBLP DOI BibTeX RDF |
dynamic workloads, scheduling, real-time systems, dynamic voltage scaling (DVS), power-aware computing |
23 | Clément Ballabriga, Hugues Cassé |
Improving the First-Miss Computation in Set-Associative Instruction Caches. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Sanjoy K. Baruah, Steve Vestal |
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner |
Measurement-Based Timing Analysis. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Florian Franz |
Experiences with Evolutionary Timing Test of Automotive Software Components. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Sanjit A. Seshia, Alexander Rakhlin |
Game-theoretic timing analysis. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer |
Exploiting spare resources of in-order SMT processors executing hard real-time threads. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen |
Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. |
VLSI Design |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ahmed Abdallah, Wayne H. Wolf, Graham R. Hellestrand |
Statistical characterization of execution time through simulation. |
WISES |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Kästner |
Safe worst-case execution time analysis by abstract interpretation of executable code. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt |
Contract-Based ReusableWorst-Case Execution Time Estimate. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Preußer, Martin Zabel, Rainer G. Spallek |
Bump-pointer method caching for embedded Java processors. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
method cache, Java |
23 | Rony Ghattas, Gregory S. Parsons, Alexander G. Dean |
Optimal Unified Data Allocation and Task Scheduling for Real-Time Multi-Tasking Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Raimund Kirner, Martin Schoeberl |
Modeling the Function Cache for Worst-Case Execution Time Analysis. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner |
Code Analysis for Temporal Predictability. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages |
23 | Martin Schoeberl |
A time predictable Java processor. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
23 | ZhiLei Chai, Wenbo Xu 0001, Shi-liang Tu, Zhang-long Chen |
Implementing Predictable Scheduling in RTSJ-Based Java Processor. |
International Conference on Computational Science (1) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Björn Lisper |
Trends in Timing Analysis. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
Real-time System, Program Analysis, Timing Analysis |
23 | Shaoxiong Hua, Pushkin R. Pari, Gang Qu 0001 |
Dual-Processor Design of Energy Efficient Fault-Tolerant System. |
ASAP |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner |
Automatic Timing Model Generation by CFG Partitioning and Model Checking. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner |
Measurement-Based Worst-Case Execution Time Analysis. |
SEUS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Sibin Mohan, Frank Mueller 0001, William Hawkins, Michael Root, Christopher A. Healy, David B. Whalley |
ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jan Gustafsson, Andreas Ermedahl, Björn Lisper |
Towards a Flow Analysis for Embedded System C Programs. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Martin Schoeberl |
A Time Predictable Instruction Cache for a Java Processor. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Peter P. Puschner |
Hard Real-Time Programming is Different. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Janosch Fauster, Raimund Kirner, Peter P. Puschner |
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner |
Input-Dependency Analysis for Hard Real-Time Software. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Reinhard Wilhelm |
Run-Time Guarantees for Real-Time Systems. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Xianfeng Li, Tulika Mitra, Abhik Roychoudhury |
Accurate timing analysis by modeling caches, speculation and their interaction. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
cache, worst case execution time, branch prediction |
23 | Christopher A. Healy, David B. Whalley |
Automatic Detection and Exploitation of Branch Constraints for Timing Analysis. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
best-case execution time, branch constraints, Real-time systems, timing analysis, worst-case execution time, infeasible paths |