All papers here are direct results of the associated team research. Those that are explicitely co-signed by researchers from the two partners are marked in bold face.
Journals
- Yanwen Chen, Yixiang Chen, Eric Madelaine: “A Timed-pNets semantic model for Cyber Physical Systems”; Frontiers of Computer Science, To appear, 2014.
- Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen: “Quantitative Analysis of Lattice-valued Kripke Structures”; Fundamenta Informaticae, 2014.
- Haiyu Pan, Yongzhi Cao, Yongming Li, Min Zhang: “Multi-valued model checking with nondeterminism”; Science China, 2014.
- Haiyu Pan, Yongzhi Cao, Min Zhang， Yixiang Chen: “Simulation for Lattice-valued Doubly Labeled Transition Systems”; International Journal of Approximation Reasoning, 55(2014) 791-811.
- J. Liu, Z. Liu, J. He, F. Mallet and Z. Ding: “Hybrid MARTE Statecharts”; Frontiers of Computer Science, 7(1):95-108, 2013, Springer.
- Yanfang Ma, Min Zhang: “The Infinite Evolution Mechanism of ε-bisimilarity(Extention Version)”; Journal of Computer Science and Technology(JCST). 2013, 28(6): 1097-1105.
International Conferences and Workshops
- Yuanrui Zhang, Frédéric Mallet, Yixiang Chen: “Transformation of Spatio-Temporal Consistence Language to Timed Automata”; TASE 2014, to Appear
- Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, Dongqian Liu; “Verifying the correct composition of distributed components: Formalisation and Tool”; 13th Int. Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA’14), Roma, Italy, Sep. 2014
- Nuno Gaspard, Ludovic Henrio, Eric Madelaine; “Formally Reasonning on a Reconfigurable Component-based System – A Case Study for the Industrial World”; 10th Int. Symposium on Formal Aspects of Component Systems (FACS’13), Nanchang, China, Oct. 2013
- Yixiang Chen, STeC: A Location-Triggered Specification Language For Real-Time Systems, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp. 1-6, 2012. DOI 10.1109/ISORCW.2012.11
- Yanwen Chen, Yixiang Chen, Eric Madelaine, “Timed-pNets: A formal communication behavior model for real-time CPS system”, in Trustworthy Cyber-Physical Systems (Newcastle, UK., Sep. 2012)[Paper]
- Haiyu Pan, Min Zhang , Yixiang Chen. “Bisimilarity for Fuzzy Doubly Labeled Transition Systems” 2012 International Conference on Quantitative Logic and Soft Computing (QL&SC’12), pp. 207-214. doi: 10.1142/9789814401531_0030
- Haiyu Pan, Min Zhang, Yixiang Chen. “Lattice-Valued Kripke Structures Based on Complete Residuated Lattice”. In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion (SERE’12), pp 137-143. 2012. DOI 10.1109/SERE-C.2012.29
- Haiyu Pan, Min Zhang, Yixiang Chen. “Bisimulation for Lattice-valued Transition Systems”. In Proceeding of the 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE’12), pp.279-282, 2012
- Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang: “Formal Specification of Hybrid MARTE Statecharts”. 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE’12), pp 59-66, 2012
- Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin: “Modeling Timing Requirements in Problem Frames Using CCSL”. In 18th Asia Pacific Software Engineering Conference (APSEC’11): 381-388, Ho Chi Minh City (Vietnam), dec. 2011.
Others
- Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine, Alexandra Savu, “Behavioural Semantics for Asynchronous Components”, INRIA RR8167, Dec. 2012, [Paper]
- Ling Yin, Julien DeAntoni, Frédéeric Mallet, Robert de Simone, Jing Liu: “Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Büchi Automata”, INRIA Research Report 8102, Oct. 2012, submitted for publication. [RR8103]
