Stephan Merz

From MaRDI portal
Person:820130

Available identifiers

zbMath Open merz.stephanMaRDI QIDQ820130

List of research outcomes





PublicationDate of PublicationType
Synchronization Modulo k in Dynamic Networks2023-04-21Paper
https://portal.mardi4nfdi.de/entity/Q58754212023-02-03Paper
Synchronization modulo \(P\) in dynamic networks2022-12-21Paper
Formal specification and verification2020-11-10Paper
Modal Satisfiability via SMT Solving2015-06-22Paper
Predicate diagrams for the verification of real-time systems2013-12-04Paper
Towards Certifying Network Calculus2013-08-07Paper
TLA +  Proofs2012-11-08Paper
Combination of Disjoint Theories: Beyond Decidability2012-09-05Paper
Automatic Verification of TLA +  Proof Obligations with SMT Solvers2012-06-15Paper
Compression of Propositional Resolution Proofs via Partial Regularization2011-07-29Paper
Exploiting Symmetry in SMT Problems2011-07-29Paper
A High-Level Language for Modeling Algorithms and Their Properties2011-05-12Paper
An abstract account of composition2010-06-17Paper
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms2009-11-19Paper
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL2009-10-20Paper
Temporal logic and state systems2009-01-09Paper
Predicate diagrams for the verification of real-time systems2007-09-06Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q46801912006-06-02Paper
Specification and refinement of mobile systems in MTLA and mobile UML2006-04-06Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
Algebraic Methodology and Software Technology2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q44719302004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44178202003-07-30Paper
Model checking techniqes for the analysis of reactive systems2003-04-27Paper
https://portal.mardi4nfdi.de/entity/Q45308042002-05-28Paper
Diagram refinements for the design of reactive systems2001-08-13Paper
https://portal.mardi4nfdi.de/entity/Q49384202000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q44938991999-01-01Paper
https://portal.mardi4nfdi.de/entity/Q43703471998-11-10Paper
https://portal.mardi4nfdi.de/entity/Q47162011996-11-20Paper
https://portal.mardi4nfdi.de/entity/Q48858751996-07-28Paper
Decidability and incompleteness results for first-order temporal logics of linear time1994-01-21Paper
https://portal.mardi4nfdi.de/entity/Q57488961991-01-01Paper

Research outcomes over time

This page was built for person: Stephan Merz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:820130&oldid=7710991"
Powered by MediaWiki