Export 2 results:
Filters: Author is Nuno P. Lopes  [Clear All Filters]
Lopes NP, Bjørner N, Godefroid P, Jayaraman K, Varghese G.  2015.  Checking Beliefs in Dynamic Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :499--512.
Santos N, Lopes NP.  2014.  Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. 10th Workshop on Hot Topics in System Dependability (HotDep 14).