A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. H Ouni, K Klai, CA Abid, B Zouari SCSS, 107-119, 2017 | 12 | 2017 |
Parallel symbolic observation graph H Ouni, K Klai, CA Abid, B Zouari 2017 IEEE International Symposium on Parallel and Distributed Processing …, 2017 | 11 | 2017 |
Towards parallel verification of concurrent systems using the symbolic observation graph H Ouni, K Klai, CA Abid, B Zouari 2019 19th International Conference on Application of Concurrency to System …, 2019 | 9 | 2019 |
Reducing time and/or memory consumption of the sog construction in a parallel context H Ouni, K Klai, CA Abid, B Zouari 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications …, 2018 | 6 | 2018 |
Synthesis of controllers for symmetric systems CA Abid, B Zouari International journal of control 83 (11), 2354-2367, 2010 | 5 | 2010 |
Synthesis of controllers using symbolic reachability graphs CA Abid, B Zouari 2008 9th International Workshop on Discrete Event Systems, 314-321, 2008 | 5 | 2008 |
A distributed verification approach for modular petri nets CA Abid, B Zouari Proceedings of the 2007 summer computer simulation conference, 681-690, 2007 | 5 | 2007 |
A distributed state space for modular Petri nets H Ouni, CA Abid, B Zouari | 4 | 2015 |
Hyper symbolic observation graph to enforce opacity of discrete event systems using supervisory control NE Souid, K Klai, CA Abid, SB Ahmed 2022 8th International Conference on Control, Decision and Information …, 2022 | 3 | 2022 |
Local verification using a distributed state space CA Abid, B Zouari Fundamenta Informaticae 125 (1), 1-20, 2013 | 3 | 2013 |
Supervisory Control and High-level Petri nets CA Abid, S Zairi, B Zouari Petri Nets: Applications, 281–306, 2010 | 3 | 2010 |
Optimal supervisory control of opacity for modular systems NE Souid, K Klai, CA Abid, SB Ahmed 2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications …, 2022 | 2 | 2022 |
Hybrid parallel model checking of hybrid LTL on hybrid state space representation K Klai, CA Abid, J Arias, S Evangelista International Conference on Verification and Evaluation of Computer and …, 2021 | 2 | 2021 |
SOG-based multi-core LTL model checking CA Abid, KKK Klai, J Arias, H Ouni 2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications …, 2020 | 1 | 2020 |
DECENTRALISED ACTIVE CONTROLLER CA Abid, B Zouari Proceedings of the 7th International Conference on Informatics in Control …, 2010 | 1 | 2010 |
Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control NE Souid, K Klai, CA Abid, SB Ahmed 2023 9th International Conference on Control, Decision and Information …, 2023 | | 2023 |
A Reduced Distributed Sate Space for Modular Petri Nets S Khlifa, CA Abid, B Zouari International Conference on Advanced Information Networking and Applications …, 2023 | | 2023 |
At Design-Time Approach for Supervisory Control of Opacity NE Souid, K Klai, CA Abid, SB Ahmed International Conference on Cooperative Information Systems, 37-54, 2022 | | 2022 |
IEEE| DOI: 10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM57177. 2022.00125 TS Abdelrahman, CA Abid, SB Ahmed, Y Ai, H Aikawa, A Akoglu, D Bai, ... | | 2022 |
An Active Controller Based on Parikh Vectors CA Abid, S Ben Mohamed, B Zouari International Workshop on Discrete Event Systems, 93-98, 2014 | | 2014 |