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", language="en",}
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", language="fr",}
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", language="en", 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", language="fr", 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", language="fr", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="fr",}
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", language="fr", 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", language="fr", 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", language="fr",}
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", language="fr", 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", language="en", 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", language="fr", 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", language="fr", 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, 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", language="fr",}
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", language="fr", 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", language="fr", 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", language="en", 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", language="fr", 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", language="fr", 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", language="fr", 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", language="fr", month="2005",}
