% Encoding: UTF-8


@Article{Du2018,
  Title                    = {pCSSL: a Stochastic Extension to {MARTE/CCSL} for Modeling Uncertainty in Cyber Physical Systems },
  Author                   = {Dehui Du and Ping Huang and Kaiqiang Jiang and Frédéric Mallet},
  Journal                  = {Science of Computer Programming },
  Year                     = {2018},
  Pages                    = {71--88},
  Volume                   = {166},

  Doi                      = {10.1016/j.scico.2018.05.005},
  ISSN                     = {0167-6423},
  Keywords                 = {cyber-physical systems},
  Url                      = {https://www.sciencedirect.com/science/article/pii/S0167642318301916}
}

@InProceedings{Guan2018,
  Title                    = {xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems},
  Author                   = {Chunlin Guan and Yi Ao and Dehui Du and Fr\'ed\'eric Mallet},
  Booktitle                = {25th Asia-Pacific Software Engineering Conference, APSEC},
  Year                     = {2018},

  Address                  = {Nara, Japan},
  Month                    = {12},

  Owner                    = {fmallet},
  Timestamp                = {2018.11.21}
}

@Unpublished{Mallet,
  Title                    = {Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE},
  Author                   = {Fr\'ed\'eric Mallet},
  Note                     = {3rd IW. on TIming Performance engineering for Safety critical systems CONFESTA/TIPS},

  Month                    = {09},
  Year                     = {2018},

  Comment                  = { invited speaker },
  Owner                    = {fmallet},
  Timestamp                = {2018.11.21}
}

@InProceedings{MalletZ18,
  Title                    = {Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling},
  Author                   = {Mallet, Fr\'ed\'eric and Zhang, Min},
  Booktitle                = {2018 {IEEE} Real-Time Systems Symposium, {RTSS}},
  Year                     = {2018},
  Month                    = {12},
  Pages                    = {143--146},
  Publisher                = {IEEE Computer Society},

  Doi                      = {10.1109/RTSS.2018.00025},
  Location                 = {Nashville, TN, USA},
  Timestamp                = {Mon, 14 Jan 2019 06:49:22 +0100},
  Url                      = {https://doi.org/10.1109/RTSS.2018.00025}
}

@InProceedings{Schulz-Rosengarten2018,
  Title                    = {Time in SCCharts},
  Author                   = {Alexander Schulz{-}Rosengarten and
 Reinhard von Hanxleden and
 Fr{\'{e}}d{\'{e}}ric Mallet and
 Robert de Simone and
 Julien DeAntoni},
  Booktitle                = {2018 Forum on Specification {\&} Design Languages, {FDL}},
  Year                     = {2018},
  Month                    = {09},
  Pages                    = {5--16},
  Publisher                = {{IEEE}},

  Comment                  = {best paper},
  Doi                      = {10.1109/FDL.2018.8524111},
  Location                 = {Garching, Germany},
  Timestamp                = {Thu, 15 Nov 2018 08:11:28 +0100},
  Url                      = {https://doi.org/10.1109/FDL.2018.8524111}
}

@Unpublished{Verdier2018,
  Title                    = {{Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms}},
  Author                   = {Verdier, Fran{\c c}ois and De Filippi, Primavera and Mallet, Fr{\'e}d{\'e}ric and Collet, Philippe and Arena, Lise and Attour, Amel and Ballator, Marta and Chessa, Michela and Festr{\'e}, Agn{\`e}s and Guitton-Ouhamou, Patricia and Bernhard, Rapha{\"e}l and Miramond, Benoit},
  Note                     = {{17th Driving Simulation \& Virtual Reality Conference (DSC 2018)}},

  Month                    = Sep,
  Year                     = {2018},

  Comment                  = {Poster},
  Hal_id                   = {hal-01903049},
  Hal_local_reference      = {MCSOC},
  Hal_version              = {v1},
  Owner                    = {fmallet},
  Timestamp                = {2018.11.21},
  Url                      = {https://hal.archives-ouvertes.fr/hal-01903049}
}

@Article{Zhang2018a,
  author    = {Zhang, Min and Dai, Feng and Mallet, Fr\'ed\'eric},
  title     = {Periodic scheduling for {MARTE/CCSL}: Theory and practice},
  journal   = {Science of Computer Programming},
  year      = {2018},
  volume    = {154},
  pages     = {42--60},
  month     = {03},
  doi       = {10.1016/j.scico.2017.08.015},
  owner     = {fmallet},
  timestamp = {2017.09.05},
}

@InProceedings{Zhang2018,
  Title                    = {Embedding {CCSL} into Dynamic Logic: A Logical Approach for the Verification of {CCSL} Specifications},
  Author                   = {Zhang, Yuanrui and Wu, Hengyang and Chen, Yixiang and Mallet, Fr\'ed\'eric},
  Booktitle                = {ICFEM/FTSCS 2018},
  Year                     = {2018},
  Month                    = {11},
  Pages                    = {101--118},
  Publisher                = {Springer},
  Series                   = {CCIS},
  Volume                   = {1008},

  Doi                      = {10.1007/978-3-030-12988-0\_7},
  Owner                    = {fmallet},
  Timestamp                = {2018.10.28},
  Url                      = {https://hal.inria.fr/hal-01929184}
}

@Comment{jabref-meta: databaseType:bibtex;}