Research departments

Home > Directory > directory

Directory


Return to the list

Bruno Tatibouet

Tatibouët Bruno

Ingénierie dirigée par les modèles

DISC
Group : VESONTIO
UFC - UFR ST

  • Tel. : 03.81.66.65.28
  • Email : btatibou@femto-st.fr
  • Office : 405C
  • Address : 16 route de Gray CS11809 25030 BESANCON cedex

Actuellement
- Membre de la section 27 du CNU
- Membre du conseil scientifique de l'UFC
- Membre du conseil de l'UFR ST
- Responsable du Master 2 Informatique

Anciennement
- Directeur adjoint de l'UFR ST
- Directeur du département d'enseignement en informatique
- Responsable de la licence PRO
- ....

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2010
  • Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
    Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
    Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
  • A first attempt to combine SysML requirements diagrams and B
    Innovations in Systems and Software Engineering (Volume 6, Issue (1), mar 2010, Pages :47 - 54)
    Laleau, Régine | Semmak, Farida | Matoussi, Abderrahman | Petit, Dorian | Hammad, Ahmed | Tatibouet, Bruno
    doi | bibtex
Category inproceedings
2015
  • An Approach to Verify SysML Functional Requirements Using Promela/Spin
    2015 12th International Symposium onProgramming and Systems (ISPS) / Algiers, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
    doi | bibtex
2014
  • An Approach based on SysML and SystemC to Simulate Complex Systems
    MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development / Lisbon, Portugal (2014, Pages pages 555--560)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
  • An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal
    CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014, Pages pages 9 pages)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
    pdf | bibtex
2010
  • Using SysML for Smart Surface Modeling
    dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS / Besançon, France (2010, Pages pages 100--107)
    Giorgetti, Alain | Hammad, Ahmed | Tatibouet, Bruno
    pdf | bibtex
2009
  • A first attempt to combine SysML requirements diagrams and B
    UML&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09) / Rio de Janeiro, Brazil (2009)
    Hammad, Ahmed | Laleau, Régine | Semmak, Farida | Matoussi, Abderrahman | Petit, Dorian | Tatibouet, Bruno
    bibtex
2008
  • Using the profile UML4SoC for modeling a smart surface
    ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology / Hammamet, Tunisia (2008)
    Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
2006
  • Génération de modèles dirigée par des propriétés à partir d'un métamodèle
    ICSSEA'06, 19th int. Conf. on Software & Systems Engineering and their applications, Session 6: Modeling / Paris, France (2006)
    Tatibouet, Bruno | Jacques-Chauville, Isabelle
    bibtex
  • Understanding B Specifications with UML Class Diagram and OCL Constraints
    ICEIS'06, 8th Int. Conf. on Enterprise Information Systems / Paphos, Cyprus (Volume 3, 2006, Pages pages 475--478)
    Tatibouet, Bruno | Jacques-Chauville, Isabelle
    bibtex
2005
  • Generation of OCL Constraints from B Abstract Machines
    The 2005 Int. Conf. on Software Engineering Research and Practice (SERP 05) / Las Vegas, Nevada, United States (Publisher : CSREA Press, Volume 1, 2005, Pages pages 260--266)
    Jacques-Chauville, Isabelle | Tatibouet, Bruno | Voisinet, Jean-Christophe
    bibtex
