noproceeding.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: ./bib2bib -oc selection -ob noproceeding.bib -c 'category : "confsa"' mesPublications.bib}}

@inproceedings{tigori-cars-15,
  author = {Tigori, Toussaint and B{\'e}chennec, Jean-Luc and Faucou, S{\'e}bastien and Roux, Olivier H.},
  title = {Using formal methods for the development of safe application-specific RTOS for automotive systems},
  booktitle = {Critical Automotive applications : Robustness and Safety, CARS 2015 },
  year = 2015,
  category = {confsa}
}

@inproceedings{benattar-FCS-09,
  address = {{Los Angeles, California, USA}},
  author = {Benattar, Gilles and B\'erard, B\'eatrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
  booktitle = {the {LICS Workshop} on {F}oundations of {C}omputer  {S}ecurity ({FCS}'09)},
  month = aug,
  title = {{Covert Channels with Transducers}},
  year = {2009},
  category = {confsa}
}