@inproceedings{cassez-acsd-13,
  author    = {Franck Cassez and
               {Jean-Luc} Béchennec},
  title     = {Timing Analysis of Binary Programs with {UPPAAL}},
  booktitle = {13th International Conference on Application of Concurrency
               to System Design, ACSD 2013},
  year      = {2013},
  month = jul,
  pages     = {41-50},
    PUBLISHER = {IEEE Computer Society},
  urlpaper = {papers/acsd-2013.pdf},
  urlslides = {papers/slides-acsd-wcet-2013.pdf},
  doi       = {http://dx.doi.org/10.1109/ACSD.2013.7},
  mywebpage = {wcet},
  show = {},
  keywords = {wcet, timed automata},
  abstract = {
  We address the problem of computing accurate Worst-Case Execution Time (WCET). We propose a fully automatic and modular methodology based on program slicing and real-time model-checking. We have implemented our methodology and applied it to standard benchmarks. To further validate the approach, we also compare our results to the real execution times of the programs measured on a real board.
  },
      Type = {B - International Conferences},

}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% 2012
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{"_id":"WPKwjEnTJFf7kGnDa","bibbaseid":"cassez-bchennec-timinganalysisofbinaryprogramswithuppaal-2013","author_short":["Cassez, F.","Béchennec, J."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Jean-Luc"],"propositions":[],"lastnames":["Béchennec"],"suffixes":[]}],"title":"Timing Analysis of Binary Programs with UPPAAL","booktitle":"13th International Conference on Application of Concurrency to System Design, ACSD 2013","year":"2013","month":"July","pages":"41-50","publisher":"IEEE Computer Society","urlpaper":"papers/acsd-2013.pdf","urlslides":"papers/slides-acsd-wcet-2013.pdf","doi":"http://dx.doi.org/10.1109/ACSD.2013.7","mywebpage":"wcet","show":"","keywords":"wcet, timed automata","abstract":"We address the problem of computing accurate Worst-Case Execution Time (WCET). We propose a fully automatic and modular methodology based on program slicing and real-time model-checking. We have implemented our methodology and applied it to standard benchmarks. To further validate the approach, we also compare our results to the real execution times of the programs measured on a real board. ","bibtex":"@inproceedings{cassez-acsd-13,\n author = {Franck Cassez and\n {Jean-Luc} Béchennec},\n title = {Timing Analysis of Binary Programs with {UPPAAL}},\n booktitle = {13th International Conference on Application of Concurrency\n to System Design, ACSD 2013},\n year = {2013},\n month = jul,\n pages = {41-50},\n PUBLISHER = {IEEE Computer Society},\n urlpaper = {papers/acsd-2013.pdf},\n urlslides = {papers/slides-acsd-wcet-2013.pdf},\n doi = {http://dx.doi.org/10.1109/ACSD.2013.7},\n mywebpage = {wcet},\n show = {},\n keywords = {wcet, timed automata},\n abstract = {\n We address the problem of computing accurate Worst-Case Execution Time (WCET). We propose a fully automatic and modular methodology based on program slicing and real-time model-checking. We have implemented our methodology and applied it to standard benchmarks. To further validate the approach, we also compare our results to the real execution times of the programs measured on a real board.\n },\n Type = {B - International Conferences},\n\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n%%% 2012\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\n","author_short":["Cassez, F.","Béchennec, J."],"key":"cassez-acsd-13","id":"cassez-acsd-13","bibbaseid":"cassez-bchennec-timinganalysisofbinaryprogramswithuppaal-2013","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/acsd-2013.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-acsd-wcet-2013.pdf"},"keyword":["wcet","timed automata"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["qbqYFWskmoonRB43F","8742EsvjQfyP2fYBW","yYF8uwWqay28JyxZC"],"keywords":["wcet","timed automata"],"search_terms":["timing","analysis","binary","programs","uppaal","cassez","béchennec"],"title":"Timing Analysis of Binary Programs with UPPAAL","year":2013,"downloads":3}