Joaquín Ezpeleta

Orcid: 0000-0002-9622-8186

According to our database1, Joaquín Ezpeleta authored at least 64 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A biobjective model for resource provisioning in multi-cloud environments with capacity constraints.
Oper. Res., 2023

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation.
CoRR, 2023

2021
A learning experience toward the understanding of abstraction-level interactions in parallel applications.
J. Parallel Distributed Comput., 2021

2020
Log-Based Session Profiling and Online Behavioral Prediction in E-Commerce Websites.
IEEE Access, 2020

2019
Reducing the price of resource provisioning using EC2 spot instances with prediction models.
Future Gener. Comput. Syst., 2019


2018
Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2.
Comput. J., 2018

Behavioral Analysis of Scientific Workflows With Semantic Information.
IEEE Access, 2018

On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction.
Proceedings of the Fifth International Conference on Social Networks Analysis, 2018

2017
Parallel computation of the reachability graph of petri net models with semantic information.
Softw. Pract. Exp., 2017

Designing robust watermark barcodes for multiplex long-read sequencing.
Bioinform., 2017

Analysis of Users' Behavior in Structured e-Commerce Websites.
IEEE Access, 2017

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes.
Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), 2017

Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016
Alignment of teacher's plan and students' use of LMS resources. Analysis of Moodle logs.
Proceedings of the 15th International Conference on Information Technology Based Higher Education and Training, 2016

A History-Based Model for Provisioning EC2 Spot Instances with Cost Constraints.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016

2015
CPS 2015 Track Report: Cyber Physical Society.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Cost Estimation for the Provisioning of Computing Resources to Execute Bag-of-Tasks Applications in the Amazon Cloud.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2015

Handling Big(ger) Logs: Connecting ProM 6 to Apache Hadoop.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Assessing Process Discovery Scalability in Data Intensive Environments.
Proceedings of the 2nd IEEE/ACM International Symposium on Big Data Computing, 2015

2014
Solving the Interoperability Problem by Means of a Bus - An Experience on the Integration of Grid, Cluster and Cloud Infrastructures.
J. Grid Comput., 2014

Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

2013
Cost Evaluation of Migrating a Computation Intensive Problem from Clusters to Cloud.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

A Reliable and Scalable Service Bus Based on Amazon SQS.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012
Model Checking Analysis of Semantically Annotated Business Processes.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Simulation and Realistic Workloads to Support the Meta-scheduling of Scientific Workflows.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2012

A Simulation-based Scheduling Strategy for Scientific Workflows.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2011
Analyzing behavioral properties of semantic business processes with parametric data.
Concurr. Comput. Pract. Exp., 2011

Control and data flow compatibility in the interaction between dynamic business processes.
Concurr. Comput. Pract. Exp., 2011

DENEB: a platform for the development and execution of interoperable dynamic Web processes.
Concurr. Comput. Pract. Exp., 2011

2010
An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows.
J. Comput. Syst. Sci., 2010

Adaptive exception handling for scientific workflows.
Concurr. Comput. Pract. Exp., 2010

Semantically enabled business process discovery.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
Discovery of Business Processes based on Behavioral Descriptions.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

Symbolic Analysis of the Behavior of Semantic Business Processes.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

Unary RDF-annotated petri nets: a formalism for the modeling and validation of business processes with semantic information.
Proceedings of the 4th International Workshop on Semantic Business Process Management, 2009

2008
Time Orientation Device for Special Education.
Proceedings of the Emerging Technologies and Information Systems for the Knowledge Society, 2008

Exception handling patterns for hierarchical scientific workflows.
Proceedings of the 6th International Workshop on Middleware for Grid Computing (MGC 2008), 2008

On Interlinking of Grids: A Proposal for Improving the Flexibility of Grid Service Interactions.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes.
Proceedings of the ECOWS 2008, 2008

Flow and Data Compatibility for the Correct Interaction between Web Processes.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Runtime Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Vega: A Service-Oriented Grid Workflow Management System.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes.
Proceedings of the E-Commerce and Web Technologies, 8th International Conference, 2007

2006
Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution.
IEEE Trans. Syst. Man Cybern. Part A, 2006

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2006

RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions.
Proceedings of the E-Commerce and Web Technologies, 7th International Conference, 2006

A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems.
Proceedings of the Business Process Management, 4th International Conference, 2006

2005
Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm.
Proceedings of the Service-Oriented Computing, 2005

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2004
A deadlock avoidance approach for nonsequential resource allocation systems.
IEEE Trans. Syst. Man Cybern. Part A, 2004

2003
Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states.
IEEE Trans. Robotics Autom., 2002

2000
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources.
IEEE Trans. Autom. Control., 2000

Some Improvements to the Banker s Algorithm Based on the Process Structure.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1998
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Automatic synthesis of colored Petri nets for the control of FMS.
IEEE Trans. Robotics Autom., 1997

1995
A Petri net based deadlock prevention policy for flexible manufacturing systems.
IEEE Trans. Robotics Autom., 1995

1993
A Distributed Algorithm for Resource Management.
Proceedings of the Decentralized and Distributed Systems, 1993

Synthesis of Live Models for a Class of FMS Systems.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1991
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets.
Proceedings of the Advances in Petri Nets 1993, 1991


  Loading...