Publications 2018

[1] Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, K. Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, and Laurent Voisin. On the importance of explicit domain modelling in refinement-based modelling design. experiments with event-b. In Abstract State Machines, Alloy, B, TLA, VDM, and Z – 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pages 425–430, 2018. [ bib | DOI | http ]
[2] Régine Laleau, Dominique Méry, Shin Nakajima, and Elena Troubitsyna, editors. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), volume 271 of Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, May 2018. [ bib |DOI ]
[3] Yamine Ait Ameur, Idir Ait Sadoune, Kahina Hacid, and Linda Mohand Oussaid. Formal modelling of ontologies : An event-b based approach using the rodin platform. In Régine Laleau, Dominique Méry, Shin Nakajima, and Elena Troubitsyna, editors, Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) andFormal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), Xi’An, China, 16th November 2017, volume 271 of Electronic Proceedings in Theoretical Computer Science, pages 24–33. Open Publishing Association, 2018. [ bib | DOI ]
[4] J Paul Gibson and Dominique Méry. Explicit modelling of physical measures: From event-b to java. In Régine Laleau, Dominique Méry, Shin Nakajima, and Elena Troubitsyna, editors, Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) andFormal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), Xi’An, China, 16th November 2017, volume 271 of Electronic Proceedings in Theoretical Computer Science, pages 64–79. Open Publishing Association, 2018. [ bib | DOI ]

This file was generated by bibtex2html1.98.