| Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment | 0 | 0.34 | 2020 |
| Ensuring the correctness of adaptive business processes: a systematic literature review | 0 | 0.34 | 2020 |
| A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates | 0 | 0.34 | 2019 |
| Track Report of Future Internet Services and Applications (FISA’2019) | 0 | 0.34 | 2019 |
| Preserving the Correctness of Dynamic Workflows within a Cloud Environment. | 0 | 0.34 | 2018 |
| Elastic Multi-Tenant Business Process Based on Temporal Constraints | 0 | 0.34 | 2018 |
| Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. | 0 | 0.34 | 2018 |
| Track Report of Future Internet Services and Applications (FISA 2017) | 0 | 0.34 | 2017 |
| An Evaluative Review and Research Challenges of the Simulation in Cloud Environment | 0 | 0.34 | 2017 |
| Simulation tools for cloud computing: A survey and comparative study | 3 | 0.41 | 2017 |
| Dealing with structural changes on provisioning resources for deadline-constrained workflow. | 0 | 0.34 | 2017 |
| Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms. | 1 | 0.35 | 2017 |
| A Validation Approach For Quasi-Synchronous Checkpointing Algorithms In Hpc Systems | 0 | 0.34 | 2017 |
| Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing | 0 | 0.34 | 2016 |
| An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. | 2 | 0.39 | 2016 |
| CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification | 0 | 0.34 | 2015 |
| Controlling Elasticity Dependencies for Multi-tenant Business Process. | 2 | 0.41 | 2015 |
| Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud | 1 | 0.35 | 2015 |
| A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems | 0 | 0.34 | 2015 |
| FISA 2015 Track Report: Future Internet Services and Applications | 0 | 0.34 | 2015 |
| A Service-Oriented Architecture (Soa) Framework For Choreography Verification | 1 | 0.34 | 2015 |
| A Provisioning Approach of Cloud Resources for Dynamic Workflows | 6 | 0.51 | 2015 |
| Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). | 0 | 0.34 | 2014 |
| A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems | 1 | 0.38 | 2014 |
| Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing | 8 | 0.59 | 2014 |
| Workflow Scheduling in Cloud Computing: A Survey | 14 | 0.63 | 2014 |
| Towards a Multi-tenancy Aware Cloud Service Composition | 1 | 0.38 | 2014 |
| A Formal Approach for the Validation of Web Service Orchestrations | 2 | 0.39 | 2013 |
| Randomized broadcasting in wireless mobile sensor networks | 0 | 0.34 | 2013 |
| PROMASC Track Report | 0 | 0.34 | 2013 |
| Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. | 2 | 0.41 | 2013 |
| Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration | 0 | 0.34 | 2012 |
| BpelVT: A Tool for Formal Validation of Web Service Orchestrations | 1 | 0.37 | 2012 |
| A formal approach to model and verify the behaviour of publish/subscribe architectural style. | 0 | 0.34 | 2012 |
| Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model | 0 | 0.34 | 2010 |
| Moderate Growth Time Series for Dynamic Combinatorics Modelisation | 0 | 0.34 | 2007 |
| Algebraic elimination of "-transitions | 1 | 0.39 | 2005 |
| Algebraic Elimination Of Epsilon-Transitions | 1 | 0.36 | 2004 |
| An unexpected application of minimization theory to module decompositions | 0 | 0.34 | 2004 |
