• IMPEX ANR project: IMPlicit and EXplicit semantics integration in proof based developments of discrete systems.

  • ExaViz ANR project: Exa-scalable visual analysis.

  • NEXT Regio PIA project: Formal methodology for the safety requirements specification of a modular railway operating system.

  • Shift2Rail European project

  • Autonomous train PIA project.

PC Chair of:
PC Member of:
  • CRiSIS 2019: International Conference on Risks and Security of Internet and Systems
  • WeST: International Conference on Web services & Semantic Technology
  • AROSA @ WETICE: Track Conference on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures
  • FISA @ WETICE: Track Conference on Future Internet Services and Applications
  • SEDIT @ FNC: Workshop on Secure and Efficient Deployment of IoT
  • ASOCA @ ICSOC: Workshop on Adaptive Service-Oriented and Cloud Applications
  • ICC: International Conference on Internet of Things, Data and Cloud Computing

  • On the Fly Reconfiguration of BPaaS based on SaaS Services Federation and SAT Solving Techniques [HAL]
  • Mouna Rekik, Abderrahim Ait Wakrime, Nasreddine Cheniki and Yacine Sam
    - WETICE 2019, International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 12-14 June 2019, Capri (Napoli), Italy.
  • Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Rail Train Control [HAL]
  • Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart-Dutilleul, and Mohamed Haloua
    - ENASE 2019, International Conference on Evaluation of Novel Approaches to Software Engineering, May 4-5, 2019, Crete, Greece.
  • A Model-based Approach for the Modeling and the Verification of Railway Signaling System [HAL]
  • Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, and Simon Collart-Dutilleul
    - ENASE 2019, International Conference on Evaluation of Novel Approaches to Software Engineering, May 4-5, 2019, Crete, Greece.
  • Towards a tool-based domain specific approach for railway systems modeling and validation [HAL]
  • Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed and Philippe Bon
    - RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems, June 4-6, 2019, Lille, France.
  • A separation of concerns approach for the verified modelling of railway signalling rules [HAL]
  • Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime and Phlippe Bon
    - RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems, June 4-6, 2019, Lille, France.
  • Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B [HAL]
  • Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru and Akram Idani
    - MEDI 2018, International Conference on Model & Data Engineering, 24-26 October 2018, Marrakesh, Morocco.
  • Petri Nets to Event-B: Handling Mathematical Sequences through an ERTMS L3 Case [HAL]
  • Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart-Dutilleul and Haloua Mohamed
    - DETECT 2018, International Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, 24 October 2018, Marrakesh, Morocco.
  • Formalising the Requirements of an E-Voting Software Product Line using Event-B [HAL]
  • Abderrahim Ait Wakrime, J. Paul Gibson and Jean-Luc Raffy
    - WETICE 2018, International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 27-29 June 2018, Paris, France.
  • Formal Approach for QoS-Aware Cloud Service Composition [HAL]
  • Abderrahim Ait Wakrime, Said Jabbour
    - WETICE 2017, International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 21-23 June 2017, Poznan, Poland.
  • Deadlock-freedom of Scientific Applications Using Strict Colored FIFO Nets [HAL]
  • Abderrahim Ait Wakrime
    - CoDIT 2017, International Conference on Control, Decision and Information Technologies, 5-7 April 2016, Barcelona, Spain.
  • On Repairing Queries in Cloud Computing [HAL]
  • Abderrahim Ait Wakrime, Said Jabbour
    - DSC 2016, International Workshop for Data Science and Computing conjunction with AICCSA (International Conference on Computer Systems and Applications), 29 December 2016, Agadir, Morocco.
  • Web Service Composition As Minimal Unsatisfiability [HAL]
  • Abderrahim Ait Wakrime, Said Jabbour
    - ICEIT 2016, International Conference on Electrical and Information Technologies, 4-7 May 2016, Tangier, Morocco.
  • Automating Data Warehouse Design Using Ontology [HAL]
  • Abderrahim Ait Wakrime, Bouchra Aadil, Larbi Kzaz and Abderrahim Sekkaki
    - ICEIT 2016, International Conference on Electrical and Information Technologies, 4-7 May 2016, Tangier, Morocco.
  • On QoS Web Service Composition Using Satisfiability [HAL]
  • Abderrahim Ait Wakrime, Said Jabbour
    - ICTA 2015, International Conference on Information and Communication Technology and Accessibility, 21-23 December 2015, Marrakesh, Morocco.
  • Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing [HAL]
  • Abderrahim Ait Wakrime, Said Jabbour
    - ISDA 2015, International Conference on Intelligent Systems Design and Applications, 14-16 December 2015, Marrakesh, Morocco.
  • Relaxation based SaaS for Repairing Failed Queries over the Cloud Computings [HAL]
  • Abderrahim Ait Wakrime, Salima Benbernou, Said Jabbour
    - ICEBE 2015, International Conference on e-Business Engineering, 23-25 October 2015, Beijing, China.
  • On the Fly Reconfiguration of Interactive Scientific Visualization Applications [HAL]
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - HPCS 2015, International Conference on High Performance Computing & Simulation, 20-24 July 2015, Amsterdam, the Netherlands.
  • Ontological approach for data warehouse design [HAL]
  • Abderrahim Ait Wakrime, Bouchra Aadil, Larbi Kzaz and Abderrahim Sekkaki
    - ICPE/NTDS 2015, International Conference on Protocol Engineering and International Conference on New Technologies of Distributed Systems, 21-24 July 2015, Paris, France.
  • Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - GJESR, Global Journal of Engineering Science and Researches, vol.2.
  • Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - SESA 2014, International Workshop on Software Engineering and Systems Architecture, 13 December 2014, Tetouan, Morocco
  • Place-Liveness of ComSA Applications [HAL]
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - FACS 2014, International Symposium on Formal Aspects of Component Software, 10-12 September 2014, Bertinoro, Italy
  • Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives [HAL]
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - RNTI 2014, Revue des Nouvelles Technologies de l’Information, vol. RNTI-L-7.
  • Modélisation des applications de visualisation scientifique interactives [HAL]
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - CAL 2013, Conférence francophone sur les architectures logicielles, 30-31 May 2013, Toulouse, France


  • A Model-based Approach for the Modeling and the Verification of Railway Signaling System
  • Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, and Simon Collart-Dutilleul
    - ENASE 2019, International Conference on Evaluation of Novel Approaches to Software Engineering, May 4-5, 2019, Crete, Greece.
  • Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B
  • Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru and Akram Idani
    - MEDI 2018, International Conference on Model & Data Engineering, 24-26 October 2018, Marrakesh, Morocco.
  • Formal Approach for QoS-Aware Cloud Service Composition
  • Abderrahim Ait Wakrime, Said Jabbour
    - WETICE 2017, International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 21-23 June 2017, Poznan, Poland.
  • Deadlock-freedom of Scientific Applications Using Strict Colored FIFO Nets
  • Abderrahim Ait Wakrime
    - CoDIT 2017, International Conference on Control, Decision and Information Technologies, 5-7 April 2016, Barcelona, Spain.
  • Web Service Composition As Minimal Unsatisfiability
  • Abderrahim Ait Wakrime, Said Jabbour
    - ICEIT 2016, International Conference on Electrical and Information Technologies, 4-7 May 2016, Tangier, Morocco.
  • Relaxation based SaaS for Repairing Failed Queries over the Cloud Computings
  • Abderrahim Ait Wakrime, Salima Benbernou, Said Jabbour
    - ICEBE 2015, International Conference on e-Business Engineering, 23-25 October 2015, Beijing, China.
  • On the Fly Reconfiguration of Interactive Scientific Visualization Applications
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - HPCS 2015, International Conference on High Performance Computing & Simulation, 20-24 July 2015, Amsterdam, the Netherlands.
  • Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - SESA 2014, International Workshop on Software Engineering and Systems Architecture, 13 December 2014, Tetouan, Morocco
  • Place-Liveness of ComSA Applications
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - FACS 2014, International Symposium on Formal Aspects of Component Software, 10-12 September 2014, Bertinoro, Italy
  • Modélisation des applications de visualisation scientifique interactives
  • Abderrahim Ait Wakrime, Sébastien LIMET, Sophie ROBERT
    - CAL 2013, Conférence francophone sur les architectures logicielles, 30-31 May 2013, Toulouse, France
  • Track-IoT: Management in a heterogeneous IoT network: Architecture & Tool [slides]
  • Abderrahim Ait Wakrime, Hakima CHAOUCHI, Kevin Raymond, Oscar Botero
    - Sixth Exchange technology Telecom Institute for SMEs to explore innovations in communicating objects
    19 January 2012 in Rennes (France), Press Releases
  • Internship graduation: Résolution de réseaux de contraintes qualitatives par transformations à SAT (in french) [slides]
  • Abderrahim Ait Wakrime, 9 September 2011 in Lens (France)

  • Track-IoT: Heterogeneous IoT Network Innovation Project 2011 [pdf]
  • Hakima CHAOUCHI, Kevin Raymond, Oscar Botero, Abderrahim Ait Wakrime
    - Sixth Exchange technology Telecom Institute for SMEs to explore innovations in communicating objects
    19 January 2012 in Rennes (France), Press Releases ---- Download Source Code