Accéder directement au contenu

Jean-Claude Royer

6
Documents

Publications

massimo-tisi
Image document

A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things

 Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
Advanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩
Communication dans un congrès hal-02943297v1
Image document

Removing Problems in Rule-Based Policies

 Zheng Cheng , Jean-Claude Royer , Massimo Tisi
SEC 2019 : ICT Systems Security and Privacy Protection, Jun 2019, Lisbon, Portugal. pp.120-133, ⟨10.1007/978-3-030-22312-0_9⟩
Communication dans un congrès hal-02169342v1
Image document

CyprIoT: framework for modelling and controlling network-based IoT applications

 Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
SAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297362⟩
Communication dans un congrès hal-02333578v2
Image document

Efficiently Characterizing the Undefined Requests of a Rule-Based System

 Zheng Cheng , Jean-Claude Royer , Massimo Tisi
IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Communication dans un congrès hal-01828305v1
Image document

Towards Model-Based Communication Control for the Internet of Things

 Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
STAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Communication dans un congrès hal-01984056v1
Image document

Automatically Summarizing all the Problems of a Rule-Based System

 Jean-Claude Royer , Massimo Tisi
[Research Report] IMT Atlantique. 2020
Rapport hal-02432411v1