general.bib

@INPROCEEDINGS{andalam09,
  AUTHOR = {S. Andalam and P.S. Roop and A. Girault and
                  C. Traulsen},
  TITLE = {{Pret-C}: A New Language for Programming Precision
                  Timed Architectures (extended abstract)},
  BOOKTITLE = {International Workshop on Reconciling Performance
                  with Predictability, RePP'09},
  KEY = {my-pret},
  YEAR = 2009,
  ADDRESS = {Grenoble, France},
  MONTH = OCT,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@INPROCEEDINGS{andalam10,
  AUTHOR = {S. Andalam and P.S. Roop and A. Girault},
  TITLE = {Deterministic, Predictable and Light-Weight
                  Multithreading Using {PRET-C}},
  BOOKTITLE = {Design Automation and Test in Europe Conference,
                  DATE'10},
  KEY = {my-pret},
  YEAR = 2010,
  ADDRESS = {Dresden, Germany},
  MONTH = APR,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@INPROCEEDINGS{andalam10b,
  AUTHOR = {S. Andalam and P.S. Roop and A. Girault},
  TITLE = {Predictable Multithreading of Embedded Applications
                  Using {PRET-C}},
  BOOKTITLE = {International Conference on Formal Methods and
                  Models for Codesign, MEMOCODE'10},
  KEY = {my-pret},
  YEAR = 2010,
  ADDRESS = {Grenoble, France},
  MONTH = JUL,
  PAGES = {159--168},
  PUBLISHER = {IEEE, Los Alamitos},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@INPROCEEDINGS{andalam11,
  AUTHOR = {S. Andalam and P.S. Roop and A. Girault},
  TITLE = {Pruning Infeasible Paths for Tight {WCRT} Analysis
                  of Synchronous Programs},
  BOOKTITLE = {Design Automation and Test in Europe Conference,
                  DATE'11},
  KEY = {my-pret},
  YEAR = 2011,
  ADDRESS = {Grenoble, France},
  MONTH = APR,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@TECHREPORT{andalam13b,
  AUTHOR = {S. Andalam and R. Sinha and P.S. Roop and A. Girault
                  and J. Reineke},
  TITLE = {Precise Modelling of Instruction Cache Behaviour},
  INSTITUTION = {INRIA},
  YEAR = 2013,
  KEY = {my-pret},
  TYPE = {Research Report},
  NUMBER = {8214},
  OPTADDRESS = {},
  MONTH = JAN,
  OPTNOTE = {},
  OPTANNOTE = {}
}

@INPROCEEDINGS{andalam13c,
  AUTHOR = {S. Andalam and R. Sinha and P.S. Roop and A. Girault
                  and J. Reineke},
  TITLE = {Precise Timing Analysis for Direct-Mapped Caches},
  BOOKTITLE = {Design Automation Conference, DAC'13},
  YEAR = 2013,
  KEY = {my-pret},
  ADDRESS = {Austin (TX), USA},
  MONTH = JUN,
  PUBLISHER = {ACM},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@ARTICLE{axer13,
  AUTHOR = {P. Axer and R. Ernst and H. Falk and A. Girault and
                  D. Grund and N. Guan and B. Jonsson and P. Marwedel
                  and J. Reineke and C. Rochange and M. Sebatian and
                  R. {von Hanxleden} and R. Wilhelm and W. Yi},
  TITLE = {Building Timing Predictable Embedded Systems},
  JOURNAL = {ACM Trans.\ Embedd.\ Comput.\ Syst.},
  YEAR = {2013},
  KEY = {my-pret},
  OPTVOLUME = {},
  OPTNUMBER = {},
  OPTPAGES = {},
  OPTMONTH = {},
  NOTE = {To appear},
  OPTANNOTE = {}
}

@INPROCEEDINGS{yip13,
  AUTHOR = {E. Yip and P.S. Roop and M. Biglari-Abhari and A. Girault},
  TITLE = {Programming and Timing Analysis of Parallel Programs
                  on Multicores},
  KEY = {my-pret},
  BOOKTITLE = {International Conference on Application of
                  Concurrency to System Design, ACSD'13},
  PAGES = {167--176},
  YEAR = 2013,
  ADDRESS = {Barcelona, Spain},
  MONTH = JUL,
  PUBLISHER = {IEEE},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}