EN FR
EN FR


previous Previous | up Home


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 2R. Ameur-Boulifa, L. Henrio, O. Kulankhina, E. Madelaine, A. Savu.

    Behavioural semantics for asynchronous components, in: Journal of Logical and Algebraic Methods in Programming, 2017, vol. 89, pp. 1 - 40. [ DOI : 10.1016/j.jlamp.2017.02.003 ]

    https://hal.archives-ouvertes.fr/hal-01526055
  • 3Y. Bao, M. Chen, Q. Zhu, T. Wei, T. Zhou, F. Mallet.

    Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking, in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, December 2017, vol. 36, no 12, pp. 1989 - 2002. [ DOI : 10.1109/TCAD.2017.2681076 ]

    https://hal.inria.fr/hal-01644285
  • 4A. Khan, F. Mallet, M. Rashid.

    A framework to specify system requirements using natural interpretation of UML/MARTE diagrams, in: Software and Systems Modeling, March 2017. [ DOI : 10.1007/s10270-017-0588-7 ]

    https://hal.inria.fr/hal-01670423
  • 5V. Kherbache, E. Madelaine, F. Hermenier.

    Scheduling Live Migration of Virtual Machines, in: IEEE transactions on cloud computing, September 2017, pp. 1-14. [ DOI : 10.1109/TCC.2017.2754279 ]

    https://hal.inria.fr/hal-01644729
  • 6F. Lemoine, T. Aubonnet, L. Henrio, S. Kessal, E. Madelaine, N. Simoni.

    Monitoring as-a-service to drive more efficient future system design, in: EAI Endorsed Transactions on Cloud Systems, June 2017, vol. 3, no 9, pp. 1 - 15. [ DOI : 10.4108/eai.28-6-2017.152754 ]

    https://hal.archives-ouvertes.fr/hal-01582593
  • 7J. Worms, S. Touati.

    Modelling Program's Performance with Gaussian Mixtures for Parametric Statistics, in: IEEE Transactions on Multi-Scale Computing Systems, September 2017, 16 p. [ DOI : 10.1109/TMSCS.2017.2754251 ]

    https://hal.inria.fr/hal-01645009
  • 8M. Zhang, F. Dai, F. Mallet.

    Periodic scheduling for MARTE/CCSL: Theory and practice, in: Science of Computer Programming, September 2017. [ DOI : 10.1016/j.scico.2017.08.015 ]

    https://hal.inria.fr/hal-01670450

International Conferences with Proceedings

  • 9G. Liboni, J. Deantoni, A. Portaluri, D. Quaglia, R. De Simone.

    Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements, in: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Manchester, United Kingdom, January 2018.

    https://hal.inria.fr/hal-01675396
  • 10J.-V. Millo, E. Kofman, J. Deantoni, F. Mallet, A. Oueslati, R. De Simone.

    Explicit Control of Dataflow Graphs with MARTE/CCSL, in: MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, Scitepress, February 2017, pp. 542-549. [ DOI : 10.5220/0006269505420549 ]

    https://hal.inria.fr/hal-01644294
  • 11H. Zhao, L. Apvrille, F. Mallet.

    Multi-View Design for Cyber-Physical Systems, in: PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, Kiev, Ukraine, May 2017, pp. 22-28.

    https://hal.inria.fr/hal-01669918

Scientific Books (or Scientific Book chapters)

  • 12F. Mallet, E. Villar, F. Herrera.

    MARTE for CPS and CPSoS: Present and Future, Methodology and Tools, in: Cyber-Physical System Design from an Architecture Analysis Viewpoint, J.-P. Talpin (editor), Springer, May 2017, pp. 81-108. [ DOI : 10.1007/978-981-10-4436-6_4 ]

    https://hal.inria.fr/hal-01671190

Books or Proceedings Editing

  • 13F. Mallet, Z. Grygoriy (editors)

    PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017.

    https://hal.inria.fr/hal-01669920
  • 14F. Mallet, M. Zhang, E. Madelaine (editors)

    Eleventh International Symposium on Theoretical Aspects of Software Engineering, IEEE, September 2017.

    https://hal.inria.fr/hal-01670407


previous Previous | up Home