selected publications

• academic article

  • Web 3.0-Enabled Microservice Re-Scheduling for Heterogenous Resources Co-Optimization in Metaverse-Integrated Edge Networks.  ACM Transactions on Autonomous and Adaptive Systems.  2025
  • Towards a Trustworthy and Adaptive Execution of Business Process Choreographies.  IEEE Transactions on Services Computing.  17:4383-4396. 2024
  • Energy-Efficient Online Service Migration in Edge Networks.  IEEE Internet of Things Journal.  11:29689-29708. 2024
  • Towards trustworthy and privacy-preserving decentralized auctions.  Journal of Banking and Financial Technology.  8:45-63. 2024
  • CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring.  IEEE Transactions on Services Computing.  17:482-496. 2024
  • Process mining for artifact-centric blockchain applications.  Simulation Modelling Practice and Theory.  127:102779-102779. 2023
  • Natural language querying of process execution data.  Information Systems.  116:102227-102227. 2023
  • Re-Scheduling IoT Services in Edge Networks.  IEEE Transactions on Network and Service Management.  20:3233-3246. 2023
  • CTL-Based Adaptive Service Composition in Edge Networks.  IEEE Transactions on Services Computing.  16:1051-1065. 2022
  • Multi‐perspective business process discovery from messaging systems: State‐of‐the art.  Concurrency and Computation Practice and Experience.  35. 2021
  • Dialogue Management in Conversational Systems: A Review of Approaches, Challenges, and Opportunities.  IEEE Transactions on Cognitive and Developmental Systems.  14:783-798. 2021
  • A model‐driven approach for deployment descriptor design in network function virtualization.  International Journal of Network Management.  32. 2021
  • Adaptive Configuration of Service-Based Smart Sensors in Edge Networks.  IEEE Transactions on Industrial Informatics.  18:2674-2683. 2021
  • Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks.  Personal and Ubiquitous Computing.  27:581-598. 2020
  • Poster: Word embedding for deployment descriptors in NFV.  2020 IFIP Networking Conference (Networking).  625-627. 2020
  • Special Issue on Fog and Cloud Computing for Cooperative Information System Management: Challenges and Opportunities.  Future Generation Computer Systems.  109:704-705. 2020
  • Configurable Deployment Descriptor Model in NFV.  Journal of Network and Systems Management.  28:693-718. 2020
  • Toward higher-level abstractions based on state machine for cloud resources elasticity.  Information Systems.  90:101450-101450. 2019
  • A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric.  Science of Computer Programming.  184:102305-102305. 2019
  • Restriction‐based fragmentation of business processes over the cloud.  Concurrency and Computation Practice and Experience.  33:1-1. 2019
  • Energy-Efficient IoT Service Composition for Concurrent Timed Applications.  Future Generation Computer Systems.  100:1017-1030. 2019
  • Cloud SLA negotiation and re‐negotiation: An ontology‐based context‐aware approach.  Concurrency and Computation Practice and Experience.  32. 2019
  • Virtual Network Function Descriptors Mining using Word Embeddings and Deep Neural Networks.  Immunotechnology.  515-520. 2019
  • Optimal Deployment of Configurable Business Processes in Cloud Federations.  IEEE Transactions on Network and Service Management.  15:1692-1705. 2018
  • Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models.  IEEE Access.  6:59843-59852. 2018
  • Configuration assistée des processus métier. Conception et expérimentation.  Ingénierie des systèmes d information.  20:59-78. 2015
  • An Automated Approach for Assisting the Design of Configurable Process Models.  IEEE Transactions on Services Computing.  8:874-888. 2015
  • A three-dimensional sub-region query processing mechanism in underwater WSNs.  Personal and Ubiquitous Computing.  19:1075-1086. 2015
  • Service querying to support process variant development.  Journal of Systems and Software.  122:538-552. 2015
  • IEEE Access Special Session Editorial: Big Data Services and Computational Intelligence for Industrial Systems.  IEEE Access.  3:3085-3088. 2015
  • Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation.  The Computer Journal.  58:368-384. 2014
  • Deriving configurable fragments for process design.  International Journal of Business Process Integration and Management.  7:2-2. 2014
  • Frontiers in network applications, network systems and web services.  .  2013
  • Communities of Web service registries: Construction and management.  Journal of Systems and Software.  86:835-853. 2012
  • A recommender system based on historical usage data for web service discovery.  Service Oriented Computing and Applications.  6:51-63. 2012
  • Assessing the replaceability of service protocols in mediated service interactions.  Future Generation Computer Systems.  29:287-299. 2011
  • Towards an Approach of Formal Verification of Web Service Composition.  .  2011
  • Log-based transactional workflow mining.  Distributed and Parallel Databases.  25:193-240. 2009

