PUBLICATIONS

Publications co-authored between at least 2 AT partners appear in bold face

2017

Proceedings :

  • F. Mallet, M. Zhang, E. Madelaine: Proc. of the 11th International Conference on the Theoretical Aspects of Sofware Engineering (TASE’17), IEEE, Sep. 2017, Sophia Antipolis, France.

Journals:

  • “Periodic Scheduling for MARTE/CCSL: Theory and Practice”, F. Dai, F. Mallet, M. Zhang, Science of Computer Programming, Oct. 2017.
  • “Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking”. Y. Bao, M. Chen, Q. Zhu, T. Wei, F. Mallet and T. Zhou. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017
  • “TRAP: Trace Runtime Analysis of Properties”. Daian YUE, Vania JOLOBOFF and Frederic, MALLET. Frontiers in Computer Science, Springer, Dec. 2017 (to appear).
  •  

    “A Stochastic Extension to MARTE/CCSL for Modeling Uncertainty in Cyber Physical Systems”, Dehui Du, Frederic Mallet, Science of Computer Progamming, Elsevier, Dec. 2017 (to appear).

  •  

    Xiaosa Hu, Yueling Zhang, Jinawen Li, Geguang Pu, and Min Zhang: On Computing MCS Using Unsatisfiable Reasons. Journal of Software.  Dec. 2017

  • “Time Regular Task Automata…”, Guoqiang Li and Min Zhang, submitted to Science of Computer Programming, Oct. 2017
  • Yue Lv, and Min Zhang The transition and properties from Boolean networks to Discrete-time Markov Chains：A case study of mice stem cell gene regulatory networks. Journal of East China Normal University (Science) Accepted, Jan, 2018
  • “Behavioural Semantics for Asynchronous Components”,  Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, Alexandra Savu, JLAMP, DOI: 10.1016/j.jlamp.2017.02.003, 2017 Feb.

Conferences:

  • “A Bounded Multi-dimensional Modal Logic for Autonomous Cars Based on Local Traffic and Estimation”, Bingqing Xu and Qin Li, In proceeding of  2017 International  Symposium on Theoretical Aspects of  Software Engineering (TASE 2017)
  • “Bisimulations for Probabilistic Linear Lambda Calculi”, , Yuxin Deng and Yuan FengIn proceeding of  2017 International  Symposium on Theoretical Aspects of  Software Engineering (TASE 2017)
  • Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu and Fu Song : Optimizing Backbone Computing.   In proceeding of  2017 International  Symposium on Theoretical Aspects of  Software Engineering (TASE 2017)
  • Jean-Vivien Millo, Amine Oueslati, Emilien Kaufman, F. Mallet and Robert de Simone. Explicit Control of Dataflow Graphs with MARTE/CCSL. DOI 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 542-549, 2017, ISBN: 978-989-758-210-3.
  • Min Zhang, Yunhui Ying: Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems. LCTES 2017: 61-70

Technical reports:

  • Eric Madelaine, Xudong Qin, Min Zhang: “Using SMT engine to generate Symbolic
    Automata”, INRIA Research Report, Nov. 2017

2016

PhDs:

  1. PhD thesis of Ling Yin was defended at ECNU (under the joint supervision of Liu Jing and Frédéric Mallet) in September 2016.
  2. The PhD thesis of Oleksandra Kulankhina was defended at University of Nice on 2016 Oct. 14th, entitled “A framework for rigorous development of distributed components:formalisation and tools”. The VerCors toolset, that results from this work and from several collaborations with ECNU, is available at: https://team.inria.fr/scale/software/vercors/

Journal:

  1. “Towards a bisimulation theory for open synchronized networks of automata”, Eric Madelaine, Min Zhang, Science China, Information Science, Vol.59, Num.5, May 2016

Conferences:

  1. “Towards a Denotational Semantics for Parameterized Networks of Processes”, Siqi Li, Eric Madelaine, Huibiao Zhu, PDP’16, Heraklion, March 2016
  2. “Integrated Environment for Verifying and Running Distributed Components”, Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine, FASE, Eindhoven, Apr. 2016
  3. “A Denotational Semantics for Parameterized Networks of Processes”, Siqi Li, Eric Madelaine, UTP’16, Reykjavic, June 2016
  4. “A theory for the composition of concurrent processes”, Ludovic Henrio, Eric Madelaine, Min Zhang, FORTE, Heraklion, June 2016.
  5. “Flexible Runtime Verification”, Daian Yue, Vania Joloboff, Frederic Mallet, FDL’16, Bremen, Sept. 2016
  6. “MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks”, Dehui Du, Ping Huang, Frédéric Mallet, Mingrui Yang, Kaiqiang Jiang, FACS’16, Besancon, Oct. 2016
  7. “Divergence Detection for CCSL Specification via Clock Causality Chain”, Qingguo Xu, Robert de Simone, Julien Deantoni, SETTA, Beijing, Nov. 2016
  8. “An SMT-Based Approach to the Formal Analysis of MARTE/CCSL”, Min Zhang, Frédéric Mallet, Huibiao Zhu, ICFEM 2016, Tokyo, Nov. 2016

2015

Conferences:

  1. A Behavioral Coordination Operator Language (BCOoL),  Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet, Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015
  2. Modeling Stochastic Behaviors of CPSs with MARTE/(p)CCSL, Dehui Du, Bei Cheng, and Frédéric Mallet, accepted for publication.
  3. MARTE/CCSL for Modeling Cyber-Physical Systems,  Frédéric Mallet: SyDe Summer School 2015: 26-49
  4. Correctness issues on MARTE/CCSL constraints, Frédéric Mallet, Robert de Simone, Science of Computer Programming (SCP) 106: 78-92 (2015)
  5. An Executable Semantics of Clock Constraint Specification Language and its Applications, Min Zhang and Frederic Mallet:. ICFEM/FTSCS, CCIS series, Springer, November 2015.
  6. “An Expressive Model for Parameterised Networks of Processes”, L. Henrio, E. Madelaine, M. Zhang, in proc. of Parallel, Distributed and network-based Processing (special session PDP4Pad), Turku, Finland, Mar. 2015. Extended version available as RR-8579, INRIA: https://hal.inria.fr/hal-01055091v2
  7. “Painless support for static and runtime verification of component-based applications”, Nuno Gaspar, Ludovic Henrio, Eric Madelaine, in Fundamentals of Software Engineering (FSEN’2015), Apr 2015, Teheran, Iran. pp.1. Also: https://hal.inria.fr/hal-01168757v1
  8. “Towards Faithful Simulation” Vania Joloboff, Jean Francois Monin, Xiaomu Shi, to appear in Springer LNCS in 2016, paper accepted at SETTA 2015 Symposium in Nanjing, November 2015
  9. “Fast approximately timed simulation.” Vania Joloboff, Shenpeng Wang, Yangdong Deng. WIT Press, WIT Transactions on Information and Communication Technologies, ISSN: 1743- 3517, March 2015 Modeling and analysis of interactive telemedicine systems
  10. “Modeling and analysis of interactive telemedicine systems”. Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He, Innovations Syst Softw Eng (2015) 11:55–69
  11. “Denotational semantics and its algebraic derivation for an event-driven system-level language”. H. Zhu, Jifeng He, Shengchao Qin and Phillip J. Brooke, Formal Aspects of Computing (2015) 27: 133–166
  12. “Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach”,  Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun. COMPSAC 2015:
  13. Logical Clock Constraint Specification in PVS. Qingguo Xu, Robert de Simone, Julien Deantoni. Research Report 8748, Inria Sophia Antipolis. 2015, pp.11.