Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Louis Rilling
MetAcsl: Specification and Verification of High-Level Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Energy-Aware Ant Colony Based Workload Placement in Clouds
Related publications
High-Level Frameworks for the Specification and Verification of Scheduling Problems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
High-Level Verification
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Formal Specification and Verification
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Access Control Policies: Specification and Verification
Computer Journal
Computer Science
Specification and Verification of Media Constraints Using UPPAAL
Design, Specification and Verification of Interactive Systems ’98
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
High-Level Debugging and Verification for FPGA-Based Multicore Architectures
