@inproceedings{cassez-mars-2015,
  author    = {Franck Cassez and
               Pablo Gonz{\'{a}}lez de Aledo Marug{\'{a}}n},
  title     = {Timed Automata for Modelling Caches and Pipelines},
  booktitle = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
               {MARS} 2015, Suva, Fiji, November 23, 2015.},
  pages     = {37--45},
  year      = {2015},
   editor    = {Rob J. van Glabbeek and
               Jan Friso Groote and
               Peter H{\"{o}}fner},
                series    = {{EPTCS}},
  volume    = {196},
  year      = {2015},
  url_link       = {http://dx.doi.org/10.4204/EPTCS.196.4},
    urlslides = {papers/slides-mars-2015.pdf},
  doi       = {10.4204/EPTCS.196.4},
  category= {wcet},
  mywebpage = {wcet},
  show = {},
  keywords = {wcet, timed automata},
  abstract = {
  In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques.
  },
  Type = {B - International Conferences},
}

{"_id":"2s6m6LFRQ9o6BnacL","bibbaseid":"cassez-dealedomarugn-timedautomataformodellingcachesandpipelines-2015","author_short":["Cassez, F.","de Aledo Marugán, P. G."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Pablo","González"],"propositions":["de"],"lastnames":["Aledo","Marugán"],"suffixes":[]}],"title":"Timed Automata for Modelling Caches and Pipelines","booktitle":"Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.","pages":"37–45","year":"2015","editor":[{"firstnames":["Rob","J."],"propositions":["van"],"lastnames":["Glabbeek"],"suffixes":[]},{"firstnames":["Jan","Friso"],"propositions":[],"lastnames":["Groote"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Höfner"],"suffixes":[]}],"series":"EPTCS","volume":"196","url_link":"http://dx.doi.org/10.4204/EPTCS.196.4","urlslides":"papers/slides-mars-2015.pdf","doi":"10.4204/EPTCS.196.4","category":"wcet","mywebpage":"wcet","show":"","keywords":"wcet, timed automata","abstract":"In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques. ","bibtex":"@inproceedings{cassez-mars-2015,\n author = {Franck Cassez and\n Pablo Gonz{\\'{a}}lez de Aledo Marug{\\'{a}}n},\n title = {Timed Automata for Modelling Caches and Pipelines},\n booktitle = {Proceedings Workshop on Models for Formal Analysis of Real Systems,\n {MARS} 2015, Suva, Fiji, November 23, 2015.},\n pages = {37--45},\n year = {2015},\n editor = {Rob J. van Glabbeek and\n Jan Friso Groote and\n Peter H{\\\"{o}}fner},\n series = {{EPTCS}},\n volume = {196},\n year = {2015},\n url_link = {http://dx.doi.org/10.4204/EPTCS.196.4},\n urlslides = {papers/slides-mars-2015.pdf},\n doi = {10.4204/EPTCS.196.4},\n category= {wcet},\n mywebpage = {wcet},\n show = {},\n keywords = {wcet, timed automata},\n abstract = {\n In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques.\n },\n Type = {B - International Conferences},\n}\n\n","author_short":["Cassez, F.","de Aledo Marugán, P. G."],"editor_short":["van Glabbeek, R. J.","Groote, J. F.","Höfner, P."],"key":"cassez-mars-2015","id":"cassez-mars-2015","bibbaseid":"cassez-dealedomarugn-timedautomataformodellingcachesandpipelines-2015","role":"author","urls":{" link":"http://dx.doi.org/10.4204/EPTCS.196.4","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-mars-2015.pdf"},"keyword":["wcet","timed automata"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["qbqYFWskmoonRB43F","8742EsvjQfyP2fYBW"],"keywords":["wcet","timed automata"],"search_terms":["timed","automata","modelling","caches","pipelines","cassez","de aledo marugán"],"title":"Timed Automata for Modelling Caches and Pipelines","year":2015,"downloads":1}