Back to INDEX

  Publications of Bruno Tatibouët  

Articles in journal or book chapters
  1. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


  2. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, and Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B. ISSE, Innovations in Systems and Software Engineering, 6(1-2):47--54, 2010. Note: Revised and extended version of a paper from the UML&FM'09 conference. [bibtex]


Conference articles
  1. Alain Giorgetti, Ahmed Hammad, and Bruno Tatibouët. Using SysML for Smart Surface Modeling. In dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 100--107, June 2010. IEEE Computer Society Press. [bibtex]


  2. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, and Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B. In UML&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09), Rio de Janeiro, Brazil, December 2009. [bibtex]


  3. Ahmed Hammad, Hassan Mountassir, and Bruno Tatibouët. Using the profile UML4SoC for modeling a smart surface. In ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology, Hammamet, Tunisia, November 2008. Note: Proceedings on CD-ROM. 6 pages. [bibtex]


  4. Bruno Tatibouët and Isabelle Jacques. Génération de modèles dirigée par des propriétés à partir d'un métamodèle. In ICSSEA'06, 19th int. Conf. on Software & Systems Engineering and their applications, Session 6: Modeling, Paris, France, December 2006. CNAM. Note: 8 pages. [bibtex]


  5. Bruno Tatibouët and Isabelle Jacques. Understanding B Specifications with UML Class Diagram and OCL Constraints. In ICEIS'06, 8th Int. Conf. on Enterprise Information Systems, volume 3 of Information Systems Analysis and Specification, Paphos, Cyprus, pages 475--478, May 2006. Note: ISBN 972-8865-41-4. [bibtex]


  6. Isabelle Jacques, Bruno Tatibouët, and Jean-Christophe Voisinet. Generation of OCL Constraints from B Abstract Machines. In The 2005 Int. Conf. on Software Engineering Research and Practice (SERP 05), volume 1, Las Vegas, Nevada, United States, pages 260--266, June 2005. CSREA Press. Note: ISBN 1-932415-49-1. [bibtex]


  7. Bruno Tatibouët, A. Requet, Jean-Christophe Voisinet, and Ahmed Hammad. Java Card Code Generation from B Specifications. In 5th International Conference on Formal Engineering Methods (ICFEM'2003), volume 2885 of LNCS, Singapore, pages 306--318, November 2003. [bibtex]


  8. Bruno Tatibouët and Jean-Christophe Voisinet. Generating statecharts from B specifications. In 16th International Conference Software & Systems Engineering and their applications (ICSSEA'2003), volume 1, Session 2: Modelling, Paris, France, December 2003. CNAM. [bibtex]


  9. Ahmed Hammad, Bruno Tatibouët, and Jean-Christophe Voisinet. De la spécification B vers les diagrammes d'états-transitions UML. In 7ème MCSEAI 2002 (Maghrebian Conference of Software Engineering and Intelligence Artificial), Annaba, Algeria, pages 133-143, May 2002. [bibtex]


  10. Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, and Wu Weiping. From a B Specification to UML Statechart Diagrams. In 4th International Conference on Formal Engineering Methods (ICFEM'2002), volume 2495 of LNCS, Shanghaï, China, pages 511--522, October 2002. [bibtex]


  11. Bruno Tatibouët and Ahmed Hammad. Génération de diagrammes de classes UML à partir de machines abstraites B. In Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02, Université de Blida, Algeria, pages 6--17, March 2002. [bibtex]


  12. Bruno Tatibouët, Ahmed Hammad, and Jean-Christophe Voisinet. From an abstract B specification to UML class diagrams. In 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002), Marrakech, Maroc, pages 5--10, December 2002. [bibtex]


  13. Jean-Christophe Voisinet, Bruno Tatibouët, and Ahmed Hammad. jBTools: An experimental platform for the formal B method. In Principles and Practice of Programming in Java (PPPJ'02), Trinity College, Dublin, Ireland, pages 137--140, June 2002. [bibtex]


  14. Ahmed Hammad and Bruno Tatibouët. Formal and visual specification language. In Information System Engineering (ISE'2001), Las Vegas, United States, pages 173--179, June 2001. [bibtex]


  15. Ahmed Hammad and Bruno Tatibouët. Modélisation orientée objet et spécification formelle d'une application industrielle. In Conférence Internationale sur la Productique, CIP'2001, Algiers, Algeria, pages 50--54, June 2001. [bibtex]


  16. Ahmed Hammad and Bruno Tatibouët. Spécifications formelles et semi-formelles : l'exemple du robot type. In Fifth International Symposium on Programming and Systems (ISPS'2001), Algiers, Algeria, pages 229--240, May 2001. [bibtex]


  17. Bruno Tatibouët and Ahmed Hammad. Une Utilisation conjointe de B et UML sur l'étude de cas d'un robot. In 2ème conférence d'ingénierie Système, AFIS 2001, Toulouse, France, pages 285--290, June 2001. [bibtex]


  18. Bruno Tatibouët and Jean-Christophe Voisinet. jBTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification. In ICSSEA 2001, 14th International Conference on Software & Systems Engineering and Their Applications, Session 8-3, Formal Methods, volume 2, France, Paris, December 2001. [bibtex]


  19. L. Py, Bruno Legeard, and Bruno Tatibouët. Evaluation de spécifications formelles en programmation logique avec contraintes ensemblistes - Application à l'animation de spécifications formelles B. In Actes du congrès AFADL'2000, Grenoble, France, pages 21--35, January 2000. [bibtex]


  20. Jacques Julliand, Bruno Legeard, T. Machicoane, Benoit Parreaux, and Bruno Tatibouët. Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic. In 2nd B Conference, volume 1393 of LNCS, Montpellier, France, pages 273--292, April 1998. [bibtex]


Internal reports
  1. Bruno Tatibouët. Evaluation des traducteurs Java et C sharp. Livrable 11, RNTL-BOM, March 2003. Note: 10 pages. [bibtex]


  2. Jean-Christophe Voisinet and Bruno Tatibouët. Génération de code à partir du langage formel B vers des langages à objets. Application à la génération de code Java/JavaCard. Livrable 5, RNTL-BOM, October 2002. Note: 38 pages. [bibtex]


  3. J.-L. Boulanger, G. Mariano, and Bruno Tatibouët. Revisiting the B Language Syntax. Rapport de Recherche 99-07, Laboratoire CEDRIC-CNRAM, 1999. [bibtex]


Other publications
  1. Bruno Tatibouët. Une autre interface pour l'atelier B, November 2002. Note: Journée enseignement de B, Journées du Groupe B du GDR ALP, Nantes, France. [bibtex]


  2. Bruno Tatibouët and Jean-Christophe Voisinet. Plugin B, Type-Checking, Génération de code Java et visualisation de projets B en HTML dans la nouvelle plate-forme jBTools, June 2002. Note: Journées du Groupe B du GDR ALP, CNAM, Paris, France. [bibtex]


  3. Bruno Tatibouët. La plate forme jBTools, October 2001. Note: Journées outils pour et autour de B, INRETS, Lille, France. [bibtex]


  4. Bruno Tatibouët. Animation et vérification de Machines B en PLC : expérimentation et perspectives. , October 1997. [bibtex]


  5. Bruno Tatibouët. Animation-vérification de spécifications formelles en PLC ensemblistes. , June 1997. [bibtex]


Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html