23 results on '"Lanotte, Ruggero"'
Search Results
2. Hybrid and First-Order Complete Extensions of CaRet
3. Removing All Silent Transitions from Timed Automata
4. Complexity and Succinctness Issues for Linear-Time Hybrid Logics
5. Distributed Time-Asynchronous Automata
6. Hiding Information in Multi Level Security Systems
7. Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
8. Probabilistic Congruence for Semistochastic Generative Processes
9. Taylor Approximation for Hybrid Systems
10. Automatic Covert Channel Analysis of a Multilevel Secure Component
11. Structural Model Checking for Communicating Hierarchical Machines
12. Concurrency in Timed Automata
13. Timed Automata with Monotonic Activities
14. Security policies enforcement using finite and pushdown edit automata
15. Automated analysis of timed security: a case study on web privacy
16. Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
17. Probabilistic Congruence for Semistochastic Generative Processes
18. Taylor Approximation for Hybrid Systems
19. Automatic Covert Channel Analysis of a Multilevel Secure Component
20. Concurrency in Timed Automata
21. Complexity and Succinctness Issues for Linear-Time Hybrid Logics
22. Hiding Information in Multi Level Security Systems
23. Distributed Time-Asynchronous Automata
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.