Publications

Export 4 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Model checking and Author is G. Belalem  [Clear All Filters]
Conference Proceedings
L. Allal, Belalem, G., and Dhaussy, P., Towards Distributed Solution to the State Explosion Problem, Third International Conference on Information System Design and Intelligent Applications, vol. 433. Springer, Vishakapatnam, India, pp. 541-550, 2016.
L. Allal, Belalem, G., and Dhaussy, P., Towards Distributed Solution to the State Explosion Problem, Third International Conference on Information System Design and Intelligent Applications, vol. LNCS 433. Springer, Visakhapatnam, India, pp. 541-550, 2016.
Journal Article
L. Allal, Belalem, G., Dhaussy, P., and Teodorov, C., A Parallel Algorithm for the State Space Exploration, Scalable Computing: Practice and Experience, vol. 17, no. 2, p. 141, 2016.
L. Allal, Belalem, G., Dhaussy, P., and Teodorov, C., Sequential and Parallel Algorithms for the State Space Exploration, CYBERNETICS AND INFORMATION TECHNOLOGIES, vol. 16, no. 1, p. 18, 2016.