×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of nicoletta-de-francesco
A user-friendly interface to specify temporal properties of concurrent systems
212 views
A tool supporting efficient model checking of concurrent specifications
215 views
Syntactic reductions for efficient deadlock analysis
216 views
Checking security properties by model checking
218 views
Concurrent behavior: A construct to specify the external behavior of objects in object databases
212 views
Instruction-level security analysis for information flow in stack-based assembly languages
212 views