Idir AIT-SADOUNE
Idir AIT-SADOUNE
ATER

email : idir.aitsadoune@ensma.fr
tutelle: ISAE - ENSMA
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Publications
(31)
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
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-149http://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htmhttp://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htm
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
Revues Nationales
(2)
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-30http://jips.gforge.inria.fr/articles/1/1/3-aitameur.htmlhttp://jips.gforge.inria.fr/articles/1/1/3-aitameur.html
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
Conférences Internationales
(10)
Stéphane JEAN, Idir AIT-SADOUNE, Ladjel BELLATRECHE, Ilyes BOUKHARI, On Using Requirements Throughout the Life Cycle of Data Repository, Proceedings of the 25th International Conference on Database and Expert Systems Applications (DEXA 2014), 2014
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
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
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), vol. 5977/2010, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, Orford, Quebec, Canada, February, 2010, pp. 405-406http://www.springerlink.com/content/f57k36015k882p46/http://www.springerlink.com/content/f57k36015k882p46/
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-68http://www.springerlink.com/content/0612x57w85734303/http://www.springerlink.com/content/0612x57w85734303/
Idir AIT-SADOUNE, Yamine AIT-AMEUR, From BPEL to Event-B, International Workshop on Integration of Model-based Methods and Tools IM FMT'09 at IFM'09 Conference, Düsseldorf Germany, Fevruary , 2009
Idir AIT-SADOUNE, Yamine AIT-AMEUR, A Proof Based Approach for Modelling and Verifying Web Services Compositions, Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, edited by IEEE Computer Society, Potsdam Germany, June, 2009, pp. 1-10http://portal.acm.org/citation.cfm?id=1584906http://portal.acm.org/citation.cfm?id=1584906
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-178457/e-WOK_HUB-semma2008.pdf
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-55http://www.springerlink.com/content/k131wr57g3j778v6/http://www.springerlink.com/content/k131wr57g3j778v6/
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), vol. 5238, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, London UK, September, 2008, pp. 339-340http://www.springerlink.com/content/ln1537700p003486/http://www.springerlink.com/content/ln1537700p003486/
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, Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitiers, France, Juin, 2010, pp. 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), La Rochelle, Mai, 2010
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, Actes de l’atelier Systèmes d’Information et de Décision pour l’Environnement du Congrès INFORSID 2008, 2008, pp. 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), La Rochelle , Juillet, 2008
Idir AIT-SADOUNE, Verification and Validation of Web Service Compositions Using the Event B Method, MOdelling and VErifying parallel Process (MOVEP), Orléans, June, 2008
Idir AIT-SADOUNE, Vérification et Validation Formelles de la Composition de Services Web, École Jeune Chercheurs en Programmation (EJCP), Guidel, Rennes , Mai, 2008
Idir AIT-SADOUNE, Yamine AIT-AMEUR, B2EXPRESS : Un animateur de modèles B événementiel, Dans les actes des journées AFADL 2007 (Approches Formelles dans l'Assistance au Développement de Logiciel), Université de Namur, Belgique, Juin, 2007, pp. 295-296http://www.info.fundp.ac.be/~pys/AFADL07/Actes_AFADL_2007.pdfhttp://www.info.fundp.ac.be/~pys/AFADL07/Actes_AFADL_2007.pdf
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, MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, edited by Lavoisier, Rabat, Maroc, Avril, 2006, pp. 578-588http://www.lavoisier.fr/notice/fr2743008920.htmlhttp://www.lavoisier.fr/notice/fr2743008920.html
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), La Rochelle , Juillet, 2006
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° Conférence Francophone sur l'Interaction Homme-Machine (IHM), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272
Thèses et HDR
(1)
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
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
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, 20067864/2006-LISI-lot2.pdf
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, 20067877/2006-LISI-lot4.pdf
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, 20067870/2006-LISI-lot3.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 20057227/2005-LOT1-Verbatim.pdf