×
Edit Profile (opens in new tab)

Merz, Stephan

Co-Author Distance
Author ID: merz.stephan Recent zbMATH articles by "Merz, Stephan"
Published as: Merz, Stephan
Documents Indexed: 37 Publications since 1991, including 2 Books
6 Contributions as Editor
Co-Authors: 31 Co-Authors with 26 Joint Publications
798 Co-Co-Authors
all top 5

Co-Authors

9 single-authored
5 Fontaine, Pascal
3 Charron-Bost, Bernadette
3 Knapp, Alexander
3 Méry, Dominique
3 Wirsing, Martin
2 Abadi, Martín
2 Autexier, Serge
2 Cansell, Dominique
2 de Monterno, Louis Penet
2 Kang, Eun-Young
2 Kröger, Fred
2 Nipkow, Tobias
2 Vanzetto, Hernán
2 Woltzenlogel Paleo, Bruno
2 Zappe, Júlia
1 Akhtar, Sabina
1 Areces, Carlos
1 Boyer, Marc
1 Broy, Manfred
1 Chaouch-Saad, Mouna
1 Chen, Ran
1 Cohen, Cyril
1 Cousineau, Denis
1 Déharbe, David
1 Doligez, Damien
1 Dong, JinSong
1 Fejoz, Loïc
1 Goel, Aman
1 Hammer, Moritz
1 Lamport, Leslie
1 Levy, Jean-Jacques
1 Mabille, Etienne
1 Mantel, Heiko
1 Marion, Jean-Yves
1 Mokhtari, Yassine
1 Nieto, Leonor Prensa
1 Pang, Jun
1 Quinson, Martin
1 Ricketts, Daniel
1 Sakallah, Karem A.
1 Schimpf, Alexander
1 Smaus, Jan-Georg
1 Spies, Katharina
1 Théry, Laurent
1 Tiu, Alwen Fernanto
1 van der Torre, Leendert W. N.
1 Weidenbach, Christoph
1 Wilhelm, Reinhard
1 Wolper, Pierre
all top 5

Serials

2 Theoretical Computer Science
2 Formal Aspects of Computing
2 Lecture Notes in Computer Science
1 Synthese
1 Annales Societatis Mathematicae Polonae. Series IV
1 Journal of Automated Reasoning
1 Journal of Applied Non-Classical Logics
1 Journal of Universal Computer Science
1 Computing and Informatics
1 Electronic Notes in Theoretical Computer Science
1 OASIcs – OpenAccess Series in Informatics
1 Texts in Theoretical Computer Science. An EATCS Series

Fields

