39 results on '"Shmuel Katz"'
Search Results
2. Proving mutual termination.
3. The common aspect proof environment.
4. MAVEN: modular aspect verification and interference analysis.
5. Reusing semi-specified behavior models in systems analysis and design.
6. VeriTech: a framework for translating among model description notations.
7. A concern architecture view for aspect-oriented software design.
8. A Model Curriculum for Aspect-Oriented Software Development.
9. Aspect Categories and Classes of Temporal Properties.
10. Modelling code mobility and migration: an OPM/Web approach.
11. A Mechanized Proof Environment for the Convenient Computations Proof Method.
12. Superimpositions and Aspect-oriented Programming.
13. OPM/Web - Object-Process Methodology for Developing Web Applications.
14. Saving Space by Fully Exploiting Invisible Transitions.
15. Impossibility Results in the Presence of Multiple Faulty Processes
16. A Superimposition Control Construct for Distributed Systems.
17. Self-Stabilizing Extensions for Message-Passing Systems.
18. Verification of Distributed Programs Using Representative Interleaving Sequences.
19. Defining Conditional Independence Using Collapses.
20. High-Level Language Debugging for Concurrent Programs.
21. Interleaving Set Temporal Logic.
22. Editorial for Special Section on Dependencies and Interactions with Aspects.
23. Self-Stabilizing Distributed Constraint Satisfaction.
24. Preserving Liveness: Comments on 'Safety and Liveness from a Methodological Point of View'.
25. Selection of representations for data structures.
26. Fairness and the axioms of control predicates.
27. Initial failures in distributed computations.
28. Appraising Fairness in Languages for Distributed Programming.
29. A Complete Rule for Equifair Termination.
30. A System for Constructing Linear Programming Models.
31. Logical Analysis of Programs.
32. A Closer Look at Termination.
33. Program Optimization Using Invariants.
34. Cooperative Distributed Algorithms for Dynamic Cycle Prevention.
35. Multiparty Interactions for Interprocess Communication and Synchronization.
36. Partially Interpreted Schemas for CSP Programming.
37. Transactions on Aspect-Oriented Software Development VIII
38. Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling
39. Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.