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 | 98 | 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 | 36 | 2011 |
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 |
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 | 32 | 2012 |
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 |
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 | 27 | 2013 |
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 | 25 | 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 | 23 | 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 | 20 | 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 | 17 | 2017 |
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 |
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 | 13 | 2021 |
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 | 13 | 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 | 13 | 2013 |
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 |
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 | 12 | 2015 |
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 | 11 | 2003 |
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 |
A new two level hierarchy structuring for node partitioning in ad hoc networks B Nacéra, G Hervé, H Ahmed, M Mohammed Proceedings of the 2010 ACM Symposium on Applied Computing, 719-726, 2010 | 9 | 2010 |