41 Computer science (68-XX)
18 Mathematical logic and foundations (03-XX)
6 General and overarching topics; collections (00-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

26 Publications have been cited 114 times in 106 Documents Cited by ▼ Year ▼
Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. Zbl 1180.68240
Fontaine, Pascal; Marion, Jean-Yves; Merz, Stephan; Nieto, Leonor Prensa; Tiu, Alwen
26
2006
Temporal logic and state systems. Zbl 1169.03001
Kröger, Fred; Merz, Stephan
20
2008
A reduction theorem for the verification of round-based distributed algorithms. Zbl 1260.68450
Chaouch-Saad, Mouna; Charron-Bost, Bernadette; Merz, Stephan
14
2009
Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019
Merz, Stephan
12
1992
Exploiting symmetry in SMT problems. Zbl 1341.68187
Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
11
2011
A spatio-temporal logic for the specification and refinement of mobile systems. Zbl 1032.03028
Merz, Stephan; Wirsing, Martin; Zappe, Júlia
8
2003
Compression of propositional resolution proofs via partial regularization. Zbl 1341.68188
Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
6
2011
Construction of Büchi automata for LTL model checking verified in Isabelle/HOL. Zbl 1252.68196
Schimpf, Alexander; Merz, Stephan; Smaus, Jan-Georg
6
2009
Model checking: A tutorial overview. Zbl 0986.68063
Merz, Stephan
6
2001
Truly on-the-fly LTL model checking. Zbl 1087.68591
Hammer, Moritz; Knapp, Alexander; Merz, Stephan
6
2005
Formal stystems specification. The RPC-memory specification case study. Zbl 1060.68504
5
1996
Specification and refinement of mobile systems in MTLA and mobile UML. Zbl 1086.68016
Knapp, Alexander; Merz, Stephan; Wirsing, Martin; Zappe, Júlia
5
2006
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
5
2012
A more complete TLA. Zbl 0952.03016
Merz, Stephan
3
1999
Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers. Zbl 1352.68159
Merz, Stephan; Vanzetto, Hernán
3
2012
On the logic of \(\text{TLA}^+\). Zbl 1104.68364
Merz, Stephan
3
2003
Formal proofs of Tarjan’s strongly connected components algorithm in Why3, Coq and Isabelle. Zbl 07649962
Chen, Ran; Cohen, Cyril; Lévy, Jean-Jacques; Merz, Stephan; Théry, Laurent
3
2019
An abstract account of composition. Zbl 1193.68159
Abadi, Martín; Merz, Stephan
2
1995
Modal satisfiability via SMT solving. Zbl 1453.03015
Areces, Carlos; Fontaine, Pascal; Merz, Stephan
2
2015
Weak alternating automata in Isabelle/HOL. Zbl 0974.68090
Merz, Stephan
2
2000
Diagram refinements for the design of reactive systems. Zbl 0970.68103
Cansell, Dominique; Mery, Dominique; Merz, Stephan
2
2001
On TLA as a logic. Zbl 0855.03019
Abadi, Martín; Merz, Stephan
2
1996
Towards certifying network calculus. Zbl 1317.68220
Mabille, Etienne; Boyer, Marc; Fejoz, Loïc; Merz, Stephan
1
2013
Temporal logic as a programming language. Zbl 0864.03022
Merz, Stephan
1
1992
Combination of disjoint theories: beyond decidability. Zbl 1358.68253
Fontaine, Pascal; Merz, Stephan; Weidenbach, Christoph
1
2012
Synchronization modulo \(k\) in dynamic networks. Zbl 1521.68019
de Monterno, Louis Penet; Charron-Bost, Bernadette; Merz, Stephan
1
2021
Synchronization modulo \(k\) in dynamic networks. Zbl 1521.68019
de Monterno, Louis Penet; Charron-Bost, Bernadette; Merz, Stephan
1
2021
Formal proofs of Tarjan’s strongly connected components algorithm in Why3, Coq and Isabelle. Zbl 07649962
Chen, Ran; Cohen, Cyril; Lévy, Jean-Jacques; Merz, Stephan; Théry, Laurent
3
2019
Modal satisfiability via SMT solving. Zbl 1453.03015
Areces, Carlos; Fontaine, Pascal; Merz, Stephan
2
2015
Towards certifying network calculus. Zbl 1317.68220
Mabille, Etienne; Boyer, Marc; Fejoz, Loïc; Merz, Stephan
1
2013
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
5
2012
Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers. Zbl 1352.68159
Merz, Stephan; Vanzetto, Hernán
3
2012
Combination of disjoint theories: beyond decidability. Zbl 1358.68253
Fontaine, Pascal; Merz, Stephan; Weidenbach, Christoph
1
2012
Exploiting symmetry in SMT problems. Zbl 1341.68187
Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
11
2011
Compression of propositional resolution proofs via partial regularization. Zbl 1341.68188
Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
6
2011
A reduction theorem for the verification of round-based distributed algorithms. Zbl 1260.68450
Chaouch-Saad, Mouna; Charron-Bost, Bernadette; Merz, Stephan
14
2009
Construction of Büchi automata for LTL model checking verified in Isabelle/HOL. Zbl 1252.68196
Schimpf, Alexander; Merz, Stephan; Smaus, Jan-Georg
6
2009
Temporal logic and state systems. Zbl 1169.03001
Kröger, Fred; Merz, Stephan
20
2008
Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. Zbl 1180.68240
Fontaine, Pascal; Marion, Jean-Yves; Merz, Stephan; Nieto, Leonor Prensa; Tiu, Alwen
26
2006
Specification and refinement of mobile systems in MTLA and mobile UML. Zbl 1086.68016
Knapp, Alexander; Merz, Stephan; Wirsing, Martin; Zappe, Júlia
5
2006
Truly on-the-fly LTL model checking. Zbl 1087.68591
Hammer, Moritz; Knapp, Alexander; Merz, Stephan
6
2005
A spatio-temporal logic for the specification and refinement of mobile systems. Zbl 1032.03028
Merz, Stephan; Wirsing, Martin; Zappe, Júlia
8
2003
On the logic of \(\text{TLA}^+\). Zbl 1104.68364
Merz, Stephan
3
2003
Model checking: A tutorial overview. Zbl 0986.68063
Merz, Stephan
6
2001
Diagram refinements for the design of reactive systems. Zbl 0970.68103
Cansell, Dominique; Mery, Dominique; Merz, Stephan
2
2001
Weak alternating automata in Isabelle/HOL. Zbl 0974.68090
Merz, Stephan
2
2000
A more complete TLA. Zbl 0952.03016
Merz, Stephan
3
1999
Formal stystems specification. The RPC-memory specification case study. Zbl 1060.68504
5
1996
On TLA as a logic. Zbl 0855.03019
Abadi, Martín; Merz, Stephan
2
1996
An abstract account of composition. Zbl 1193.68159
Abadi, Martín; Merz, Stephan
2
1995
Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019
Merz, Stephan
12
1992
Temporal logic as a programming language. Zbl 0864.03022
Merz, Stephan
1
1992
all cited Publications top 5 cited Publications
all top 5

Cited by 236 Authors

5 Giero, Mariusz
5 Konnov, Igor V.
5 Tinelli, Cesare
5 Widder, Josef
4 Amjad, Hasan
4 Barrett, Clark W.
4 Böhme, Sascha
4 Lozes, Etienne
4 Merz, Stephan
4 Reynolds, Andrew
3 Blanchette, Jasmin Christian
3 Di Giusto, Cinzia
3 Fontaine, Pascal
3 Grant, John R.
3 Kuncak, Viktor
3 Laversa, Laetitia
3 Lazić, Marijana
3 Parisi, Francesco
3 Rybakov, Vladimir Vladimirovich
3 Woltzenlogel Paleo, Bruno
2 Barbosa, Haniel
2 Bertrand, Nathalie
2 Blahoudek, František
2 Charron-Bost, Bernadette
2 De Nicola, Rocco
2 Déharbe, David
2 Ferrarotti, Flavio Antonio
2 Guilloud, Simon
2 Knapp, Alexander
2 Major, Juraj
2 Miller, Dale Allen
2 Moskal, Michał
2 Moszkowski, Ben C.
2 Paulson, Lawrence Charles
2 Schewe, Klaus-Dieter
2 Schiper, André
2 Sharygina, Natasha
2 Stoilkovska, Ilina
2 Strejček, Jan
2 Sun, Jiaguang
2 Tec, Loredana
2 Tran, Thanh-Hai
2 Wang, Qing
2 Weber, Tjark
2 Zhou, Min
1 Aiswarya, Cyriac
1 Al Wardani, Farah
1 Alassaf, Ruba
1 Altisen, Karine
1 Areces, Carlos
1 Armand, Michaël
1 Babenyshev, Sergey
1 Balasubramanian, A. R.
1 Barnat, Jiří
1 Barsotti, Damián
1 Belzner, Lenz
1 Bérard, Béatrice
1 Besson, Frédéric
1 Bjørner, Nikolaj S.
1 Bollig, Benedikt
1 Bonacina, Maria Paola
1 Braun, David J.
1 Bright, Curtis
1 Brim, Luboš
1 Brunel, Julien
1 Bruttomesso, Roberto
1 Bucev, Mario
1 Bui, Thang H.
1 Busch, Marianne
1 Cabodi, Gianpiero
1 Chan, Wen-Chin
1 Chaudhuri, Kaustuv
1 Chemouil, David
1 Chen, Yu-Fang
1 Cheng, Xi
1 Chihani, Zakaria
1 Corbineau, Pierre
1 Cornilleau, Pierre-Emmanuel
1 Cristiá, Maximiliano
1 Czarnecki, Krzysztof
1 de Monterno, Louis Penet
1 De Oliveira, Diego Caminha B.
1 Defourné, Antoine
1 Deters, Morgan
1 Devismes, Stéphane
1 Dong, JinSong
1 Dragoi, Cezara
1 Duarte, Carlos H. C.
1 Dunets, Andriy
1 Eisenhofer, Clemens
1 Fasching, Anton
1 Faure, Germain
1 Fazekas, Katalin
1 Finkel, Alain
1 Fleury, Mathias
1 Fox, Anthony C. J.
1 Fu, Jun
1 Furia, Carlo Alberto
1 Ganesh, Vijay
1 Gastin, Paul
...and 136 more Authors
all top 5

Cited in 27 Serials

10 Journal of Automated Reasoning
8 Theoretical Computer Science
5 Formalized Mathematics
4 Formal Aspects of Computing
4 Formal Methods in System Design
3 Artificial Intelligence
3 Information and Computation
3 Distributed Computing
3 Annals of Mathematics and Artificial Intelligence
3 Logical Methods in Computer Science
2 Science of Computer Programming
1 Journal of Computer and System Sciences
1 Siberian Mathematical Journal
1 Studia Logica
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 International Journal of Approximate Reasoning
1 International Journal of Foundations of Computer Science
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Problems in Engineering
1 Logic and Logical Philosophy
1 Theory and Practice of Logic Programming
1 Journal of Applied Mathematics
1 Journal of Applied Logic
1 Logica Universalis
1 Frontiers of Computer Science
1 Modelirovanie i Analiz Informatsionnykh Sistem
all top 5

Cited in 11 Fields

96 Computer science (68-XX)
40 Mathematical logic and foundations (03-XX)
2 History and biography (01-XX)
2 Combinatorics (05-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
1 General and overarching topics; collections (00-XX)
1 General algebraic systems (08-XX)
1 Geometry (51-XX)
1 Probability theory and stochastic processes (60-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year