Walid Gaaloul

Arnaud Cuccuru

Proceedings of the Services Computing - SCC 2018, 2018

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers.

[BibT_eX]

[DOI]

Wassim Sellil Atoui

Imen Grida Ben Yahia

Proceedings of the 4th IEEE Conference on Network Softwarization and Workshops, 2018

Energy-Efficient WSN Service Composition for Concurrent Applications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Model-Driven Elasticity for Cloud Resources.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2018

Trustless Blockchain-based Access Control in Dynamic Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Big Data and Cyber-Security Intelligence, 2018

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

Towards Correct Cloud Resource Allocation in Business Processes.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2017

Adaptive Deployment of Service-Based Processes into Cloud Federations.

[BibT_eX]

[DOI]

Chahrazed Labba

Narjès Bellamine Ben Saoud

Proceedings of the Web Information Systems Engineering - WISE 2017, 2017

Semantic Framework for Internet of Things-Aware Business Process Development.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

OCCI-Compliant Cloud Configuration Simulation.

[BibT_eX]

[DOI]

Mehdi Ahmed-Nacer

Proceedings of the IEEE International Conference on Edge Computing, 2017

Cloud SLA Modeling and Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

Simulation of Configurable Resource Allocation for Cloud-Based Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Data intelligence on the Internet of Things.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2016

Service querying to support process variant development.

[BibT_eX]

[DOI]

Nattawat Nonsung

J. Syst. Softw., 2016

A semantic framework for configurable business process as a service in the cloud.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2016

Developing correct adapters for software architectural dynamic reconfiguration.

[BibT_eX]

[DOI]

Djamel Belaïd

Imen Ben Lahmar

Int. J. Auton. Adapt. Commun. Syst., 2016

A Global SLA-Aware Approach for Aggregating Services in the Cloud.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Emna Hachicha

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.

[BibT_eX]

[DOI]

Monique J. Morrow

Paul A. Polakos

Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

An Event-B Based Approach for Ensuring Correct Configurable Business Processes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2016

Detecting Cloud (Anti)Patterns: OCCI Perspective.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

A Formal Guidance Approach for Correct Process Configuration.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Toward Context-Aware SLA for Cloud Computing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Monique Morrow

Paul A. Polakos

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.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2016

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

A Semantic Framework Supporting Business Process Variability Using Event Logs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

Social-Based Semantic Framework for Cloud Resource Management in Business Processes.

[BibT_eX]

[DOI]

Emna Hachicha

Zakaria Maamar

Proceedings of the IEEE International Conference on Services Computing, 2016

Semantic Web Technologies in Cloud Computing: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

A Semantic Framework Supporting Cloud Resource Descriptions Interoperability.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015

An Automated Approach for Assisting the Design of Configurable Process Models.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2015

A three-dimensional sub-region query processing mechanism in underwater WSNs.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2015

Configuration assistée des processus métier. Conception et expérimentation.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2015

A decentralized and service-based solution for data mediation: the case for data providing service compositions.

[BibT_eX]

[DOI]

Bruno Defude

Concurr. Comput. Pract. Exp., 2015

Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation.

[BibT_eX]

[DOI]

Comput. J., 2015

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

[BibT_eX]

[DOI]

IEEE Access, 2015

Genetic-Based Approach for ATS and SLA-aware Web Services Composition.

[BibT_eX]

[DOI]

Imed Abbassi

Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

CPS 2015 Track Report: Cyber Physical Society.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Log-Based Process Fragment Querying to Support Process Design.

[BibT_eX]

[DOI]

Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Extracting Configuration Guidance Models from Business Process Repositories.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 13th International Conference, 2015

Towards Resource-aware Business Process development in the Cloud.

[BibT_eX]

[DOI]

Emna Hachicha

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.

[BibT_eX]

[DOI]

Souha Boubaker

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Deriving configurable fragments for process design.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2014

Querying Services Based on Composition Context.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014).

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.

[BibT_eX]

[DOI]

Imed Abbassi

Mourad Kmimech

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A framework for semantic telco process management - An industrial case study.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Intelligent Systems Design and Applications, 2014

Configuration Rule Mining for Variability Analysis in Configurable Process Models.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Mining Configurable Process Fragments for Business Process Design.

[BibT_eX]

[DOI]

Bruno Defude

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.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2014

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.

[BibT_eX]

[DOI]

Imed Abbassi

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).

[BibT_eX]

[DOI]

, 2014

2013

Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2013

Communities of Web service registries: Construction and management.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Assessing the replaceability of service protocols in mediated service interactions.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2013

CPS Track Report.

[BibT_eX]

[DOI]

ZhangBing Zhou

Jianwei Niu

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

A recommender system based on historical usage data for web service discovery.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2012

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

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2012

CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

An Ontology for Workflow Organizational Model Mining.

[BibT_eX]

[DOI]

Rami Sellami

Samir Moalla

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Data Mapping Web Services for Composite DaaS Mediation.

[BibT_eX]

[DOI]

