@incollection{andriamiarina:hal-01246669,
title = {{Incremental Proof-Based Development for Resilient Distributed Systems}},
author = {Andriamiarina, Manamiary Bruno and M{\'e}ry, Dominique and Singh, Neeraj Kumar},
booktitle = {{Trustworthy Cyber-Physical Systems Engineering}},
publisher = {{Tylor and Francis Group}},
series = {Trustworthy Cyber-Physical Systems Engineering},
year = {2016},
month = dec,
url = {https://hal.archives-ouvertes.fr/hal-01246669},
hal_id = {hal-01246669},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {yes}
}
@article{DBLP:journals/scp/AmeurM16,
author = {Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry},
title = {Making explicit domain knowledge in formal system development},
journal = {Sci. Comput. Program.},
volume = {121},
pages = {100--127},
year = {2016},
url = {http://dx.doi.org/10.1016/j.scico.2015.12.004},
doi = {10.1016/j.scico.2015.12.004},
timestamp = {Wed, 09 Mar 2016 18:11:23 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/scp/AmeurM16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{pop2015,
author = {M{\'e}ry, Dominique and Poppleton, Mike},
title = {Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems - with application to Population Protocols},
journal = {International Journal on Software and Systems Modeling (SoSyM) (to appear)},
year = {2015},
optkey = {},
optvolume = {},
optnumber = {},
optpages = {},
optmonth = {},
optnote = {},
optannote = {}
}
@inproceedings{ABZ_16,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Marc Pantel},
title = {Handling Continuous Functions in Hybrid Systems Reconfigurations:
{A} Formal Event-B Development},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
pages = {290--296},
series = {Lecture Notes in Computer Science},
volume = {9675},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/hase/BabinAP16,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Marc Pantel},
title = {Correct Instantiation of a System Reconfiguration Pattern: {A} Proof
and Refinement-Based Approach},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {2016}
}
@article{FCS2016,
author = {Abdelkrim Chebieb and Yamine A{\"{\i}}t Ameur
},
title = {A Formal model for Plastic Human computer Interfaces},
journal = {Fontiers of Computer Science},
publisher = {Springer},
volume = {To Appear},
year = {2016}
}
@article{STTT2016,
author = {Zoubeyr Farah and Yamine A{\"{\i}}t Ameur and Meriem Ouederni and Kamel Tari
},
title = {A correct-by-construction model for asynchronously communicating systems},
journal = {International Journal on Software Tools for Technology Transfer},
publisher = {Springer},
volume = {To Appear},
year = {2016}
}
This file was generated by bibtex2html 1.97.