Shmuel Katz

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
The post-buckling behavior of a beam constrained by springy walls	2016-11-11	Paper
Proving mutual termination	2015-10-20	Paper
MAVEN: Modular aspect verification and interference analysis	2010-11-30	Paper
Computer Aided Verification	2010-04-20	Paper
Aspect Categories and Classes of Temporal Properties	2009-06-26	Paper
Modular Verification of Strongly Invasive Aspects	2009-06-03	Paper
MAVEN: Modular Aspect Verification	2007-09-03	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818803	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4737569	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737558	2004-08-11	Paper
Superimpositions and Aspect-oriented Programming	2004-07-12	Paper
A mechanized proof environment for the convenient computations proof method	2004-03-15	Paper
OPM/Web -- object-process methodology for developing web applications	2003-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4791847	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763984	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4518412	2000-11-28	Paper
Impossibility results in the presence of multiple faulty processes	2000-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4484663	2000-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4353628	1998-02-26	Paper
Self-stabilizing extensions for message-passing systems	1995-11-22	Paper
Verification of distributed programs using representative interleaving sequences	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4012213	1992-09-27	Paper
Defining conditional independence using collapses	1992-09-27	Paper
Interleaving set temporal logic	1990-01-01	Paper
Initial failures in distributed computations	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733386	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3355219	1989-01-01	Paper
Appraising fairness in languages for distributed programming	1988-01-01	Paper
Partially interpreted schemas for CSP programming	1988-01-01	Paper
Fairness and the axioms of control predicates	1987-01-01	Paper
Cooperative Distributed Algorithms for Dynamic Cycle Prevention	1987-01-01	Paper
A complete rule for equifair termination	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698285	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347265	1984-01-01	Paper
Program Optimization Using Invariants	1978-01-01	Paper
Logical analysis of programs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103170	1976-01-01	Paper
A closer look at termination	1975-01-01	Paper

Research outcomes over time

This page was built for person: Shmuel Katz