114 results on '"Ali Ebnenasir"'
Search Results
2. Exploring consequences of statutory law through lightweight modeling.
3. TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation.
4. BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems.
5. Specifying and Verifying the Convergence Stairs of the Collatz Program.
6. Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy.
7. Formal Specification, Verification and Repair of Contiki's Scheduler.
8. Exploring Scalable Parallelization for Edit Distance-Based Motif Search.
9. Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables.
10. Modular Grammatical Evolution for the Generation of Artificial Neural Networks.
11. Verification and Synthesis of Responsive Symmetric Uni-Rings.
12. A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices.
13. Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes.
14. Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022).
15. TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation.
16. Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties.
17. On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings.
18. Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths.
19. Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes.
20. A theory of integrating tamper evidence with stabilization.
21. A framework for verification of SystemC TLM programs with model slicing: a case study.
22. UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata.
23. Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates.
24. A Theory of Integrating Tamper Evidence with Stabilization.
25. Incremental Realization of Safety Requirements: Non-determinism vs. Modularity.
26. Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization.
27. Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.
28. Analysis of Permanent Faults in Transaction Level SystemC Models.
29. A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols.
30. Synthesizing Self-stabilization through Superposition and Backtracking.
31. Modeling and analyzing timing faults in transaction level SystemC programs.
32. Verifying Livelock Freedom on Parameterized Rings and Chains.
33. On the Complexity of Adding Convergence.
34. Swarm Synthesis of Convergence for Symmetric Protocols.
35. Local Reasoning for Global Convergence of Parameterized Rings.
36. Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs.
37. Lightweight Methods for Automated Design of Self-Stabilization.
38. A Lightweight Method for Automated Design of Convergence.
39. Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes.
40. On the Hardness of Adding Nonmasking Fault Tolerance.
41. Developing parallel programs: A design-oriented perspective.
42. Diconic addition of failsafe fault-tolerance.
43. Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.
44. A Pattern-Based Approach for Modeling and Analyzing Error Recovery.
45. Adding Fault-Tolerance Using Pre-synthesized Components.
46. Revising UNITY Programs: Possibilities and Limitations.
47. Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.
48. The Complexity of Adding Multitolerance.
49. Enhancing The Fault-Tolerance of Nonmasking Programs.
50. The Complexity of Adding Failsafe Fault-Tolerance.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.