Research departments

Home > Directory > directory

Directory


Return to the list

Ahmed Hammad

Moi au bureau

Informatique

DISC
Group : VESONTIO
UFC

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

Doctorat de l'université de Toulouse III.
Maitre de conférences à l'université de Franche-Comté depuis 1994.

Thème de rcherche :

Membre de l'équipe VESONTIO (Verification and Validation of software and embedded systems).
Je m'intéresse particulièrement à la combinaison de langages formels et semi-formels (SysML) pour la spécifiaction et à la validation de systèmes complexes.


    J'ai participé au projets suivants :
    Projet région Syvad (http://syvad.univ-fcomte.fr) (2011-2014)
    Projet ANR Smartblocks (http://smartblocks.univ-fcomte.fr/) (2011-2014)
    Projet PHP TASSILI SysVEP (collaboration avec l'université USTHB alger).

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
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 (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