Stephan Foldes < Stephan Merz < Stephan Schulz

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
001E40 (2014-12-15)	Gerald Lüttgen [Allemagne] ; Stephan Merz [France]	Editorial: Special Issue of Automated Verification of Critical Systems
001F42 (2003)	Stephan Merz [France] ; Ali Sezgin	Emptiness of Linear Weak Alternating Automata
001F50 (2015-12-16)	Stephan Merz [France] ; Hernán Vanzetto [France]	Encoding TLA+ set theory into many-sorted first-order logic
002063 (2006-03)	Dominique Méry [France] ; Stephan Merz [France]	Event Systems and Access Control
002123 (2011-07-31)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France]	Exploiting Symmetry in SMT Problems
002135 (2010-07-14)	Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France]	Exploring and Exploiting Algebraic and Graphical Properties of Resolution
002150 (2006-03)	Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]	Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
002160 (2010-03-10)	Sabina Akhtar [France] ; Stephan Merz [France] ; Martin Quinson [France]	Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
002357 (2001)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz	Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
002376 (2014-11)	Stephan Merz [France] ; Jun Pang [Luxembourg (pays)]	Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)
002384 (2012-08-27)	Tianxiang Lu [France] ; Stephan Merz [France] ; Christoph Weidenbach [France]	Formal Verification Of Pastry Using TLA+
002386 (2011-10)	Bernadette Charron-Bost [France] ; Henri Debrat [France] ; Stephan Merz [France]	Formal Verification of Consensus Algorithms Tolerating Malicious Faults
002387 (2010-03-18)	Henri Debrat [France] ; Bernadette Charron-Bost [France] ; Stephan Merz [France]	Formal Verification of Consensus Algorithms in a Proof Assistant
002390 (2013-06)	Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche]	Formal Verification of Distributed Algorithms
002393 (2009)	Bernadette Charron-Bost [France] ; Stephan Merz [France]	Formal Verification of a Consensus Algorithm in the Heard-Of Model
002B43 (2010-10)	Dominique Méry [France] ; Stephan Merz [France]	Integrated Formal Methods
002D35 (2008)	Serge Autexier [Allemagne] ; Heiko Mantel [Allemagne] ; Stephan Merz [France] ; Tobias Nipkow [Allemagne]	Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems
003245 (2015)	Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]	Modal Satisfiability via SMT Solving
003248 (2010-09)	Tianxiang Lu [Allemagne] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]	Model Checking the Pastry Routing Protocol
003264 (2009-06-26)	Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]	Model-checking Distributed Applications with GRAS
003265 (2009)	Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]	Model-checking Distributed Applications with GRAS

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |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