Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. - Jacques Julliand; Bruno Legeard; Thierry Machicoane; Benoit Parreaux; Bruno Tatibouët (B, 1998)

From a B Specification to UML StateChart Diagrams. - Ahmed Hammad; Bruno Tatibouët; Jean-Christophe Voisinet; Weiping Wu (ICFEM, 2002)

Java Card Code Generation from B Specifications. - Bruno Tatibouët; Antoine Requet; Jean-Christophe Voisinet; Ahmed Hammad (ICFEM, 2003)

Generation of OCL Constraints from B Abstract Machines. - Jean-Christophe Voisinet; Bruno Tatibouët; Isabelle Jacques (Software Engineering Research and Practice, 2005)

Understanding B Specifications with UML Class Diagram and OCL Constraints. - Bruno Tatibouët; Isabelle Jacques (ICEIS (3), 2006)

A first attempt to combine SysML requirements diagrams and B. - Régine Laleau; Farida Semmak; Abderrahman Matoussi; Dorian Petit; Ahmed Hammad; Bruno Tatibouët (Innov. Syst. Softw. Eng., 2010)

An Approach based on SysML and SystemC to Simulate Complex Systems. - Abbas Abdulhameed; Ahmed Hammad; Hassan Mountassir; Bruno Tatibouët (MODELSWARD, 2014)