CONFERENCES INTERNATIONALES

2019

@article{TESL_Language-AFP,

  author  = {Hai Nguyen Van and Frédéric Boulanger and Burkhart Wolff},
  title   = {A Formal Development of a Polychronous Polytimed Coordination Language},
  journal = {Archive of Formal Proofs},
  month   = jul,
  year    = 2019,
  url     = {http://isa-afp.org/entries/TESL_Language.html},
  note    = {Formal proof development},
  ISSN    = {2150-914x},
  class = "intjournal",

}

2017

@inproceedings{nguyenvan:hal-01583815,

  TITLE = {A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing},
  AUTHOR = {Nguyen Van, Hai and Balabonski, Thibaut and Boulanger, Frédéric and Keller, Chantal and Valiron, Benoît and Wolff, Burkhart},
  URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815},
  BOOKTITLE = {Formal Modeling and Analysis of Timed Systems, 15th International Conference FORMATS 2017},
  ADDRESS = {Berlin, Germany},
  EDITOR = {Alessandro Abate and Gilles Geeraerts},
  PUBLISHER = {Springer},
  SERIES = {LNCS},
  VOLUME = {10419},
  YEAR = {2017},
  MONTH = Sep,
  DATE = {September 5-7 2017},
  PAGES = {318-334},
  DOI = {10.1007/978-3-319-65765-3\_18},
  KEYWORDS = {Heterogeneity ; Synchronicity ; Timed Behaviors},
  PDF = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815/file/article.pdf},
  HAL_ID = {hal-01583815},
  HAL_VERSION = {v1},
  class = {intconf},

}

2014

@inproceedings{BouJacHarPro2014MEMOCODE,

  title = {TESL: a Language for Reconciling Heterogeneous Execution Traces},
  author = {Boulanger, Frédéric and Jacquet, Christophe and Hardebolle, Cécile and Prodan, Iuliana},
  language = {English},
  affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
  booktitle = {Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on},
  pages = {114-123},
  address = {Lausanne, Switzerland},
  audience = {internationale},
  year = {2014},
  month = Oct,
  isbn = {978-1-4799-5336-3},
  ieee = {CFP14MCD-USB},
  pdf = {http://wdi.supelec.fr/boulanger/publis/2014MemoCODE.pdf},
  doi = {10.1109/MEMCOD.2014.6961849},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961849},
  class = {intconf},

}