Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Souha Ben Rayana
Formal Verification of Orchestration Templates for Reliable Deployment With OpenStack Heat*
Related publications
Formal Verification of Privacy for RFID Systems
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Reliable and Efficient Deployment for Virtual Network Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