2003
  • Java Card Code Generation from B Specifications
    5th International Conference on Formal Engineering Methods (ICFEM'2003) / Singapore (Volume 2885, 2003, Pages pages 306--318)
    Tatibouet, Bruno | Requet, A. | Voisinet, Jean-Christophe | Hammad, Ahmed
    bibtex
  • Generating statecharts from B specifications
    16th International Conference Software & Systems Engineering and their applications (ICSSEA'2003) / Paris, France (Volume 1, Session 2: Modelling, 2003)
    Tatibouet, Bruno | Voisinet, Jean-Christophe
    bibtex
2002
  • jBTools: An experimental platform for the formal B method
    Principles and Practice of Programming in Java (PPPJ'02) / Trinity College, Dublin, Ireland (2002, Pages pages 137--140)
    Voisinet, Jean-Christophe | Tatibouet, Bruno | Hammad, Ahmed
    bibtex
  • From a B Specification to UML Statechart Diagrams
    4th International Conference on Formal Engineering Methods (ICFEM'2002) / Shanghaï, China (Volume 2495, 2002, Pages pages 511--522)
    Hammad, Ahmed | Tatibouet, Bruno | Voisinet, Jean-Christophe | Weiping, Wu
    bibtex
  • From an abstract B specification to UML class diagrams
    2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002) / Marrakech, Maroc (2002, Pages pages 5--10)
    Tatibouet, Bruno | Hammad, Ahmed | Voisinet, Jean-Christophe
    bibtex
  • Génération de diagrammes de classes UML à partir de machines abstraites B
    Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02 / Université de Blida, Algeria (2002, Pages pages 6--17)
    Tatibouet, Bruno | Hammad, Ahmed
    bibtex
  • De la spécification B vers les diagrammes d'états-transitions UML
    7ème MCSEAI 2002 (Maghrebian Conference of Software Engineering and Intelligence Artificial) / Annaba, Algeria (2002, Pages pages 133-143)
    Hammad, Ahmed | Tatibouet, Bruno | Voisinet, Jean-Christophe
    bibtex
2001
  • Formal and visual specification language
    Information System Engineering (ISE'2001) / Las Vegas, United States (2001, Pages pages 173--179)
    Hammad, Ahmed | Tatibouet, Bruno
    bibtex
  • Spécifications formelles et semi-formelles : l'exemple du robot type
    Fifth International Symposium on Programming and Systems (ISPS'2001) / Algiers, Algeria (2001, Pages pages 229--240)
    Hammad, Ahmed | Tatibouet, Bruno
    bibtex
  • Modélisation orientée objet et spécification formelle d'une application industrielle
    Conférence Internationale sur la Productique, CIP'2001 / Algiers, Algeria (2001, Pages pages 50--54)
    Hammad, Ahmed | Tatibouet, Bruno
    bibtex
  • Une Utilisation conjointe de B et UML sur l'étude de cas d'un robot
    2ème conférence d'ingénierie Système, AFIS 2001 / Toulouse, France (2001, Pages pages 285--290)
    Tatibouet, Bruno | Hammad, Ahmed
    bibtex
  • jBTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification
    ICSSEA 2001, 14th International Conference on Software & Systems Engineering and Their Applications, Session 8-3, Formal Methods / France, Paris (Volume 2, 2001)
    Tatibouet, Bruno | Voisinet, Jean-Christophe
    bibtex
2000
  • Evaluation de spécifications formelles en programmation logique avec contraintes ensemblistes - Application à l'animation de spécifications formelles B
    Actes du congrès AFADL'2000 / Grenoble, France (2000, Pages pages 21--35)
    Py, L. | Legeard, Bruno | Tatibouet, Bruno
    bibtex
1998
  • Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic
    2nd B Conference / Montpellier, France (Volume 1393, 1998, Pages pages 273--292)
    Julliand, Jacques | Legeard, Bruno | Machicoane, T. | Parreaux, Benoit | Tatibouet, Bruno
    bibtex
Category misc
2003
  • Les jBTools
    ( 2003)
    Tatibouet, Bruno
    bibtex
2002
  • Plugin B, Type-Checking, Génération de code Java et visualisation de projets B en HTML dans la nouvelle plate-forme jBTools
    (jun 2002)
    Tatibouet, Bruno | Voisinet, Jean-Christophe
    bibtex
  • Une autre interface pour l'atelier B
    (nov 2002)
    Tatibouet, Bruno
    bibtex
2001
  • La plate forme jBTools
    (oct 2001)
    Tatibouet, Bruno
    bibtex
Category techreport
2003
  • Evaluation des traducteurs Java et C sharp
    RNTL-BOM (mar 2003, Livrable 11, Number )
    Tatibouet, Bruno
    bibtex
2002
  • Génération de code à partir du langage formel B vers des langages à objets. Application à la génération de code Java/JavaCard
    RNTL-BOM (oct 2002, Livrable 5, Number )
    Voisinet, Jean-Christophe | Tatibouet, Bruno
    bibtex
1999
  • Revisiting the B Language Syntax
    Laboratoire CEDRIC-CNRAM ( 1999, Rapport de Recherche, Number 99-07)
    Boulanger, J.-L. | Mariano, G. | Tatibouet, Bruno
    bibtex
Category unpublished
1997
  • Animation-vérification de spécifications formelles en PLC ensemblistes (jun 1997)
    Tatibouet, Bruno
    bibtex
  • Animation et vérification de Machines B en PLC : expérimentation et perspectives (oct 1997)
    Tatibouet, Bruno
    bibtex