Bruno Defude

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Event-B Formalisation of Web Services for Dynamic Composition.

[BibT_eX]

[DOI]

Lazhar Hamel

Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

Assisting Business Process Design by Activity Neighborhood Context Matching.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Performative-Based Mining of Workflow Organizational Structures.

[BibT_eX]

[DOI]

Chihab Hanachi

Ravi Mondi

Proceedings of the E-Commerce and Web Technologies - 13th International Conference, 2012

Towards a Unified Marketplace for Functionality-based Cloud Service Discovery.

[BibT_eX]

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.

[BibT_eX]

[DOI]

J. Database Manag., 2011

Petri Net Modeling and Verification of Transactional Workflows.

[BibT_eX]

[DOI]

Kais Klai

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Modeling and Managing Communities of Web Service Registries.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems and Technologies - 7th International Conference, 2011

Graph-based Management of Communities of Web Service Registries.

[BibT_eX]

Proceedings of the WEBIST 2011, 2011

Clustering and Managing Data Providing Services Using Machine Learning Technique.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

ATL Transformation for the Generation of SCA Model.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Profile UML2.0 for Specification of the SCA Architectures.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

An implicit approach for building communities of web service registries.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

Towards a transformation of composite web service with QoS extension into ACME\Armani.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

Implementation of Communities of Web Service Registries.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

Context-Based Service Recommendation for Assisting Business Process Design.

[BibT_eX]

[DOI]

Ana Karla Alves de Medeiros

Proceedings of the E-Commerce and Web Technologies - 12th International Conference, 2011

Verifying Composite Service Transactional Behavior with EVENT-B.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 5th European Conference, 2011

Process Mining Manifesto.

[BibT_eX]

[DOI]

Wil M. P. van der Aalst

Arya Adriansyah

Franco Arcieri

Thomas Baier

Tobias Blickle

R. P. Jagadeesh Chandra Bose

Massimiliano de Leoni

Pavlos Delias

Boudewijn F. van Dongen

Arthur H. M. ter Hofstede

Hamid R. Motahari Nezhad

Proceedings of the Business Process Management Workshops, 2011

A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

Composition Context Matching for Web Service Recommendation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Fouille de workflow.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2010

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior.

[BibT_eX]

[DOI]

Mohsen Rouached

IEEE Trans. Serv. Comput., 2010

Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

WSRD: A Web Services Registry Description.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2010, 2010

Web Services Recommendation Based on User's Behavior.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Using Recommendation to Limit Search Space in Web Services Discovery.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

Functionality-Driven Clustering of Web Service Registries.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Semantic Web Services for Satisfying SOA Requirements.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web Semantics I, 2009

Log-based transactional workflow mining.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 2009

From Workflow Models to Executable Web Service Interfaces.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Log-based mining techniques applied to Web service composition reengineering.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2008

Mining and Improving Composite Web Services Recovery Mechanisms.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2008

Towards an XPDL Compliant Process Ontology.

[BibT_eX]

[DOI]

Armin Haller

Mateusz Marmolowski

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Behavioral Compatibility of Web Services.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Developing Process Mediator for Web Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Toward a Hybrid Algorithm for Workflow Graph Structural Verification.

[BibT_eX]

Fodé Touré

Proceedings of the ICEIS 2008, 2008

Developing Process Mediator for Supporting Mediated Web Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the ECOWS 2008, 2008

2007

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

[BibT_eX]

[DOI]

PhD thesis, 2007

Better Behavioral Description for Dynamic Semantic Web Services Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Semantics, 2007

Verifying Composite Service Transactional Behavior Using Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Mining and Re-engineering Transactional Workflows for Reliable Executions.

[BibT_eX]

[DOI]

Armin Haller

Proceedings of the Conceptual Modeling, 2007

Formal verification of composite service recovery mechanisms consistency.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

2006

A Workflow Mining Tool based on Logs Statistical Analysis.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Mohsen Rouached

Wil M. P. van der Aalst

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.

[BibT_eX]

[DOI]

Mohsen Rouached

Wil M. P. van der Aalst

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Discovering and Improving Recovery Mechanisms of CompositeWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis.

[BibT_eX]

[DOI]

Proceedings of the Data Engineering Issues in E-Commerce and Services, 2006

WorkflowMiner: a New Workflow Patterns and Performance Analysis tool.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2005

Mining Workflow Patterns through Event-Data Analysis.

[BibT_eX]

[DOI]

Sadek Belamfedel Alaoui

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.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

Mining Workflow Recovery from Event Based Logs.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 3rd International Conference, 2005

2004

An Object-Oriented Metamodel for Inter-Enterprises Cooperative Processes Based on Web Services.

[BibT_eX]

[DOI]

Trans. SDPS, 2004

A Pattern for Interconnecting Distributed Components.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

Discovering Workflow Patterns from Timed Logs.

[BibT_eX]

[DOI]

Proceedings of the EMISA 2004, 2004

Discovering Workflow Transactional Behavior from Event-Based Log.

[BibT_eX]

[DOI]