% This file was created with JabRef 2.10.
% Encoding: UTF-8


@Article{Bao2017,
  Title                    = {Quantitative Performance Evaluation of Uncertainty-Aware Hybrid {AADL} Designs Using Statistical Model Checking},
  Author                   = {Y. Bao and Chen, Mingsong and Q. Zhu and T. Wei and Mallet, Fr{\'e}d{\'e}ric and T. Zhou},
  Journal                  = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  Year                     = {2017},

  Month                    = {12},
  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}
}

@InBook{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}
}

@InProceedings{Millo2017,
  Title                    = {Explicit Control of Dataflow Graphs with {MARTE/CCSL}},
  Author                   = {Jean-Vivien Millo and Amine Oueslati and Emilien Kaufman and Julien DeAntoni and Frederic Mallet and Robert de Simone},
  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{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                    = {05},
  Year                     = {2017},

  Owner                    = {fmallet},
  Timestamp                = {2017.12.22},
  Url                      = {http://ceur-ws.org/Vol-1851/paper-4.pdf}
}

@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                    = {09},

  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}
}

@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                    = {05},

  Organization             = {Kharkiv University},
  Owner                    = {fmallet},
  Timestamp                = {2017.12.22},
  Url                      = {http://ceur-ws.org/Vol-1851/}
}