Publications

Export 4 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Model checking  [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.