The following publications are possibly variants of this publication:
- Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement LearningMing Hu 0003, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen. rtss 2021: 227-239 [doi]
- Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSLMing Hu 0003, Jun Xia, Min Zhang 0002, Xiaohong Chen 0007, Frédéric Mallet, Mingsong Chen. tcad, 42(12):5127-5140, December 2023. [doi]
- Boundness Issues in CCSL SpecificationsFrédéric Mallet, Jean-Vivien Millo. icfem 2013: 20-35 [doi]
- Schedulability Analysis with CCSL SpecificationsLing Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone. apsec 2013: 414-421 [doi]
- Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven ExplorationMing Hu 0003, Min Zhang 0002, Frédéric Mallet, Xin Fu, Mingsong Chen. TC, 72(5):1431-1446, May 2023. [doi]
- Safe CCSL specifications and marked graphsFrédéric Mallet, Jean-Vivien Millo, Robert de Simone. memocode 2013: 157-166 [doi]
- Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL SpecificationsYuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet. ftscs 2019: 101-118 [doi]