Research departments

Home > Directory > directory

Directory


Return to the list

Ahmed Hammad

ma photo

Informatique

DISC
Group : VESONTIO
UFC

Enseignant chercheur

  • Tel. : 03.81.66.20.84
  • Email : ahammad@femto-st.fr
  • Address : 16 route de Gray CS11809 25030 BESANCON cedex

Mes travaux de recherche sont décrits chronologiquement comme suit :.

  • De 1993 à 1998, lors de mon recrutement, j'ai intégré le laboratoire de Mathématiques, Informatique et Statistique (M.I.S) de l'UFR Sciences du Langage, de l'Homme et de la Société (SLHS), UFR de mon affectation.
    J'ai notamment travaillé sur les problématiques liées aux thèmatiques de recherche de cette UFR, notamment l'Analyse de Donnée(A.D) et l'apprentissage des langues.
    Dans la première partie, j'ai contribué à la conception et à la réalisation d'un outil de dépouillement d'enquêtes et de traitement statistique de données
    e-pragma. Ce logiciel offre à l'utilisateur, la possibilité de saisie en ligne de questionnaires, de fonctions statistiques de base et des fonctions d'analyse de données plus élaborées
    comme l'analyse factorielle. Dans la deuxième partie, je me suis particulièrement intéressé à l'apprentissage du français dans le contexte d'une
    langue seconde. J'ai notamment contribué à la conception d'un outil intégrant un test adaptatif
    informatisé pour l'apprentissage du français langue étrangère dans le cadre du projet TAFIC
  • De 1999 à 2002, j'ai intégré le LIFC et je me suis intéressé aux questions sur la combinaison des langages formels
    et semi-formels en vue de la spécification et de la vérification de systèmes,
    je me suis intéressé plus particulièrement à l'extraction des
    spécifications UML à partir des modèles B.
  • De 2002 à 2009, j'ai travaillé plus autour du raffinement, tout en gardant comme
    sujet les descriptions formelles proches de celles des descriptions semi-formelles, afin d'avoir une cohérence dans la démarche globale.
    Ces travaux concernent plus particulièrement l'apport du raffinement
    pour la spécification et la vérification des systèmes.
  • Depuis 2009, mes recherches restent dans le cadre des problèmatiques précédentes, mais ont évoluées pour tenir compte de nouvelles formes d'applications
    issues de problématiques ayant émergées avec le rapprochement, puis l'intégration, du LIFC dans FEMTO-ST.
    Ces travaux portent particulièrement sur l'utilisation du langage SysML dans le cadre de la modélisation
    et de la validation des systèmes complexes.

  • Veuillez trouver ci-dessous mon CV :

    Curriculum Vitae (pdf, 1126 Ko)



    You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

    Publication list :

    Category article
    2017
    • A Methodology for Verifying SysML Requirements using Activity Diagrams
      Innovations in Systems and Software Engineering (Volume 13, Issue (1), jun 2017, Pages :19 - 33)
      Rahim, Messaoud | Hammad, Ahmed | Ioualalen-Boukala, Malika
      doi | bibtex
    • SysML Model-Driven Approach to Verify Blocks Compatibility
      International Journal of Computer Aided Engineering and Technology (IJCAET) (Volume A venir, 2017, Pages :A venir)
      Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      pdf | doi | bibtex
    2016
    • Exploitation de la Hiérarchie pour la Véification de la Compatibilité des Blocs SysML
      Revue des Nouvelles Technologies de l'Information (Volume RNTI-L, Issue (8), 2016, Pages :99 - 118)
      Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      bibtex
    2015
    • Recursive ECATNets-Based Approach for Formally Verifying SysML Activity Diagrams
      IET Software (Volume 9, Issue (5), oct 2015, Pages :119 - 128)
      Rahim, Messaoud | Kheldoun, Ahmed | Ioualalen-Boukala, Malika | Hammad, Ahmed
      doi | bibtex
    2013
    • Assembling Components using SysML with Non-Functional Requirements
      Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 295, may 2013, Pages :31 - 47)
      Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      pdf | doi | bibtex
    2011
    • Formal verification of components assembly based on SysML and interface automata
      Innovations in Systems and Software Engineering (Volume 7, Issue (4), dec 2011, Pages :265 - 274)
      Chouali, Samir | Hammad, Ahmed
      doi | bibtex
    2010
    • Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
      Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
      Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
      bibtex
    • A first attempt to combine SysML requirements diagrams and B
      Innovations in Systems and Software Engineering (Volume 6, Issue (1), mar 2010, Pages :47 - 54)
      Laleau, Régine | Semmak, Farida | Matoussi, Abderrahman | Petit, Dorian | Hammad, Ahmed | Tatibouet, Bruno
      doi | bibtex
    2005
    • Vérification de systèmes hiérarchiques par raffinement
      Journal européen des systèmes automatisés (JESA) (Volume 39, Issue (1-3), oct 2005, Pages :239 - 254)
      Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
      doi | bibtex
    Category incollection
    2010
    • Modèles UML de E-PRAGMA et intégration des bases de données de l'Observatoire Education et Territoires
      L'enseignement scolaire en milieu rural et montagnard - Tome 5, Après le Collège (Publisher : / , Volume , Issue , Edition : , Series , Chapter , 2010, Pages 41--56, )
      Hammad, Ahmed
      pdf | bibtex
    Category inproceedings
    2017
    • Validation of a SysML based design for wireless sensor networks
      14th International Conference on Numerical Analysis and Applied Mathematics (ICNAAM 2016) (Volume 1863, Issue 1, 2017, Pages pages 330002 (2 pages))
      Berrachedi, Amel | Rahim, Messaoud | Ioualalen-Boukala, Malika | Hammad, Ahmed
      doi | bibtex
    • Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
      11th Theoretical Aspects of Software Engineering Conference (TASE 2017) (2017, Pages pages 6 pages)
      Rahim, Messaoud | Ioualalen-Boukala, Malika | Hammad, Ahmed
      bibtex
    2016
    • A Model-Driven Approach to Adapt SysML Blocks
      Information and Software Technologies / Druskininkai, Lithuania (Publisher : Springer, Volume 639, 2016, Pages pages 255 - 268)
      Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      pdf | doi | bibtex
    2015
    • Tooled Process for Early Validation of SysML Models using Modelica Simulation
      FSEN'15, 6th IPM Int. Conf. on Fundamentals of Software Engineering / Tehran, Iran (Publisher : Springer, Volume 9392, 2015, Pages pages 230-237)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      pdf | doi | bibtex
    • Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets
      SERA 2015, 13th IEEE/ACIS Int. Conf. on Software Engineering Research, Management and Applications / Hammamet, Tunisia (Publisher : IEEE, 2015, Pages pages 509-516)
      Messaoud, Rahim | Hammad, Ahmed | Boukala-Ioualalen, Malika
      doi | bibtex
    • An Approach to Verify SysML Functional Requirements Using Promela/Spin
      2015 12th International Symposium onProgramming and Systems (ISPS) / Algiers, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
      Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
      doi | bibtex
    • Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata
      2015 12th International Symposium on Programming and Systems (ISPS) / Algiers, Algeria (Publisher : IEEE, 2015, Pages pages 313 - 322)
      Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      doi | bibtex
    • A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
      17th International Conference on Formal Engineering Methods (ICFEM 2015 ) / Paris, France (Publisher : Springer, Volume 9407, 2015, Pages pages 134 - 152)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      bibtex
    • SysML Blocks Adaptation
      Formal Methods and Software Engineering / Paris, France (Publisher : Springer, Volume 9407, 2015, Pages pages 417 - 433)
      Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      doi | bibtex
    • Exploitation de la Hiérarchie pour la Vérification de la Compatibilité entre les Blocs SysML
      CAL 2015, 9ème conférence francophone sur les architectures logicielles / Hammamet, Tunisia (2015)
      Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
      pdf | bibtex
    2014
    • An Approach based on SysML and SystemC to Simulate Complex Systems
      MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development / Lisbon, Portugal (2014, Pages pages 555--560)
      Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
      bibtex
    • An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal
      CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014, Pages pages 9 pages)
      Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
      pdf | bibtex
    • Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor
      IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM'2014. / Besançon, Australia (2014, Pages pages 1194 - 1199)
      Gauthier, Jean-Marie | Gendreau, Dominique | Hammad, Ahmed | Bouquet, Fabrice
      pdf | doi | bibtex
    • Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets
      INDS 2014, Int. Conf. on Advanced Networking Distributed Systems and Applications / Bejaia, Algeria (2014, Pages pages 41--46)
      Messaoud, Rahim | Ioualalen-Boukala, Malika | Boukala, Mohamed Cherif | Hammad, Ahmed
      doi | bibtex
    • Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams
      PNSE'14, A satellite event of Petri Nets 2014, 35th Int. Conf. on Application and Theory of Petri Nets and Concurrency and ACSD 2014, 14th Int. Conf. on Application of Concurrency to System Design / Tunis, Tunisia (2014, Pages pages 233--248)
      Messaoud, Rahim | Boukala-Ioualalen, Malika | Hammad, Ahmed
      bibtex
    2013
    • Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption
      MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 198--201)
      Hammad, Ahmed | Mountassir, Hassan | Chouali, Samir
      bibtex
    • Modular and Distributed Verification of SysML Activity Diagrams
      MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 202 - 205)
      Messaoud, Rahim | Hammad, Ahmed | Ioualalen-Boukala, Malika
      pdf | bibtex
    • An approach combining SysML and modelica for modelling and validate wireless sensor networks
      SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems / Montpellier, France (Publisher : Association for Computing Machinery (ACM), 2013, Pages pages 5--12)
      Hammad, Ahmed | Mountassir, Hassan | Chouali, Samir
      doi | bibtex
    • Mapping SysML to modelica to validate wireless sensor networks non-functional requirements
      ISPS'13, 11th Int. Symposium on Programming and Systems / Algiers, Algeria (2013, Pages pages 177--186)
      Berrani, S. | Hammad, Ahmed | Mountassir, Hassan
      doi | bibtex
    • Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
      MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 123 - 128)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      pdf | bibtex
    2012
    • Vers un modèle de traçabilité à l'aide des observateurs pour une Application Collaborative
      SysCO 2012, 1ère conférence francophone sur les Systèmes Collaboratifs / Sousse, Tunisia (2012, Pages pages ***--***)
      Edaoudi, Rajaa | Erradi, Mohammed | Ouzzif, Mohammed | Hammad, Ahmed
      bibtex
    • Transformation of SysML structure diagrams to VHDL-AMS
      dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 74--81)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      pdf | doi | bibtex
    2011
    • Design and Verification of a Self-organisation Algorithm for Sensor Networks
      ICIEIS 2011, Int. Conf. on Informatics Engineering and Information Science / Kuala Lumpur, Malaysia (Volume 253, 2011, Pages pages 530--543)
      Benaouda, Nacéra | Guyennet, Hervé | Hammad, Ahmed | Lehsaini, Mohamed
      doi | bibtex
    2010
    • A New Two Level Hierarchy Structuring for node Partitionning in Ad Hoc Networks
      SAC'10, 25th ACM Symposium on Applied Computing / Zurich, Switzerland (2010, Pages pages 719 - 726)
      Benaouda, Nacéra | Guyennet, Hervé | Hammad, Ahmed | Mostefai, Mohammed
      pdf | doi | bibtex
    • Efficient model checking with UML and specification patterns
      ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies / Marrakech, Morocco (2010, Pages pages 55--67)
      Abdelkader, Bouamari | Mostefai, Mohammed | Mountassir, Hassan | Hammad, Ahmed
      bibtex
    • Using SysML for Smart Surface Modeling
      dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS / Besançon, France (2010, Pages pages 100--107)
      Giorgetti, Alain | Hammad, Ahmed | Tatibouet, Bruno
      pdf | bibtex
    2009
    • A first attempt to combine SysML requirements diagrams and B
      UML&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09) / Rio de Janeiro, Brazil (2009)
      Hammad, Ahmed | Laleau, Régine | Semmak, Farida | Matoussi, Abderrahman | Petit, Dorian | Tatibouet, Bruno
      bibtex
    • Verification of real time systems: application to the transportation domain
      SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09 / Cairo, Egypt (2009, Pages pages 719--727)
      Hammad, Ahmed | Mountassir, Hassan
      doi | bibtex
    2008
    • Integration of the E&T database in the E-pragma system
      Besançon 2008, Int. Conf. of Territorial Intelligence / Besançon, France (2008)
      Hammad, Ahmed | Caille-Cattin, Catherine | Poirey, Jean-Louis | Thomas, Rémi
      bibtex
    • Using the profile UML4SoC for modeling a smart surface
      ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology / Hammamet, Tunisia (2008)
      Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
      bibtex
    • Heuristics to verify LTL properties of hierarchical systems
      VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems / Leeds, United Kingdom (Publisher : JIAS, Journal of Information Assurance and Security, 2008, Pages pages ***--***)
      Hammad, Ahmed | Mountassir, Hassan
      bibtex
    2007
    • Spécification et Validation d'un Contrôleur de Performances Sportives
      E-Medisys 07, int. conf. on E-Medical Systems / Fez, Morocco (2007, Pages pages 173--178)
      Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
      bibtex
    2006
    • Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
      ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation / Paphos, Cyprus (2006, Pages pages 19--26)
      Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
      bibtex
    • Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité
      6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06 / Rabat, Morocco (2006)
      Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
      bibtex
    2005
    • Modélisation UML des Systèmes Temps Réel
      CIP 2005 - Conférence Internationale sur la Productique / Tlemcen, Algeria (2005)
      Bouamari, A. | Mostefai, Mohammed | Hammad, Ahmed
      bibtex
    • Exploitation du raffinement pour vérifier les modèles hiérarchiques
      Actes du RJCITR'05, 1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel / Nancy, France (2005)
      Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
      bibtex
    2004
    • Conception et vérification de systèmes temps réel par raffinement
      12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04 / Paris, France (2004, Pages pages 85--99)
      Hammad, Ahmed | Julliand, Jacques | Mountassir, Hassan | Al'Achhab, Mohammed
      bibtex
    • Préservation de propriétés MITL par raffinement temporisé
      Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 207--221)
      Hammad, Ahmed | Mountassir, Hassan | Oudot, Emilie
      bibtex
    2003
    • Java Card Code Generation from B Specifications
      5th International Conference on Formal Engineering Methods (ICFEM'2003) / Singapore (Volume 2885, 2003, Pages pages 306--318)
      Tatibouet, Bruno | Requet, A. | Voisinet, Jean-Christophe | Hammad, Ahmed
      bibtex
    • Expression en B et raffinement des systèmes réactifs temps réel
      Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03 / Rennes, France (2003, Pages pages 211--225)
      Hammad, Ahmed | Julliand, Jacques | Mountassir, Hassan | Okalas, D.
      bibtex
    2002
    • jBTools: An experimental platform for the formal B method
      Principles and Practice of Programming in Java (PPPJ'02) / Trinity College, Dublin, Ireland (2002, Pages pages 137--140)
      Voisinet, Jean-Christophe | Tatibouet, Bruno | Hammad, Ahmed
      bibtex
    • From a B Specification to UML Statechart Diagrams
      4th International Conference on Formal Engineering Methods (ICFEM'2002) / Shanghaï, China (Volume 2495, 2002, Pages pages 511--522)
      Hammad, Ahmed | Tatibouet, Bruno | Voisinet, Jean-Christophe | Weiping, Wu
      bibtex
    • From an abstract B specification to UML class diagrams
      2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002) / Marrakech, Maroc (2002, Pages pages 5--10)
      Tatibouet, Bruno | Hammad, Ahmed | Voisinet, Jean-Christophe
      bibtex
    • Génération de diagrammes de classes UML à partir de machines abstraites B
      Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02 / Université de Blida, Algeria (2002, Pages pages 6--17)
      Tatibouet, Bruno | Hammad, Ahmed
      bibtex
    • Conception d'une base de données temps réels pour un système de production à partir du langage UML
      Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02 / Université de Blida, Algeria (2002, Pages pages 233--241)
      Hariti, M. | Zerhouni, Noureddine | Hammad, Ahmed
      bibtex
    • De la spécification B vers les diagrammes d'états-transitions UML
      7ème MCSEAI 2002 (Maghrebian Conference of Software Engineering and Intelligence Artificial) / Annaba, Algeria (2002, Pages pages 133-143)
      Hammad, Ahmed | Tatibouet, Bruno | Voisinet, Jean-Christophe
      bibtex
    2001
    • Formal and visual specification language
      Information System Engineering (ISE'2001) / Las Vegas, United States (2001, Pages pages 173--179)
      Hammad, Ahmed | Tatibouet, Bruno
      bibtex
    • Spécifications formelles et semi-formelles : l'exemple du robot type
      Fifth International Symposium on Programming and Systems (ISPS'2001) / Algiers, Algeria (2001, Pages pages 229--240)
      Hammad, Ahmed | Tatibouet, Bruno
      bibtex
    • Modélisation orientée objet et spécification formelle d'une application industrielle
      Conférence Internationale sur la Productique, CIP'2001 / Algiers, Algeria (2001, Pages pages 50--54)
      Hammad, Ahmed | Tatibouet, Bruno
      bibtex
    • Une Utilisation conjointe de B et UML sur l'étude de cas d'un robot
      2ème conférence d'ingénierie Système, AFIS 2001 / Toulouse, France (2001, Pages pages 285--290)
      Tatibouet, Bruno | Hammad, Ahmed
      bibtex
    1997
    • Un test adaptatif informatisé pour le français : le projet TAFIC
      Actes du Colloque FRAnche-Comté Traitement Automatique des Langues, (FRACTAL) / Besançon, France (1997)
      Chanier, Thierry | Hammad, Ahmed
      bibtex
    Category misc
    2011
    • 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 (jun 2011)
      Chouali, Samir | Hammad, Ahmed
      bibtex
    2004
    • Apport du raffinement pour la vérification des systèmes temps réel
      Conférence invitée aux Journées d'Informatique pour l'Entreprise (JIE2'04), Université de Blida, Algérie (oct 2004)
      Hammad, Ahmed
      bibtex
    Category techreport
    2004
    • Refinement of Hierarchical Systems
      LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (apr 2004, Research Report, Number RR2004-03)
      Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
      bibtex
    • Implementing Hierarchical automata in Promela/Spin
      LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (apr 2004, Technical Report, Number RT2004-03)
      Al'Achhab, Mohammed | Cristiano, K. | Hammad, Ahmed | Mountassir, Hassan
      bibtex