BibTeX records: Bruno Tatibouët

download as .bib file

@inproceedings{DBLP:conf/modelsward/AbdulhameedHMT14,
  author    = {Abbas Abdulhameed and
               Ahmed Hammad and
               Hassan Mountassir and
               Bruno Tatibou{\"{e}}t},
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Joaquim Filipe and
               Rui C{\'{e}}sar das Neves},
  title     = {An Approach based on SysML and SystemC to Simulate Complex Systems},
  booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
               on Model-Driven Engineering and Software Development, Lisbon, Portugal,
               7 - 9 January, 2014},
  pages     = {555--560},
  publisher = {SciTePress},
  year      = {2014},
  url       = {https://doi.org/10.5220/0004809205550560},
  doi       = {10.5220/0004809205550560},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/AbdulhameedHMT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/LaleauSMPHT10,
  author    = {R{\'{e}}gine Laleau and
               Farida Semmak and
               Abderrahman Matoussi and
               Dorian Petit and
               Ahmed Hammad and
               Bruno Tatibou{\"{e}}t},
  title     = {A first attempt to combine SysML requirements diagrams and {B}},
  journal   = {{ISSE}},
  volume    = {6},
  number    = {1-2},
  pages     = {47--54},
  year      = {2010},
  url       = {https://doi.org/10.1007/s11334-009-0119-y},
  doi       = {10.1007/s11334-009-0119-y},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/isse/LaleauSMPHT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/TatibouetJ06,
  author    = {Bruno Tatibou{\"{e}}t and
               Isabelle Jacques},
  editor    = {Yannis Manolopoulos and
               Joaquim Filipe and
               Panos Constantopoulos and
               Jos{\'{e}} Cordeiro},
  title     = {Understanding {B} Specifications with {UML} Class Diagram and {OCL}
               Constraints},
  booktitle = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
               on Enterprise Information Systems: Databases and Information Systems
               Integration, Paphos, Cyprus, May 23-27, 2006},
  pages     = {475--478},
  year      = {2006},
  timestamp = {Thu, 02 Feb 2017 12:53:45 +0100},
  biburl    = {https://dblp.org/rec/conf/iceis/TatibouetJ06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/VoisinetTJ05,
  author    = {Jean{-}Christophe Voisinet and
               Bruno Tatibou{\"{e}}t and
               Isabelle Jacques},
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Generation of {OCL} Constraints from {B} Abstract Machines},
  booktitle = {Proceedings of the International Conference on Software Engineering
               Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
               2005, Volume 1},
  pages     = {260--266},
  publisher = {{CSREA} Press},
  year      = {2005},
  timestamp = {Tue, 31 Jan 2006 11:57:16 +0100},
  biburl    = {https://dblp.org/rec/conf/serp/VoisinetTJ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TatibouetRVH03,
  author    = {Bruno Tatibou{\"{e}}t and
               Antoine Requet and
               Jean{-}Christophe Voisinet and
               Ahmed Hammad},
  editor    = {Jin Song Dong and
               Jim Woodcock},
  title     = {Java Card Code Generation from {B} Specifications},
  booktitle = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2885},
  pages     = {306--318},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-39893-6\_18},
  doi       = {10.1007/978-3-540-39893-6\_18},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/TatibouetRVH03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HammadTVW02,
  author    = {Ahmed Hammad and
               Bruno Tatibou{\"{e}}t and
               Jean{-}Christophe Voisinet and
               Weiping Wu},
  editor    = {Chris George and
               Huaikou Miao},
  title     = {From a {B} Specification to {UML} StateChart Diagrams},
  booktitle = {Formal Methods and Software Engineering, 4th International Conference
               on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
               21-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2495},
  pages     = {511--522},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36103-0\_52},
  doi       = {10.1007/3-540-36103-0\_52},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/HammadTVW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/JulliandLMPT98,
  author    = {Jacques Julliand and
               Bruno Legeard and
               Thierry Machicoane and
               Benoit Parreaux and
               Bruno Tatibou{\"{e}}t},
  editor    = {Didier Bert},
  title     = {Specification of an Integrated Circuit Card Protocol Application Using
               the {B} Method and Linear Temporal Logic},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {273--292},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053367},
  doi       = {10.1007/BFb0053367},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/JulliandLMPT98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics