| 2025 | VECoS | A Generic Event-B Theory for the Formalisation of the International System of Units. | Idir At-Sadoune |
| 2023 | MEDI | A Floating-Point Numbers Theory for Event-B. | Idir At-Sadoune |
| 2019 | MEDI | Building Formal Semantic Domain Model: An Event-B Based Approach. | Idir At-Sadoune, Linda Mohand-Oussad |
| 2017 | MEDI | Formal Modelling of Domain Constraints in Event-B. | Linda Mohand-Oussad, Idir At-Sadoune |
| 2016 | ISoLA | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune, Marc Pantel |
| 2014 | DEXA | On Using Requirements Throughout the Life Cycle of Data Repository. | Stphane Jean, Idir At-Sadoune, Ladjel Bellatreche, Ilys Boukhari |
| 2014 | ISoLA | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune |
| 2014 | MEDI | A Multi-Agent Based Approach for Composite Web Services Simulation. | Fatma Siala, Idir At-Sadoune, Khaled Ghdira |
| 2012 | DEXA | Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. | Yamine At Ameur, Idir At-Sadoune |
| 2011 | MEDI | Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. | Linda Mohand-Oussad, Idir At-Sadoune, Yamine At Ameur |
| 2010 | SERA | Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. | Idir At-Sadoune, Yamine At Ameur |
| 2009 | ICECCS | A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. | Idir At-Sadoune, Yamine At Ameur |
| 2008 | ISoLA | Animating Event B Models by Formal Data Models. | Idir At-Sadoune, Yamine At Ameur |