• book

  • Service-Oriented Computing 2024
  • Cooperative Information Systems 2023
  • Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe Forum 2022
  • Service-Oriented Computing – ICSOC 2019 Workshops 2020
  • On the Move to Meaningful Internet Systems. OTM 2017 Conferences 2017
  • 25th IEEE international conference on enabling technologies: infrastructure for collaborative enterprises : WETICE 2016 2016
  • Service-Oriented Computing – ICSOC 2015 Workshops 2016

• chapter

  • Multi-perspective Conformance Checking for Email-Driven Processes.  Lecture notes in computer science. 441-457. 2024
  • Request Relaxation Based-on Provider Constraints for a Capability-Based NaaS Services Discovery.  Lecture notes in computer science. 611-627. 2023
  • Uncovering Implicit Bundling Constraints: Empowering Cloud Network Service Discovery.  Lecture notes in computer science. 115-123. 2023
  • A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies.  Lecture notes in computer science. 418-435. 2022
  • Automatic Processing of Planning Problems: Application on Representative Case Studies.  Communications in computer and information science. 436-445. 2022
  • Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.  Lecture notes in computer science. 47-53. 2021
  • Discovering Activities from Emails Based on Pattern Discovery Approach.  Lecture notes in business information processing. 88-104. 2020
  • A SAT-Based Formal Approach for Verifying Business Process Configuration.  Communications in computer and information science. 47-62. 2019
  • Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph.  Lecture notes in computer science. 515-532. 2019
  • Configurable IoT-Aware Allocation in Business Processes.  Lecture notes in computer science. 119-136. 2018
  • Model-Driven Elasticity for Cloud Resources.  Lecture notes in computer science. 187-202. 2018
  • Deadlock-Freeness Verification of Business Process Configuration Using SOG.  Lecture notes in computer science. 96-112. 2017
  • Toward Context-Aware SLA for Cloud Computing.  Advances in intelligent systems and computing. 350-359. 2017
  • A Formal Guidance Approach for Correct Process Configuration.  Lecture notes in computer science. 483-498. 2016
  • A Global SLA-Aware Approach for Aggregating Services in the Cloud.  Lecture notes in computer science. 363-380. 2016
  • Extracting Configuration Guidance Models from Business Process Repositories.  Lecture notes in computer science. 198-206. 2015
  • Configuration Rule Mining for Variability Analysis in Configurable Process Models.  Lecture notes in computer science. 1-15. 2014
  • Mining Configurable Process Fragments for Business Process Design.  Lecture notes in computer science. 209-224. 2014
  • Mining Event Logs to Assist the Development of Executable Process Variants.  Lecture notes in computer science. 548-563. 2014
  • Preface : 9th International workshop on business process intelligence (BPI 2013).  Lecture notes in business information processing. 2014
  • Modeling and Managing Communities of Web Service Registries.  Lecture notes in business information processing. 88-102. 2012
  • Performative-Based Mining of Workflow Organizational Structures.  Lecture notes in business information processing. 63-75. 2012
  • Process Mining Manifesto.  Lecture notes in business information processing. 169-194. 2012
  • Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination.  Lecture notes in computer science. 222-239. 2010
  • Intelligence des processus.  . 2009

