Raul H. C. Lopes

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

Publications

Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. SAC (2009)
Virginia N. L. Franqueira, Pascal van Eck, Roel J. Wieringa, Raul H. C. Lopes
A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation. ARES (2009)
Virginia N. L. Franqueira, Raul H. C. Lopes
Vulnerability Assessment by Learning Attack Specifications in Graphs. IAS (2007)
Raul H. C. Lopes
Automatic Generation of Concurrent Provers. ARW (2000)
Raul H. C. Lopes
Automatic Generation of Proof Search Strategies for Second-order Logic. CADE (1999)
Raul H. C. Lopes, Mark Tarver
Inducing Theorem Provers from Proofs. ICTAI (1997)