30 results on '"Baxter, James"'
Search Results
2. Consistent Alignments for Simple Ontologies in the Digital Information Supply Chain
3. Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
4. Efficient Uniform Sampling of Traces in Presence of Infeasibilities
5. A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency
6. Verification Technology for VDM: Craft and Automation
7. Utilising Assumptions to Determine the WCET of Multi-component Classification Systems
8. Captured: Compositional and Modular Approaches to Concurrency
9. A Graphical Representation of Verification Proof Plans
10. ACL2 Support for Floating-Point Computations
11. Confidence in Assurance 2.0 Cases
12. Specifications are Preferably Amenable to Proof and Animation
13. What Is a Garbage Collector? An Exercise in Compositional Refinement
14. Formal Analysis of Interactions Between Safety and Security Requirements
15. High Impact Malware Targeting Maritime Infrastructure
16. Rely-Guarantee Interpretation of Sequence Diagrams
17. A Concept-Oriented Approach to Software Development
18. About Trust and Proof: An Experimental Framework for Heterogeneous Verification
19. Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System
20. Model Refinement: Generating Refinements for Algorithm and System Design
21. Analysing the Safety Implications of Security Risks in Cyber-Physical Systems
22. On the Formalization of the Notion of an Algorithm
23. On the Relational Basis of Early R/G Work
24. Less is More Revisited : Association with Global Multiparty Session Types
25. Uncertainty and Probabilistic UTP
26. Exploring the Boundaries of Rely/Guarantee and Links to Linearisability
27. Reasoning About Distributive Laws in a Concurrent Refinement Algebra
28. Validation of Formal Models: A Case Study
29. Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style
30. A Note on Proofs of Earley’s Recognizer
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.