Publications Internationales

  1. Bouchekir, and M.C. Boukala, “Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process”, Innovations in Systems and Software Engineering, June 2018.
  2. Rahim, M.; Kheldoun, A.; Boukala-Ioualalen, M.; Hammad, A., "Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams," in Software, IET , vol.9, no.5, pp.119-128, 10 2015 doi: 10.1049/iet-sen.0087

  3. M. Rahim, A. Hammad, and M. Ioualalen. « A methodology for verifying SysML requirements using activity diagrams » Innovations in Systems and Software Engineering, Springer, pages 1-15, 2016

 

Communications Internationales

  1. Messaoud Rahim, Ahmed Hammad, and Malika Ioualalen. Slicing Based Verification Approach for the Validation of SysML Activity Diagrams, Accepted in TASE 20, September 13-15, 2017 Nice, France, http://tase2017.unice.fr/node/8

  2. D. Dahmani, M.C. Boukala, H. Mountassir and S. Chouali, 'Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers', International Workshop on Petri Nets and Software Engineering, Zaragoza, Spain, June 26-27, 2017, http://www.informatik.uni-hamburg.de/TGI/events/pnse/

  3. D.Zaouche, M.C. Boukala, H. Mountassir, 'Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations', Conférence francophone sur l'Architecture Logicielle, CAL'2014, Paris, France, 10-11 Juin 2014, http://cal2014.enseeiht.fr/programme.html

  4. F. Ouazar, M. Ioualalen, M.C. Boukala, Vérification des systèmes modulaires, Conférence francophone sur l'Architecture Logicielle, 10-11 juin 2014, CAL'2014, Paris, France.

  5. F. Ouazar, M. Ioualalen, M.C. Boukala, 'verification of modular systems', 19-20 Octobre 2014, IT4OD 2014, Tebssa Algeria, pages: 42-47.

  6. Djaouida Dahmani, Mohand Cherif Boukala and Hassan Mountassir: Reusing and Adapting components using Petri Nets with Synchronous Transitions, PNSE’14, Tunis, Tunisia, June 23-24, 2014, http://www.informatik.uni-hamburg.de/TGI/events/pnse14/

  7. M. Rahim, M. Ioualalen, M.C Boukala, A. Hammad, Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets, accepted at INDS 2014, International Conference on Advanced Networking, Distributed Systems and Applications. Béjaia (Algeria), June 17th-19th, 2014.

  8. D. Zaouche, M.C. Boukala, H. Mountassir, A Petri net Approach for Reusing and Adapting components with Atomic and non-atomic Synchronisation, Accepted at International Workshop on Petri Nets and Software Engineering, PNSE'2014, Tunis, Tunisia, June 23-24, 2014, http://www.informatik.uni-hamburg.de/TGI/events/pnse14/

  9. M. Rahim, M. Ioualalen, A. Hammad. Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams, accepted at (PNSE' 14) International Workshop on Petri Nets and Software Engineering.

  10. M. Rahim, M. Boukala-Ioualalen, M. Hammad, “Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets” IEEE/ASEC SERA'2015 13-15 May 2015, Hammamet, Tunisia. http://sera2015.redcad.org/acceptedpaper.html

  11. R. Bouchekir, S. Boukhedouma and M.C. Boukala, « Symbolic Probabilistic Analysis and Verification of Interorganizational Workflow » IT40D'16, 30 Mars 01 Avril 2016, Fez, Maroc, sélectionné pour une possible publication dans le journal Inderscience.

  12. R. Bouchekir, S. Boukhedouma and M.C. Boukala, « Automatic Compositional Verification of Probabilistic Safety Properties for Interorganisational Workflow Processes » SIMULTEC'16, 29-31 july 2016, Lisbon, Portugal.

  13. M. Rahim, A. Hammad, and M. Ioualalen. “Validation of a SysML Based Design for Wireless Sensor Network’’ pour publication in 6th Symposium on Computer Languages, Implementations and Tools (SCLIT 2016).

  14. M. Rahim, A. Hammad, and M. Ioualalen. “A Slicing Based Approach for Verifying SysML Requirements on Activity Diagrams” à la conference VECOS 2016. (Article soumi).

  15. M.Taibi, M. Ioualalen, Formal Modeling and Verification of Multi-Agents System using Well-formed Net, ICAITA'2016, 12-13 Novembre 2016, Dubai.

Communications Nationales

  1. M. Taibi, Modélisation et vérification des protocoles d'interaction des systèmes multi-agents par les réseaux de Petri colorés : 1ères journée MOVEP- USTHB, Avril 2014.