Aamir M. Khan, F. Mallet and Muhammad Rashid.
A framework to specify system requirements using natural interpretation
of UML/MARTE diagrams.Software and System Modeling 18(1):11-37, 2019.
DOI
Daian Yue, Vania Joloboff and F. Mallet.
TRAP: trace runtime analysis of properties.Frontiers of Computer Science 14(3):143201, Dec. 2019.
DOI
Yuanrui Zhang, F. Mallet and Yixiang Chen.
A verification framework for spatio-temporal consistency language with CCSL as a specification language.Frontiers of Computer Science 14(1):105-129, Nov. 2019.
DOI
Ming Hu, Tongquan Wei, Min Zhang, F. Mallet and Mingsong Chen.
Sample-Guided Automated Synthesis for CCSL Specifications.DOI Proceedings of the 56th Annual Design Automation Conf. 2019, DAC 2019, pp. 98, ACM, June 2019, ISBN: 978-1-4503-6725-7.
Min Zhang, Fu Song, F. Mallet and Xiaohong Chen.
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.DOI Fundamental Approaches to Software Engineering, FASE 2019, LNCS 11424, pp. 61-78, Springer, Apr. 2019.
Yuanrui Zhang, F. Mallet, Huibiao Zhu and Yixiang Chen.
A Logical Approach for the Schedulability Analysis of CCSL.DOI Int. Symp. on Theoretical Aspects of Software Engineering, TASE 2019, pp. 25-32, IEEE, July 2019, ISBN: 978-1-7281-3342-3.
Hui Zhao, Ludovic Apvrille and F. Mallet.
Meta-models Combination for Reusing Verification Techniques. Int. Conf. on Model-Driven Engineering and Software Development, pp. 37-48, March 2019.
Hui Zhao, F. Mallet and Ludovic Apvrille.
A Language-based Multi-view Approach for Combining Functional and Security Models. 26th Asia-Pacific Software Engineering Conf., APSEC 2019, Dec. 2019.