Publications » 2014

Book Chapters

1. Bourdellès, M., Li, S., Quadri, I., et al. 2014. Fostering Analysis from Industrial Embedded Systemis Modeling. In: Handbook of Research on Embedded Systems Design. IGI-Global, 283–300. ^URL

   @incollection{Bourdelles2014,
     title = {Fostering Analysis from Industrial Embedded Systemis Modeling},
     author = {Bourdell\`es, Michel and Li, Shuai and Quadri, Imran and Brosse, Etienne and Sadovykh, Andrey and Gaudin, Emmanuel and Mallet, Fr\'ed\'eric and Goknil, Arda and George, David and Kreku, Jari},
     chapter = {11},
     pages = {283--300},
     publisher = {IGI-Global},
     year = {2014},
     booktitle = {Handbook of Research on Embedded Systems Design},
     url = {http://www.igi-global.com/chapter/fostering-analysis-from-industrial-embedded-systems-modeling/116113}
   }
   

2. Mallet, F., Peraldi-Frati, M.-A., DeAntoni, J., and de Simone, R. 2014. UML MARTE Time Model and Its Clock Constraint Specification Language. In: Handbook of Research on Embedded Systems Design. IGI-Global, 29–51. ^URL

   @incollection{MalletPDS2014,
     title = {{UML MARTE} Time Model and Its Clock Constraint Specification Language},
     author = {Mallet, Fr\'ed\'eric and Peraldi-Frati, Marie-Agn\`es and DeAntoni, Julien and {de Simone}, Robert},
     chapter = {2},
     pages = {29--51},
     publisher = {IGI-Global},
     year = {2014},
     booktitle = {Handbook of Research on Embedded Systems Design},
     url = {http://www.igi-global.com/chapter/uml-marte-time-model-and-its-clock-specification-language/116103}
   }
   

Conference Articles

1. Khecharem, A., Gomez, C., DeAntoni, J., Mallet, F., and de Simone, R. 2014. Execution of heterogeneous models for thermal analysis with a multi-view approach. Forum on Specification and Design Languages, IEEE, 1–8. ^DOI

   @inproceedings{KhecharemGDMS14,
     title = {Execution of heterogeneous models for thermal analysis with a multi-view approach},
     author = {Khecharem, Amani and Gomez, Carlos and DeAntoni, Julien and Mallet, Fr{\'{e}}d{\'{e}}ric and {de Simone}, Robert},
     year = {2014},
     pages = {1--8},
     doi = {10.1109/FDL.2014.7119366},
     location = {Munich, Germany},
     booktitle = {Forum on Specification and Design Languages},
     month = oct,
     publisher = {IEEE},
     isbn = {978-2-9530504-9-3}
   }
   

2. Mallet, F. and Zholtkevych, G. 2014. Coalgebraic Semantic Model for the Clock Constraint Specification Language. ICFEM-FTSCS’14, Springer, 174–188. ^DOI

   @inproceedings{MalletZ14,
     title = {Coalgebraic Semantic Model for the Clock Constraint Specification Language},
     author = {Mallet, Fr{\'{e}}d{\'{e}}ric and Zholtkevych, Grygoriy},
     booktitle = {ICFEM-FTSCS'14},
     year = {2014},
     note = {Revised Selected Papers},
     pages = {174--188},
     doi = {10.1007/978-3-319-17581-2_12},
     location = {Luxembourg},
     editor = {Artho, Cyrille and {\"{O}}lveczky, Peter Csaba},
     month = nov,
     publisher = {Springer},
     series = {Communications in Computer and Information Science},
     volume = {476},
     isbn = {978-3-319-17580-5}
   }
   

3. Zhang, Y., Mallet, F., and Chen, Y. 2014. Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. Theoretical Aspects of Software Engineering Conference, IEEE Computer Society, 201–208. ^DOI

   @inproceedings{ZhangMC14,
     title = {Timed Automata Semantics of Spatial-Temporal Consistency Language STeC},
     author = {Zhang, Yuanrui and Mallet, Fr{\'{e}}d{\'{e}}ric and Chen, Yixiang},
     year = {2014},
     pages = {201--208},
     doi = {10.1109/TASE.2014.10},
     location = {Changsha, China},
     booktitle = {Theoretical Aspects of Software Engineering Conference},
     month = sep,
     publisher = {IEEE Computer Society},
     isbn = {978-1-4799-5029-4}
   }
   

Unpublished

1. Larsen, M.E.V., DeAntoni, J., and Mallet, F. 2014. Framework for Heterogeneous Modeling and Composition. .

   @unpublished{MatiasEzequelVaraLarsen2014,
     title = {Framework for Heterogeneous Modeling and Composition},
     author = {Larsen, Matias Ezequel Vara and DeAntoni, Julien and Mallet, Frédéric},
     note = {Conf. en Ingénierie du Logiciel(CIEL'14), pp. 81-86},
     month = jun,
     year = {2014},
     location = {Paris, France}
   }