Raul H. C. Lopes

According to our database, Raul H. C. Lopes authored at least 7 papers between 1997 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Kolmogorov-Smirnov Test.

Raul H. C. Lopes

Proceedings of the International Encyclopedia of Statistical Science, 2011

2009

Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients.

Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.

Virginia N. L. Franqueira, Pascal van Eck, Roel J. Wieringa, Raul H. C. Lopes

Proceedings of the The Forth International Conference on Availability, 2009

2007

Vulnerability Assessment by Learning Attack Specifications in Graphs.

Virginia N. L. Franqueira, Raul H. C. Lopes

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2000

Automatic Generation of Concurrent Provers.

Raul H. C. Lopes

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Automatic Generation of Proof Search Strategies for Second-order Logic.

Raul H. C. Lopes

Proceedings of the Automated Deduction, 1999

1997

Inducing Theorem Provers from Proofs.

Raul H. C. Lopes, Mark Tarver

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997