Follow
Boukala Mohand Cherif
Boukala Mohand Cherif
Verified email at usthb.dz - Homepage
Title
Cited by
Cited by
Year
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
222012
Towards distributed verification of Petri nets properties
MC Boukala, L Petrucci
First International Workshop on Verification and Evaluation of Computer and …, 2007
202007
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
72018
Distributed CTL Model–Checking and counterexample search
MC Boukala, L Petrucci
Third International Workshop on Verification and Evaluation of Computer and …, 2009
72009
Distributed verification of modular systems
MC Boukala, L Petrucci
SUMo and CompoNet PC members have reviewed nine submissions by re-searchers …, 2011
62011
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
42016
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
42014
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
32021
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
22018
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers.
D Dahmani, MC Boukala, H Mountassir, S Chouali
PNSE@ Petri Nets, 69-84, 2017
22017
Symbolic probabilistic analysis and verification of inter-organizational workflow
R Bouchekir, S Boukhedouma, MC Boukala
2016 International Conference on Information Technology for Organizations …, 2016
22016
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
22011
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
12014
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
12014
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
12014
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
The system can't perform the operation now. Try again later.
Articles 1–20