94 results on '"Rodriguez-Navas, Guillermo"'
Search Results
2. Analyzing the performance of persistent storage for fault-tolerant stateful fog applications
3. Towards Classification of Lightweight Formal Methods
4. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
5. Foreword: Rethinking resilience practices before and after the Covid-19 crisis
6. When the community takes action: building resilience through the Transition Movement in Spain. A critical assessment
7. List of contributors
8. The Karlskrona manifesto for sustainability design
9. Storage Placement in Computing Continuum for a Robotic Application
10. Dependable Automotive CAN Networks
11. Verifying the timing of a persistent storage for stateful fog applications
12. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
13. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking
14. A Morphogenesis Perspective on Deterministic Communication Networks: Time to Overcome the Positional Information Paradigm?
15. Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge
16. Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks
17. From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?
18. Fault-tolerant Permanent Storage for Container-based Fog Architectures
19. From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?
20. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems
21. Dependable Automotive CAN Networks
22. A preliminary roadmap for dependability research in fog computing
23. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking
24. A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules
25. Long-term outcome of intensive initial immunosuppression protocol in pediatric deceased donor renal transplantation
26. Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints
27. Analyzing atomic broadcast in TTCAN networks
28. Hardware design of a high-precision and fault-tolerant clock subsystem for CAN networks
29. Dependable Fog Computing: A Systematic Literature Review
30. Methods for Large-Scale Time-Triggered Network Scheduling
31. Bounded invariance checking of simulink models
32. Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications
33. Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures
34. Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules
35. Automated SMT-based consistency checking of industrial critical requirements
36. Towards Classification of Lightweight Formal Methods
37. Doctoral Symposium on DIGITALISATION FOR A SUSTAINABLE SOCIETY
38. SMT-based consistency analysis of industrial systems requirements
39. Mind the Gap: Bridging the Sustainable Software Systems Research Divide
40. Synthesizing time-triggered schedules for switched networks with faulty links
41. Next generation real-time networks based on IT technologies
42. The First Rule of Software Sustainability: Do not talk about Software Sustainability?
43. Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks
44. Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain
45. Formal Methods in Collaborative Projects
46. Current techniques, trends and new horizons in avionics networks configuration
47. A decomposition approach for SMT-based schedule synthesis for time-triggered networks
48. Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing
49. SMT-based synthesis of TTEthernet schedules: A performance study
50. Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.