Bruno Tatibouët

According to our database, Bruno Tatibouët authored at least 7 papers between 1998 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

An Approach based on SysML and SystemC to Simulate Complex Systems.

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2010

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

2006

Understanding B Specifications with UML Class Diagram and OCL Constraints.

Bruno Tatibouët, Isabelle Jacques

Proceedings of the ICEIS 2006, 2006

2005

Generation of OCL Constraints from B Abstract Machines.

Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2003

Java Card Code Generation from B Specifications.

Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad

Proceedings of the Formal Methods and Software Engineering, 2003

2002

From a B Specification to UML StateChart Diagrams.

Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu

Proceedings of the Formal Methods and Software Engineering, 2002

1998

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

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998