Jean-Christophe Voisinet

According to our database, Jean-Christophe Voisinet authored at least 4 papers between 2002 and 2005.

Collaborative distances:

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

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

JBTools: an experimental platform for the formal B method.

Jean-Christophe Voisinet

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 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