MOSEL - Publications 2014

[1] Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh. Analysis of Self-* and P2P Systems using Refinement. In Yamine Aït Ameur and Klaus-Dieter Schewe, editors, ABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, volume 8477 of LNCS, pages 117-123, Toulouse, France, June 2014. Springer. [ bib | DOI | http ]
[2] Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh. Analysis of Self-* and P2P Systems using Refinement (Full Report). Research report, 2014. [ bib | http | http ]
[3] Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh. Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version). Computer Science and Information Systems, 11(1):251-270, January 2014. [ bib | DOI | http ]
[4] Myrto Arapinis and Marie Duflot. Bounding messages for free in security protocols - extension to various security properties. Information and Computation, page 34, 2014. [ bib | DOI | http ]
[5] Yamine Aït Ameur, J. Paul Gibson, and Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, volume 8803 of Lectures Notes in Computer Science, pages 604-618, Corfu, Greece, October 2014. Springer. [ bib | http ]
[6] Clark Barrett, Leonardo de Moura, and Pascal Fontaine. Proofs in satisfiability modulo theories. In APPA (All about Proofs, Proofs for All), Vienna, Austria, July 2014. [ bib | http ]
[7] Jingshu Chen, Marie Duflot, and Stephan Merz. Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations. Electronic Communications of the EASST, 70:14, December 2014. [ bib | http | http ]
[8] Paula Chocron, Pascal Fontaine, and Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures. In Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, volume 8562 of Lecture Notes in Computer Science, pages 122-136, Vienna, Austria, July 2014. Springer. [ bib | DOI | http ]
[9] Paula Chocron, Pascal Fontaine, and Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version). Research Report RR-8529, April 2014. [ bib | http | http ]
[10] Paula Chocron, Pascal Fontaine, and Christophe Ringeissen. Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions. In Workshop on Automated Deduction: Decidability, Complexity, Tractability, ADDCT 2014. Held as Part of the Vienna Summer of Logic, affiliated with IJCAR 2014 and RTA 2014, Vienna, Austria, July 2014. Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans. [ bib | http ]
[11] Gabriel Ciobanu and Dominique Méry, editors. Theoretical Aspects of Computing - ICTAC 2014, volume 8687 of Lecture Notes in Computer Science, Bucharest, Romania, September 2014. Gabriel Ciobanu, Springer. [ bib | http ]
[12] David Déharbe, Pascal Fontaine, Laurent Voisin, and Yoann Guyot. Integrating SMT solvers in Rodin. Science of Computer Programming, 94:14, November 2014. [ bib | http ]
[13] Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, and Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. In ARQNL 2014 - Automated Reasoning in Quantified Non-Classical Logics, Vienna, Austria, July 2014. [ bib | http | http ]
[14] Catherine Dubois, Dimitra Giannakopoulou, and Dominique Méry, editors. Proceedings 1st Workshop on Formal Integrated Development Environment, volume 149 of Electronic Proceedings in Theoretical Computer Science, France, April 2014. EPTCS. [ bib | DOI | http ]
[15] Didier Fass. Reclaiming human machine nature. In Vincent G. Duffy, editor, HCI International 2014, volume 8529, pages 588-589, Heraklion, Greece, June 2014. Springer. [ bib | http | http ]
[16] Gerald Lüttgen and Stephan Merz. Editorial: Special Issue of Automated Verification of Critical Systems. Science of Computer Programming, 96(3):277-278, December 2014. [ bib | http ]
[17] Gerald Lüttgen and Stephan Merz, editors. Science of Computer Programming Special Issue: Automated Verification of Critical Systems, volume 96 of Science of Computer Programming. Elsevier, December 2014. [ bib | http ]
[18] Dominique Méry. Playing with State-Based Models for Designing Better Algorithms. In Yamine Aït Ameur, Ladjel Bellatreche, and George A. Papadopoulos, editors, Model and Data Engineering - 4th International Conference, MEDI 2014, volume 8748 of Lecture Notes in Computer Science, pages 1-3, Larnaca, Greece, September 2014. Springer. [ bib | http ]
[19] Dominique Méry, Bernhard Schätz, and Alan Wassyng. The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports, 4(2):17-37, 2014. [ bib | http ]
[20] Dominique Méry and Neeraj Kumar Singh. Formal Evaluation of Landing Gear System. In Ngo Hong Son, Yves Deville, and Marc Bui, editors, SoICT 2014 Fifth Symposium on Information and Communication Technology,, Hanoi, Vietnam, December 2014. ACM. [ bib | http ]
[21] Dominique Méry and Neeraj Kumar Singh. Modeling an Aircraft Landing System in Event-B. In Frédéric Boniol, editor, ABZ 2014 Case Study Track, volume 433 of CCIS, pages 154-159, Toulouse, France, June 2014. Springer. [ bib | http ]
[22] Dominique Méry and Neeraj Kumar Singh. The Semantics of Refinement Chart. In Vincent G. Duffy, editor, HCI International, volume 8529 of Lecture Notes in Computer Science, pages 415-426, Heraklion, Greece, June 2014. Springer. [ bib | DOI | http ]
[23] Stephan Merz and Jun Pang, editors. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods (ICFEM 2014), volume 8829 of Lecture Notes in Computer Science. Springer, November 2014. [ bib | http ]
[24] Stephan Merz and Hernán Vanzetto. Refinement Types for TLA+. In Julia M. Badger and Kristin Yvonne Rozier, editors, NASA Formal Methods - 6th International Symposium, volume 8430 of LNCS, pages 143-157, Houston, Texas, United States, 2014. Springer. [ bib | DOI | http ]
[25] Denis Roegel. A reconstruction of Arnaudeau’s table of triangular numbers (ca. 1896). Research report, LORIA - Université de Lorraine, December 2014. [ bib | http | http ]
[26] Denis Roegel. Easter-based walks on a sphere. Research report, 2014. [ bib | http | http ]
[27] Denis Roegel. Easter bracelets for 5700000 years. Research report, 2014. [ bib | http | http ]
[28] Denis Roegel. The (re)discovery of an early specialized mechanical calculating machine (ca. 1850). December 2014. [ bib | http | http ]
[29] Denis Roegel. The (re)discovery of one of the oldest modular digital mechanical counters (1844). December 2014. [ bib | http | http ]
[30] Denis Roegel. The (re)discovery of some of the oldest key-driven adding machines (1844). December 2014. [ bib | http | http ]
[31] Denis Roegel. The strange beauty of the twilight flower. Research report, 2014. [ bib | http | http ]
[32] Denis Roegel. The “Villarceau circles” in Uhlberger's staircase (ca. 1580). Research report, 2014. [ bib | http | http ]
[33] Hernán Vanzetto. Proof automation and type synthesis for set theory in the context of TLA+. Theses, Université de Lorraine, December 2014. [ bib | http | http ]

This file has been generated by bibtex2html 1.87.