The institute
FEMTO-ST
Directory

You are here

Bruno Tatibouet

Bruno Tatibouet's publications

2015 (1)

  • inproceedings - An Approach to Verify SysML Functional Requirements Using Promela/Spin
    12th International Symposium onProgramming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
    pdf | doi | bibtex

2014 (2)

  • inproceedings - 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
  • inproceedings - 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

2010 (3)

  • article - 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
  • inproceedings - 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
  • article - 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
    pdf | doi | bibtex

2009 (1)

  • inproceedings - 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 (1)

  • inproceedings - 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 (2)

  • inproceedings - 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
  • inproceedings - Understanding B Specifications with UML Class Diagram and OCL Constraints
    ICEIS'06, 8th Int. Conf. on Enterprise Information Systems / Paphos, Cyprus (Volume 3, Series Information Systems Analysis and Specification, 2006, Pages pages 475--478)
    Tatibouet, Bruno | Jacques-chauville, Isabelle
    bibtex