Distributed model-checking and counterexample search for CTL logic MC Boukala, L Petrucci International Journal of Critical Computer-Based Systems 3 3 (1-2), 44-59, 2012 | 22 | 2012 |
Towards distributed verification of Petri nets properties MC Boukala, L Petrucci First International Workshop on Verification and Evaluation of Computer and …, 2007 | 20 | 2007 |
Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process R Bouchekir, MC Boukala Innovations in Systems and Software Engineering 14, 229-244, 2018 | 7 | 2018 |
Distributed CTL Model–Checking and counterexample search MC Boukala, L Petrucci Third International Workshop on Verification and Evaluation of Computer and …, 2009 | 7 | 2009 |
Distributed verification of modular systems MC Boukala, L Petrucci SUMo and CompoNet PC members have reviewed nine submissions by re-searchers …, 2011 | 6 | 2011 |
Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes R Bouchekir, S Boukhedouma, MC Boukala 2016 6th International Conference on Simulation and Modeling Methodologies …, 2016 | 4 | 2016 |
A Petri net Approach for Reusing and Adapting components with Atomic and non-atomic Synchronisation D Dahmani, MC Boukala, H Mountassir International Workshop on Petri Nets and Software Engineering, PNSE'2014 …, 2014 | 4 | 2014 |
Energy-Aware VM placement based on intra-balanced resource allocation in data centers I El-Taani, MC Boukala, S Bouzefrane 2021 8th International Conference on Future Internet of Things and Cloud …, 2021 | 3 | 2021 |
Toward implicit learning for the compositional verification of Markov decision processes R Bouchekir, MC Boukala Verification and Evaluation of Computer and Communication Systems: 12th …, 2018 | 2 | 2018 |
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. D Dahmani, MC Boukala, H Mountassir, S Chouali PNSE@ Petri Nets, 69-84, 2017 | 2 | 2017 |
Symbolic probabilistic analysis and verification of inter-organizational workflow R Bouchekir, S Boukhedouma, MC Boukala 2016 International Conference on Information Technology for Organizations …, 2016 | 2 | 2016 |
Using processor virtualization to load balancing distributed state space construction M Rahim, MC Boukala 2011 10th International Symposium on Programming and Systems, 156-162, 2011 | 2 | 2011 |
Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets M Rahim, M Ioualalen, MC Boukala, A Hammad International Conference on Advanced Networking, Distributed Systems and …, 2014 | 1 | 2014 |
Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets M Rahim, M Ioualalen, MC Boukala, A Hammad International Conference on Advanced Networking, Distributed Systems and …, 2014 | 1 | 2014 |
Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations D Dahmani, MC Boukala, H Mountassir Conférence francophone sur l'Architecture Logicielle, CAL'2014, 2014 | 1 | 2014 |
Vérification distribuée des systèmes complexes B Mohand Cherif Université des Sciences et de la Technologie Houari Boumediene, 2012 | 1* | 2012 |
Robust approach for host-overload detection based on dynamic safety parameter I El-Taani, MC Boukala, S Bouzefrane, AI Amrous 2022 9th International Conference on Future Internet of Things and Cloud …, 2022 | | 2022 |
Verification of modular systems FO Lounnaci, M Ioualalen, MC Boukala IT4OD, 240, 2014 | | 2014 |
Vérification distribuée des systèmes temps réel F Ouazar Alger, 2008 | | 2008 |
Analyse hiérarchique des réseaux de pétri stochastiques MC BOUKALA, M IOUALALEN, A AISSANI ADPM'98: les systèmes dynamiques hybrides (Reims, 19-20 mars 1998), 425-427, 1998 | | 1998 |