[1] Guillaume Babin, Yamine Aït Ameur, and Marc Pantel. Formal verification of runtime compensation of web service compositions: A refinement and proof based proposal with event-b. In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015, pages 98--105, 2015. [ bib | DOI | http ]
[2] I. Ait-Sadoune and Y. Ait-Ameur. Correct Software in Web Applications and Web Services, chapter Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. Monographs in Symbolic Computation. Springer International Publishing, 2015. [ bib ]
[3] A. Chebieb and Y. Ait-Ameur. Formal verification of plastic user interface exploiting domain ontologies. In Theoretical Aspects of Software Engineering. - 9th International Symposium, TASE 2015, Nanjing, China, September 10-12 2015. [ bib ]
[4] Catherine Dubois, Paolo Masci, and Dominique Méry, editors. Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015, volume 187 of EPTCS, 2015. [ bib | DOI | http ]
[5] Dominique Méry, Sawant Rushikesh, and Anton Tarasyuk. Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study. In Ladjel Bellatreche and Yannis Manolopoulos, editors, Model and Data Engineering - 5th International Conference, MEDI 2015, volume lncs 9344 of Model and Data Engineering - 5th International Conference, MEDI 2015, pages 89--102, Rhodes, Greece, September 2015. springer. [ bib | http ]
[6] Dominique Méry and Mike Poppleton. Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems. Software and Systems Modeling (SoSyM), December 2015. [ bib | http ]
[7] Dominique Méry and Neeraj Kumar Singh. Analyzing Requirements Using Environment Modelling. In ask others Vincent G. Duffy, editor, Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, volume Lecture Notes in Computer Science 9185, of Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015,, Los Angeles, United States, August 2015. Springer. [ bib | http ]
[8] Yamine Ait Ameur and Dominique Méry. Making explicit domain knowledge in formal system development. Science of Computer Programming, December 2015. [ bib | http ]

This file was generated by bibtex2html 1.98.