Back to INDEX

  Publications of Ahmed Hammad  

Articles in journal or book chapters
  1. Samir Chouali and Ahmed Hammad. Formal verification of components assembly based on SysML and interface automata. ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering, 7(4):265--274, September 2011. Note: Revised and extended version of a paper presented at the UML&FM'11 conference. [bibtex]


  2. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


  3. Ahmed Hammad. Modèles UML de E-PRAGMA et intégration des bases de données de l'Observatoire Education et Territoires. In L'enseignement scolaire en milieu rural et montagnard - Tome 5, Après le Collège, Groupe d'intérêt scientifique 36, pages 41--56. Presses Universitaires de Franche-Comté, Collection Annales littéraires de l'Université de Franche-Comté, 2010. [bibtex]


  4. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, and Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B. ISSE, Innovations in Systems and Software Engineering, 6(1-2):47--54, 2010. Note: Revised and extended version of a paper from the UML&FM'09 conference. [bibtex]


  5. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Vérification de systèmes hiérarchiques par raffinement. Journal européen des systèmes automatisés, 39(1-3):239--254, October 2005. Note: Édition spéciale MSR'05, Modélisation des Systèmes Réactifs. [bibtex]


Conference articles
  1. Samir Chouali, Ahmed Hammad, and Hasan Mountassir. Assembling Components using SysML with Non-Functional Requirements. In FESCA 2012, 9th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume * of ENTCS, Electronic Notes in Theoretical Computer Science, Tallinn, Estonia, pages ***--***, March 2012. Note: To appear. [bibtex]


  2. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, and Fabien Peureux. Transformation of SysML structure diagrams to VHDL-AMS. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages ***--***, April 2012. IEEE CPS. [bibtex]


  3. Nacéra Benaouda, Hervé Guyennet, Ahmed Hammad, and Mohamed Lehsaini. Design and Verification of a Self-organisation Algorithm for Sensor Networks. In Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, and Eyas El-Qawasmeh, editors, ICIEIS 2011, Int. Conf. on Informatics Engineering and Information Science, volume 253 of Communications in Computer and Information Science, Kuala Lumpur, Malaysia, pages 530--543, 2011. Springer. [bibtex]


  4. Bouamari Abdelkader, Mohammed Mostefai, Hassan Mountassir, and Ahmed Hammad. Efficient model checking with UML and specification patterns. In ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies, Marrakech, Morocco, pages 55--67, June 2010. [bibtex]


  5. N. Benaouda, Hervé Guyennet, Ahmed Hammad, and Mohammed Mostefai. A New Two Level Hierarchy Structuring for node Partitionning in Ad Hoc Networks. In SAC'10, 25th ACM Symposium on Applied Computing, Zurich, Switzerland, pages 719--726, March 2010. [bibtex]


  6. Alain Giorgetti, Ahmed Hammad, and Bruno Tatibouët. Using SysML for Smart Surface Modeling. In dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 100--107, June 2010. IEEE Computer Society Press. [bibtex]


  7. Ahmed Hammad and Hassan Mountassir. Verification of real time systems: application to the transportation domain. In SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09, Cairo, Egypt, pages 719--727, December 2009. IEEE Computer Society Press. [bibtex]


  8. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, and Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B. In UML&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09), Rio de Janeiro, Brazil, December 2009. [bibtex]


  9. Catherine Caille-Cattin, Ahmed Hammad, Jean-Louis Poirey, and Rémi Thomas. Integration of the E&T database in the E-pragma system. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. [bibtex]


  10. Ahmed Hammad and Hassan Mountassir. Heuristics to verify LTL properties of hierarchical systems. In VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems, eWiC - electronic Workshops in Computing, Leeds, United Kingdom, pages ***--***, July 2008. British Computer Society. [bibtex]


  11. Ahmed Hammad, Hassan Mountassir, and Bruno Tatibouët. Using the profile UML4SoC for modeling a smart surface. In ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology, Hammamet, Tunisia, November 2008. Note: Proceedings on CD-ROM. 6 pages. [bibtex]


  12. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécification et Validation d'un Contrôleur de Performances Sportives. In E-Medisys 07, int. conf. on E-Medical Systems, Fez, Morocco, pages 173--178, October 2007. [bibtex]


  13. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité. In M. Gourgaud and F. Riane, editors, 6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06, Rabat, Morocco, April 2006. Note: Actes sur CD. 7 pages. ISBN 2-7430-0893-8. [bibtex]


  14. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. In ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, pages 19--26, November 2006. IEEE Computer Society Press. [bibtex]


  15. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Exploitation du raffinement pour vérifier les modèles hiérarchiques. In Actes du RJCITR'05, 1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel, Nancy, France, September 2005. [bibtex]


  16. A. Bouamari, Mohammed Mostefai, and Ahmed Hammad. Modélisation UML des Systèmes Temps Réel. In CIP 2005 - Conférence Internationale sur la Productique, Tlemcen, Algeria, December 2005. Note: 7 pages, Actes sur CD. [bibtex]


  17. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and Mohammed Al'Achhab. Conception et vérification de systèmes temps réel par raffinement. In 12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04, Paris, France, pages 85--99, March 2004. [bibtex]


  18. Ahmed Hammad, Hassan Mountassir, and Emilie Oudot. Préservation de propriétés MITL par raffinement temporisé. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 207--221, June 2004. [bibtex]


  19. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and D. Okalas. Expression en B et raffinement des systèmes réactifs temps réel. In Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03, Rennes, France, pages 211--225, January 2003. [bibtex]


  20. Bruno Tatibouët, A. Requet, Jean-Christophe Voisinet, and Ahmed Hammad. Java Card Code Generation from B Specifications. In 5th International Conference on Formal Engineering Methods (ICFEM'2003), volume 2885 of LNCS, Singapore, pages 306--318, November 2003. [bibtex]


  21. Ahmed Hammad, Bruno Tatibouët, and Jean-Christophe Voisinet. De la spécification B vers les diagrammes d'états-transitions UML. In 7ème MCSEAI 2002 (Maghrebian Conference of Software Engineering and Intelligence Artificial), Annaba, Algeria, pages 133-143, May 2002. [bibtex]


  22. Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, and Wu Weiping. From a B Specification to UML Statechart Diagrams. In 4th International Conference on Formal Engineering Methods (ICFEM'2002), volume 2495 of LNCS, Shanghaï, China, pages 511--522, October 2002. [bibtex]


  23. M. Hariti, N. Zerhouni, and Ahmed Hammad. Conception d'une base de données temps réels pour un système de production à partir du langage UML. In Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02, Université de Blida, Algeria, pages 233--241, March 2002. [bibtex]


  24. Bruno Tatibouët and Ahmed Hammad. Génération de diagrammes de classes UML à partir de machines abstraites B. In Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02, Université de Blida, Algeria, pages 6--17, March 2002. [bibtex]


  25. Bruno Tatibouët, Ahmed Hammad, and Jean-Christophe Voisinet. From an abstract B specification to UML class diagrams. In 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002), Marrakech, Maroc, pages 5--10, December 2002. [bibtex]


  26. Jean-Christophe Voisinet, Bruno Tatibouët, and Ahmed Hammad. jBTools: An experimental platform for the formal B method. In Principles and Practice of Programming in Java (PPPJ'02), Trinity College, Dublin, Ireland, pages 137--140, June 2002. [bibtex]


  27. Ahmed Hammad and Bruno Tatibouët. Formal and visual specification language. In Information System Engineering (ISE'2001), Las Vegas, United States, pages 173--179, June 2001. [bibtex]


  28. Ahmed Hammad and Bruno Tatibouët. Modélisation orientée objet et spécification formelle d'une application industrielle. In Conférence Internationale sur la Productique, CIP'2001, Algiers, Algeria, pages 50--54, June 2001. [bibtex]


  29. Ahmed Hammad and Bruno Tatibouët. Spécifications formelles et semi-formelles : l'exemple du robot type. In Fifth International Symposium on Programming and Systems (ISPS'2001), Algiers, Algeria, pages 229--240, May 2001. [bibtex]


  30. Bruno Tatibouët and Ahmed Hammad. Une Utilisation conjointe de B et UML sur l'étude de cas d'un robot. In 2ème conférence d'ingénierie Système, AFIS 2001, Toulouse, France, pages 285--290, June 2001. [bibtex]


  31. Thierry Chanier and Ahmed Hammad. Un test adaptatif informatisé pour le français : le projet TAFIC. In Actes du Colloque FRAnche-Comté Traitement Automatique des Langues, (FRACTAL), Besançon, France, 1997. [bibtex]


Internal reports
  1. Mohammed Al'Achhab, K. Cristiano, Ahmed Hammad, and Hassan Mountassir. Implementing Hierarchical automata in Promela/Spin. Technical Report RT2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004. [bibtex]


  2. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Refinement of Hierarchical Systems. Research Report RR2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004.
    Keywords: Specification, hierarchical automata, refinement, Kripke structure, verification. [Abstract] [bibtex]


Other publications
  1. Samir Chouali and Ahmed Hammad. Formal verification of components assembly based on SysML and interface automata. Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version, June 2011. [bibtex]


  2. Ahmed Hammad. Apport du raffinement pour la vérification des systèmes temps-r eel. Conférence invitée aux Journées d'Informatique pour l'Entreprise (JIE2'04), Université de Blida, Algérie, October 2004. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html