Publications » 2017

Book Chapters

1. Mallet, F., Villar, E., and Herrera, F. 2017. MARTE for CPS and CPSoS. In: S. Nakajima, J.-P. Talpin, M. Toyoshima and H. Yu, eds., Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings. Springer Singapore, Singapore, 81–108. ^{URL DOI}

   @incollection{Mallet2017,
     title = {MARTE for CPS and CPSoS},
     author = {Mallet, Fr{\'e}d{\'e}ric and Villar, Eugenio and Herrera, Fernando},
     editor = {Nakajima, Shin and Talpin, Jean-Pierre and Toyoshima, Masumi and Yu, Huafeng},
     pages = {81--108},
     publisher = {Springer Singapore},
     year = {2017},
     address = {Singapore},
     booktitle = {Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings},
     doi = {10.1007/978-981-10-4436-6_4},
     isbn = {978-981-10-4436-6},
     url = {https://doi.org/10.1007/978-981-10-4436-6_4}
   }
   

Journal Articles

1. Bao, Y., Chen, M., Zhu, Q., Wei, T., Mallet, F., and Zhou, T. 2017. Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36, 12, 1989–2002. ^DOI

   @article{Bao2017,
     title = {Quantitative Performance Evaluation of Uncertainty-Aware Hybrid {AADL} Designs Using Statistical Model Checking},
     author = {Bao, Y. and Chen, Mingsong and Zhu, Q. and Wei, T. and Mallet, Fr{\'e}d{\'e}ric and Zhou, T.},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     year = {2017},
     month = dec,
     number = {12},
     pages = {1989--2002},
     volume = {36},
     doi = {10.1109/TCAD.2017.2681076},
     issn = {0278-0070},
     keywords = {Analytical models;Computational modeling;Computer architecture;Model checking;Ports (Computers);Software;Uncertainty;Hybrid AADL;Quantitative performance evaluation;Statistical model checking;Uncertainty}
   }
   

Conference Articles

1. Millo, J.-V., Oueslati, A., Kaufman, E., DeAntoni, J., Mallet, F., and Simone, R. de. 2017. Explicit Control of Dataflow Graphs with MARTE/CCSL. 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 542–549. ^DOI

   @inproceedings{Millo2017,
     title = {Explicit Control of Dataflow Graphs with {MARTE/CCSL}},
     author = {Millo, Jean-Vivien and Oueslati, Amine and Kaufman, Emilien and DeAntoni, Julien and Mallet, Frederic and de Simone, Robert},
     booktitle = {5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)},
     year = {2017},
     pages = {542--549},
     doi = {10.5220/0006269505420549},
     isbn = {978-989-758-210-3}
   }
   

Unpublished

1. Zhao, H., Apvrille, L., and Mallet, F. 2017. Multi-View Design for Cyber-Physical Systems. http://ceur-ws.org/Vol-1851/paper-4.pdf. ^URL

   @unpublished{Zhao,
     title = {Multi-View Design for Cyber-Physical Systems},
     author = {Zhao, Hui and Apvrille, Ludovic and Mallet, Fr\'ed\'eric},
     note = {PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications},
     month = may,
     year = {2017},
     owner = {fmallet},
     timestamp = {2017.12.22},
     url = {http://ceur-ws.org/Vol-1851/paper-4.pdf}
   }
   

Books

1. Mallet, F., Zhang, M., and Madelaine, E., eds. 2017. 11th International Symposium on Theoretical Aspects of Software Engineering. IEEE. ^{URL DOI}

   @book{Mallet2017b,
     title = {11th International Symposium on Theoretical Aspects of Software Engineering},
     editor = {Mallet, Fr\'ed\'eric and Zhang, Min and Madelaine, Eric},
     publisher = {IEEE},
     year = {2017},
     month = sep,
     booktitle = {Eleventh International Symposium on Theoretical Aspects of Software Engineering},
     doi = {10.1109/TASE.2017.8285619},
     organization = {Université Cote d'Azur},
     owner = {fmallet},
     timestamp = {2017.12.22},
     url = {http://tase2017.unice.fr}
   }
   

2. Mallet, F. and Zholtkevych, G., eds. 2017. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications. CEUR. ^URL

   @book{Mallet2017a,
     title = {PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications},
     editor = {Mallet, Fr\'ed\'eric and Zholtkevych, Grygoriy},
     publisher = {CEUR},
     year = {2017},
     month = may,
     organization = {Kharkiv University},
     owner = {fmallet},
     timestamp = {2017.12.22},
     url = {http://ceur-ws.org/Vol-1851/}
   }