Stephan Foldes < Stephan Merz < Stephan Schulz

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 78.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000005 (2012-08-27)	Denis Cousineau ; Damien Doligez ; Leslie Lamport ; Stephan Merz ; Daniel Ricketts ; Hernán Vanzetto	TLA+ Proofs
000006 (2012-07)	Denis Cousineau ; Damien Doligez ; Leslie Lamport ; Stephan Merz ; Daniel Ricketts ; Hernán Vanzetto	TLA+ Proofs
000202 (2009-08-17)	Francisco L Pez Fraguas ; Stephan Merz ; Juan Rodríguez Hortalá	A Formalization of the Semantics of Functional-Logic Programming in Isabelle
000254 (2010-11-08)	Sabina Akhtar ; Stephan Merz ; Martin Quinson	A High-Level Language for Modeling Algorithms and their Properties
000424 (2009-09-23)	Mouna Chaouch-Saad ; Bernadette Charron-Bost ; Stephan Merz	A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
000473 (2010-09-20)	Cristian Rosa ; Stephan Merz ; Martin Quinson	A Simple Model of Communication APIs ­ - Application to Dynamic Partial-order Reduction
000484 (2003)	Stephan Merz ; Martin Wirsing ; Julia Zappe	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
000530 (2008)	Kaustuv Chaudhuri ; Damien Doligez ; Leslie Lamport ; Stephan Merz	A TLA+ Proof System
000E11 (2008)	Stephan Merz	An introduction to model checking
000E79 (2014-12)	Jingshu Chen ; Marie Duflot ; Stephan Merz	Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
000E94 (1999-09)	Yassine Mokhtari ; Stephan Merz	Animating TLA Specifications
001134 (2012-03)	Stephan Merz ; Hernán Vanzetto	Automatic Verification Of TLA+ Proof Obligations With SMT Solvers
001167 (2009-07-22)	David Déharbe ; Pascal Fontaine ; Anamaria Martins Moreira ; Stephan Merz ; Anderson Santana De Oliveira	Automating model-based software engineering
001430 (2013-07)	Etienne Mabille ; Marc Boyer ; Loic Féjoz ; Stephan Merz	Certifying Network Calculus in a Proof Assistant
001514 (2014-08)	Damien Doligez ; Jael Kriener ; Leslie Lamport ; Tomer Libal ; Stephan Merz	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
001515 (2014-07-23)	Damien Doligez ; Jael Kriener ; Leslie Lamport ; Tomer Libal ; Stephan Merz	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
001555 (2012-06-26)	Pascal Fontaine ; Stephan Merz ; Christoph Weidenbach	Combination of disjoint theories: beyond decidability
001873 (2009-08-17)	Alexander Schimpf ; Stephan Merz ; Jan-Georg Smaus	Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
001A36 (2005-04)	Loïc Fejoz ; Dominique Méry ; Stephan Merz	DIXIT: a Graphical Toolkit for Predicate Abstractions
001C45 (2000)	Dominique Cansell ; Dominique Méry ; Stephan Merz	Diagrams Refinement for the Design of Reactive Systems
001E40 (2014-12-15)	Gerald Lüttgen ; Stephan Merz	Editorial: Special Issue of Automated Verification of Critical Systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Stephan Merz" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Stephan Merz" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Stephan Merz
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022