Ouvrages individuels ou collectifs
(2)
Linda MOHAND OUSSAID, Nadjet KAMEL, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, A formal framework for design and validation of multimodal interactive systems in transport domain, Human–computer interaction in transport (Human–computer interaction in transport), edited by Christophe Kolski, edited by ISTE Ltd and John Wiley & Sons, Inc, 2011, pp. 93-108

@INBOOK{10152, author="Mohand Oussaid Linda and Kamel Nadjet and Ait-Sadoune Idir and Ait-Ameur Yamine and Ahmed-Nacer Mohamed", title="A formal framework for design and validation of multimodal interactive systems in transport domain", publisher="ISTE Ltd and John Wiley & Sons, Inc", year="2011", edition="Christophe Kolski",}
Linda MOHAND OUSSAID, Nadjet KAMEL, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Paris, edited by Hermes Science Publications, 2010, pp. 113-149


@INBOOK{8306, author="Mohand Oussaid Linda and Kamel Nadjet and Ait-Sadoune Idir and Ait-Ameur Yamine and Ahmed-Nacer Mohamed", title="Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport", publisher="Hermes Science Publications", year="2010", address="Paris",}
Revues Internationales
(1)
Ilyes BOUKHARI, Stéphane JEAN, Idir AIT-SADOUNE, Ladjel BELLATRECHE, The role of user requirements in data repository design, International Journal on Software Tools for Technology Transfer (STTT), 2016

