Filters: Author is Mark Dermot Ryan [Clear All Filters]
“Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability”, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013. paper-239.pdf (329.79 KB)
, “UPPAAL - Now, Next, and Future”, in Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000, vol. 2067, Springer, 2001, pp. 99-124. paper-203.pdf (444.91 KB)
,