@inproceedings{DBLP:conf/IEEEscc/BabinAP15,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Marc Pantel},
title = {Formal Verification of Runtime Compensation of Web Service Compositions:
{A} Refinement and Proof Based Proposal with Event-B},
booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC}
2015, New York City, NY, USA, June 27 - July 2, 2015},
pages = {98--105},
year = {2015},
optcrossref = {DBLP:conf/IEEEscc/2015},
url = {http://dx.doi.org/10.1109/SCC.2015.23},
doi = {10.1109/SCC.2015.23},
timestamp = {Wed, 26 Aug 2015 16:10:51 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/IEEEscc/BabinAP15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inbook{aitameur,
author = {I.~Ait-Sadoune and Y.~Ait-Ameur},
alteditor = {},
title = {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},
publisher = {Springer International Publishing},
year = {2015},
optkey = {},
optvolume = {},
optnumber = {},
series = { Monographs in Symbolic Computation},
opttype = {},
optaddress = {},
optedition = {},
optmonth = {},
optpages = {1--27},
optnote = {},
optannote = {}
}
@inproceedings{ait2015,
author = {A. Chebieb and Y. Ait-Ameur},
title = {Formal verification of plastic user interface exploiting domain ontologies},
booktitle = {Theoretical Aspects of Software Engineering. - 9th International
Symposium, TASE 2015},
optcrossref = {},
optkey = {},
optpages = {},
year = {2015},
opteditor = {},
optvolume = {},
optnumber = {},
optseries = {},
address = {Nanjing, China},
month = {September 10-12},
optorganization = {},
optpublisher = {},
optnote = {},
optannote = {}
}
@proceedings{DBLP:journals/corr/DuboisMM15,
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Proceedings Second International Workshop on Formal Integrated Development
Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {187},
year = {2015},
url = {http://dx.doi.org/10.4204/EPTCS.187},
doi = {10.4204/EPTCS.187},
timestamp = {Thu, 03 Sep 2015 11:02:38 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/DuboisMM15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{mery:hal-01245991,
title = {{Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study}},
author = {M{\'e}ry, Dominique and Rushikesh, Sawant and Tarasyuk, Anton},
booktitle = {{Model and Data Engineering - 5th International Conference, MEDI 2015}},
address = {Rhodes, Greece},
editor = {Ladjel Bellatreche and Yannis Manolopoulos},
publisher = {{springer}},
series = {Model and Data Engineering - 5th International Conference, MEDI 2015},
volume = {lncs 9344},
pages = {89-102},
year = {2015},
month = sep,
url = {https://hal.inria.fr/hal-01245991},
hal_id = {hal-01245991},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@article{mery:hal-01245819,
title = {{Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems}},
author = {M{\'e}ry, Dominique and Poppleton, Mike},
journal = {{Software and Systems Modeling (SoSyM)}},
publisher = {{Springer}},
year = {2015},
month = dec,
url = {https://hal.inria.fr/hal-01245819},
hal_id = {hal-01245819},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {yes}
}
@inproceedings{mery:hal-01245994,
title = {{Analyzing Requirements Using Environment Modelling}},
author = {M{\'e}ry, Dominique and Singh, Neeraj Kumar},
booktitle = {{Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015}},
address = {Los Angeles, United States},
editor = { ask others Vincent G. Duffy},
publisher = {{Springer}},
series = {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,},
volume = { Lecture Notes in Computer Science 9185,},
year = {2015},
month = aug,
url = {https://hal.inria.fr/hal-01245994},
hal_id = {hal-01245994},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@article{aitameur:hal-01245832,
title = {{Making explicit domain knowledge in formal system development}},
author = {Ait Ameur, Yamine and M{\'e}ry, Dominique},
journal = {{Science of Computer Programming}},
publisher = {{Elsevier}},
year = {2015},
month = dec,
url = {https://hal.inria.fr/hal-01245832},
hal_id = {hal-01245832},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no}
}
This file was generated by bibtex2html 1.98.