Login / Signup
Adrian Casajus Ramo
ORCID
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Concurrent Systems
Software Design
Uml Diagrams
Process Algebra
Top Venues
CLOSER
J. Grid Comput.
NASA Formal Methods
</>
Publications
</>
Víctor Méndez Muñoz
,
Adrian Casajus Ramo
,
Ricardo Graciani Diaz
,
Andrei Tsaregorodtsev
Cloud Governance by a Credit Model with DIRAC.
CLOSER
(2014)
Daniela Remenska
,
Jeff Templon
,
Tim A. C. Willemse
,
Philip Homburg
,
Kees Verstoep
,
Adrian Casajus Ramo
,
Henri E. Bal
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
NASA Formal Methods
(2013)
Víctor Méndez Muñoz
,
Adrian Casajus Ramo
,
Víctor Fernández-Albor
,
Ricardo Graciani Diaz
,
Gonzalo Merino Arévalo
Rafhyc: an Architecture for Constructing Resilient Services on Federated Hybrid Clouds.
J. Grid Comput.
11 (4) (2013)