Alvaro E. Arenas, Alvaro Arenas
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
29 | EE | Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194 |
28 | EE | Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang: Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES 2008: 1429-1436 |
27 | EE | Gheorghe Cosmin Silaghi, Patrício Domingues, Filipe Araujo, Luís Moura Silva, Alvaro E. Arenas: Defeating colluding nodes in Desktop Grid computing platforms. IPDPS 2008: 1-8 |
26 | EE | Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese: Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave 2008: 242-253 |
25 | EE | Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117 |
24 | EE | Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008) |
23 | EE | Alvaro Arenas, Michael Wilson, Shirley Crompton, Dana Cojocarasu, Tobias Mahler, Lutz Schubert: Bridging the Gap between Legal and Technical Contracts. IEEE Internet Computing 12(2): 13-19 (2008) |
2007 | ||
22 | EE | Alvaro Arenas, Michael Wilson, Brian Matthews: On trust management in grids. Autonomics 2007: 4 |
21 | EE | Gheorghe Cosmin Silaghi, Alvaro E. Arenas, Luís Moura Silva: A Utility-Based Reputation Model for Service-Oriented Computing. CoreGRID 2007: 63-72 |
20 | EE | Rosa M. Badia, Christian Pérez, Artur Andrzejak, Alvaro Arenas: Topic 6 Grid and Cluster Computing. Euro-Par 2007: 359 |
19 | EE | Andrew Butterfield, Juan Bicarregui, Alvaro Arenas: Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. Formal Methods in System Design 30(3): 177-178 (2007) |
2006 | ||
18 | EE | Syed Naqvi, Philippe Massonet, Alvaro Arenas: Security Requirements Model for Grid Data Management Systems. CRITIS 2006: 30-41 |
17 | EE | Syed Naqvi, Olivier Poitou, Philippe Massonet, Alvaro Arenas: Security Requirements Analysis for Large-Scale Distributed File Systems. Euro-Par Workshops 2006: 49-60 |
16 | EE | Syed Naqvi, Philippe Massonet, Alvaro Arenas: Scope of Forensics in Grid Computing - Vision and Perspectives. ISPA Workshops 2006: 964-970 |
15 | EE | Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006) |
2005 | ||
14 | EE | Juan C. García-Ojeda, Álvaro Enrique Arenas, José de Jesús Pérez Alcázar: Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML. AOSE 2005: 179-189 |
13 | EE | Adomas Svirskas, Michael D. Wilson, Alvaro E. Arenas, Emil C. Lupu, Nilufer Tuptuk, David Chadwick, Pablo Giambiagi, Theodosis Dimitrakos, Bob Roberts: Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures. CEC Workshops 2005: 3-11 |
12 | EE | Juan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005) |
11 | EE | Álvaro Enrique Arenas, José de Jesús Pérez Alcázar, Eduardo Carrillo Zambrano: Editorial. Revista Comlombiana de Computación 6(2): 5-6 (2005) |
10 | EE | Simon C. Lambert, Alvaro E. Arenas, Alistair J. Miles: A framework for Experience Management in Public Organisations. Revista Comlombiana de Computación 6(2): 7-27 (2005) |
2004 | ||
9 | EE | Juan C. García-Ojeda, José de Jesús Pérez Alcázar, Álvaro Enrique Arenas: Extending the Gaia Methodology with Agent-UML. AAMAS 2004: 1456-1457 |
8 | EE | Alvaro E. Arenas, Brian Matthews: An Experiment on Modelling Agents and Knowledge for the Semantic Web. AIMSA 2004: 54-64 |
7 | EE | Alvaro E. Arenas, Brian Matthews: Toward a Library of Problem-Solving Methods on the Internet. EKAW 2004: 485-486 |
6 | EE | Jacek Kitowski, Krzysztof Krawczyk, Marta Majewska, Mariusz Dziewierz, Renata Slota, Simon C. Lambert, Alistair J. Miles, Alvaro E. Arenas, Ladislav Hluchý, Zoltan Balogh, Michal Laclavik, Sabine Delaître, Gianni Viano, Simona Stringa, Pasqualino Ferrentino: Model of Experience for Public Organisations with Staff Mobility. KMGov 2004: 91-100 |
2003 | ||
5 | EE | Alvaro E. Arenas, Gareth Barrera-Sanabria: Modelling Intelligent Agents for Organisational Memories. KES 2003: 430-437 |
2002 | ||
4 | EE | Alvaro E. Arenas: An Abstract Model for Scheduling Real-Time Programs. ICFEM 2002: 204-215 |
3 | EE | Alvaro E. Arenas: An Algebraic Approach for Compiling Real-Time Programs. Electr. Notes Theor. Comput. Sci. 68(5): (2002) |
2 | EE | Álvaro Enrique Arenas, José de Jesús Pérez Alcázar: Editorial. Revista Comlombiana de Computación 3(1): (2002) |
2000 | ||
1 | EE | Álvaro Enrique Arenas, José de Jesús Pérez Alcázar, Guillermo Rueda: Editorial. Revista Comlombiana de Computación 1(1): (2000) |