|||Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems. In Trustworthy Cyber-Physical Systems Engineering, Trustworthy Cyber-Physical Systems Engineering. Tylor and Francis Group, December 2016. [ bib | http ]|
|||Yamine Aït Ameur and Dominique Méry. Making explicit domain knowledge in formal system development. Sci. Comput. Program., 121:100-127, 2016. [ bib | DOI | http ]|
|||Dominique Méry and Mike Poppleton. Towards an integrated formal method for verification of liveness properties in distributed systems - with application to population protocols. International Journal on Software and Systems Modeling (SoSyM) (to appear), 2015. [ bib ]|
|||Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, and Marc Pantel. Handling continuous functions in hybrid systems reconfigurations: A formal event-b development. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, volume 9675 of Lecture Notes in Computer Science, pages 290-296. Springer, 2016. [ bib ]|
|||Guillaume Babin, Yamine Aït Ameur, and Marc Pantel. Correct instantiation of a system reconfiguration pattern: A proof and refinement-based approach. In 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pages 31-38. IEEE Computer Society, 2016. [ bib ]|
|||Abdelkrim Chebieb and Yamine Aït Ameur. A formal model for plastic human computer interfaces. Fontiers of Computer Science, To Appear, 2016. [ bib ]|
|||Zoubeyr Farah, Yamine Aït Ameur, Meriem Ouederni, and Kamel Tari. A correct-by-construction model for asynchronously communicating systems. International Journal on Software Tools for Technology Transfer, To Appear, 2016. [ bib ]|
This file was generated by bibtex2html 1.97.