Walid Gaaloul

According to our database1, Walid Gaaloul
  • authored at least 124 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Towards Correct Cloud Resource Allocation in Business Processes.
IEEE Trans. Services Computing, 2017

Adaptive Deployment of Service-Based Processes into Cloud Federations.
Proceedings of the Web Information Systems Engineering - WISE 2017, 2017

Semantic Framework for Internet of Things-Aware Business Process Development.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

OCCI-Compliant Cloud Configuration Simulation.
Proceedings of the IEEE International Conference on Edge Computing, 2017

Cloud SLA Modeling and Monitoring.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

Simulation of Configurable Resource Allocation for Cloud-Based Business Processes.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Data intelligence on the Internet of Things.
Personal and Ubiquitous Computing, 2016

Service querying to support process variant development.
Journal of Systems and Software, 2016

A semantic framework for configurable business process as a service in the cloud.
J. Network and Computer Applications, 2016

Developing correct adapters for software architectural dynamic reconfiguration.
IJAACS, 2016

A Global SLA-Aware Approach for Aggregating Services in the Cloud.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Energy Efficient Configurable Resource Allocation in Cloud-Based Business Processes (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment.
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

An Event-B Based Approach for Ensuring Correct Configurable Business Processes.
Proceedings of the IEEE International Conference on Web Services, 2016

Detecting Cloud (Anti)Patterns: OCCI Perspective.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

A Formal Guidance Approach for Correct Process Configuration.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Toward Context-Aware SLA for Cloud Computing.
Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016), 2016

A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment.
Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud.
Proceedings of the Advanced Information Systems Engineering, 2016

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

A Semantic Framework Supporting Business Process Variability Using Event Logs.
Proceedings of the IEEE International Conference on Services Computing, 2016

A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation.
Proceedings of the IEEE International Conference on Services Computing, 2016

Social-Based Semantic Framework for Cloud Resource Management in Business Processes.
Proceedings of the IEEE International Conference on Services Computing, 2016

Semantic Web Technologies in Cloud Computing: A Systematic Literature Review.
Proceedings of the IEEE International Conference on Services Computing, 2016

A Semantic Framework Supporting Cloud Resource Descriptions Interoperability.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
An Automated Approach for Assisting the Design of Configurable Process Models.
IEEE Trans. Services Computing, 2015

A three-dimensional sub-region query processing mechanism in underwater WSNs.
Personal and Ubiquitous Computing, 2015

Configuration assistée des processus métier. Conception et expérimentation.
Ingénierie des Systèmes d'Information, 2015

A decentralized and service-based solution for data mediation: the case for data providing service compositions.
Concurrency and Computation: Practice and Experience, 2015

Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation.
Comput. J., 2015

IEEE Access Special Session Editorial: Big Data Services and Computational Intelligence for Industrial Systems.
IEEE Access, 2015

Genetic-Based Approach for ATS and SLA-aware Web Services Composition.
Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

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

Log-Based Process Fragment Querying to Support Process Design.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Extracting Configuration Guidance Models from Business Process Repositories.
Proceedings of the Business Process Management - 13th International Conference, 2015

Towards Resource-aware Business Process development in the Cloud.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015

Semantic Process Fragments Matching to Assist the Development of Process Variants.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Deriving configurable fragments for process design.
IJBPIM, 2014

Querying Services Based on Composition Context.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 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

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A framework for semantic telco process management - An industrial case study.
Proceedings of the 14th International Conference on Intelligent Systems Design and Applications, 2014

Configuration Rule Mining for Variability Analysis in Configurable Process Models.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Mining Configurable Process Fragments for Business Process Design.
Proceedings of the Advancing the Impact of Design Science: Moving from Theory to Practice, 2014

Mining Event Logs to Assist the Development of Executable Process Variants.
Proceedings of the Advanced Information Systems Engineering, 2014

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Supporting service consumption : advanced discovery and recommendation techniques. (Techniques de recommendation et de découverte de services et procédés).
, 2014

2013
Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement.
IEEE Trans. Automation Science and Engineering, 2013

Communities of Web service registries: Construction and management.
Journal of Systems and Software, 2013

Assessing the replaceability of service protocols in mediated service interactions.
Future Generation Comp. Syst., 2013

CPS Track Report.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Assisting Business Process Design with Configurable Process Fragments.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
Assessment of Service Protocol Adaptability Based on Novel Walk Computation.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

A recommender system based on historical usage data for web service discovery.
Service Oriented Computing and Applications, 2012

Towards an approach of formal verification of mediation protocol based on web services of MDE type.
IJWIS, 2012

CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

