Publications » 2019

Journal Articles

1. Khan, A.M., Mallet, F., and Rashid, M. 2019. A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. Software and System Modeling 18, 1, 11–37. ^DOI

   @article{KhanMR19,
     title = {A framework to specify system requirements using natural interpretation
      of {UML/MARTE} diagrams},
     author = {Khan, Aamir M. and Mallet, Fr{\'{e}}d{\'{e}}ric and Rashid, Muhammad},
     journal = {Software and System Modeling},
     year = {2019},
     number = {1},
     pages = {11--37},
     volume = {18},
     doi = {10.1007/s10270-017-0588-7}
   }
   

Conference Articles

1. Hu, M., Wei, T., Zhang, M., Mallet, F., and Chen, M. 2019. Sample-Guided Automated Synthesis for CCSL Specifications. 56th Annual Design Automation Conference 2019, DAC, ACM, 98. ^DOI

   @inproceedings{DAC2019,
     title = {Sample-Guided Automated Synthesis for {CCSL} Specifications},
     author = {Hu, Ming and Wei, Tongquan and Zhang, Min and Mallet, Fr{\'{e}}d{\'{e}}ric and Chen, Mingsong},
     booktitle = {56th Annual Design Automation Conference 2019, {DAC}},
     year = {2019},
     month = jun,
     pages = {98},
     publisher = {ACM},
     doi = {10.1145/3316781.3317904},
     isbn = {978-1-4503-6725-7},
     location = {Las Vegas, NV, USA}
   }
   

2. Zhang, M., Song, F., Mallet, F., and Chen, X. 2019. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. Fundamental Approaches to Software Engineering, FASE, Springer, 61–78. ^DOI

   @inproceedings{FASE2019,
     title = {SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language},
     author = {Zhang, Min and Song, Fu and Mallet, Fr{\'{e}}d{\'{e}}ric and Chen, Xiaohong},
     booktitle = {Fundamental Approaches to Software Engineering, {FASE}},
     year = {2019},
     month = apr,
     pages = {61--78},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {11424},
     doi = {10.1007/978-3-030-16722-6\_4},
     location = {Prague, Czech Republic}
   }
   

3. Zhang, Y., Mallet, F., Zhu, H., and Chen, Y. 2019. A Logical Approach for the Schedulability Analysis of CCSL. International Symposium on Theoretical Aspects of Software Engineering, TASE, IEEE, 25–32. ^DOI

   @inproceedings{TASE2019,
     title = {A Logical Approach for the Schedulability Analysis of {CCSL}},
     author = {Zhang, Yuanrui and Mallet, Fr{\'{e}}d{\'{e}}ric and Zhu, Huibiao and Chen, Yixiang},
     booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE}},
     year = {2019},
     editor = {M{\'{e}}ry, Dominique and Qin, Shengchao},
     month = jul,
     pages = {25--32},
     publisher = {IEEE},
     doi = {10.1109/TASE.2019.00-23},
     isbn = {978-1-7281-3342-3},
     location = {Guilin, China}
   }
   

4. Zhao, H., Apvrille, L., and Mallet, F. 2019. Meta-models Combination for Reusing Verification Techniques. International Conference on Model-Driven Engineering and Software Development, 37–48. ^DOI

   @inproceedings{Zhao2019,
     title = {Meta-models Combination for Reusing Verification Techniques},
     author = {Zhao, Hui and Apvrille, Ludovic and Mallet, Fr{\'e}d{\'e}ric},
     booktitle = {International Conference on Model-Driven Engineering and Software Development},
     year = {2019},
     address = {Prague, Czech Republic},
     month = mar,
     pages = {37--48},
     doi = {10.5220/0007261000390050}
   }
   

5. Zhao, H., Mallet, F., and Apvrille, L. 2019. A Language-based Multi-view Approach for Combining Functional and Security Models. 26th Asia-Pacific Software Engineering Conference, APSEC, IEEE, 426–433. ^DOI

   @inproceedings{Zhao2019a,
     title = {A Language-based Multi-view Approach for Combining Functional and Security Models},
     author = {Zhao, Hui and Mallet, Fr\'ed\'eric and Apvrille, Ludovic},
     year = {2019},
     month = dec,
     booktitle = {26th Asia-Pacific Software Engineering Conference, {APSEC}},
     address = { Putrajaya, Malaysia},
     pages = {426--433},
     publisher = {IEEE},
     doi = {10.1109/APSEC48747.2019.00064}
   }