Stephan Merz

Available identifiers

zbMath Open merz.stephanMaRDI QIDQ820130

List of research outcomes

Publication	Date of Publication	Type
Synchronization Modulo k in Dynamic Networks	2023-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q5875421	2023-02-03	Paper
Synchronization modulo \(P\) in dynamic networks	2022-12-21	Paper
Formal specification and verification	2020-11-10	Paper
Modal Satisfiability via SMT Solving	2015-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q2863860	2013-12-04	Paper
Towards Certifying Network Calculus	2013-08-07	Paper
TLA +  Proofs	2012-11-08	Paper
Combination of Disjoint Theories: Beyond Decidability	2012-09-05	Paper
Automatic Verification of TLA +  Proof Obligations with SMT Solvers	2012-06-15	Paper
Exploiting Symmetry in SMT Problems	2011-07-29	Paper
Compression of Propositional Resolution Proofs via Partial Regularization	2011-07-29	Paper
A High-Level Language for Modeling Algorithms and Their Properties	2011-05-12	Paper
An abstract account of composition	2010-06-17	Paper
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms	2009-11-19	Paper
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL	2009-10-20	Paper
Temporal logic and state systems	2009-01-09	Paper
Predicate diagrams for the verification of real-time systems	2007-09-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4680191	2006-06-02	Paper
Specification and refinement of mobile systems in MTLA and mobile UML	2006-04-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4471930	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417820	2003-07-30	Paper
Model checking techniqes for the analysis of reactive systems	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4530804	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q2754058	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2709808	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4938420	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4493899	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4370347	1998-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4716201	1996-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4885875	1996-07-28	Paper
Decidability and incompleteness results for first-order temporal logics of linear time	1994-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5748896	1991-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stephan Merz