Jean-Luc Béchennec & Franck Cassez (2011):
Computation of WCET using Program Slicing and Real-Time Model-Checking.
CoRR abs/1105.1633.
Available at http://arxiv.org/abs/1105.1633.
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi & Martijn Hendriks (2006):
UPPAAL 4.0.
In: QEST.
IEEE Computer Society,
pp. 125–126.
Available at http://doi.ieeecomputersociety.org/10.1109/QEST.2006.59.
Franck Cassez (2011):
Timed Games for Computing WCET for Pipelined Processors with Caches.
In: 11th International Conference on Application of Concurrency to System Design, ACSD 2011.
IEEE Computer Society,
pp. 195–204.
Available at http://dx.doi.org/10.1109/ACSD.2011.15.
Franck Cassez & Jean-Luc Béchennec (2013):
Timing Analysis of Binary Programs with UPPAAL.
In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013.
IEEE Computer Society,
pp. 41–50.
Available at http://dx.doi.org/10.1109/ACSD.2013.7.
Franck Cassez, René Rydhof Hansen & Mads Chr. Olesen (2012):
What is a Timing Anomaly?.
In: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy,
OASICS 23.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 1–12.
Available at http://dx.doi.org/10.4230/OASIcs.WCET.2012.1.
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen & Kim Guldstrand Larsen (2010):
METAMOC: Modular Execution Time Analysis using Model Checking.
In: Björn Lisper: WCET,
OASICS 15.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
pp. 113–123.
Available at http://dx.doi.org/10.4230/OASIcs.WCET.2010.113.
Andreas Engelbredt Dalsgaard, Mads Christian Olesen & Martin Toft (2009):
Modular Execution Time Analysis using Model Checking.
Dpt. of Computer Science, Aalborg University, Denmark.
Matthias Heizmann, Jochen Hoenicke & Andreas Podelski (2009):
Refinement of Trace Abstraction.
In: Jens Palsberg & Zhendong Su: SAS,
Lecture Notes in Computer Science 5673.
Springer,
pp. 69–85.
Available at http://dx.doi.org/10.1007/978-3-642-03237-0_7.
Matthias Heizmann, Jochen Hoenicke & Andreas Podelski (2013):
Software Model Checking for People Who Love Automata.
In: Natasha Sharygina & Helmut Veith: CAV,
Lecture Notes in Computer Science 8044.
Springer,
pp. 36–52.
Available at http://dx.doi.org/10.1007/978-3-642-39799-8_2.
Mälardalen WCET Research Group:
WCET Project – Benchmarks..
http://www.mrtc.mdh.se/projects/wcet/benchmarks.html.
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat & Per Stenström (2008):
The Worst-Case Execution-Time Problem - Overview of Methods and Survey of Tools.
ACM Trans. Embedded Comput. Syst. 7(3).
Available at http://doi.acm.org/10.1145/1347375.1347389.