Publications

  • Revues scientifiques

 Chiheb   Ameur   ABID , Belhassen ZOUARI. Local verification using a distributed state space. Fundamenta Informaticae, Vol. 125, No. 1, pp. 1-20, Ed: IOS Press. 2013. DOI:10.3233/FI-2013-850

 Chiheb   Ameur   ABID , Belhassen ZOUARI. Synthesis of Controllers for Symmetric Systems. International Journal of Control, Vol. 83, No. 11, pp. 2354-2367, Ed.: Taylor&Francis. London, UK. 2010. DOI:10.1080/00207179.2010.520415

  • Chapitre d’ouvrage

 Chiheb   Ameur   ABID , Sajeh ZAIRI, Belhassen ZOUARI. Supervisory Control and High-level Petri nets. Chapter 14 Petri Nets: Applications. Edited by:Pawel Pawlewski. pp. 281-306. Vienna, Austria: INTECH.  2010. DOI:10.5772/7512

  • Conférences internationales

 Chiheb   Ameur   Abid ,  Kais Klai, Jaime Arias, Hiba Ouni.  SOG-Based Multi-Core LTL Model Checking. In: 18th IEEE International Conference on Parallel and Distributed Processing with Applications, pp. 9-17, 2020.

Hiba Ouni, Kais Klai,  Chiheb   Ameur   Abid , Belhassen Zouari.  Towards parallel verification of concurrent systems using the Symbolic Observation Graph. In: 19th International Conference on Application of Concurrency to System Design (ACSD), pp. 23-32, 2019.

Hiba Ouni, Kais Klai,  Chiheb   Ameur   Abid , Belhassen Zouari.  Reducing time and/or memory consumption of the sog construction in a parallel context. In: 16th IEEE International Conference on Parallel and Distributed Processing with Applications, pp. 147-154, 2018.

Hiba Ouni, Kais Klai,  Chiheb   Ameur   Abid , Belhassen Zouari.  Parallel Symbolic Observation Graph. In: 15th IEEE International Symposium on Parallel and Distributed Processing with Applications, pp. 770-777, 2017.

Hiba Ouni, Kais Klai,  Chiheb   Ameur   Abid , Belhassen Zouari. A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent System. In: 8th International Symposium on Symbolic Computation in Software Science, pp. 107-119, 2017.

Hiba Ouni,  Chiheb   Ameur   Abid , Belhassen Zouari. A distributed state space for modular Petri nets. In: 7th International Conference on Modelling, Identification and Control. Sousse, Tunisia. December 2015.

 Chiheb   Ameur   Abid , Soukaina Ben Mohamed, Belhassen Zouari. An active controller based on Parikh vectors. In: 12th IFAC – IEEE International Workshop on Discrete Event System, pp. 93-98. Paris, France. 2014.

 Chiheb   Ameur   ABID , Belhassen ZOUARI. DECENTRALISED ACTIVE CONTROLLER. In: 7th International Conference on Informatics in Control, Automation and Robotics, Vol. 2, pp. 252-259. Madeira, Portugal. 2010.

 Chiheb   Ameur   ABID , Belhassen ZOUARI (2008). Synthesis of controllers using symbolic reachability graphs. In: 9th International Workshop on Discrete Event System, pp. 314-321. Göteborg, Sweden. 2008.

 Chiheb   Ameur   ABID , Belhassen ZOUARI. A distributed verification approach for modular Petri nets. In SCSC : Proceedings of the 2007 summer computer simulation conference (DASD: workshop on the design, analysis and simulation of distributed systems: petri nets and theoretical analysis). pp. 681-690. San Diego, CA, USA: Society for Computer Simulation International, 2007.