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 |
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 |
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 | 25 | 2002 |
Specification of an integrated circuit card protocol application using the B method and linear temporal logic J Julliand, B Legeard, T Machicoane, B Parreaux, B TatibouËt International Conference of B Users, 273-292, 1998 | 18 | 1998 |
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 |
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 |
The jbtools package B Tatibouet Available, 2001 | 12 | 2001 |
Generating statecharts from B specifications B Tatibouet, JC Voisinet 16th Int. Conf. Software & Systems Engineering and their applications …, 2003 | 9 | 2003 |
An approach to verify SysML functional requirements using Promela/SPIN A Abdulhameed, A Hammad, H Mountassir, B Tatibouet 2015 12th International Symposium on Programming and Systems (ISPS), 1-9, 2015 | 8 | 2015 |
jBtools and B2UML: a plateform and a tool to provide a UML class diagram since a B specification B Tatibouet, JC Voisinet ICSSEA: 14th Int. Conf. on Software and Systems Engineering and Their …, 2001 | 8 | 2001 |
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 | 7 | 2014 |
Assemblage des composants digne de confiance: de l’ingénierie des besoins aux spécifications formelles S Chouali, J Dormoy, A Hammad, JM Hufflen, S Mouelhi, ... Génie Logiciel 95, 13-18, 2010 | 5 | 2010 |
Vers un environnement d'aide a l'evaluation d'algorithmes B Tatibouet Nantes, 1989 | 1 | 1989 |
UNDERSTANDING B SPECIFICATIONS WITH UML CLASS DIAGRAM AND OCL CONSTRAINTS B Tatibouët, I Jacques International Conference on Enterprise Information Systems 2, 475-478, 2006 | | 2006 |
A pragmatic approach of the cooperation between B and UML A Hammad, I Jacques, B Tatibouët | | |