BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
Collaborated with:
V.N.L.Franqueira P.v.Eck
Talks about:
framework (1) strategi (1) generat (1) automat (1) ambient (1) second (1) search (1) attack (1) simul (1) proof (1)

Person: Raul H. C. Lopes

DBLP DBLP: Lopes:Raul_H=_C=

Contributed to:

SAC 20092009
CADE 19991999

Wrote 2 papers:

SAC-2009-FranqueiraLE #framework #mobile #modelling #multi #simulation
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients (VNLF, RHCL, PvE), pp. 66–73.
CADE-1999-Lopes #automation #generative #higher-order #logic #proving
Automatic Generation of Proof Search Strategies for Second-order Logic (RHCL), pp. 414–428.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.