Publications » 2018

Journal Articles

  1. Du, D., Huang, P., Jiang, K., and Mallet, F. 2018. pCSSL: a Stochastic Extension to MARTE/CCSL for Modeling Uncertainty in Cyber Physical Systems . Science of Computer Programming 166, 71–88. URL DOI
    @article{Du2018,
      title = {pCSSL: a Stochastic Extension to {MARTE/CCSL} for Modeling Uncertainty in Cyber Physical Systems },
      author = {Du, Dehui and Huang, Ping and Jiang, Kaiqiang and Mallet, Frédéric},
      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}
    }
    
  2. Zhang, M., Dai, F., and Mallet, F. 2018. Periodic scheduling for MARTE/CCSL: Theory and practice. Science of Computer Programming 154, 42–60. DOI
    @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 = mar,
      doi = {10.1016/j.scico.2017.08.015}
    }
    

Conference Articles

  1. Guan, C., Ao, Y., Du, D., and Mallet, F. 2018. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. 25th Asia-Pacific Software Engineering Conference, APSEC.
    @inproceedings{Guan2018,
      title = {xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems},
      author = {Guan, Chunlin and Ao, Yi and Du, Dehui and Mallet, Fr\'ed\'eric},
      booktitle = {25th Asia-Pacific Software Engineering Conference, APSEC},
      year = {2018},
      address = {Nara, Japan},
      month = dec
    }
    
  2. Mallet, F. and Zhang, M. 2018. Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. 2018 IEEE Real-Time Systems Symposium, RTSS, IEEE Computer Society, 143–146. DOI
    @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 = dec,
      pages = {143--146},
      publisher = {IEEE Computer Society},
      doi = {10.1109/RTSS.2018.00025},
      location = {Nashville, TN, USA}
    }
    
  3. Schulz-Rosengarten, A., Hanxleden, R. von, Mallet, F., Simone, R. de, and DeAntoni, J. 2018. Time in SCCharts. 2018 Forum on Specification & Design Languages, FDL, IEEE, 5–16. DOI (best paper)
    @inproceedings{Schulz-Rosengarten2018,
      title = {Time in SCCharts},
      author = {Schulz{-}Rosengarten, Alexander and von Hanxleden, Reinhard and Mallet, Fr{\'{e}}d{\'{e}}ric and de Simone, Robert and DeAntoni, Julien},
      booktitle = {2018 Forum on Specification {\&} Design Languages, {FDL}},
      year = {2018},
      month = sep,
      pages = {5--16},
      publisher = {{IEEE}},
      comment = {best paper},
      doi = {10.1109/FDL.2018.8524111},
      location = {Garching, Germany}
    }
    
  4. Zhang, Y., Wu, H., Chen, Y., and Mallet, F. 2018. Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. ICFEM/FTSCS 2018, Springer, 101–118. URL DOI
    @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 = nov,
      pages = {101--118},
      publisher = {Springer},
      series = {CCIS},
      volume = {1008},
      doi = {10.1007/978-3-030-12988-0\_7},
      url = {https://hal.inria.fr/hal-01929184}
    }
    

Unpublished

  1. Mallet, F. 2018. Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE. . ( invited speaker )
    @unpublished{Mallet,
      title = {Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE},
      author = {Mallet, Fr\'ed\'eric},
      note = {3rd IW. on TIming Performance engineering for Safety critical systems CONFESTA/TIPS},
      month = sep,
      year = {2018},
      comment = { invited speaker }
    }
    
  2. Verdier, F., De Filippi, P., Mallet, F., et al. 2018. Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms. https://hal.archives-ouvertes.fr/hal-01903049. URL (Poster)
    @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_version = {v1},
      url = {https://hal.archives-ouvertes.fr/hal-01903049}
    }