| Sequential and parallel algorithms for the state space exploration L Allal, G Belalem, P Dhaussy, C Teodorov Cybernetics and Information Technologies 16 (1), 3-18, 2016 | 7 | 2016 |
| Towards distributed solution to the state explosion problem L Allal, G Belalem, P Dhaussy Information Systems Design and Intelligent Applications: Proceedings of …, 2016 | 6 | 2016 |
| A parallel algorithm for the state space exploration L Allal, G Belalem, P Dhaussy, C Teodorov Scalable Computing: Practice and Experience 17 (2), 129-142, 2016 | 4 | 2016 |
| Proposed algorithms to the state explosion problem L Allal, G Belalem, P Dhaussy, C Teodorov Smart Trends in Information Technology and Computer Communications: First …, 2016 | 2 | 2016 |
| Consistency Management of Replicas in Wireless Grid Environment G Belalem, L Allal, C Dad International Journal of Grid and Distributed Computing 3 (4), 33-44, 2010 | 2 | 2010 |
| Distributed algorithm to fight the state explosion problem L Allal, G Belalem, P Dhaussy, C Teodorov International Journal of Internet Technology and Secured Transactions 8 (3 …, 2018 | 1 | 2018 |
| Using parallel and distributed reachability in model checking L Allal, G Belalem, P Dhaussy, C Teodorov Ambient Communications and Computer Systems: RACCCS 2017, 143-154, 2018 | 1 | 2018 |
