Raul H. C. Lopes
According to our database1, Raul H. C. Lopes authored at least 7 papers between 1997 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the International Encyclopedia of Statistical Science, 2011
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.
Proceedings of the The Forth International Conference on Availability, 2009
Vulnerability Assessment by Learning Attack Specifications in Graphs.
Proceedings of the Third International Symposium on Information Assurance and Security, 2007
Automatic Generation of Concurrent Provers.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
Automatic Generation of Proof Search Strategies for Second-order Logic.
Proceedings of the Automated Deduction, 1999
Inducing Theorem Provers from Proofs.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997