@inproceedings{impex1, author = {Manamiary Bruno Andriamiarina and Dominique M\'ery and Neeraj Kumar Singh}, title = {Analysis of Self-* and P2P Systems Using Refinement}, booktitle = {ABZ 2014 Proceedings}, optcrossref = {}, optkey = {}, optpages = {}, year = {2014}, opteditor = {}, volume = {8477}, optnumber = {}, series = {Lecture Notes in Computer Science}, optaddress = {}, optmonth = {}, optorganization = {}, optpublisher = {}, optnote = {}, optannote = {} }
@inproceedings{impex2, author = {Dominique Méry and Neeraj Kumar Singh}, title = {Modeling an Aircraft Landing System in {Event-B}}, booktitle = {ABZ 2014 Case Study Track}, optcrossref = {}, optkey = {}, optpages = {}, year = {2014}, opteditor = {}, volume = {433}, optnumber = {}, series = {Communications in Computer and Information Science}, optaddress = {}, optmonth = {}, optorganization = {}, optpublisher = {}, optnote = {}, optannote = {} }
@techreport{impex3, author = {Dominique M\'ery and Neeraj Kumar Singh}, title = {Modeling an Aircraft Landing System in {Event-B} (Complete Version)}, institution = {LORIA UMR 7503 (CNRS-Université de Lorraine) }, year = {2014}, optkey = {}, opttype = {}, optnumber = {}, optaddress = {}, optmonth = {}, optnote = {}, optannote = {} }
@inproceedings{DBLP:conf/isola/AmeurGM14, author = {Yamine A{\"{\i}}t Ameur and J. Paul Gibson and Dominique M{\'{e}}ry}, title = {On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}}, year = {2014}, pages = {604--618}, url = {http://dx.doi.org/10.1007/978-3-662-45231-8_50}, doi = {10.1007/978-3-662-45231-8_50}, timestamp = {Thu, 09 Oct 2014 11:21:34 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/AmeurGM14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@inproceedings{DBLP:conf/hci/MeryS14, author = {Dominique M{\'{e}}ry and Neeraj Kumar Singh}, title = {The Semantics of Refinement Chart}, booktitle = {Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management - 5th International Conference, {DHM} 2014, Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings}, year = {2014}, pages = {415--426}, url = {http://dx.doi.org/10.1007/978-3-319-07725-3_42}, doi = {10.1007/978-3-319-07725-3_42}, timestamp = {Thu, 09 Oct 2014 11:22:30 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/hci/MeryS14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@inproceedings{DBLP:conf/medi/Mery14, author = {Dominique M{\'{e}}ry}, title = {Playing with State-Based Models for Designing Better Algorithms}, booktitle = {Model and Data Engineering - 4th International Conference, {MEDI} 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings}, pages = {1--3}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-319-11587-0_1}, doi = {10.1007/978-3-319-11587-0_1}, timestamp = {Mon, 22 Sep 2014 14:28:06 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/medi/Mery14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/MerySW14, author = {Dominique M{\'{e}}ry and Bernhard Sch{\"{a}}tz and Alan Wassyng}, title = {The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)}, journal = {Dagstuhl Reports}, volume = {4}, number = {2}, pages = {17--38}, year = {2014}, url = {http://dx.doi.org/10.4230/DagRep.4.2.17}, doi = {10.4230/DagRep.4.2.17}, timestamp = {Fri, 18 Jul 2014 14:34:08 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/dagstuhl-reports/MerySW14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@inproceedings{DBLP:conf/asm/VoisinA14, author = {Laurent Voisin and Jean{-}Raymond Abrial}, title = {The Rodin Platform Has Turned Ten}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings}, pages = {1--8}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-662-43652-3_1}, doi = {10.1007/978-3-662-43652-3_1}, timestamp = {Fri, 30 May 2014 13:05:36 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/asm/VoisinA14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@inproceedings{DBLP:conf/isola/GibsonA14, author = {J. Paul Gibson and Idir A{\"{\i}}t{-}Sadoune}, title = {Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}}, pages = {570--572}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-662-45231-8_47}, doi = {10.1007/978-3-662-45231-8_47}, timestamp = {Mon, 29 Sep 2014 11:09:02 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/GibsonA14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@mastersthesis{rushikesh, author = {Rushikesh Sawant}, title = {Implicit and Explicit features in modelling}, school = {Université de Lorraine}, year = {2014}, optkey = {}, opttype = {}, optaddress = {}, month = {June}, optnote = {}, optannote = {} }
This file was generated by bibtex2html 1.98.