• conference paper

  • Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT.  . 568-577. 2024
  • Energy-Aware Service Migration in End-Edge-Cloud Collaborative Networks.  . 974-979. 2024
  • Integrating Business Process Context into Solidity-to-CPN Formal Verification.  . 68-73. 2024
  • A Novel Logic-Based Adaptive Monitoring for Composite Edge Services.  . 310-317. 2023
  • Model checking of vulnerabilities in smart contracts.  Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 316-325. 2022
  • Blockchain logging for process mining: a systematic review.  Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences. 2022
  • Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach.  Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences. 2022
  • Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine.  . 1-8. 2021
  • An Intent-Based Natural Language Interface for Querying Process Execution Data.  . 152-159. 2021
  • A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.  . 69-74. 2021
  • Hire me fairly: towards dynamic resource-binding with smart contracts.  . 2021
  • Track Before Detect: A Novel Approach For Unsupervised Anomaly Detection In Time Series.  . 142-151. 2021
  • A Survey on Formal Verification for Solidity Smart Contracts.  . 1-10. 2021
  • Cross-Collaboration Processes based on Blockchain and IoT: a survey.  Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences. 2021
  • A Meta Model for Mining Processes from Email Data.  . 152-161. 2020
  • Detecting Temporal Anomaly and Interestingness in Timed Business Process Models.  . 418-422. 2020
  • Running Transactional Business Processes with Blockchain's Smart Contracts.  . 89-93. 2020
  • Learning a Configurable Deployment Descriptors Model in NFV.  NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium. 1-9. 2020
  • A Transactional Approach for Reliable Elastic Cloud Resources.  . 154-161. 2019
  • Model-Driven Orchestration for Cloud Resources.  . 422-429. 2019
  • Blockchain's Fame Reaches the Execution of Personalized Touristic Itineraries.  . 186-191. 2019
  • SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results.  . 174-179. 2019
  • Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV.  . 233-235. 2019
  • Trustless blockchain-based access control in dynamic collaboration.  . 2018
  • [WiP] Formal Modelling of IT Resource Allocation in Business Processes.  . 227-232. 2018
  • Energy-Efficient WSN Service Composition for Concurrent Applications.  . 74-81. 2018
  • Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers.  . 252-256. 2018
  • Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.  . 952-959. 2018
  • Cloud SLA Modeling and Monitoring.  . 2017
  • Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development.  . 2017
  • OCCI-Compliant Cloud Configuration Simulation.  . 73-81. 2017
  • Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing.  . 36-41. 2017
  • Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.  . 314-321. 2017
  • Semantic Framework for Internet of Things-Aware Business Process Development.  . 214-219. 2017
  • Simulation of Configurable Resource Allocation for Cloud-Based Business Processes.  . 305-313. 2017
  • Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0.  . 487-495. 2017
  • A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment.  . 2016
  • A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation.  . 34-41. 2016
  • A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment.  . 1-2. 2016
  • An Event-B Based Approach for Ensuring Correct Configurable Business Processes.  . 460-467. 2016
  • Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.  . 746-753. 2016
  • CPS 2015 Track Report: Cyber Physical Society.  . 114-115. 2015
  • Log-Based Process Fragment Querying to Support Process Design.  . 4109-4119. 2015
  • A framework for semantic telco process management - An industrial case study.  . 44-49. 2014
  • Querying Services Based on Composition Context.  . 44-49. 2014
  • Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014).  . 255-256. 2014
  • Assisting Business Process Design with Configurable Process Fragments.  IEEE International Conference on Services Computing. 535-542. 2013
  • CPS Track Report.  . 200-201. 2013
  • Event-B Formalisation of Web Services for Dynamic Composition.  . 150-156. 2012
  • An Ontology for Workflow Organizational Model Mining.  . 199-204. 2012
  • Data Mapping Web Services for Composite DaaS Mediation.  . 36-41. 2012
  • TOWARDS A UNIFIED MARKETPLACE FOR FUNCTIONALITY-BASED CLOUD SERVICE DISCOVERY.  . 252-257. 2012
  • An implicit approach for building communities of web service registries.  . 230-237. 2011
  • Towards a transformation of composite web service with QoS extension into ACME\Armani.  . 349-352. 2011
  • ATL Transformation for the Generation of SCA Model.  . 164-167. 2011
  • Profile UML2.0 for Specification of the SCA Architectures.  . 191-194. 2011
  • Verifying Composite Service Transactional Behavior with EVENT-B.  . 99-106. 2011
  • Composition Context Matching for Web Service Recommendation.  IEEE International Conference on Services Computing. 624-631. 2011
  • GRAPH-BASED MANAGEMENT OF COMMUNITIES OF WEB SERVICE REGISTRIES.  . 61-70. 2011
  • Functionality-Driven Clustering of Web Service Registries.  IEEE International Conference on Services Computing. 631-634. 2010
  • WSRD: A web services registry description.  . 89-96. 2010
  • Using Recommendation to Limit Search Space in Web Services Discovery.  . 974-981. 2010