@ARTICLE{23502, author="Boukhari Ilyes and Jean Stéphane and Ait-Sadoune Idir and Bellatreche Ladjel", title="The role of user requirements in data repository design", year="2016", journal="International Journal on Software Tools for Technology Transfer",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, Journal d'Interaction Personne-Système (JIPS 2010), vol. 1, n. 1, Septembre, 2010, pp. 1-30


@ARTICLE{9075, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux", year="2010", volume="2010", number="1", pages="1-30", journal="Journal d'Interaction Personne-Système",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI - ISI (Ingénierie des Systèmes d'Information) (ISI 2008), vol. 13 , n. 2, 2008, pp. 127-154

@ARTICLE{8274, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement", year="2008", volume="2008", number="2", pages="127-154", journal="RSTI - ISI (Ingénierie des Systèmes d'Information)",}
Conférences Internationales
(10)
Stéphane JEAN, Idir AIT-SADOUNE, Ladjel BELLATRECHE, Ilyes BOUKHARI, On Using Requirements Throughout the Life Cycle of Data Repository, 25th International Conference on Database and Expert Systems Applications (DEXA 2014), 2014

@INPROCEEDINGS{15822, author="Jean Stéphane and Ait-Sadoune Idir and Bellatreche Ladjel and Boukhari Ilyes", title="On Using Requirements Throughout the Life Cycle of Data Repository", booktitle="25th International Conference on Database and Expert Systems Applications", year="2014", month="sep",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mickael BARON, Verification and validation of BPEL processes. A proof and animation based approach, Rodin User and Developer Workshop : Deploy Federated Event (Rodin User and Developer Workshop), 2012

@INPROCEEDINGS{10146, author="Ait-Sadoune Idir and Ait-Ameur Yamine and Baron Mickael", title="Verification and validation of BPEL processes. A proof and animation based approach", booktitle="Rodin User and Developer Workshop : Deploy Federated Event", year="2012", month="feb",}
Linda MOHAND OUSSAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Modeling information fission in output multi-modal interactive systems using Event B, International Conference on Model & Data Engineering (MEDI 2011), edited by Springer LNCS, Obidos, Portugal, Sept, 2011

@INPROCEEDINGS{10159, author="Mohand Oussaid Linda and Ait-Sadoune Idir and Ait-Ameur Yamine", title="Modeling information fission in output multi-modal interactive systems using Event B", booktitle="International Conference on Model & Data Engineering", year="2011", editor="Springer LNCS", address="Obidos, Portugal", month="sep",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, A Proof Based Approach for Formal Verification of Transactional BPEL Web Services, Abstract State Machines, Alloy, B and Z (ABZ'2010) (ABZ 2010), vol. 5977/2010, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, Orford, Quebec, Canada, February, 2010, pp. 405-406


@INPROCEEDINGS{9000, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="A Proof Based Approach for Formal Verification of Transactional BPEL Web Services", booktitle="Abstract State Machines, Alloy, B and Z (ABZ'2010)", year="2010", editor="Springer Berlin / Heidelberg", pages="405-406", address="Orford, Quebec, Canada",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach, Software Engineering Research, Management and Applications (SERA 2010), vol. 296/2010, Studies in Computational Intelligence, edited by Springer Berlin / Heidelberg, Montreal, Canada, May, 2010, pp. 51-68


@INPROCEEDINGS{9005, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach", booktitle="Software Engineering Research, Management and Applications", year="2010", editor="Springer Berlin / Heidelberg", pages="51-68", address="Montreal, Canada",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, From BPEL to Event-B, International Workshop on Integration of Model-based Methods and Tools (IFM 2009), Düsseldorf Germany, Fevruary , 2009

@INPROCEEDINGS{8297, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="From BPEL to Event-B", booktitle="International Workshop on Integration of Model-based Methods and Tools", year="2009", address="Düsseldorf Germany",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, A Proof Based Approach for Modelling and Verifying Web Services Compositions, 14th IEEE International Conference on Engineering of Complex Computer Systems (ECCS 2009), edited by IEEE Computer Society, Potsdam Germany, June, 2009, pp. 1-10


@INPROCEEDINGS{8486, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="A Proof Based Approach for Modelling and Verifying Web Services Compositions", booktitle="14th IEEE International Conference on Engineering of Complex Computer Systems", year="2009", editor="IEEE Computer Society", pages="1-10", address="Potsdam Germany",}
Yamine AIT-AMEUR, Nabil BELAID, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène FANKAM, Fabien L. Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilheres, Florian Husson, Stéphane JEAN, Joel Langlois, Phuc-Hiep Luong, Laura Mastella, Olivier Morel, Michel Perrin, Guy PIERRA, Jean-François Rainaud, Idir AIT-SADOUNE, Eric SARDET, Francois Tertre, João Francisco Valiati, Semantic Hubs for Geological Projects, Workshop on Semantic Metadata Management and Applications (SeMMA 2008), June, 2008, pp. 3-17


@INPROCEEDINGS{8457, author="Ait-Ameur Yamine and Belaid Nabil and Bennis Mohammed and Corby Olivier and Dieng-Kuntz Rose and Doucy Jérémie and Durville Priscille and Fankam Chimène and Gandon Fabien L. and Giboin Alain and Giroux Patrick and Grataloup Sandrine and Grilheres Bruno and Husson Florian and Jean Stéphane and Langlois Joel and Luong Phuc-Hiep and Mastella Laura and Morel Olivier and Perrin Michel and Pierra Guy and Rainaud Jean-François and Ait-Sadoune Idir and Sardet Eric and Tertre Francois and Valiati João Francisco", title="Semantic Hubs for Geological Projects", booktitle="Workshop on Semantic Metadata Management and Applications", year="2008", pages="3-17", month="jun",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, Animating Event B Models by Formal Data Models , Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), vol. 17, Communications in Computer and Information Science, edited by Springer Berlin Heidelberg , Kassandra Greece, October, 2008, pp. 37-55


@INPROCEEDINGS{8279, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Animating Event B Models by Formal Data Models ", booktitle="Leveraging Applications of Formal Methods, Verification and Validation", year="2008", editor="Springer Berlin Heidelberg ", pages="37-55", address="Kassandra Greece",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, Verification and Validation of Web Service Composition Using Event B Method , Abstract State Machines, B and Z (ABZ 2008) (ABZ 2008), vol. 5238, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, London UK, September, 2008, pp. 339-340


@INPROCEEDINGS{8284, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Verification and Validation of Web Service Composition Using Event B Method ", booktitle="Abstract State Machines, B and Z (ABZ 2008)", year="2008", editor="Springer Berlin / Heidelberg", pages="339-340", address="London UK",}
Conférences Nationales
(10)
Idir AIT-SADOUNE, BPEL2B : Un outil d’aide à la vérification de la composition de services Web basé sur la preuve et le raffinement, 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), 2010, pp. 65--74

@INPROCEEDINGS{9068, author="Ait-Sadoune Idir", title="BPEL2B : Un outil d’aide à la vérification de la composition de services Web basé sur la preuve et le raffinement", booktitle="10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels", year="2010", pages="65--74",}
Idir AIT-SADOUNE, Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2010), La Rochelle, Mai, 2010

@INPROCEEDINGS{9259, author="Ait-Sadoune Idir", title="Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement", booktitle="Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes", year="2010", address="La Rochelle",}
Idir AIT-SADOUNE, Vérification et Validation Formelles de la Composition de Services Web, École Jeune Chercheurs en Programmation (EJCP 2008), Guidel, Rennes , Mai, 2008

@INPROCEEDINGS{9255, author="Ait-Sadoune Idir", title="Vérification et Validation Formelles de la Composition de Services Web", booktitle="École Jeune Chercheurs en Programmation", year="2008", address="Guidel, Rennes ",}
Nabil BELAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Jean-François Rainaud, Stéphane JEAN, Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2, 26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement (INFORSID 2008), 2008, pp. 67-76

@INPROCEEDINGS{8471, author="Belaid Nabil and Ait-Sadoune Idir and Ait-Ameur Yamine and Rainaud Jean-François and Jean Stéphane", title="Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2", booktitle="26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement", year="2008", pages="67-76",}
Idir AIT-SADOUNE, Vérification et Validation Formelles de la Composition de Services Web, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2008), La Rochelle , Juillet, 2008

@INPROCEEDINGS{9243, author="Ait-Sadoune Idir", title="Vérification et Validation Formelles de la Composition de Services Web", booktitle="Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes", year="2008", address="La Rochelle ",}
Idir AIT-SADOUNE, Verification and Validation of Web Service Compositions Using the Event B Method, MOdelling and VErifying parallel Process (MOVEP) (MOVEP 2008), Orléans, June, 2008

@INPROCEEDINGS{9247, author="Ait-Sadoune Idir", title="Verification and Validation of Web Service Compositions Using the Event B Method", booktitle="MOdelling and VErifying parallel Process (MOVEP)", year="2008", address="Orléans",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, B2EXPRESS : Un animateur de modèles B événementiel, Approches Formelles dans l'Assistance au Développement de Logiciel (AFADL 2007), Université de Namur, Belgique, Juin, 2007, pp. 295-296


@INPROCEEDINGS{7856, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="B2EXPRESS : Un animateur de modèles B événementiel", booktitle="Approches Formelles dans l'Assistance au Développement de Logiciel", year="2007", pages="295-296", address="Université de Namur, Belgique",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités (MOSIM 2006), Rabat, Maroc, 3 - 5 avril, 2006, pp. 578-588


@INPROCEEDINGS{7316, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael", title="Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement", booktitle="Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités", year="2006", pages="578-588", address="Rabat, Maroc", month="apr",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve, 18ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130


@INPROCEEDINGS{7576, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve", booktitle="18ème Conférence Francophone sur l'Interaction Homme-Machine", year="2006", editor="ACM International Conference Proceeding Series", pages="123-130", organization="Montréal",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, Animation de modèles B par transformation de modèles, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2006), La Rochelle , Juillet, 2006

@INPROCEEDINGS{9239, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Animation de modèles B par transformation de modèles", booktitle="Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes", year="2006", address="La Rochelle ",}
Idir AIT-SADOUNE, Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve., Thesis, ENSMA, january, 2010

@PHDTHESIS{9423, author="Ait-Sadoune Idir", title="Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve.", year="2010", month="jan",}
Rapports de Recherche
(5)
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009

@TECHREPORT{8908, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Fankam Chimène and Jean Stéphane and Pierra Guy and Sardet Eric", title="Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub", institution="LISI / ENSMA", year="2009", month="2009",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006


@TECHREPORT{7865, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Kamel Nadjet and Mota Jean-Marc", title="Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA)", institution="Projet RNRT VERBATIM", year="2006", month="2006",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 2006


@TECHREPORT{7871, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA)", institution="Projet RNRT VERBATIM", year="2006", month="2006",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Jean-Marc MOTA, Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 2006


@TECHREPORT{7878, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Mota Jean-Marc and Van-Aertryck Lionel", title="Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL)", institution="Projet RNRT VERBATIM", year="2006", month="2006",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005


@TECHREPORT{7228, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael", title="Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA)", institution="LISI/ENSMA", year="2005", month="2005",}