195 results on '"Shmuel Katz"'
Search Results
2. A tool-supported approach for modular design of energy-aware software.
3. Deriving minimal models for resource utilization.
4. Specification and verification of event detectors and responses.
5. Proving Mutual Termination of Programs.
6. A closer look at aspect interference and cooperation.
7. Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools.
8. Making aspects natural: events and composition.
9. Compositional verification of events and observers: (summary).
10. User Queries for Specification Refinement Treating Shared Aspect Join Points.
11. Checking the Correspondence between UML Models and Implementation.
12. Proving mutual termination.
13. Dataflow Analysis for Properties of Aspect Systems.
14. The HighspectJ framework.
15. Modular Verification of Strongly Invasive Aspects.
16. Modular verification of strongly invasive aspects: summary.
17. Aspects and Formal Methods.
18. The TDD-Guide Training and Guidance Tool for Test-Driven Development.
19. Incremental analysis of interference among aspects.
20. MAVEN: Modular Aspect Verification.
21. Rigorous Fault Tolerance Using Aspects and Formal Methods.
22. Using aspects to support the software process: XP over Eclipse.
23. Verifying Scenario-Based Aspect Specifications.
24. From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.
25. Architectural views of aspects.
26. Model Checking Conformance with Scenario-Based Specifications.
27. Aspect Validation Using Model Checking.
28. A calculus of superimpositions for distributed systems.
29. Open Reuse of Component Designs in OPM/We.
30. A Framework for Translating Models and Specifications.
31. Translations between Textual Transition Systems and Petri Nets.
32. Faithful Translations among Models and Specifications.
33. Developing Web Applications with OPM/Web.
34. Extending Memory Consistency of Finite Prefixes to Infinite Computations.
35. The common aspect proof environment.
36. MAVEN: modular aspect verification and interference analysis.
37. Mechanizing Proofs of Computation Equivalence.
38. Reusing semi-specified behavior models in systems analysis and design.
39. Low-Overhead Time-Triggered Group Membership.
40. VeriTech: a framework for translating among model description notations.
41. A concern architecture view for aspect-oriented software design.
42. Saving Space by Fully Exploiting Invisible Transitions.
43. Refinement with global equivalence proofs in temporal logic.
44. A Model Curriculum for Aspect-Oriented Software Development.
45. Aspect Categories and Classes of Temporal Properties.
46. Modelling code mobility and migration: an OPM/Web approach.
47. Reconciliations.
48. Global Equivalence Proofs for ISTL.
49. A Mechanized Proof Environment for the Convenient Computations Proof Method.
50. Superimpositions and Aspect-oriented Programming.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.