 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00099799v1
Communication dans un congrès
Stephan Merz, Martin Wirsing, Julia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems Mauro Pezze. Fundamental Approaches to Software Engineering '03 - FASE 2003, 2003, Warsaw, Poland, Springer-Verlag, 2621, pp.87-101, 2003 |
||
|
inria-00099800v1
Article dans une revue
Stephan Merz. On the Logic of TLA+ Computers and Informatics, 2003, 22 (4), 27 p |
||
|
inria-00099016v1
Communication dans un congrès
Yassine Mokhtari, Stephan Merz. Animating TLA Specifications H. Ganzinger, D. McAllester, A. Voronkov. International Conference on Logic for Programming and Automated Reasoning - LPAR'99, Sep 1999, Tbilisi, Georgia, Springer, 1705, pp.92--110, 1999, Lecture Notes in Artificial Intelligence |
||
|
inria-00099125v1
Communication dans un congrès
Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams for the verification of reactive systems W. Grieskamp, T. Santen, B. Stoddart. Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, Springer-Verlag, 1945, pp.380-397, 2000, Lecture Notes in Computer Science |
||
|
inria-00081343v1
Chapitre d'ouvrage
Stephan Merz. Model checking : éléments de base Nicolas Navet. Systèmes Temps Réel - techniques de description et de vérification, Hermes-Science Lavoisier, pp.89-120, 2006, 2-7462-1303-6 |
||
|
inria-00338299v1
Communication dans un congrès
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz. A TLA+ Proof System Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA), 2008, Doha, Qatar. 2008 |
||
|
hal-00516785v1
Article dans une revue
Hehua Zhang, Stephan Merz, Ming Gu. Specifying and Verifying PLC systems with TLA+: a case study Computers & Mathematics with Applications, Elsevier, 2010, 60 (3), pp.695-705. <10.1016/j.camwa.2010.05.017> |
||
|
inria-00001269v1
Communication dans un congrès
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz. Transformation of B Specifications into UML Class Diagrams and State Machines 21st Annual ACM Symposium on Applied Computing - SAC 2006, Apr 2006, Dijon, France, ACM, 2, pp.1840-1844, 2006, Applied Computing 2006 |
||
|
inria-00162146v1
Communication dans un congrès
Loïc Fejoz, Stephan Merz. Dérivation d'algorithmes sans verrou à partir d'une spécification atomique Marie-Laure Potet and Pierre-Yves Schobbens and Hubert Toussaint and Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL07, Jun 2007, Namur, Belgique. Presses universitaires de Namur, 2007, pp.213-226, 2007, Actes de la 8e conférence AFADL Approches Formelles dans l'Assistance au Développement de Logiciels |
||
|
inria-00110548v1
Communication dans un congrès
Dominique Cansell, Dominique Méry, Stephan Merz. Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams Martin Wirsing. Integrating Diagrammatic and Formal Specification Techniques, 2001, Wien, Austria, pp.39-45, 2001 |
||
|
hal-00760686v1
Rapport
Henri Debrat, Stephan Merz. Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model [Research Report] 2012 |
||
|
inria-00539785v1
Direction d'ouvrage, Proceedings
Dominique Méry, Stephan Merz. Integrated Formal Methods Dominique Méry and Stephan Merz. 6396, Springer, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. <10.1007/978-3-642-16265-7> |
||
|
inria-00539899v1
Communication dans un congrès
Henri Debrat, Bernadette Charron-Bost, Stephan Merz. Formal Verification of Consensus Algorithms in a Proof Assistant Michael Backes and Ralf Küsters. 2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany. 2010 |
||
|
hal-01305026v1
Communication dans un congrès
David Déharbe, Stephan Merz. Software Component Design with the B Method — A Formalization in Isabelle/HOL Christiano Braga and Peter Csaba Ölveczky. Formal Aspects of Component Software - 12th International Conference, FACS 2015, Oct 2015, Niterói, Brazil. Springer, 9539, pp.31-47, 2016, <10.1007/978-3-319-28934-2_2> |
||
|
inria-00540811v1
Communication dans un congrès
Tianxiang Lu, Stephan Merz, Christoph Weidenbach. Model Checking the Pastry Routing Protocol Jens Bendisposto and Michael Leuschel and Markus Roggenbach. 10th International Workshop Automated Verification of Critical Systems, Sep 2010, Düsseldorf, Germany. Universität Düsseldorf, pp.19-21, 2010, 10th International Workshop Automated Verification of Critical Systems |
||
|
hal-01322328v1
Communication dans un congrès
Stephan Merz, Hernán Vanzetto. Encoding TLA+ into Many-Sorted First-Order Logic Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. Springer, 9675, pp.54-69, 2016, <10.1007/978-3-319-33600-8_3> |
||
|
inria-00544658v1
Communication dans un congrès
Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Exploring and Exploiting Algebraic and Graphical Properties of Resolution 8th International Workshop on Satisfiability Modulo Theories - SMT 2010, Jul 2010, Edinburgh, United Kingdom. 2010 |
||
|
hal-01322335v1
Communication dans un congrès
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz. Proving Determinacy of the PharOS Real-Time Operating System Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. Springer, 9675, pp.70-85, 2016, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-33600-8_4> |
||
|
hal-01322342v1
Communication dans un congrès
Noran Azmy, Stephan Merz, Christoph Weidenbach. A Rigorous Correctness Proof for Pastry Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. Springer, 9675, pp.86-101, 2016, <10.1007/978-3-319-33600-8_5> |
||
|
hal-01098238v1
Direction d'ouvrage, Proceedings
Stephan Merz, Jun Pang. Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014) Stephan Merz; Jun Pang. 16th International Conference on Formal Engineering Methods - ICFEM 2014, Nov 2014, Luxembourg, Luxembourg. 8829, Springer, pp.460, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-11737-9. <10.1007/978-3-319-11737-9> |
||
|
hal-01084228v1
Direction d'ouvrage, Proceedings
Gerald Lüttgen, Stephan Merz. Science of Computer Programming Special Issue: Automated Verification of Critical Systems Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming |
||
|
hal-01356464v1
Direction d'ouvrage, Proceedings
Jasmin Christian Blanchette, Stephan Merz. Interactive Theorem Proving Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, <10.1007/978-3-319-43144-4> |
||
|
hal-01127966v1
Chapitre d'ouvrage
Carlos Areces, Pascal Fontaine, Stephan Merz. Modal Satisfiability via SMT Solving Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer, pp.30-45, 2015, Lecture Notes in Computer Science, <10.1007/978-3-319-15545-6_5> |
||
|
hal-00747271v1
Communication dans un congrès
Pascal Fontaine, Stephan Merz, Christoph Weidenbach. Combination of disjoint theories: beyond decidability Bernhard Gramlich and Dale Miller and Uli Sattler. IJCAR - 6th International Joint Conference on Automated Reasoning - 2012, Jun 2012, Manchester, United Kingdom. Springer, 7364, pp.256-270, 2012, Lecture Notes in Computer Science; Automated Reasoning 6th International Joint Conference, IJCAR 2012. <10.1007/978-3-642-31365-3_21> |
||
|
hal-00904796v1
Communication dans un congrès
Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz. Towards Certifying Network Calculus Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. ITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.484-489, 2013, Lecture Notes in Computer Science; Interactive Theorem Proving. <10.1007/978-3-642-39634-2_37> |
||
|
hal-00904805v1
Direction d'ouvrage, Proceedings
Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder. Formal Verification of Distributed Algorithms Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, <10.4230/DagRep.3.4.1> |
||
|
hal-00904817v1
Communication dans un congrès
Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz. Certifying Network Calculus in a Proof Assistant EUCASS - 5th European Conference for Aeronautics and Space Sciences, Jul 2013, Munich, Germany. 2013 |
||
|
hal-00760570v1
Communication dans un congrès
Stephan Merz, Hernán Vanzetto. Automatic Verification Of TLA+ Proof Obligations With SMT Solvers Nikolaj Bjørner and Andrei Voronkov. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. Springer, 7180, pp.289-303, 2012, Lecture Notes in Computer Science; Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2012). <10.1007/978-3-642-28717-6_23> |
||
|
hal-00760579v1
Communication dans un congrès
Stephan Merz, Hernán Vanzetto. Harnessing SMT Solvers for TLA+ Proofs Gerald Lüttgen and Stephan Merz. 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany. EASST, 53, 2012, ECEASST; Automated Verification of Critical Systems (AVoCS 2012) |
||
|
hal-01244623v1
Communication dans un congrès
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics Christoph Benzmüller and Jens Otten. Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Aug 2014, Vienna, Austria. 33, pp.1-16, 2015 |
||
|
|
||