The institute

FEMTO-ST

Directory

You are here

• Home
• Ahmed Hammad

Ahmed Hammad

DISC department
VESONTIO team

UFC

E-mail:

ahammad [at] femto-st.fr

03.81.66.20.84

Address:

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Ahmed Hammad's publications

View all publications (53)2024 (4)2023 (2)2022 (1)2021 (1)2020 (1)2019 (1)2018 (1)2017 (3)2016 (2)2015 (8)2014 (4)2013 (6)2012 (2)2011 (3)2010 (6)2009 (2)2008 (3)2007 (1)2006 (2)

2024 (4)

• inproceedings - Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components
  19th International Conference on Software Technologies (ICSOFT 2024) / Dijon, France (Volume 1, 2024, Pages pages 477 - 484)
  Tannoury, Perla | Hammad, Ahmed
  
  pdf | doi | bibtex@inproceedings{578d49b0-2f89-4d5c-88ce-c9ab464859ba, title = { Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components}, author = {Tannoury, Perla and Hammad, Ahmed}, year = {2024}, address = {Dijon, France}, booktitle = {19th International Conference on Software Technologies (ICSOFT 2024)}, editor = {578d49b0-2f89-4d5c-88ce-c9ab464859ba-editor.pdf}, month = {jul}, pages = {477 - 484}, url = {https://publiweb.femto-st.fr/tntnet/entries/20617/documents/author/data}, volume = {1}, doi = {10.5220/0012854100003753} }
• inproceedings - Methodological Approach to Model and Validate CPS
  14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2024) / Dijon, France (Volume 1, 2024, Pages pages 281 - 288)
  Tannoury, Perla | Hammad, Ahmed
  
  pdf | doi | bibtex@inproceedings{e3a66998-dc80-45aa-8210-b8639785cae8, title = { Methodological Approach to Model and Validate CPS}, author = {Tannoury, Perla and Hammad, Ahmed}, year = {2024}, address = {Dijon, France}, booktitle = {14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2024)}, editor = {e3a66998-dc80-45aa-8210-b8639785cae8-editor.pdf}, month = {jul}, pages = {281 - 288}, url = {https://publiweb.femto-st.fr/tntnet/entries/20618/documents/author/data}, volume = {1}, doi = {https://coi.org/10.5220/0012758800003758} }
• article - Enhancing Meditation Techniques and Insights Using Feature Analysis of Electroencephalography (EEG)
  Al-Mustansiriyah Journal of Science (Volume 35, Issue (1), mar 2024, Pages :66 - 77)
  Khadam, Zahraa Maki | Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed
  
  doi
• article - Construction of consistent SysML models applied to the CPS
  ACM Journal on Emerging Technologies in Computing Systems ( 2024)
  Khelifati, Adel | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  pdf | doi

2023 (2)

• inproceedings - Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components
  19th International Conference on Formal Aspects of Component Software (FACS 2023) / Online (Electronic Conference), Online (Electronic Conference) (Publisher : Springer, Volume 14485, Series Lecture Notes in Computer Science (LNCS), 2023, Pages pages 84 - 102)
  Tannoury, Perla | Chouali, Samir | Hammad, Ahmed
  
  pdf | doi | bibtex@inproceedings{25c61cc7-9978-42dc-8891-cf798977445e, title = {Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components}, author = {Tannoury, Perla and Chouali, Samir and Hammad, Ahmed}, year = {2023}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {19th International Conference on Formal Aspects of Component Software (FACS 2023)}, editor = {}, month = {oct}, pages = {84 - 102}, url = {https://publiweb.femto-st.fr/tntnet/entries/20298/documents/author/data}, volume = {14485}, doi = {10.1007/978-3-031-52183-6_5}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021)
  SysML and Petri Nets Based Methodology for Analysis and Performance Evaluation in WSNs / Online (Electronic Conference), Online (Electronic Conference) (Volume 601, Series Lecture Notes in Networks and Systems (LNNS), 2023, Pages pages 106 - 117)
  Berrachedi, Amel | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  bibtex@inproceedings{97f26ec4-e12c-4efe-b500-1b86ee4af780, title = {11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021)}, author = {Berrachedi, Amel and Boukala-Ioualalen, Malika and Hammad, Ahmed}, year = {2023}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {SysML and Petri Nets Based Methodology for Analysis and Performance Evaluation in WSNs}, editor = {97f26ec4-e12c-4efe-b500-1b86ee4af780-editor.pdf}, month = {jul}, pages = {106 - 117}, volume = {601}, series = {Lecture Notes in Networks and Systems (LNNS)} }

2022 (1)

• inproceedings - Model Driven Approach to Design an Automotive CPS with SysReo Language
  20th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2022) / Montréal, Canada (2022, Pages pages 97 - 104)
  Tannoury, Perla | Chouali, Samir | Hammad, Ahmed
  
  doi | bibtex@inproceedings{987bf92c-b7c7-4b75-a996-67ac90962c85, title = {Model Driven Approach to Design an Automotive CPS with SysReo Language}, author = {Tannoury, Perla and Chouali, Samir and Hammad, Ahmed}, year = {2022}, address = {Montr\'eal, Canada}, booktitle = {20th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2022)}, editor = {987bf92c-b7c7-4b75-a996-67ac90962c85-editor.pdf}, month = {oct}, pages = {97 - 104}, doi = {10.1145/3551660.3560916}, journal = {Communications of the ACM} }

2021 (1)

• inproceedings - Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs
  11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021) / Online (Electronic Conference), Online (Electronic Conference) (2021, Pages pages 83 - 91)
  Berrachedi, Amel | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  pdf | doi | bibtex@inproceedings{4b178191-dffd-4a1f-a4c3-06f98575ac56, title = {Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs}, author = {Berrachedi, Amel and Boukala-Ioualalen, Malika and Hammad, Ahmed}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021)}, month = {jul}, pages = {83 - 91}, url = {https://publiweb.femto-st.fr/tntnet/entries/17786/documents/author/data}, doi = {10.5220/0010549200830091} }

2020 (1)

• inproceedings - Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach
  4th Conference on Computing Systems and Applications (CSA 2020) / Algiers, Algeria (Volume 199, Series Lecture Notes in Networks and Systems (LNNS), 2020, Pages pages 131 - 142)
  Rahim, Messaoud | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  pdf | bibtex@inproceedings{020860af-72bf-449f-8783-b28ee75d5126, title = {Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach}, author = {Rahim, Messaoud and Boukala-Loualalen, Malika and Hammad, Ahmed}, year = {2020}, address = {Algiers, Algeria}, booktitle = {4th Conference on Computing Systems and Applications (CSA 2020)}, month = {dec}, pages = {131 - 142}, url = {https://publiweb.femto-st.fr/tntnet/entries/17274/documents/author/data}, volume = {199}, series = {Lecture Notes in Networks and Systems (LNNS)} }

2019 (1)

• article - SysML Model-Driven Approach to Verify Blocks Compatibility
  International Journal of Computer Aided Engineering and Technology (IJCAET) (Volume 11, Issue (2), 2019, Pages :206 - 231)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi

2018 (1)

• phdthesis - Contributions to the modeling and validation of complex systems
  (sep 2018)
  Hammad, Ahmed
  
  pdf | bibtex@phdthesis{441760ca-dc0f-4632-bbd3-87bdf55bae3c, title = {Contributions to the modeling and validation of complex systems}, author = {Hammad, Ahmed}, year = {2018}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/15088/documents/author/data} }

2017 (3)

• inproceedings - Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
  11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017) / Nice, France (2017, Pages pages 6)
  Rahim, Messaoud | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  bibtex@inproceedings{5d926a86-64f1-41e5-a6ab-c8a903d2743b, title = {Slicing Based Verification Approach for the Validation of SysML Activity Diagrams}, author = {Rahim, Messaoud and Boukala-Ioualalen, Malika and Hammad, Ahmed}, year = {2017}, address = {Nice, France}, booktitle = {11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)}, editor = {5d926a86-64f1-41e5-a6ab-c8a903d2743b-editor.pdf}, month = {sep}, pages = {6}, organization = {IEEE} }
• inproceedings - Validation of a SysML based design for wireless sensor networks
  14th International Conference on Numerical Analysis and Applied Mathematics (ICNAAM 2016) / Rhodes, Greece (Volume 1863, Issue 1, 2017, Pages pages 330002 (2))
  Berrachedi, Amel | Rahim, Messaoud | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  doi | bibtex@inproceedings{906ddc76-e431-4d00-a048-6351ed48fe69, title = {Validation of a SysML based design for wireless sensor networks}, author = {Berrachedi, Amel and Rahim, Messaoud and Boukala-Loualalen, Malika and Hammad, Ahmed}, year = {2017}, address = {Rhodes, Greece}, booktitle = {14th International Conference on Numerical Analysis and Applied Mathematics (ICNAAM 2016)}, editor = {906ddc76-e431-4d00-a048-6351ed48fe69-editor.pdf}, month = {jul}, number = {1}, pages = {330002 (2)}, volume = {1863}, doi = {10.1063/1.4992500}, journal = {AIP Conference Proceedings} }
• article - 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 | Boukala-Ioualalen, Malika
  
  doi

2016 (2)

• inproceedings - A Model-Driven Approach to Adapt SysML Blocks
  22nd International Conference on Information and Software Technologies (ICIST 2016) / Druskininkai, Lithuania (Publisher : Springer, Volume 639, Series Communications in Computer and Information Science (CCIS), 2016, Pages pages 255 - 268)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{6ddc9a34-5cf5-4284-841a-ccac310ebce0, title = {A Model-Driven Approach to Adapt SysML Blocks}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2016}, address = {Druskininkai, Lithuania}, booktitle = {22nd International Conference on Information and Software Technologies (ICIST 2016)}, month = {oct}, pages = {255 - 268}, url = {https://publiweb.femto-st.fr/tntnet/entries/13724/documents/author/data}, volume = {639}, doi = {10.1007/978-3-319-46254-7_21}, publisher = {Springer}, series = {Communications in Computer and Information Science (CCIS)} }
• article - 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
  

2015 (8)

• inproceedings - SysML Blocks Adaptation
  17th International Conference on Formal Engineering Methods (ICFEM 2015) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 417 - 433)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  doi | bibtex@inproceedings{bchm15b:ip, title = {SysML Blocks Adaptation}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015)}, editor = {Michael Butler, Sylvain Conchon, Fatiha Za\"idi }, month = {nov}, pages = {417 - 433}, volume = {9407}, doi = {10.1007/978-3-319-25423-4_27}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 134 - 152)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | bibtex@inproceedings{gbhp15b:ip, title = {A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015 )}, month = {nov}, pages = {134 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/11855/documents/author/data}, volume = {9407}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• article - 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 | Boukala-Ioualalen, Malika | Hammad, Ahmed
  
  doi
• inproceedings - Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets
  2nd IEEE International Conference on Computational Science and Intelligence (CSI 2015) / Okayama, Japan (Publisher : IEEE, 2015, Pages pages 509 - 516)
  Rahim, Messaoud | Hammad, Ahmed | Boukala-Ioualalen, Malika
  
  pdf | doi | bibtex@inproceedings{rbih15:ip, title = {Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets}, author = {Rahim, Messaoud and Hammad, Ahmed and Boukala-Loualalen, Malika}, year = {2015}, address = {Okayama, Japan}, booktitle = {2nd IEEE International Conference on Computational Science and Intelligence (CSI 2015)}, editor = {rbih15:ip-editor.pdf}, month = {jul}, pages = {509 - 516}, url = {*}, doi = {10.1109/ACIT-CSI.2015.97}, publisher = {IEEE} }
• inproceedings - Exploitation de la Hiérarchie pour la Vérification de la Compatibilité entre les Blocs SysML
  9ème Conférence francophone sur les Architectures Logicielles (CAL 2015) / Hammamet, Tunisia (2015, Pages pages 99 - 118)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | bibtex@inproceedings{bchm15:np, title = {Exploitation de la Hi\'erarchie pour la V\'erification de la Compatibilit\'e entre les Blocs SysML}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Hammamet, Tunisia}, booktitle = {9\`eme Conf\'erence francophone sur les Architectures Logicielles (CAL 2015)}, month = {may}, pages = {99 - 118}, url = {https://publiweb.femto-st.fr/tntnet/entries/11895/documents/author/data} }
• inproceedings - Tooled Process for Early Validation of SysML Models using Modelica Simulation
  6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) / Teheran, Iran, Islamic Republic Of (Publisher : Springer, Volume 9392, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 230 - 237)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{gbhp15:ip, title = {Tooled Process for Early Validation of SysML Models using Modelica Simulation}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Teheran, Iran, Islamic Republic Of}, booktitle = {6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015)}, month = {apr}, pages = {230 - 237}, url = {https://publiweb.femto-st.fr/tntnet/entries/10118/documents/author/data}, volume = {9392}, doi = {10.1007/978-3-319-24644-4_16}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - An Approach to Verify SysML Functional Requirements Using Promela/Spin
  12th International Symposium onProgramming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
  Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{ahtm15:ip, title = {An Approach to Verify SysML Functional Requirements Using Promela/Spin}, author = {Abdulhameed, Abbas Abdulazeez and Hammad, Ahmed and Tatibouet, Bruno and Mountassir, Hassan}, year = {2015}, address = {Alger, Algeria}, booktitle = {12th International Symposium onProgramming and Systems (ISPS)}, month = {apr}, pages = {323 - 331}, url = {*}, doi = {10.1109/ISPS.2015.7245003}, publisher = {IEEE} }
• inproceedings - Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata
  12th International Symposium on Programming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 313 - 322)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{bchm15:ip, title = {Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Alger, Algeria}, booktitle = {12th International Symposium on Programming and Systems (ISPS)}, month = {apr}, pages = {313 - 322}, url = {*}, doi = {10.1109/ISPS.2015.7245002}, publisher = {IEEE} }

2014 (4)

• inproceedings - Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor
  13th IEEE International Conference on Advanced Intelligent Mechatronics (AIM 2014) / Besançon, France (2014, Pages pages 1194 - 1199)
  Gauthier, Jean-Marie | Gendreau, Dominique | Hammad, Ahmed | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{18a297c7-dd5c-4187-bec6-2b4aa820fc20, title = {Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor}, author = {Gauthier, Jean-Marie and Gendreau, Dominique and Hammad, Ahmed and Bouquet, Fabrice}, year = {2014}, address = {Besan\c{c}on, France}, booktitle = {13th IEEE International Conference on Advanced Intelligent Mechatronics (AIM 2014)}, month = {jul}, pages = {1194 - 1199}, url = {https://publiweb.femto-st.fr/tntnet/entries/7402/documents/author/data}, doi = {10.1109/AIM.2014.6878244}, organization = {IEEE} }
• inproceedings - 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@inproceedings{ahmt14:onp, title = {An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal}, author = {Abdulhameed, Abbas and Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno}, year = {2014}, address = {Paris, France}, booktitle = {CAL 2014, 8\`eme conf\'erence francophone sur les architectures logicielles}, month = {jun}, pages = {9 pages}, url = {https://publiweb.femto-st.fr/tntnet/entries/7302/documents/author/data} }
• inproceedings - Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets
  International Conference on Advanced Networking Distributed Systems and Applications (INDS 2014) / Bejaia, Algeria (2014, Pages pages 41 - 46)
  Rahim, Messaoud | Boukala-Ioualalen, Malika | Boukala, Mohamed Cherif | Hammad, Ahmed
  
  doi | bibtex@inproceedings{ribh14:ip, title = {Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets}, author = {Rahim, Messaoud and Boukala-Loualalen, Malika and Boukala, Mohamed Cherif and Hammad, Ahmed}, year = {2014}, address = {Bejaia, Algeria}, booktitle = {International Conference on Advanced Networking Distributed Systems and Applications (INDS 2014)}, month = {jun}, pages = {41 - 46}, doi = {10.1109/INDS.2014.15} }
• inproceedings - 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@inproceedings{ahmt14:oip, title = {An Approach based on SysML and SystemC to Simulate Complex Systems}, author = {Abdulhameed, Abbas Abdulazeez and Hammad, Ahmed and Mountassir, Hassan and Tatibouet, Bruno}, year = {2014}, address = {Lisbon, Portugal}, booktitle = {MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development}, month = {jan}, pages = {555--560} }

2013 (6)

• inproceedings - 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
  
  pdf | doi | bibtex@inproceedings{hmc13:ip, title = {An approach combining SysML and modelica for modelling and validate wireless sensor networks}, author = {Hammad, Ahmed and Mountassir, Hassan and Chouali, Samir}, year = {2013}, address = {Montpellier, France}, booktitle = {SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems}, month = {jul}, pages = {5--12}, url = {http://dx.doi.org/10.1145/2489850.2489852}, doi = {10.1145/2489850.2489852}, publisher = {Association for Computing Machinery (ACM)} }
• article - 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
• inproceedings - 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
  
  pdf | doi | bibtex@inproceedings{bhm13:ip, title = {Mapping SysML to modelica to validate wireless sensor networks non-functional requirements}, author = {Berrani, S. and Hammad, Ahmed and Mountassir, Hassan}, year = {2013}, address = {Algiers, Algeria}, booktitle = {ISPS'13, 11th Int. Symposium on Programming and Systems}, month = {apr}, pages = {177--186}, url = {https://publiweb.femto-st.fr/tntnet/entries/5967/documents/author/data}, doi = {10.1109/ISPS.2013.6581484} }
• inproceedings - 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@inproceedings{hmc13:oip, title = {Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption}, author = {Hammad, Ahmed and Mountassir, Hassan and Chouali, Samir}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {198--201} }
• inproceedings - 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)
  Rahim, Messaoud | Hammad, Ahmed | Boukala-Ioualalen, Malika
  
  pdf | bibtex@inproceedings{mhi13:oip, title = {Modular and Distributed Verification of SysML Activity Diagrams}, author = {Rahim, Messaoud and Hammad, Ahmed and Boukala-Loualalen, Malika}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {202 - 205}, url = {https://publiweb.femto-st.fr/tntnet/entries/520/documents/author/data} }
• inproceedings - 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@inproceedings{gbph13:oip, title = {Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {123 - 128}, url = {https://publiweb.femto-st.fr/tntnet/entries/5976/documents/author/data} }

2012 (2)

• inproceedings - 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@inproceedings{eeoh12:np, title = {Vers un mod\`ele de tra\c{c}abilit\'e \`a l'aide des observateurs pour une Application Collaborative}, author = {Edaoudi, Rajaa and Erradi, Mohammed and Ouzzif, Mohammed and Hammad, Ahmed}, year = {2012}, address = {Sousse, Tunisia}, booktitle = {SysCO 2012, 1\`ere conf\'erence francophone sur les Syst\`emes Collaboratifs}, month = {sep}, pages = {***--***} }
• inproceedings - 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@inproceedings{gbhp12:ip, title = {Transformation of SysML structure diagrams to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2012}, address = {Besan\c{c}on, France}, booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS}, editor = {Bourgeois, Julien and de Labachelerie, Michel}, month = {apr}, pages = {74--81}, url = {https://publiweb.femto-st.fr/tntnet/entries/593/documents/author/data}, doi = {10.1109/dMEMS.2012.12} }

2011 (3)

• article - 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
  
  pdf | doi
• misc - 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@misc{ch11:ip, title = {Formal verification of components assembly based on SysML and interface automata}, author = {Chouali, Samir and Hammad, Ahmed}, year = {2011}, address = {Limerick, Ireland}, booktitle = {4th IEEE International workshop UML and Formal Methods (FM 2011)}, month = {jun} }
• inproceedings - 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, Series Communications in Computer and Information Science (CCIS), 2011, Pages pages 530--543)
  Benaouda, Nacéra | Guyennet, Hervé | Hammad, Ahmed | Lehsaini, Mohamed
  
  pdf | doi | bibtex@inproceedings{bggl11:ip, title = {Design and Verification of a Self-organisation Algorithm for Sensor Networks}, author = {Benaouda, Nac\'era and Guyennet, Herv\'e and Hammad, Ahmed and Lehsaini, Mohamed}, year = {2011}, address = {Kuala Lumpur, Malaysia}, booktitle = {ICIEIS 2011, Int. Conf. on Informatics Engineering and Information Science}, editor = {Abd Manaf, Azizah and Sahibuddin, Shamsul and Ahmad, Rabiah and Mohd Daud, Salwani and El-Qawasmeh, Eyas}, pages = {530--543}, url = {http://dx.doi.org/10.1007/978-3-642-25462-8_48}, volume = {253}, doi = {10.1007/978-3-642-25462-8_48}, series = {Communications in Computer and Information Science (CCIS)} }

2010 (6)

• article - 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
  
• inproceedings - 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@inproceedings{ammh10:ip, title = {Efficient model checking with UML and specification patterns}, author = {Abdelkader, Bouamari and Mostefai, Mohammed and Mountassir, Hassan and Hammad, Ahmed}, year = {2010}, address = {Marrakech, Morocco}, booktitle = {ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies}, month = {jun}, pages = {55--67} }
• inproceedings - Using SysML for Smart Surface Modeling
  1st IEEE Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2010) / Besançon, France (2010, Pages pages 100 - 107)
  Giorgetti, Alain | Hammad, Ahmed | Tatibouet, Bruno
  
  pdf | doi | bibtex@inproceedings{ght10:ip, title = {Using SysML for Smart Surface Modeling}, author = {Giorgetti, Alain and Hammad, Ahmed and Tatibouet, Bruno}, year = {2010}, address = {Besan\c{c}on, France}, booktitle = {1st IEEE Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2010)}, month = {jun}, pages = {100 - 107}, url = {https://publiweb.femto-st.fr/tntnet/entries/895/documents/author/data}, doi = {10.1109/dMEMS.2010.22} }
• article - 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
  
  pdf | doi
• inproceedings - 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@inproceedings{bggm10:ip, title = {A New Two Level Hierarchy Structuring for node Partitionning in Ad Hoc Networks}, author = {Benaouda, Nac\'era and Guyennet, Herv\'e and Hammad, Ahmed and Mostefai, Mohammed}, year = {2010}, address = {Zurich, Switzerland}, booktitle = {SAC'10, 25th ACM Symposium on Applied Computing}, month = {mar}, pages = {719 - 726}, url = {https://publiweb.femto-st.fr/tntnet/entries/251/documents/author/data}, doi = {10.1145/1774088.1774235} }
• incollection - 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 (Series Groupe d'intérêt scientifique 36, 2010, Pages 41--56)
  Hammad, Ahmed
  
  bibtex@incollection{hammad10:bc, title = {Mod\`eles UML de E-PRAGMA et int\'egration des bases de donn\'ees de l'Observatoire Education et Territoires}, author = {Hammad, Ahmed}, year = {2010}, booktitle = {L'enseignement scolaire en milieu rural et montagnard - Tome 5, Apr\`es le Coll\`ege}, pages = {41--56}, series = {Groupe d'int\'er\^et scientifique 36} }

2009 (2)

• inproceedings - 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@inproceedings{lsmp+09:ip, title = {A first attempt to combine SysML requirements diagrams and B}, author = {Laleau, R\'egine and Semmak, Farida and Matoussi, Abderrahman and Petit, Dorian and Hammad, Ahmed and Tatibou\"et, Bruno}, year = {2009}, address = {Rio de Janeiro, Brazil}, booktitle = {UML\&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09)}, month = {dec} }
• inproceedings - 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
  
  pdf | doi | bibtex@inproceedings{hm09:ip, title = {Verification of real time systems: application to the transportation domain}, author = {Hammad, Ahmed and Mountassir, Hassan}, year = {2009}, address = {Cairo, Egypt}, booktitle = {SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09}, month = {dec}, pages = {719--727}, url = {http://dx.doi.org/10.1109/NTMS.2009.5384729}, doi = {10.1109/NTMS.2009.5384729} }

2008 (3)

• inproceedings - 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@inproceedings{hmt08:ip, title = {Using the profile UML4SoC for modeling a smart surface}, author = {Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno}, year = {2008}, address = {Hammamet, Tunisia}, booktitle = {ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology}, month = {nov} }
• inproceedings - 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
  
  pdf | bibtex@inproceedings{cchpt08:oip, title = {Integration of the E\&T database in the E-pragma system}, author = {Caille-Cattin, Catherine and Hammad, Ahmed and Poirey, Jean-Louis and Thomas, R\'emi}, year = {2008}, address = {Besan\c{c}on, France}, booktitle = {Besan\c{c}on 2008, Int. Conf. of Territorial Intelligence}, month = {oct}, url = {http://www.territorial-intelligence.eu/index.php/besancon08/Caille-Cattin2} }
• inproceedings - 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, Series eWiC - electronic Workshops in Computing, 2008, Pages pages ***--***)
  Hammad, Ahmed | Mountassir, Hassan
  
  bibtex@inproceedings{hm08:ip, title = {Heuristics to verify LTL properties of hierarchical systems}, author = {Hammad, Ahmed and Mountassir, Hassan}, year = {2008}, address = {Leeds, United Kingdom}, booktitle = {VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems}, month = {jul}, pages = {***--***}, publisher = {JIAS, Journal of Information Assurance and Security}, series = {eWiC - electronic Workshops in Computing} }

2007 (1)

• inproceedings - 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
  
  pdf | bibtex@inproceedings{aahm07:np, title = {Sp\'ecification et Validation d'un Contr\^oleur de Performances Sportives}, author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan}, year = {2007}, address = {Fez, Morocco}, booktitle = {E-Medisys 07, int. conf. on E-Medical Systems}, month = {oct}, pages = {173--178}, url = {https://publiweb.femto-st.fr/tntnet/entries/188/documents/author/data} }

2006 (2)

• inproceedings - Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
  2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (IsoLA 2006) / Paphos, Cyprus (2006, Pages pages 28 - 35)
  Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
  
  doi | bibtex@inproceedings{aahm06:ip, title = {Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot}, author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan}, year = {2006}, address = {Paphos, Cyprus}, booktitle = {2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (IsoLA 2006)}, month = {nov}, pages = {28 - 35}, doi = {10.1109/ISoLA.2006.10} }
• inproceedings - 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@inproceedings{aahm06:np, title = {Sp\'ecifications hi\'erarchiques et v\'erification des propri\'et\'es sous hypoth\`eses d'\'equit\'e}, author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan}, year = {2006}, address = {Rabat, Morocco}, booktitle = {6\`eme Conf. Francophone de Mod\'elisation et Simulation, MOSIM'06}, editor = {Gourgaud, M. and Riane, F.}, month = {apr} }