@inproceedings{ribaud:hal-01119571,
  TITLE = {{Techniques and Challenges for Trace Processing from a Model-Checking Perspective}},
  AUTHOR = {Ribaud, Vincent and Teodorov, Ciprian and Drey, Zo{\'e} and Leroux, Luka and Dhaussy, Philippe},
  URL = {https://hal.science/hal-01119571},
  BOOKTITLE = {{International Joint Conferences on Computer, Information, Systems Sciences, \& Engineering - CISSE 2014}},
  ADDRESS = {Bridgeport, United States},
  ORGANIZATION = {{University of Bridgeport}},
  SERIES = {Proceedings of the International Joint Conferences on Computer, Information, Systems Sciences, \& Engineering},
  YEAR = {2014},
  MONTH = Dec,
  KEYWORDS = {verification ; diagnosis ; execution trace ; model-checking},
  PDF = {https://hal.science/hal-01119571/file/Techniques%20and%20Challenges%20for%20Trace%20Processing%20from%20a%20Model-checking%20Perspective.pdf},
  HAL_ID = {hal-01119571},
  HAL_VERSION = {v1},
}