R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture-Reference-Cited by-同舟云学术

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture

Published:2021 Issue: Volume: Page:44-69
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Choucha Chams Eddine^ORCID,Salem Mohamed Oussama Ben^ORCID,Khalgui Moahmed^ORCID,Kahloul Laid^ORCID,Ougouti Naima Souad

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-83007-6_3

Reference20 articles.

1. Ben Salem, M.O., Mosbahi, O., Khalgui, M., Jlalia, Z., Frey, G., Smida, M.: Brometh: methodology to design safe reconfigurable medical robotic systems. Int. J. Med. Robot. Comput. Assist. Surg. 13(3), e1786 (2017)

2. Camilli, M., Bellettini, C., Capra, L., Monga, M.: CTL model checking in the cloud using mapreduce. In: 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 333–340. IEEE (2014)

3. Choucha., C.E., Ramdani., M., Khalgui., M., Kahloul., L.: On decomposing formal verification of CTL-based properties on IAAS cloud environment. In: Proceedings of the 15th International Conference on Software Technologies - ICSOFT, vol. 1, pp. 544–551. INSTICC, SciTePress (2020). https://doi.org/10.5220/0009972605440551

4. Choucha, C.E., Ougouti, N.S., Khalgui, M., Kahloul., L.: R-TNCES verification: distributed state space analysis performed in a cloud-based architecture. In: Proceedings of the 33rd Annual European Simulation and Modelling Conference, pp. 96–101. ETI, EUROSIS (2019)

5. Eddine, C.C., Salem, M.O.B., Khalgui, M., Kahloul, L., Ougouti, N.S.: On the improvement of R-TNCESS verification using distributed cloud-based architecture, pp. 339–349 (2020). https://doi.org/10.5220/0009836103390349