| A first attempt to combine SysML requirements diagrams and B R Laleau, F Semmak, A Matoussi, D Petit, A Hammad, B Tatibouet Innovations in Systems and Software Engineering 6, 47-54, 2010 | 99 | 2010 |
| Formal verification of components assembly based on SysML and interface automata S Chouali, A Hammad Innovations in Systems and Software Engineering 7, 265-274, 2011 | 38 | 2011 |
| Transformation of SysML structure diagrams to VHDL-AMS F Bouquet, JM Gauthier, A Hammad, F Peureux 2012 Second Workshop on Design, Control and Software Implementation for …, 2012 | 34 | 2012 |
| Java Card code generation from B specifications B Tatibouët, A Requet, JC Voisinet, A Hammad Formal Methods and Software Engineering: 5th International Conference on …, 2003 | 34 | 2003 |
| Mapping SysML to modelica to validate wireless sensor networks non-functional requirements S Berrani, A Hammad, H Mountassir 2013 11th international symposium on programming and systems (isps), 177-186, 2013 | 30 | 2013 |
| From an abstract B specification to UML class diagrams B Tatibouet, A Hammad, JC Voisinet 2nd IEEE International Symposium on Signal Processing and Information …, 2002 | 30 | 2002 |
| From a B specification to UML statechart diagrams A Hammad, B Tatibouët, JC Voisinet, W Weiping International Conference on Formal Engineering Methods, 511-522, 2002 | 26 | 2002 |
| Petri nets based approach for modular verification of SysML Requirements on Activity Diagrams. M Rahim, M Boukala-Ioualalen, A Hammad PNSE@ Petri Nets, 233-248, 2014 | 25 | 2014 |
| Tooled process for early validation of SysML models using Modelica simulation JM Gauthier, F Bouquet, A Hammad, F Peureux Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015 | 22 | 2015 |
| A methodology for verifying SysML requirements using activity diagrams M Rahim, A Hammad, M Ioualalen Innovations in Systems and Software Engineering 13, 19-33, 2017 | 19 | 2017 |
| Hierarchical colored Petri nets for the verification of SysML designs-activity-based slicing approach M Rahim, M Boukala-Ioualalen, A Hammad Advances in Computing Systems and Applications: Proceedings of the 4th …, 2021 | 15 | 2021 |
| Assembling components using sysml with non-functional requirements S Chouali, A Hammad, H Mountassir Electronic notes in theoretical computer science 295, 31-47, 2013 | 15 | 2013 |
| An approach combining simulation and verification for SysML using SystemC and Uppaal A Abdulhameed, A Hammad, H Mountassir, B Tatibouet CAL 2014, 8ème conférence francophone sur les architectures logicielles, 9 pages, 2014 | 14 | 2014 |
| An approach combining sysml and modelica for modelling and validate wireless sensor networks A Hammad, H Mountassir, S Chouali Proceedings of the First International Workshop on Software Engineering for …, 2013 | 14 | 2013 |
| A SysML formal framework to combine discrete and continuous simulation for testing JM Gauthier, F Bouquet, A Hammad, F Peureux Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 13 | 2015 |
| Using SysML for smart surface modeling A Giorgetti, A Hammad, B Tatibouët 2010 First Workshop on Hardware and Software Implementation and Control of …, 2010 | 13 | 2010 |
| Expression en B et raffinement des systèmes réactifs temps réel A Hammad, J Julliand, H Mountassir, DO Ossami AFADL 2003, 211-225, 2003 | 10 | 2003 |
| An approach based on SysML and SystemC to simulate complex systems A Abdulhameed, A Hammad, H Mountassir, B Tatibouet 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 9 | 2014 |
| Modular and distributed verification of SysML activity diagrams M Rahim, A Hammad, M Ioualalen MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software …, 2013 | 9 | 2013 |
| Verification and validation of meta-model based transformation from sysml to VHDL-AMS JM Gauthier, F Bouquet, A Hammad, F Peureux MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software …, 2013 | 9 | 2013 |
Samir ChoualiAssociate professor, Femto-ST Institute, University of Franche-Comtéایمیل تأیید شده در univ-fcomte.Fr
