909 results on '"Abstract state machines"'
Search Results
2. Small Step Incremental Verification of Compilers
3. Modal Extensions of the Logic of Abstract State Machines
4. A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.
5. Compositional Simulation of Abstract State Machines for Safety Critical Systems
6. Practical Theory of Computation on Structures
7. A Tool for the Analysis of MANET Routing Protocols Based on Abstract State Machines
8. Towards ASM-Based Automated Formal Verification of Security Protocols
9. Computation on Structures : Behavioural Theory, Logic, Complexity
10. Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond
11. Analysis of Mobile Networks’ Protocols Based on Abstract State Machine
12. Model-Based Simulation at Runtime with Abstract State Machines
13. Addressing Usability in a Formal Development Environment
14. Analysing Security Protocols Using Scenario Based Simulation
15. A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations
16. Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios
17. Clarification of Ambiguity for the Simple Authentication and Security Layer
18. Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines
19. Intercepting Blackhole Attacks in MANETs: An ASM-based Model
20. Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment.
21. Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
22. Modularization of Refinement Steps for Agile Formal Methods
23. A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines
24. Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems
25. A Refutation of the Church-Turing Thesis According to Some Interpretation of What the Thesis Says
26. Towards an ASM Thesis for Reflective Sequential Algorithms
27. A Relational Encoding for a Clash-Free Subset of ASMs
28. A Universal Control Construct for Abstract State Machines
29. Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
30. Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics
31. Semantics-to-Syntax Analyses of Algorithms
32. A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
33. Landing Gear System: An ASM-Based Solution for the ABZ Case Study
34. Distributed Situation Analysis : A Formal Semantic Framework
35. Improving the Understandability of Formal Specifications: An Experience Report
36. Proving properties of the Chord protocol using the ASM formalism.
37. Relativity and Abstract State Machines
38. A Collaborative Decision Support Model for Marine Safety and Security Operations
39. Dynamic Public Service Mediation
40. AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
41. Integrating formal methods into medical software development: The ASM approach.
42. Symbolic execution for a clash-free subset of ASMs.
43. An ASM-based characterisation of starvation-free systems.
44. Model-Driven System Validation by Scenarios
45. Computational Modeling of Criminal Activity
46. Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering
47. Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
48. Using Model Checking to Generate Fault Detecting Tests
49. Abstract Operational Semantics for Use Case Maps
50. Model Checking Object-Z Using ASM
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.