An Ontology for Workflow Organizational Model Mining.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Data Mapping Web Services for Composite DaaS Mediation.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Event-B Formalisation of Web Services for Dynamic Composition.
Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

Assisting Business Process Design by Activity Neighborhood Context Matching.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Performative-Based Mining of Workflow Organizational Structures.
Proceedings of the E-Commerce and Web Technologies - 13th International Conference, 2012

Towards a Unified Marketplace for Functionality-based Cloud Service Discovery.
Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011
Ensuring Customised Transactional Reliability of Composite Services.
J. Database Manag., 2011

Petri Net Modeling and Verification of Transactional Workflows.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Modeling and Managing Communities of Web Service Registries.
Proceedings of the Web Information Systems and Technologies - 7th International Conference, 2011

Graph-based Management of Communities of Web Service Registries.
Proceedings of the WEBIST 2011, 2011

Clustering and Managing Data Providing Services Using Machine Learning Technique.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

ATL Transformation for the Generation of SCA Model.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Verifying Composite Service Transactional Behavior with EVENT-B.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Profile UML2.0 for Specification of the SCA Architectures.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

An implicit approach for building communities of web service registries.
Proceedings of the iiWAS'2011, 2011

Towards a transformation of composite web service with QoS extension into ACME\Armani.
Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.
Proceedings of the iiWAS'2011, 2011

Implementation of Communities of Web Service Registries.
Proceedings of the IEEE International Conference on Web Services, 2011

Context-Based Service Recommendation for Assisting Business Process Design.
Proceedings of the E-Commerce and Web Technologies - 12th International Conference, 2011

Verifying Composite Service Transactional Behavior with EVENT-B.
Proceedings of the Software Architecture - 5th European Conference, 2011


A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

Composition Context Matching for Web Service Recommendation.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Fouille de workflow.
Technique et Science Informatiques, 2010

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior.
IEEE Trans. Services Computing, 2010

Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

WSRD: A Web Services Registry Description.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Towards an approach of formal verification of mediation protocol based on web services.
Proceedings of the iiWAS'2010, 2010

Web Services Recommendation Based on User's Behavior.
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Using Recommendation to Limit Search Space in Web Services Discovery.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

Functionality-Driven Clustering of Web Service Registries.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Semantic Web Services for Satisfying SOA Requirements.
Proceedings of the Advances in Web Semantics I, 2009

Log-based transactional workflow mining.
Distributed and Parallel Databases, 2009

From Workflow Models to Executable Web Service Interfaces.
Proceedings of the IEEE International Conference on Web Services, 2009

2008
Log-based mining techniques applied to Web service composition reengineering.
Service Oriented Computing and Applications, 2008

Mining and Improving Composite Web Services Recovery Mechanisms.
Int. J. Web Service Res., 2008

Towards an XPDL Compliant Process Ontology.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Behavioral Compatibility of Web Services.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Developing Process Mediator for Web Service Interactions.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Toward a Hybrid Algorithm for Workflow Graph Structural Verification.
Proceedings of the ICEIS 2008, 2008

Developing Process Mediator for Supporting Mediated Web Service Interactions.
Proceedings of the ECOWS 2008, 2008

2007
La Découverte de WorkflowTransactionnel pour la Fiabilisation desExécutions. (Mining transaction workflow for execution reliability).
PhD thesis, 2007

Better Behavioral Description for Dynamic Semantic Web Services Collaboration.
Proceedings of the Third International Conference on Semantics, 2007

Verifying Composite Service Transactional Behavior Using Event Calculus.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Mining and Re-engineering Transactional Workflows for Reliable Executions.
Proceedings of the Conceptual Modeling, 2007

Formal verification of composite service recovery mechanisms consistency.
Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

2006
A Workflow Mining Tool based on Logs Statistical Analysis.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Discovering and Improving Recovery Mechanisms of CompositeWeb Services.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis.
Proceedings of the Data Engineering Issues in E-Commerce and Services, 2006

WorkflowMiner: a New Workflow Patterns and Performance Analysis tool.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2005
Mining Workflow Patterns through Event-Data Analysis.
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January, 2005

Towards Mining Structural Workflow Patterns.
Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

Mining Workflow Recovery from Event Based Logs.
Proceedings of the Business Process Management, 3rd International Conference, 2005

2004
An Object-Oriented Metamodel for Inter-Enterprises Cooperative Processes Based on Web Services.
Transactions of the SDPS, 2004

A Pattern for Interconnecting Distributed Components.
Proceedings of the ICEIS 2004, 2004

Discovering Workflow Patterns from Timed Logs.
Proceedings of the EMISA 2004, 2004

Discovering Workflow Transactional Behavior from Event-Based Log.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004


  Loading...