impex2014.bib

@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.