Vous êtes ici

Bruno Tatibouet

Département DISC
équipe VESONTIO

UFC - UFR ST

Courriel :: btatibou [at] femto-st.fr
Adresse :: DISC - UFR-ST (Campus La Bouloie)
Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

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@inproceedings{ahtm15:ip, title = {An Approach to Verify SysML Functional Requirements Using Promela/Spin}, author = {Abdulhameed, Abbas Abdulazeez and Hammad, Ahmed and Tatibouet, Bruno and Mountassir, Hassan}, year = {2015}, address = {Alger, Algeria}, booktitle = {12th International Symposium onProgramming and Systems (ISPS)}, month = {apr}, pages = {323 - 331}, url = {*}, doi = {10.1109/ISPS.2015.7245003}, publisher = {IEEE} }

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{ahmt14:onp, title = {An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal}, author = {Abdulhameed, Abbas and Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno}, year = {2014}, address = {Paris, France}, booktitle = {CAL 2014, 8\`eme conf\'erence francophone sur les architectures logicielles}, month = {jun}, pages = {9 pages}, url = {https://publiweb.femto-st.fr/tntnet/entries/7302/documents/author/data} }
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@inproceedings{ahmt14:oip, title = {An Approach based on SysML and SystemC to Simulate Complex Systems}, author = {Abdulhameed, Abbas Abdulazeez and Hammad, Ahmed and Mountassir, Hassan and Tatibouet, Bruno}, year = {2014}, address = {Lisbon, Portugal}, booktitle = {MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development}, month = {jan}, pages = {555--560} }

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
inproceedings - Using SysML for Smart Surface Modeling
1st IEEE Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2010) / Besançon, France (2010, Pages pages 100 - 107)
Giorgetti, Alain | Hammad, Ahmed | Tatibouet, Bruno
pdf | doi | bibtex@inproceedings{ght10:ip, title = {Using SysML for Smart Surface Modeling}, author = {Giorgetti, Alain and Hammad, Ahmed and Tatibouet, Bruno}, year = {2010}, address = {Besan\c{c}on, France}, booktitle = {1st IEEE Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2010)}, month = {jun}, pages = {100 - 107}, url = {https://publiweb.femto-st.fr/tntnet/entries/895/documents/author/data}, doi = {10.1109/dMEMS.2010.22} }
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

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@inproceedings{lsmp+09:ip, title = {A first attempt to combine SysML requirements diagrams and B}, author = {Laleau, R\'egine and Semmak, Farida and Matoussi, Abderrahman and Petit, Dorian and Hammad, Ahmed and Tatibou\"et, Bruno}, year = {2009}, address = {Rio de Janeiro, Brazil}, booktitle = {UML\&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09)}, month = {dec} }

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@inproceedings{hmt08:ip, title = {Using the profile UML4SoC for modeling a smart surface}, author = {Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno}, year = {2008}, address = {Hammamet, Tunisia}, booktitle = {ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology}, month = {nov} }

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, Isabelle
bibtex@inproceedings{tj06:oip, title = {G\'en\'eration de mod\`eles dirig\'ee par des propri\'et\'es \`a partir d'un m\'etamod\`ele}, author = {Tatibou\"et, Bruno and Jacques, Isabelle}, year = {2006}, address = {Paris, France}, booktitle = {ICSSEA'06, 19th int. Conf. on Software \& Systems Engineering and their applications, Session 6: Modeling}, month = {dec}, organization = {CNAM} }
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, Isabelle
bibtex@inproceedings{tj06:ip, title = {Understanding B Specifications with UML Class Diagram and OCL Constraints}, author = {Tatibou\"et, Bruno and Jacques, Isabelle}, year = {2006}, address = {Paphos, Cyprus}, booktitle = {ICEIS'06, 8th Int. Conf. on Enterprise Information Systems}, month = {may}, pages = {475--478}, volume = {3}, series = {Information Systems Analysis and Specification} }