Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou |
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner |
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. |
DASC/PiCom/DataCom/CyberSciTech |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yijie Huangfu, Wei Zhang 0002 |
WCET analysis of the shared data cache in integrated CPU-GPU architectures. |
HPEC |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yooseong Kim |
WCET-Aware Scratchpad Memory Management for Hard Real-Time Systems. |
|
2017 |
RDF |
|
17 | Michael Zolda, Raimund Kirner |
Calculating WCET estimates from timed traces. |
Real Time Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Morteza Mohajjel Kafshdooz, Mohammadkazem Taram, Sepehr Assadi, Alireza Ejlali |
A Compile-Time Optimization Method for WCET Reduction in Real-Time Embedded Systems through Block Formation. |
ACM Trans. Archit. Code Optim. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Marvin Damschen, Lars Bauer, Jörg Henkel |
Extending the WCET Problem to Optimize for Runtime-Reconfigurable Processors. |
ACM Trans. Archit. Code Optim. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton |
Hierarchical timed abstract state machines for WCET estimation. |
Int. J. Crit. Comput. Based Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Guochang Zhou, Baolong Guo, Xiang Gao, Jian Wang, Yunyi Yan |
基于分布函数的WCET快速估计 (Fast Estimation of WCET Based on Distribution Function). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Fanqi Meng, Xiaohong Su, Zhaoyang Qu |
Nonlinear approach for estimating WCET during programming phase. |
Clust. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Ravindra Metta, Martin Becker 0001, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh 0001 |
TIC: a scalable model checking based approach to WCET estimation. |
LCTES |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Michael Jacobs 0002, Sebastian Hahn 0001, Sebastian Hack |
A Framework for the Derivation of WCET Analyses for Multi-core Processors. |
ECRTS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Niklas Krafczyk, Heinz Riener, Görschwin Fey |
WCET overapproximation for software in the context of a Cyber-Physical System. |
VLSI-SoC |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Damien Hardy, Isabelle Puaut, Yiannakis Sazeides |
Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. |
DATE |
2016 |
DBLP BibTeX RDF |
|
17 | Xuesong Su, Hui Wu 0001, Qing Yang 0001 |
An Efficient WCET-Aware Hybrid Global Branch Prediction Approach. |
RTCSA |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Sewell, Felix Kam, Gernot Heiser |
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. |
RTAS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Bingbing Fang, Guoqiang Li 0001, Daniel Sun 0004, Hongming Cai |
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. |
SETTA |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Natasa Sukur, Nemanja Milosevic, Sasa Pesic, Jozef Kolek, Gordana Rakic, Zoran Budimac |
First Results of WCET Estimation in SSQSA Framework. |
SQAMIA |
2016 |
DBLP BibTeX RDF |
|
17 | Michael Mendler, Partha S. Roop, Bruno Bodin |
A Novel WCET Semantics of Synchronous Programs. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella 0001, Francisco J. Cazorla |
A confidence assessment of WCET estimates for software time randomized caches. |
INDIN |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Zhu Wang, Zonghua Gu 0001, Zili Shao |
WCET-Aware Energy-Efficient Data Allocation on Scratchpad Memory for Real-Time Embedded Systems. |
IEEE Trans. Very Large Scale Integr. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Bojan Nokovic, Emil Sekerinski |
Model-based WCET Analysis with Invariants. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yazhi Huang, Mengying Zhao, Chun Jason Xue |
Joint WCET and Update Activity Minimization for Cyber-Physical Systems. |
ACM Trans. Embed. Comput. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wenguang Zheng, Hui Wu 0001 |
WCET-Aware Dynamic D-cache Locking for A Single Task. |
LCTES |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Michael Jacobs 0002, Sebastian Hahn 0001, Sebastian Hack |
WCET analysis for multi-core processors with shared buses and event-driven bus arbitration. |
RTNS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer |
WCET analysis in shared resources real-time systems with TDMA buses. |
RTNS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Renato Mancuso 0001, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha, Heechul Yun |
WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence. |
ECRTS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Puffitsch |
Persistence-based branch misprediction bounds for WCET analysis. |
SAC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho |
Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures. |
DSD |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Arno Luppold, Heiko Falk |
Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. |
SCOPES |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Jaume Abella 0001, Carles Hernández 0001, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez 0001, Enrico Mezzetti, Tullio Vardanega |
WCET analysis methods: Pitfalls and challenges on their trustworthiness. |
SIES |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hanbing Li, Isabelle Puaut, Erven Rohou |
Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. |
RTCSA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Mussot, Pascal Sotin |
Improving WCET Analysis Precision through Automata Product. |
RTCSA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Fuyang Li, Mengying Zhao, Chun Jason Xue |
C3: Cooperative Code Positioning and Cache Locking for WCET Minimization. |
RTCSA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhenkai Zhang, Xenofon D. Koutsoukos |
Precise Multi-level Inclusive Cache Analysis for WCET Estimation. |
RTSS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhenkai Zhang, Xenofon D. Koutsoukos |
Top-down and bottom-up multi-level cache analysis for WCET estimation. |
RTAS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yaroub Elloumi, Mohamed Akil, Mohamed Hedi Bedoui |
WCET nested-loop minimization in terms of instruction-level-parallelism. |
HPCS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Karila Palma Silva, Renan Augusto Starke, Rômulo Silva de Oliveira |
Value analysis for the determination of memory instruction latency in a WCET tool. |
INDIN |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Arthur Pyka, Pavel G. Zaykov, Hugues Cassé, Haluk Ozaktas, Christine Rochange, Sascha Uhrig |
Case study: Performance and WCET analysis for parallelised avionic applications with ODC2. |
INDIN |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhi-Hua Gan, Zhi-Min Gu |
WCET-Aware Task Assignment and Cache Partitioning for WCRT Minimization on Multi-core Systems. |
PAAP |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Emilio Wuerges |
WCET-aware prefetching of unlocked instruction caches. |
|
2015 |
RDF |
|
17 | Timon Kelter |
WCET analysis and optimization for multi-core real-time systems. |
|
2015 |
RDF |
|
17 | Mohamed Abdel Maksoud |
Processor pipelines in WCET analysis. |
|
2015 |
RDF |
|
17 | Zonghua Gu 0001, Chao Wang 0097, Ming Zhang 0018, Zhaohui Wu 0001 |
WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems. |
IEEE Trans. Ind. Electron. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yazhi Huang, Liang Shi, Jianhua Li 0003, Qing'an Li, Chun Jason Xue |
WCET-Aware Re-Scheduling Register Allocation for Real-Time Embedded Systems With Clustered VLIW Architecture. |
IEEE Trans. Very Large Scale Integr. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Peter Munk, Jan Richling |
Migration-aware WCET estimation for heterogeneous multi-cores. |
SIGBED Rev. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sudipta Chattopadhyay 0001, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk |
A Unified WCET analysis framework for multicore platforms. |
ACM Trans. Embed. Comput. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Nan Guan, Mingsong Lv, Wang Yi 0001, Ge Yu 0001 |
WCET analysis with MRU cache: Challenging LRU for predictability. |
ACM Trans. Embed. Comput. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Metzlaff, Theo Ungerer |
A comparison of instruction memories from the WCET perspective. |
J. Syst. Archit. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Wenguang Zheng, Hui Wu 0001 |
WCET: aware dynamic instruction cache locking. |
LCTES |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jack Whitham, Martin Schoeberl |
WCET-Based Comparison of an Instruction Scratchpad and a Method Cache. |
ISORC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Timon Kelter, Hendrik Borghorst, Peter Marwedel |
WCET-aware scheduling optimizations for multi-core real-time systems. |
ICSAMOS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jamie Garside, Neil C. Audsley |
WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Hanbing Li, Isabelle Puaut, Erven Rohou |
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Hardik Shah, Kai Huang 0001, Alois C. Knoll |
The Priority Division Arbiter for low WCET and high Resource Utilization in Multi-core Architectures. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Hardik Shah, Andrew Coombes, Andreas Raabe, Kai Huang 0001, Alois C. Knoll |
Measurement based WCET Analysis for Multi-core Architectures. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Abdel Maksoud, Jan Reineke 0001 |
A Compiler Optimization to Increase the Efficiency of WCET Analysis. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez |
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Kostiantyn Berezovskyi, Luca Santinelli, Konstantinos Bletsas, Eduardo Tovar |
WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels. |
RTNS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt 0007 |
Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. |
ECRTS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jaume Abella 0001, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco J. Cazorla |
On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. |
ECRTS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jan Nowotsch, Michael Paulitsch, Arne Henrichsen, Werner Pongratz, Andreas Schacht |
Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Huping Ding, Yun Liang 0001, Tulika Mitra |
WCET-Centric dynamic instruction cache locking. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Jordan |
Evaluating and estimating the WCET criticality metric. |
ODES@CGO |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Timon Kelter, Peter Marwedel |
Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Björn Lisper |
SWEET - A Tool for WCET Flow Analysis (Extended Abstract). |
ISoLA (2) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | José Luis March, Salvador Petit, Julio Sahuquillo, Houcine Hassan, José Duato |
Dynamic WCET Estimation for Real-Time Multicore Embedded Systems Supporting DVFS. |
HPCC/CSS/ICESS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yiqiang Ding, Wei Zhang 0002 |
WCET analysis of static NUCA caches. |
IPCCC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Haluk Ozaktas, Christine Rochange, Pascal Sainrat |
Minimizing the cost of synchronisations in the WCET of real-time parallel programs. |
SCOPES |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Chen-Wei Huang, Timon Kelter, Bjoern Boenninghoff, Jan C. Kleinsorge, Michael Engel, Peter Marwedel, Shiao-Li Tsao |
Static WCET analysis of the H.264/AVC decoder exploiting coding information. |
RTCSA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yooseong Kim, David Broman, Jian Cai 0001, Aviral Shrivastava |
WCET-aware dynamic code management on scratchpads for Software-Managed Multicores. |
RTAS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir-Alexandru Paun |
Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems. (Détermination des pire-temps d'exécution (WCET) pour des plateformes embarquées par analyse statique). |
|
2014 |
RDF |
|
17 | Rolf Frantz |
Where to go for WCET information [Certification Corner]. |
IEEE Commun. Mag. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jonghun Yoo, Jaesoo Lee, Seongsoo Hong |
Petri Net-Based FTL Architecture for Parametric WCET Estimation via FTL Operation Sequence Derivation. |
IEEE Trans. Computers |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa |
Practical experiences of applying source-level WCET flow analysis to industrial code. |
Int. J. Softw. Tools Technol. Transf. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yiqiang Ding, Wei Zhang 0002 |
Counter-Based Approaches for Efficient WCET Analysis of Multicore Processors with Shared Caches. |
J. Comput. Sci. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jianli Li, Jingling Xue, Xinwei Xie, Qing Wan, Qingping Tan, Lanfang Tan |
Epipe: A low-cost fault-tolerance technique considering WCET constraints. |
J. Syst. Archit. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ruben Gran Tejero, Juan Segarra, Clemente Rodríguez, Luis C. Aparicio, Víctor Viñals |
Optimizing a combined WCET-WCEC problem in instruction fetching for real-time systems. |
J. Syst. Archit. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Benedikt Huber, Daniel Prokesch, Peter P. Puschner |
Combined WCET analysis of bitcode and machine code using control-flow relation graphs. |
LCTES |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sandrine Blazy, André Maroneze, David Pichardie |
Formal Verification of Loop Bound Estimation for WCET Analysis. |
VSTTE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard |
The T-CREST approach of compiler and WCET-analysis integration. |
ISORC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Adam Betts, Alastair F. Donaldson |
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. |
ECRTS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi 0001 |
FIFO cache analysis for WCET estimation: a quantitative approach. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yazhi Huang, Mengying Zhao, Chun Jason Xue |
WUCC: Joint WCET and Update Conscious Compilation for cyber-physical systems. |
ASP-DAC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange |
Hardware architecture specification and constraint-based WCET computation. |
SIES |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mihail Asavoae, Irina Mariuca Asavoae |
On the Modular Integration of Abstract Semantics for WCET Analysis. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Abhijeet Banerjee, Sudipta Chattopadhyay 0001, Abhik Roychoudhury |
Precise micro-architectural modeling for WCET analysis via AI+SAT. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Bygde |
Parametric WCET Analysis. |
|
2013 |
RDF |
|
17 | Hardik Shah, Andreas Raabe, Alois C. Knoll |
Dynamic Priority Queue: An SDRAM Arbiter With Bounded Access Latencies for Tight WCET Calculation |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Yiqiang Ding, Wei Zhang 0002 |
Multicore-Aware Code Co-Positioning to Reduce WCET on Dual-Core Processors with Shared Instruction Caches. |
J. Comput. Sci. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yazhi Huang, Mengying Zhao, Chun Jason Xue |
WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture. |
LCTES |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Qing Wan, Hui Wu 0001, Jingling Xue |
WCET-aware data selection and allocation for scratchpad memory. |
LCTES |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
FFX: a portable WCET annotation language. |
RTNS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Metzlaff, Theo Ungerer |
Replacement Policies for a Function-Based Instruction Memory: A Quantification of the Impact on Hardware Complexity and WCET Estimates. |
ECRTS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hardik Shah, Andreas Raabe, Alois C. Knoll |
Bounding WCET of applications using SDRAM with Priority Based Budget Scheduling in MPSoCs. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Sascha Plazar, Jan C. Kleinsorge, Peter Marwedel, Heiko Falk |
WCET-aware static locking of instruction caches. |
CGO |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Raimund Kirner |
The WCET Analysis Tool CalcWcet167. |
ISoLA (2) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Metzlaff, Theo Ungerer |
Impact of Instruction Cache and Different Instruction Scratchpads on the WCET Estimate. |
HPCC-ICESS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dakshina Dasari, Vincent Nélis |
An Analysis of the Impact of Bus Contention on the WCET in Multicores. |
HPCC-ICESS |
2012 |
DBLP DOI BibTeX RDF |
|