Nawal Guermouche

Zakaria Maamar

Computing, 2021

2020

Time-aware selection approach for service composition based on pruning and improvement techniques.

[BibT_eX]

[DOI]

Softw. Qual. J., 2020

A comprehensive survey on modeling of cyber-physical systems.

[BibT_eX]

[DOI]

Imen Graja

Ahmed Hadj Kacem

Concurr. Comput. Pract. Exp., 2020

A systematic literature review on BPMN extensions.

[BibT_eX]

[DOI]

Bus. Process. Manag. J., 2020

Towards avatar-based discovery for IoT services using social networking and clustering mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Network and Service Management, 2020

2019

Modelling and verifying time-aware processes for cyber-physical environments.

[BibT_eX]

[DOI]

Imen Graja

Ahmed Hadj Kacem

IET Softw., 2019

A BPMN Extension for Business Process Outsourcing to the Cloud.

[BibT_eX]

[DOI]

Proceedings of the New Knowledge in Information Systems and Technologies, 2019

taAutonomous Avatar-based Architecture for Value-added Services Provision.

[BibT_eX]

[DOI]

Karima Khadir

Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019

Automating the Generation of Comparison Weights for Enhancing the AHP Decision-Making Process.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2019, 2019

2018

An Ontology Based Context-Aware Architecture for Smart Campus Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Autonomic Management Approach for Dynamic Service Based IoT Systems.

[BibT_eX]

[DOI]

Guillaume Garzone

Proceedings of the 2018 International Symposium on Networks, Computers and Communications, 2018

2017

Verification of the Consistency of Time-Aware Cyber-Physical Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Modeling and verification of temporal properties in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

2016

Self-management of machine-to-machine communications: a multi-models approach.

[BibT_eX]

[DOI]

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

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

Time patterns for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communication, 2016

Dynamic Selection for Service Composition Based on Temporal and QoS Constraints.

[BibT_eX]

[DOI]

Ikbel Guidara

Imane Al Jaouhari

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

The temporal perspective in business process modeling: a survey and research challenges.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2015

Time-Dependent QoS Aware Best Service Combination Selection.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2015

MADYNE 2015 Track Report: Management of Dynamic Networked Enterprises.

[BibT_eX]

[DOI]

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

Heuristic Based Time-Aware Service Selection Approach.

[BibT_eX]

[DOI]

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

An Approach for Multiple-Instance Based Service Composition.

[BibT_eX]

[DOI]

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

2014

Composition of Web Services based on Timed Mediation.

[BibT_eX]

[DOI]

Int. J. Next Gener. Comput., 2014

Temporal verification of mobile publish/subscribe machine-to-machine communications.

[BibT_eX]

[DOI]

Ghada Gharbi

Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Track Report of Management of Dynamic Networked Enterprises (MADYNE 2014).

[BibT_eX]

[DOI]

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

Pruning Based Service Selection Approach Under QoS and Temporal Constraints.

[BibT_eX]

[DOI]

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

On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes.

[BibT_eX]

[DOI]

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

Timed Verification of Machine-to-Machine communications.

[BibT_eX]

[DOI]

Ghada Gharbi

Proceedings of the 5th International Conference on Ambient Systems, 2014

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Composition of Web Services: From Qualitative to Quantitative Timed Properties.

[BibT_eX]

[DOI]

Proceedings of the Web Services Foundations, 2014

2013

MADYNE Track Report.

[BibT_eX]

[DOI]

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

Graph-Based Formalism for Machine-to-Machine Self-Managed Communications.

[BibT_eX]

[DOI]

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

Toward a Time-centric modeling of Business Processes in BPMN 2.0.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

A Survey on Time-aware Business Process Modeling.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2013, 2013

Time-Aware Automatic Process View Generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013

2012

MADYNE Track Report: 1st Track on Management of Dynamic Networked Enterprises.

[BibT_eX]

[DOI]

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

Towards timed requirement verification for service choreographies.

[BibT_eX]

[DOI]

Silvano Dal-Zilio

Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

2011

Characterizing Compatibility of Timed Choreography.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

2010

Etude des Interactions Temporisées dans la Composition de Services Web.

[BibT_eX]

[DOI]

PhD thesis, 2010

Analyse de l'interopérabilité des services Web temporisés.

[BibT_eX]

Proceedings of the Actes du XXVIIIème Congrès INFORSID, Marseille, France, 25-28 mai 2010, 2010

Timed Conversational Protocol Based Approach for Web Services Analysis.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Timed Model Checking Based Approach for Web Services Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Asynchronous Timed Web Service-Aware Choreography Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

A Mediator Based Approach For Services Composition.

[BibT_eX]

[DOI]

Olivier Perrin

Christophe Ringeissen

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Timed Properties-Aware Asynchronous Web Service Composition.

[BibT_eX]

[DOI]

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

Data Messaging Based Approach for Web Service Composition.

[BibT_eX]

[DOI]

Boualem Benatallah

Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Toward Data Flow Oriented Services Composition.

[BibT_eX]

[DOI]

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

Timed Specification For Web Services Compatibility Analysis.

[BibT_eX]

[DOI]