Álvaro Enrique Arenas

According to our database1, Álvaro Enrique Arenas
  • authored at least 59 papers between 1987 and 2016.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 



On csauthors.net:


A Utility-Based Reputation Model for the Internet of Things.
Proceedings of the ICT Systems Security and Privacy Protection, 2016

Goal-Oriented Requirement Engineering Support for Business Continuity Planning.
Proceedings of the Advances in Conceptual Modeling, 2015

A Work-Systems Approach to Classifying Risks in Crowdfunding Platforms: An Exploratory Analysis.
Proceedings of the 21st Americas Conference on Information Systems, 2015

Towards more Transparency in Quality of Protection for Infrastructure Clouds.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper).
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Model-Based Refinement of Security Policies in Collaborative Virtual Organisations.
Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

Reputation management in collaborative computing systems.
Security and Communication Networks, 2010

Special section: Security, trust and privacy in Grid systems.
Future Generation Comp. Syst., 2010

Management of Security Policies in Virtual Organisations.
Proceedings of the SECRYPT 2010, 2010

An Event-B Approach to Data Sharing Agreements.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

A Secure and Scalable Grid-Based Content Management System.
Proceedings of the ARES 2010, 2010

Defeating Colluding Nodes in Desktop Grid Computing Platforms.
J. Grid Comput., 2009

Developing Autonomic and Secure Virtual Organisations with Chemical Programming.
Proceedings of the Stabilization, 2009

Detecting Conflicts in ABAC Policies with Rule-Reduction and Binary-Search Techniques.
Proceedings of the POLICY 2009, 2009

From Goal-Oriented Requirements to Event-B Specifications.
Proceedings of the First NASA Formal Methods Symposium, 2009

Data Processing Frame for Airborne SAR Prototype Development.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

On Usage Control in Data Grids.
Proceedings of the Trust Management III, Third IFIP WG 11.11 International Conference, 2009

Self-managed Microkernels: From Clouds towards Resource Fabrics.
Proceedings of the Cloud Computing - First International Conference, 2009

Bridging the Gap between Legal and Technical Contracts.
IEEE Internet Computing, 2008

Managing Conflicts of Interest in Virtual Organisations.
Electr. Notes Theor. Comput. Sci., 2008

Contracts as Trust Substitutes in Collaborative Business.
IEEE Computer, 2008

Controlling Usage in Business Process Workflows through Fine-Grained Security Policies.
Proceedings of the Trust, 2008

Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach.
Proceedings of the Towards a Service-Based Internet, 2008

Reputation Management in Grid-based Virtual Organisations.
Proceedings of the SECRYPT 2008, 2008

Defeating colluding nodes in Desktop Grid computing platforms.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Towards Modelling Obligations in Event-B.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Modelling Security Properties in a Grid-based Operating System with Anti-Goals.
Proceedings of the The Third International Conference on Availability, 2008

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria.
Formal Methods in System Design, 2007

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations.
Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007

Topic 6 Grid and Cluster Computing.
Proceedings of the Euro-Par 2007, 2007

Tackling the Collusion Threat in P2P-enhanced Internet Desktop Grids.
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

A Utility-Based Reputation Model for Service-Oriented Computing.
Proceedings of the Towards Next Generation Grids, 2007

On trust management in grids.
Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

The FMICS View on the Verified Software Repository.
Transactions of the SDPS, 2006

Applying Unifying Theories of Programming to Real-Time Programming.
Transactions of the SDPS, 2006

Electr. Notes Theor. Comput. Sci., 2006

Scope of Forensics in Grid Computing - Vision and Perspectives.
Proceedings of the Frontiers of High Performance Computing and Networking, 2006

The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises.
Proceedings of the Enterprise Interoperability, 2006

Security Requirements Analysis for Large-Scale Distributed File Systems.
Proceedings of the Euro-Par 2006 Workshops: Parallel Processing, 2006

Security Requirements Model for Grid Data Management Systems.
Proceedings of the Critical Information Infrastructures Security, 2006

Deriving Policies from Grid Security Requirements Model.
Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006

A framework for Experience Management in Public Organisations.
Revista Colombiana de Computación, 2005

Revista Colombiana de Computación, 2005

Revista Colombiana de Computación, 2005

Electr. Notes Theor. Comput. Sci., 2005

Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures.
Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

Toward Web Services Profiles for Trust and Security in Virtual Organisations.
Proceedings of the Collaborative Networks and Their Breeding Environments, 2005

Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

On combining organisational modelling and graphical languages for the development of multiagent systems.
Integrated Computer-Aided Engineering, 2004

Model of Experience for Public Organisations with Staff Mobility.
Proceedings of the Knowledge Management in Electronic Government, 2004

Toward a Library of Problem-Solving Methods on the Internet.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

Extending the Gaia Methodology with Agent-UML.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

An Experiment on Modelling Agents and Knowledge for the Semantic Web.
Proceedings of the Artificial Intelligence: Methodology, 2004

Modelling Intelligent Agents for Organisational Memories.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Revista Colombiana de Computación, 2002

An Algebraic Approach for Compiling Real-Time Programs.
Electr. Notes Theor. Comput. Sci., 2002

An Abstract Model for Scheduling Real-Time Programs.
Proceedings of the Formal Methods and Software Engineering, 2002

Revista Colombiana de Computación, 2000

Position verification of a mobile robot using standard pattern.
IEEE J. Robotics and Automation, 1987