Shmuel Katz

According to our database1, Shmuel Katz
  • authored at least 89 papers between 1973 and 2016.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Developing and Verifying Response Specifications in Hierarchical Event-Based Systems.
Trans. Modularity and Composition, 2016

2015
Proving mutual termination.
Formal Methods in System Design, 2015

2014
A tool-supported approach for modular design of energy-aware software.
Proceedings of the Symposium on Applied Computing, 2014

2013
Specification and verification of event detectors and responses.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
The common aspect proof environment.
STTT, 2012

Proving Mutual Termination of Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2012

A closer look at aspect interference and cooperation.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools.
Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Compositional verification of events and observers: (summary).
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Making aspects natural: events and composition.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
MAVEN: modular aspect verification and interference analysis.
Formal Methods in System Design, 2010

User Queries for Specification Refinement Treating Shared Aspect Join Points.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Checking the Correspondence between UML Models and Implementation.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Editorial for Special Section on Dependencies and Interactions with Aspects.
Trans. Aspect-Oriented Software Development, 2009

Reusing semi-specified behavior models in systems analysis and design.
Software and System Modeling, 2009

Dataflow Analysis for Properties of Aspect Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2009

Modular verification of strongly invasive aspects: summary.
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

Modular Verification of Strongly Invasive Aspects.
Proceedings of the Languages: From Formal to Natural, 2009

2008
The TDD-Guide Training and Guidance Tool for Test-Driven Development.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Incremental analysis of interference among aspects.
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

Aspects and Formal Methods.
Proceedings of the FM 2008: Formal Methods, 2008

2007
VeriTech: a framework for translating among model description notations.
STTT, 2007

A concern architecture view for aspect-oriented software design.
Software and System Modeling, 2007

MAVEN: Modular Aspect Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006
Aspect Categories and Classes of Temporal Properties.
, 2006

A Model Curriculum for Aspect-Oriented Software Development.
IEEE Software, 2006

Rigorous Fault Tolerance Using Aspects and Formal Methods.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Using aspects to support the software process: XP over Eclipse.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005
Modelling code mobility and migration: an OPM/Web approach.
Int. J. Web Eng. Technol., 2005

Verifying Scenario-Based Aspect Specifications.
Proceedings of the FM 2005: Formal Methods, 2005

2004
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

2003
A Mechanized Proof Environment for the Convenient Computations Proof Method.
Formal Methods in System Design, 2003

Superimpositions and Aspect-oriented Programming.
Comput. J., 2003

Model Checking Conformance with Scenario-Based Specifications.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Aspect Validation Using Model Checking.
Proceedings of the Verification: Theory and Practice, 2003

Architectural views of aspects.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002
OPM/Web - Object-Process Methodology for Developing Web Applications.
Ann. Software Eng., 2002

Translations between Textual Transition Systems and Petri Nets.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Framework for Translating Models and Specifications.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Open Reuse of Component Designs in OPM/We.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

A calculus of superimpositions for distributed systems.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001
Faithful Translations among Models and Specifications.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Developing Web Applications with OPM/Web.
Proceedings of the First International Workshop on Data Integration over the Web, 2001

Extending Memory Consistency of Finite Prefixes to Infinite Computations.
Proceedings of the CONCUR 2001, 2001

1999
Saving Space by Fully Exploiting Invisible Transitions.
Formal Methods in System Design, 1999

Self-Stabilizing Distributed Constraint Satisfaction.
Chicago J. Theor. Comput. Sci., 1999

Aspects and Superimpositions.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Mechanizing Proofs of Computation Equivalence.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997
Low-Overhead Time-Triggered Group Membership.
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996
Refinement with global equivalence proofs in temporal logic.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Saving Space by Fully Exploiting Invisible Transitions.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1994
Impossibility Results in the Presence of Multiple Faulty Processes
Inf. Comput., September, 1994

Reconciliations.
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Global Equivalence Proofs for ISTL.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
A Superimposition Control Construct for Distributed Systems.
ACM Trans. Program. Lang. Syst., 1993

Self-Stabilizing Extensions for Message-Passing Systems.
Distributed Computing, 1993

1992
Defining Conditional Independence Using Collapses.
Theor. Comput. Sci., 1992

Verification of Distributed Programs Using Representative Interleaving Sequences.
Distributed Computing, 1992

1991
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".
Inf. Process. Lett., 1991

Specifying and Proving Serializability in Temporal Logic
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

On the Feasibility of Distributed Constraint Satisfaction.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
High-Level Language Debugging for Concurrent Programs.
ACM Trans. Comput. Syst., 1990

Interleaving Set Temporal Logic.
Theor. Comput. Sci., 1990

Self-Stabilizing Extensions for Message-Passing Systems.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989
Multiparty Interactions for Interprocess Communication and Synchronization.
IEEE Trans. Software Eng., 1989

Initial failures in distributed computations.
International Journal of Parallel Programming, 1989

Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version).
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988
Partially Interpreted Schemas for CSP Programming.
Sci. Comput. Program., 1988

Appraising Fairness in Languages for Distributed Programming.
Distributed Computing, 1988

An efficient verification method for parallel and distributed programs.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

Interactive Blackbox Debugging for Concurrent Languages.
Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

1987
Cooperative Distributed Algorithms for Dynamic Cycle Prevention.
IEEE Trans. Software Eng., 1987

Fairness and the axioms of control predicates.
International Journal of Parallel Programming, 1987

Interleaving Set Temporal Logic.
Proceedings of the Temporal Logic in Specification, 1987

Appraising Fairness in Languages for Distributed Programming.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Interleaving Set Temporal Logic (Preliminary Version).
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

1986
A Complete Rule for Equifair Termination.
J. Comput. Syst. Sci., 1986

What Processes Know: Definitions and Proof Methods (Preliminary Version).
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

1985
Proving Termination of Prolog Programs.
Proceedings of the Logics of Programs, 1985

1984
Fail Termination of Communicating Processe.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983
A Compete Proof Rule for Strong Equifair Termination.
Proceedings of the Logics of Programs, 1983

1981
An Advisory System for Developing Data Representations.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
A System for Constructing Linear Programming Models.
IBM Systems Journal, 1980

1978
Program Optimization Using Invariants.
IEEE Trans. Software Eng., 1978

1977
Selection of representations for data structures.
SIGART Newsletter, 1977

1976
Logical Analysis of Programs.
Commun. ACM, 1976

Program Optimization Using Invariants.
Proceedings of the ECI Conference 1976, 1976

1975
A Closer Look at Termination.
Acta Inf., 1975

1973
A Heuristic Approach to Program Verification.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973


  Loading...