mosel2010.bib

@INPROCEEDINGS{dunchev:2010:hal-00545482:1,
  author = {Dunchev, Tsvetan and Leitsch, Alexander and Libal, Tomer and Weller, Daniel and Woltzenlogel Paleo, Bruno},
  x-pays = {AT},
  doi = {10.1007/978-3-642-14203-1{\_}36},
  title = {System Description: The Proof Transformation System CERES},
  booktitle = {International Joint Conference on Automated Reasoning},
  year = {2010},
  series = {Lecture Notes in Computer Science / Lecture Notes in ArtificiaI Intelligence},
  editor = {Jürgen Giesl and Reiner Hähnle},
  publisher = {Springer},
  volume = {6173},
  pages = {427-433},
  note = {The original publication is available at www.springerlink.com},
  address = {United Kingdom Edinburgh},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/hal-00545482/en},
  x-id-hal = {hal-00545482}
}
@INPROCEEDINGS{rosa:2010:inria-00532889:1,
  author = {Rosa, Cristian and Merz, Stephan and Quinson, Martin},
  title = {A Simple Model of Communication APIs -- Application to Dynamic Partial-order Reduction},
  booktitle = {10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010},
  year = {2010},
  month = SEP,
  address = {Germany D\"usseldorf},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00532889/en},
  x-id-hal = {inria-00532889}
}
@INPROCEEDINGS{chaudhuri:2010:inria-00534821:1,
  author = {Chaudhuri, Kaustuv and Doligez, Damien and Lamport, Leslie and Merz, Stephan},
  x-pays = {US},
  doi = {10.1007/978-3-642-14203-1{\_}12},
  title = {Verifying Safety Properties With the TLA+ Proof System},
  booktitle = {Fifth International Joint Conference on Automated Reasoning - IJCAR 2010},
  year = {2010},
  series = {Lecture Notes in Artificial Intelligence},
  editor = {J\"urgen Giesl and Reiner Haehnle},
  publisher = {Springer},
  volume = {6173},
  pages = {142--148},
  note = {The original publication is available at www.springerlink.com},
  address = {United Kingdom Edinburgh},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00534821/en},
  x-id-hal = {inria-00534821}
}
@INPROCEEDINGS{akhtar:2010:inria-00537779:1,
  author = {Akhtar, Sabina and Merz, Stephan and Quinson, Martin},
  title = {A High-Level Language for Modeling Algorithms and their Properties},
  booktitle = {13th Brazilian Symposium on Formal Methods - SBMF'2010},
  year = {2010},
  month = NOV,
  address = {Brazil Natal},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00537779/en},
  x-id-hal = {inria-00537779}
}
@INPROCEEDINGS{lu:2010:inria-00540811:1,
  author = {Lu, Tianxiang and Merz, Stephan and Weidenbach, Christoph},
  x-pays = {DE},
  title = {Model Checking the Pastry Routing Protocol},
  booktitle = {10th International Workshop Automated Verification of Critical Systems},
  year = {2010},
  month = SEP,
  editor = {Jens Bendisposto and Michael Leuschel and Markus Roggenbach},
  publisher = {Universit\"at D\"usseldorf},
  pages = {19-21},
  note = {short communication},
  address = {Germany D\"usseldorf},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00540811/en},
  x-id-hal = {inria-00540811}
}
@INPROCEEDINGS{akhtar:2010:inria-00544137:1,
  author = {Akhtar, Sabina and Merz, Stephan and Quinson, Martin},
  title = {Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms},
  booktitle = {Actes des deuxi\`emes journ\'ees nationales du Groupement De Recherche CNRS du G\'enie de la Programmation et du Logiciel},
  year = {2010},
  month = MAR,
  editor = {Eric Cariou and Laurence Duchien and Yves Ledru},
  address = {France Pau},
  x-international-audience = {no},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00544137/en},
  x-id-hal = {inria-00544137}
}
@INPROCEEDINGS{woltzenlogelpaleo:2010:hal-00545462:1,
  author = {Woltzenlogel Paleo, Bruno},
  title = {Physics and Proof Theory},
  year = {2010},
  month = AUG,
  booktitle = {International Workshop on Physics and Computation},
  address = {Egypt Luxor},
  x-international-audience = {yes},
  x-proceedings = {no},
  url-hal = {http://hal.inria.fr/hal-00545462/en},
  x-id-hal = {hal-00545462}
}
@INPROCEEDINGS{woltzenlogelpaleo:2010:hal-00545494:1,
  author = {Woltzenlogel Paleo, Bruno and Lebedeva, Ekaterina},
  title = {Using Proofs to Compute Implicatures [Abstract]},
  year = {2010},
  month = JUN,
  booktitle = {Computability in Europe},
  address = {Portugal Ponta Delgada},
  x-international-audience = {yes},
  x-proceedings = {no},
  url-hal = {http://hal.inria.fr/hal-00545494/en},
  x-id-hal = {hal-00545494}
}
@INPROCEEDINGS{woltzenlogelpaleo:2010:hal-00545496:1,
  author = {Woltzenlogel Paleo, Bruno},
  title = {Proof Compression with the CIRes Method [Abstract]},
  year = {2010},
  month = JUN,
  booktitle = {Computability in Europa},
  address = {Portugal Ponta Delgada},
  x-international-audience = {yes},
  x-proceedings = {no},
  url-hal = {http://hal.inria.fr/hal-00545496/en},
  x-id-hal = {hal-00545496}
}
@INPROCEEDINGS{debrat:2010:inria-00539899:1,
  author = {Debrat, Henri and Charron-Bost, Bernadette and Merz, Stephan},
  title = {Formal Verification of Consensus Algorithms in a Proof Assistant},
  year = {2010},
  month = MAR,
  editor = {Michael Backes and Ralf K\"usters},
  booktitle = {2010 Grande Region Security and Reliability Day},
  address = {Germany Saarbr\"ucken},
  x-international-audience = {yes},
  x-proceedings = {no},
  url-hal = {http://hal.inria.fr/inria-00539899/en},
  x-id-hal = {inria-00539899}
}
@BOOK{mery:2010:inria-00539785:1,
  doi = {10.1007/978-3-642-16265-7},
  title = {Integrated Formal Methods},
  year = {2010},
  month = OCT,
  editor = {Dominique M\'ery and Stephan Merz},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  pages = {335},
  volume = {6396},
  x-international-audience = {yes/no},
  url-hal = {http://hal.inria.fr/inria-00539785/en},
  x-id-hal = {inria-00539785}
}
@ARTICLE{zhang:2010:hal-00516785:1,
  author = {Zhang, Hehua and Merz, Stephan and Gu, Ming},
  x-pays = {CN},
  doi = {10.1016/j.camwa.2010.05.017},
  title = {Specifying and Verifying PLC systems with TLA+: a case study},
  journal = {Computers {\&} Mathematics with Applications},
  volume = {60},
  number = {3},
  pages = {695-705},
  year = {2010},
  month = AUG,
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url-hal = {http://hal.inria.fr/hal-00516785/en},
  x-id-hal = {hal-00516785}
}
@ARTICLE{rehm:2008:inria-00336624:1,
  author = {Rehm, Joris},
  doi = {10.1007/s10009-009-0130-5},
  title = {Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  publisher = {Springer-Verlag},
  volume = {12},
  number = {1},
  pages = {39-51},
  year = {2010},
  month = FEB,
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url-hal = {http://hal.inria.fr/inria-00336624/en},
  x-id-hal = {inria-00336624}
}
@ARTICLE{mery:2010:inria-00540007:1,
  author = {M\'{e}ry, Dominique and Singh, Neeraj Kumar},
  title = {Functional Behavior of a Cardiac Pacing System},
  journal = {International Journal of Discrete Event Control Systems (IJDECS)},
  editor = {Mohamed Khalgui},
  year = {2010},
  month = DEC,
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url-hal = {http://hal.inria.fr/inria-00540007/en},
  x-id-hal = {inria-00540007}
}
@ARTICLE{caminhabdeoliveira:2010:inria-00543801:1,
  author = {Caminha B. De Oliveira, Diego and D\'eharbe, David and Fontaine, Pascal},
  x-pays = {BR},
  title = {Combining decision procedures by (model-)equality propagation},
  journal = {Science of Computer Programming},
  publisher = {elsevier},
  year = {2010},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url-hal = {http://hal.inria.fr/inria-00543801/en},
  x-id-hal = {inria-00543801}
}
@INPROCEEDINGS{chaudhuri:2010:inria-00521886:1,
  author = {Chaudhuri, Kaustuv and Doligez, Damien and Lamport, Leslie and Merz, Stephan},
  x-pays = {US},
  doi = {10.1007/978-3-642-14808-8{\_}3},
  title = {The TLA+ Proof System: Building a Heterogeneous Verification Platform},
  booktitle = {International Conference on Theoretical Aspects of Computing - ICTAC 2010},
  year = {2010},
  series = {Lecture Notes in Computer Science},
  editor = {Ana Cavalcanti and David D\'eharbe and Marie-Claude Gaudel and Jim Woodcock},
  publisher = {Springer},
  volume = {6255},
  pages = {44},
  note = {The original publication is available at www.springerlink.com},
  address = {Brazil Natal},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00521886/en},
  x-id-hal = {inria-00521886}
}
@INPROCEEDINGS{mery:2010:inria-00540005:1,
  author = {M{\'e}ry, Dominique and Singh, Neeraj Kumar},
  doi = {10.1007/978-3-642-15654-0{\_}3},
  title = {Real-Time Animation for Formal Specification},
  booktitle = {Complex Systems Design {\&} Management 2010},
  year = {2010},
  month = OCT,
  editor = {Marc Aiguier and Francis Bretaudeau and Daniel Krob},
  publisher = {Springer},
  pages = {49-60},
  address = {France Paris},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00540005/en},
  x-id-hal = {inria-00540005}
}
@INPROCEEDINGS{benaissa:2010:inria-00542919:1,
  author = {Benaissa, Nazim and M\'ery, Dominique},
  title = {Proof-Based Design of Security Protocols},
  booktitle = {5th International Computer Science Symposium in Russia, CSR 2010},
  organization = {Farid Ablayev},
  year = {2010},
  month = JUN,
  series = {Lecture Notes in Computer Science},
  editor = {Ernst W. Mayr},
  publisher = {Springer},
  volume = {6072},
  pages = {25-36},
  address = {Russian Federation Kazan},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00542919/en},
  x-id-hal = {inria-00542919}
}
@INPROCEEDINGS{bouton:2010:inria-00543805:1,
  author = {Bouton, Thomas and Caminha B. De Oliveira, Diego and D\'eharbe, David and Fontaine, Pascal},
  x-pays = {BR},
  title = {GridTPT: a distributed platform for Theorem Prover Testing},
  booktitle = {2nd Workshop on Practical Aspects of Automated Reasoning (PAAR)},
  year = {2010},
  address = {United Kingdom Edinburgh},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00543805/en},
  x-id-hal = {inria-00543805}
}
@INPROCEEDINGS{mery:2010:inria-00540008:1,
  author = {M{\'e}ry, Dominique and Singh, Neeraj Kumar},
  doi = {10.1007/978-3-642-16561-0{\_}31},
  title = {Trustable Formal Specification for Software Certification},
  booktitle = {4th International Symposium On Leveraging Applications of Formal Methods - ISOLA 2010},
  year = {2010},
  month = OCT,
  series = {Lecture Notes in Computer Science},
  editor = {T. Margaria and B. Steffen},
  publisher = {Springer},
  volume = {6416},
  pages = {312-326},
  address = {Greece Heraklion, Crete},
  x-international-audience = {yes},
  x-proceedings = {yes/no},
  x-invited-conference = {yes},
  url-hal = {http://hal.inria.fr/inria-00540008/en},
  x-id-hal = {inria-00540008}
}
@MISC{mery:2010:inria-00540006:1,
  author = {M{\'e}ry, Dominique and Singh, Neeraj Kumar},
  title = {EB2C : A Tool for Event-B to C Conversion Support},
  year = {2010},
  month = SEP,
  url-hal = {http://hal.inria.fr/inria-00540006/en},
  x-id-hal = {inria-00540006}
}
@TECHREPORT{mery:2010:inria-00465061:2,
  author = {M{\'e}ry, Dominique and Singh, Neeraj Kumar},
  title = {Technical Report on Formal Development of Two-Electrode Cardiac Pacing System},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  month = FEB,
  url-hal = {http://hal.inria.fr/inria-00465061/en},
  x-id-hal = {inria-00465061}
}
@TECHREPORT{roegel:2010:inria-00543931:1,
  author = {Roegel, Denis},
  title = {A reconstruction of the tables of Rheticus' \emph{Canon doctrinæ triangulorum} (1551)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543931/en},
  x-id-hal = {inria-00543931}
}
@TECHREPORT{roegel:2010:inria-00543932:1,
  author = {Roegel, Denis},
  title = {A reconstruction of the tables of Rheticus' \emph{Opus Palatinum} (1596)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543932/en},
  x-id-hal = {inria-00543932}
}
@TECHREPORT{roegel:2010:inria-00543933:1,
  author = {Roegel, Denis},
  title = {A reconstruction of the tables of Pitiscus' \emph{Thesaurus Mathematicus} (1613)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543933/en},
  x-id-hal = {inria-00543933}
}
@TECHREPORT{roegel:2010:inria-00543934:1,
  author = {Roegel, Denis},
  title = {Napier's ideal construction of the logarithms},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543934/en},
  x-id-hal = {inria-00543934}
}
@TECHREPORT{roegel:2010:inria-00543935:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Briggs' \emph{Logarithmorum chilias prima} (1617)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543935/en},
  x-id-hal = {inria-00543935}
}
@TECHREPORT{roegel:2010:inria-00543936:1,
  author = {Roegel, Denis},
  title = {Bürgi's \emph{Progress Tabulen} (1620): logarithmic tables without logarithms},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543936/en},
  x-id-hal = {inria-00543936}
}
@TECHREPORT{roegel:2010:inria-00543938:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Gunter's \emph{Canon triangulorum} (1620)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543938/en},
  x-id-hal = {inria-00543938}
}
@TECHREPORT{roegel:2010:inria-00543939:1,
  author = {Roegel, Denis},
  title = {A reconstruction of the tables of Briggs' \emph{Arithmetica logarithmica} (1624)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543939/en},
  x-id-hal = {inria-00543939}
}
@TECHREPORT{roegel:2010:inria-00543941:1,
  author = {Roegel, Denis},
  title = {A reconstruction of De Decker-Vlacq's tables in the \emph{Arithmetica logarithmica} (1628)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543941/en},
  x-id-hal = {inria-00543941}
}
@TECHREPORT{roegel:2010:inria-00543943:1,
  author = {Roegel, Denis},
  title = {A reconstruction of the tables of Briggs and Gellibrand's \emph{Trigonometria Britannica} (1633)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543943/en},
  x-id-hal = {inria-00543943}
}
@TECHREPORT{roegel:2010:inria-00543944:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Adriaan Vlacq's tables in the \emph{Trigonometria artificialis} (1633)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543944/en},
  x-id-hal = {inria-00543944}
}
@TECHREPORT{roegel:2010:inria-00543945:1,
  author = {Roegel, Denis},
  title = {Introduction to Chinese and Japanese tables of logarithms, with a review of secondary sources},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543945/en},
  x-id-hal = {inria-00543945}
}
@TECHREPORT{roegel:2010:inria-00543946:1,
  author = {Roegel, Denis},
  title = {The great logarithmic and trigonometric tables of the French Cadastre: a preliminary investigation},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543946/en},
  x-id-hal = {inria-00543946}
}
@TECHREPORT{roegel:2010:inria-00543948:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Charles Babbage's table of logarithms (1827)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543948/en},
  x-id-hal = {inria-00543948}
}
@TECHREPORT{roegel:2010:inria-00543949:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Edward Sang's table of logarithms (1871)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543949/en},
  x-id-hal = {inria-00543949}
}
@TECHREPORT{roegel:2010:inria-00543950:1,
  author = {Roegel, Denis},
  title = {A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543950/en},
  x-id-hal = {inria-00543950}
}
@TECHREPORT{roegel:2010:inria-00543952:1,
  author = {Roegel, Denis},
  title = {A reconstruction of the "Tables des logarithmes à huit d{\'e}cimales'' from the French "Service g{\'e}ographique de l'arm{\'e}e'' (1891)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543952/en},
  x-id-hal = {inria-00543952}
}
@TECHREPORT{roegel:2010:inria-00543953:1,
  author = {Roegel, Denis},
  title = {A sketch of Mendizábal y Tamborrel's table of logarithms (1891)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543953/en},
  x-id-hal = {inria-00543953}
}
@TECHREPORT{roegel:2010:inria-00543954:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Henri Andoyer's table of logarithms (1911)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543954/en},
  x-id-hal = {inria-00543954}
}
@TECHREPORT{roegel:2010:inria-00543955:1,
  author = {Roegel, Denis},
  title = {A reconstruction of Henri Andoyer's trigonometric tables (1915-1918)},
  type = {Research Report},
  institution = {LORIA},
  year = {2010},
  url-hal = {http://hal.inria.fr/inria-00543955/en},
  x-id-hal = {inria-00543955}
}
@INPROCEEDINGS{woltzenlogel:atomic,
  author = {Bruno {Woltzenlogel Paleo}},
  title = {Atomic Cut Introduction by Resolution: Proof Structuring and Compression},
  booktitle = {???},
  pages = {???},
  year = 2010,
  publisher = {???},
  note = {bibentry TBC},
  x-international-audience = {yes},
  x-proceedings = {yes}
}
@INPROCEEDINGS{fontaine:exploring,
  author = {Pascal Fontaine and Stephan Merz and Bruno {Woltzenlogel Paleo}},
  title = {Exploring and Exploiting Algebraic and Graphical Properties of Resolution},
  booktitle = {8th Intl. Workshop Satisfiability Modulo Theory (SMT 2010)},
  pages = {???},
  year = 2010,
  editor = {Aarti Gupta and Daniel Kroening},
  address = {Edinburgh, UK},
  publisher = {???},
  note = {bibentry TBC},
  x-international-audience = {yes},
  x-proceedings = {yes}
}
@PHDTHESIS{benaissa:thesis,
  author = {Nazim Bena{\"{\i}}ssa},
  title = {La composition des protocoles de s\'ecurit\'e avec la m\'ethode B \'ev\'enementielle},
  school = {Universit\'e Henri Poincar\'e Nancy 1},
  year = 2010,
  address = {Nancy, France}
}
@INPROCEEDINGS{MERY:2010:INRIA-00547302:1,
  author = {M{\'e}ry, Dominique and Mosbah, Mohammed and Tounsi, Mohammed},
  hal_id = {inria-00547302},
  url = {http://hal.archives-ouvertes.fr/inria-00547302/en/},
  title = { {P}roving {D}istributed {A}lgorithms by {C}ombining {R}efinement and {L}ocal {C}omputations},
  booktitle = {{AVOCS} 2010 10th {I}nternational {W}orkshop on {A}utomated {V}erification of {C}ritical {S}ystems },
  address = {{D}usseldorf {G}ermany },
  editor = {{J}ens {B}endisposto, {M}ichael {L}euschel, {M}arkus {R}oggenbach },
  month = {09},
  year = {2010}
}
@INPROCEEDINGS{algob5,
  author = {Dominique Cansell and Dominique M\'ery},
  title = {Designing old and new distributed algorithms by replaying an incremental proof-based development},
  booktitle = {Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon B\"orger on the Occasion of His 60th Birthday},
  year = {2010},
  editor = {Jean-Raymond Abrial and Uwe Gl\"asser},
  optvolume = {},
  number = {5115},
  series = LNCS,
  optaddress = {},
  optmonth = {},
  optorganization = {},
  optpublisher = {},
  keywords = {Key-words: Formal method, B event-based method, refinement,safety, proofs, 
distributed systems. 
}
}
@INPROCEEDINGS{dag-mery2010,
  author = {Dominique M\'ery},
  title = {Refinement-based guidelines for constructing
                  algorithms},
  booktitle = {Refinement Based Methods for the Construction of
                  Dependable Systems},
  year = {2010},
  editor = {Jean-Raymond Abrial and Michael Butler and Rajeev
                  Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
  number = {09381},
  series = {Dagstuhl Seminar Proceedings},
  issn = {1862-4405},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
                  Germany},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2374},
  annote = {Keywords: Specification, refinement, verification,
                  modelling, dependable systems}
}
@TECHREPORT{rimel-l6,
  author = {Projet {ANR-RIMEL}},
  title = {Tools},
  institution = {LORIA},
  year = {2010},
  optkey = {},
  type = {Livrable {RIMEL}},
  optnumber = {},
  optaddress = {},
  month = {Juin},
  optnote = {},
  optannote = {}
}
@INPROCEEDINGS{merymomo,
  author = {D. M\'ery and  M. Mosbah and  M. Tounsi},
  title = {Integrating Local Computation Models by Refinement},
  booktitle = {Symbolic Computation in Software Science (SCSS 2010)},
  optcrossref = {},
  optkey = {},
  optpages = {},
  year = {2010},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  series = {RISC},
  optaddress = {},
  optmonth = { 28-31 juillet},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}
@INPROCEEDINGS{fass,
  author = {D. Fass},
  title = {From Integrative Neurosciences to Augmented Human Engineering},
  booktitle = {NeuroTalk 2010},
  optcrossref = {},
  optkey = {},
  optpages = {},
  year = {2010},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {25th-28th june},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}

This file has been generated by bibtex2html 1.87.