Agent based modelling and simulation tools: a review of the state-of-art software, Computer Science Review, vol.24, pp.13-33, 2017. ,
Model checking temporal knowledge and commitments in multi-agent systems using reduction, Simulation Modelling Practice and Theory, vol.51, pp.45-68, 2015. ,
Symbolic model checking composite Web services using operational and control behaviors, Expert Systems with Applications, vol.40, issue.2, pp.508-522, 2013. ,
The landing gear system case study, International Conference on Abstract State Machines, pp.1-18, 2014. ,
Verifying multi-agent programs by model checking, Autonomous agents and multi-agent systems, vol.12, issue.2, pp.239-256, 2006. ,
NuSMV 2.5 Tutorial, 2019. ,
NuSMV 2: An opensource tool for symbolic model checking, International Conference on Computer Aided Verification, pp.359-364, 2002. ,
Model checking real-time conditional commitment logic using transformation, Journal of Systems and Software, vol.138, pp.189-205, 2018. ,
Reasoning about knowledge, 2004. ,
Temporal development methods for agent-based, Autonomous Agents and Multi-Agent Systems, vol.10, issue.1, pp.41-66, 2005. ,
Agent-based simulation of affordance-based human behaviors in emergency evacuation, Simulation Modelling Practice and Theory, vol.32, pp.99-115, 2013. ,
An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: formal verification, simulation, and statistical testing, Journal of Systems and Software, vol.124, pp.1-21, 2017. ,
Information Systems Simulation for Performance Evaluation-Application in Aircraft Maintenance, IFIP International Conference on Product Lifecycle Management, pp.789-799, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01849562
The design and simulation of an autonomous system for aircraft maintenance scheduling, Computers & Industrial Engineering, vol.137, p.106041, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02305653
QoS computation and policing in dynamic web service selection, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, pp.66-73, 2004. ,
A new approach to model web services' behaviors based on synchronization, Advanced Information Networking and Applications Workshops, 2009. WAINA'09. International Conference on, pp.43-49, 2009. ,
Everything you need to know about agent-based modelling and simulation, Journal of Simulation, vol.10, issue.2, pp.144-156, 2016. ,
Tutorial on agent-based modelling and simulation, Journal of simulation, vol.4, issue.3, pp.151-162, 2010. ,
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance, Autonomous Agents and Multi-Agent Systems, vol.28, issue.4, pp.558-604, 2014. ,
Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources, Computers in Industry, vol.68, pp.65-77, 2015. ,
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
Model checking multi-agent systems, 2006. ,
Agent-based simulation for horizontal cooperation in logistics and transportation: From the individual to the grand coalition, Simulation Modelling Practice and Theory, vol.85, pp.47-59, 2018. ,
Separating operational and control behaviors: A new approach to Web services modeling, IEEE Internet Computing, vol.14, issue.3, pp.68-76, 2010. ,
An agent-based simulation system for multi-project scheduling under uncertainty, Simulation Modelling Practice and Theory, vol.86, pp.187-203, 2018. ,
Behavioral modeling and formal verification of a resource discovery approach in Grid computing, Expert Systems with Applications, vol.41, issue.8, pp.3831-3849, 2014. ,
Alternating automata and program verification, Computer Science Today, pp.471-485, 1995. ,
A framework to coordinate web services in composition scenarios, International Journal of Web and Grid Services, vol.6, issue.2, pp.95-123, 2010. ,