@conference { 2008ADLVCOMPSAC,

  author = { Ahcène Bouzoualegh and Dominique Marcadet and Frédéric Boulanger and Christophe Jacquet },
  title = { An Architecture Description Language for Verification in Component-based Software },
  booktitle = { Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008) },
  month = { August },
  year = { 2008 },
  date = { 28 July --1 August 2008 },
  pages = { 365--368 },
  address = { Turku, Finland },
  organization = { IEEE },
  isbn = { 978-0-7695-3262-2 },
  doi = { http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.107 },
  publisher = { IEEE Computer Society },
  class = { intconf },

}

@conference { 2008CheckPropertiesMEMOCODE,

  author = { Christophe Jacquet and Frédéric Boulanger and Dominique Marcadet },
  title = { From Data to Events: Checking Properties on the Control of a System },
  booktitle = { Proceedings of the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008) },
  month = { June },
  year = { 2008 },
  date = { 5--7 June 2008 },
  pages = { 17--26 },
  address = { Anaheim, California },
  organization = { IEEE },
  isbn = { 978-1-4244-2417-7 },
  doi = { http://dx.doi.org/10.1109/MEMCOD.2008.4547682 },
  publisher = { IEEE Computer Society },
  class = { intconf },

}

@InProceedings {2008CheckHeteroMoVaH,

  month = { April },
  author = {Christophe Jacquet and Dominique Marcadet},
  publisher = {{IEEE Digital Library}},
  doi = {{http://doi.ieeecomputersociety.org/10.1109/ICSTW.2008.12}},
  booktitle = {{IEEE International Conference on Software Testing, verification and validation, MoVaH Workshop on Modeling, Validation and Heterogeneity}},
  title = {{Checking Properties on the Control of Heterogeneous Systems}},
  year = 2008,
  pages = {141-150},
  class = {intconf},

}