
Walid Gaaloul
Présentation
**Prof.dr.ir. Walid Gaaloul ** is a professor at Télécom SudParis an engineering school (grande école d'ingénieurs) in the field of Information and Communication Technology. Télécom SudParis is part of Institut Polytechnique de Paris (IP Paris) and Institut Mines Télécom. Walid Gaaloul is member of the DIEGO group part of the Computer Science Department of Télécom SudParis and the the CNRS research laboratory SAMOVAR.
Before joining Télécom SudParis, he was a researcher at the Digital Enterprise Research Institute (DERI) and an adjunct lecturer in the National University of Ireland, Galway (NUIG). He holds an M.S. (2002) and a Ph.D. (2006) in computer science from the University of Lorraine, France, and a habilitation (2014) from Pierre et Marie Curie University, Paris, France. He was a junior researcher in the Lorraine Laboratory of IT Research and its Applications (LORIA-INRIA) and a teaching assistant in the University of Lorraine, France.
His research interests are on Business Process Management, Process Mining, Cloud Computing, Service Oriented Computing. Walid Gaaloul has published over 100 research papers in these domains. He serves as program committee member and reviewer at many international journals and conferences and has been participating in several national and European research projects.
Publications
Publications
Accurate Anomaly Detection Leveraging Knowledge-enhanced GATIEEE International Conference on Web Services (ICWS 2024), Jul 2024, Shenzhen, China. pp.568-577, ⟨10.1109/ICWS62655.2024.00077⟩
Communication dans un congrès
hal-04933958
v1
|
|
Energy-aware service migration in end-edge-cloud collaborative networks2024 IEEE International Conference on Web Services (ICWS), Jul 2024, Shenzhen, France. pp.974-979, ⟨10.1109/ICWS62655.2024.00116⟩
Communication dans un congrès
hal-04933962
v1
|
|
Multi-perspective conformance checking for email-driven processesWeb Information Systems Engineering - {WISE} 2024 - 25th International Conference, Dec 2024, Doha, Qatar. pp.441-457, ⟨10.1007/978-981-96-0576-7_32⟩
Communication dans un congrès
hal-04933969
v1
|
|
|
Discovering guard stage milestone models through hierarchical clusteringInternational Conference on Cooperative Information Systems (CoopIS), Oct 2023, Groningen, Netherlands. pp.239-256, ⟨10.1007/978-3-031-46846-9_13⟩
Communication dans un congrès
hal-04257487
v1
|
|
Zooming in for clarity: towards low-code modeling for activity data flow21st International Conference on Business Process Management {BPM}, Sep 2023, Utrecht, Netherlands. pp.267-282, ⟨10.1007/978-3-031-41623-1_16⟩
Communication dans un congrès
hal-04376895
v1
|
|
Uncovering implicit bundling constraints: empowering cloud network service discovery21st International Conference on Service-Oriented Computing (ICSOC), Nov 2023, Rome, Italy. pp.115-123, ⟨10.1007/978-3-031-48424-7_9⟩
Communication dans un congrès
hal-04311834
v1
|
|
Process mining approach for multi-cloud SLA reporting2023 IEEE International Conference on Big Data (IEEE BigData), Dec 2023, Sorrento (Italie), Italy
Communication dans un congrès
hal-04343935
v1
|
|
Request relaxation based-on provider constraints for a capability-based NaaS services discovery35th International Conference on Advanced Information Systems Engineering (CAiSE), Jun 2023, ZARAGOZA, Spain. pp.611-627, ⟨10.1007/978-3-031-34560-9_36⟩
Communication dans un congrès
hal-04198824
v1
|
A novel logic-based adaptive monitoring for composite edge services2023 IEEE International Conference on Web Services (ICWS), Jul 2023, Chicago, France. pp.310-317, ⟨10.1109/ICWS60048.2023.00050⟩
Communication dans un congrès
hal-04376886
v1
|
|
|
Blockchain logging for process mining: a systematic reviewHICSS 2022: 55th Hawaii International Conference on System Sciences, Jan 2022, Hawaii, United States. pp.6197-6206, ⟨10.24251/HICSS.2022.751⟩
Communication dans un congrès
hal-03631633
v1
|
|
Enabling multi-provider cloud network service bundling2022 IEEE International Conference on Web Services (ICWS), Jul 2022, Barcelona, Spain. pp.405-414, ⟨10.1109/ICWS55610.2022.00067⟩
Communication dans un congrès
hal-03782791
v1
|
Enabling multi-process discovery on graph databasesCoopIS 2022: Cooperative Information Systems - 28th International Conference, Oct 2023, Bolzano, Bolzen, France. pp.112-130, ⟨10.1007/978-3-031-17834-4_7⟩
Communication dans un congrès
hal-03992652
v1
|
|
|
A trustworthy decentralized change propagation mechanism for declarative choreographies20th International Conference on Business Process Management, Sep 2022, Munster, Germany. pp.418-435, ⟨10.1007/978-3-031-16103-2_27⟩
Communication dans un congrès
hal-04295596
v1
|
Automatic processing of planning problems: application on representative case studiesAdvances in Computational Collective Intelligence - 14th International(ICCCI), Sep 2022, Hammamet, Tunisia. pp.436-445, ⟨10.1007/978-3-031-16210-7_36⟩
Communication dans un congrès
hal-03992678
v1
|
|
Extracting artifact-centric event logs from blockchain applications2022 SCC: International Conference on Services Computing (SCC), Jul 2022, Barcelona, France. pp.274-283, ⟨10.1109/SCC55611.2022.00048⟩
Communication dans un congrès
hal-03769216
v1
|
|
|
Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach55th Hawaii International Conference on System Sciences (HICCS-55), Jan 2022, Hawaii, United States. ⟨10.24251/HICSS.2022.615⟩
Communication dans un congrès
hal-03526852
v1
|
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approachSAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.316-325, ⟨10.1145/3477314.3507309⟩
Communication dans un congrès
hal-03992692
v1
|
|
Model checking of solidity smart contracts adopted for business processesICSOC 2021: 19th International Conference on Service-Oriented Computing, Nov 2021, Dubai (online), United Arab Emirates. pp.116-132, ⟨10.1007/978-3-030-91431-8_8⟩
Communication dans un congrès
hal-03520013
v1
|
|
A survey on formal verification for solidity smart contractsACSW 2021: Australasian Computer Science Week Multiconference, Feb 2021, Dunedin (online), New Zealand. pp.3:1-3:10, ⟨10.1145/3437378.3437879⟩
Communication dans un congrès
hal-03519986
v1
|
|
CTL-based dynamic IoT service compositionICWS 2021: IEEE International Conference on Web Services, Sep 2021, Chicago (online), United States. pp.381-388, ⟨10.1109/ICWS53863.2021.00057⟩
Communication dans un congrès
hal-03520021
v1
|
|
Towards higher-level description of SLA-aware reconfiguration strategies based on state-machineICEBE 2021: 17th International Conference on e-Business Engineering, Nov 2021, Guangzhou (online), China. pp.1-8, ⟨10.1109/ICEBE52470.2021.00014⟩
Communication dans un congrès
hal-03641853
v1
|
|
An intent-based natural language interface for querying process execution dataICPM 2021: 3rd International Conference on Process Mining (ICPM), Oct 2021, Eindhoven, Netherlands. pp.152-159, ⟨10.1109/ICPM53251.2021.9576850⟩
Communication dans un congrès
hal-03519996
v1
|
|
Track Before Detect: a novel approach for unsupervised anomaly detection In time seriesSMDS 2021: IEEE International Conference on Smart Data Services, Sep 2021, Chicago (online), United States. pp.142-151, ⟨10.1109/SMDS53860.2021.00028⟩
Communication dans un congrès
hal-03520025
v1
|
|
|
Cross-collaboration processes based on blockchain and IoT: a surveyHICSS 2021: 54th Hawaii International Conference on System Sciences, Jan 2021, Maui, Hawaii, United States. pp.4291-4300, ⟨10.24251/HICSS.2021.521⟩
Communication dans un congrès
hal-03107913
v1
|
Adaptive IoT service configuration optimization in edge networksINFOCOM 2021: IEEE Conference on Computer Communications Workshops, May 2021, Vancouver (online), Canada. pp.1-2, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484465⟩
Communication dans un congrès
hal-03520023
v1
|
|
Hire me fairly: towards dynamic resource-binding with smart contractsSCC 2021: IEEE International Conference on Services Computing, Sep 2021, Chicago (online), United States. pp.407-412, ⟨10.1109/SCC53864.2021.00058⟩
Communication dans un congrès
hal-03519990
v1
|
|
Migration-based service allocation optimization in dynamic IoT networksICSOC 2021: 19th International Conference on Service-Oriented Computing, Nov 2021, Dubai (online), United Arab Emirates. pp.385-399, ⟨10.1007/978-3-030-91431-8_24⟩
Communication dans un congrès
hal-03520017
v1
|
|
Discovery of activities’ actor perspective from emails based on speech acts detectionICPM 2020: 2nd International Conference on Process Mining, Oct 2020, Padua (online), Italy. pp.73-80, ⟨10.1109/ICPM49681.2020.00021⟩
Communication dans un congrès
hal-03122728
v1
|
|
Detecting temporal anomaly and interestingness in timed business process modelsICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.418-422, ⟨10.1109/ICWS49710.2020.00061⟩
Communication dans un congrès
hal-03122762
v1
|
|
Discovering activities from emails based on pattern discovery approachBPM 2020: Business Process Management Forum, Sep 2020, Seville (online), Spain. pp.88-104, ⟨10.1007/978-3-030-58638-6_6⟩
Communication dans un congrès
hal-03122726
v1
|
|
Learning a configurable deployment descriptors model in NFVNOMS 2020: IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS47738.2020.9110328⟩
Communication dans un congrès
hal-03122769
v1
|
|
|
Running transactional business processes with blockchain's smart contractsICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.89-93, ⟨10.1109/ICWS49710.2020.00019⟩
Communication dans un congrès
hal-03046990
v1
|
A meta model for mining processes from email dataSCC 2020: IEEE International Conference on Services Computing, Nov 2020, Beijing (online), China. pp.152-161, ⟨10.1109/SCC49832.2020.00028⟩
Communication dans un congrès
hal-03122716
v1
|
|
On the verification of data encryption requirements in Internet of Things using Event-BICDEc 2019: 4th international conference on Digital Economy. Emerging Technologies and Business Innovation, Apr 2019, Beirut, Lebanon. pp.147-156, ⟨10.1007/978-3-030-30874-2_11⟩
Communication dans un congrès
hal-03123346
v1
|
|
A SAT-based formal approach for verifying business process configurationINNOVATIVE-DATA 2019: 5th international conference on Big Data Innovations and Applications, Aug 2019, Istanbul, Turkey. pp.47-62, ⟨10.1007/978-3-030-27355-2_4⟩
Communication dans un congrès
hal-03123347
v1
|
|
|
Blockchain's fame reaches the execution of personalized touristic itinerariesWETICE 2019 : IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Naples, Italy. pp.186-191, ⟨10.1109/WETICE.2019.00047⟩
Communication dans un congrès
hal-02385019
v1
|
SoS paradigm benefits SaaS integration: novel approach and first resultsWETICE 2019: 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Napoli, Italy. pp.174-179, ⟨10.1109/WETICE.2019.00045⟩
Communication dans un congrès
hal-02482855
v1
|
|
A transactional approach for reliable elastic cloud resourcesSCC 2019: 16th IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.154-161, ⟨10.1109/SCC.2019.00035⟩
Communication dans un congrès
hal-02280891
v1
|
|
Using deep learning for recommending and completing deployment descriptors in NFVNETSOFT 2019: IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.233-235, ⟨10.1109/NETSOFT.2019.8806704⟩
Communication dans un congrès
hal-02482849
v1
|
|
Model-driven orchestration for cloud resourcesCLOUD 2019: 12th IEEE International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.422-429, ⟨10.1109/CLOUD.2019.00074⟩
Communication dans un congrès
hal-02482813
v1
|
|
Discovering crossing-workflow fragments based on activity knowledge graphOTM 2019: On the Move to Meaningful Internet Systems Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC, Oct 2019, Rhodes, Greece. pp.515-532, ⟨10.1007/978-3-030-33246-4_32⟩
Communication dans un congrès
hal-02482868
v1
|
|
Scheduling business process activities for time-aware cloud resource allocationOTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.445 - 462, ⟨10.1007/978-3-030-02610-3_25⟩
Communication dans un congrès
hal-01996235
v1
|
|
Energy-efficient WSN service composition for concurrent applicationsICWS 2018: IEEE International Conference on Web Services, Jun 2018, Seattle, United States. pp.74 - 81, ⟨10.1109/ICWS.2018.00017⟩
Communication dans un congrès
hal-01996141
v1
|
|
Configurable IoT-aware allocation in business processesSCC 2018: International Conference on Services Computing, Jun 2018, Seattle, United States. pp.119 - 136, ⟨10.1007/978-3-319-94376-3_8⟩
Communication dans un congrès
hal-01996490
v1
|
|
Trustless blockchain-based access control in dynamic collaboration1st INTERNATIONAL CONFERENCE ON BIG DATA AND CYBER-SECURITY INTELLIGENCE (BDCSIntell’2018), Dec 2018, beirut, Lebanon. pp.27-33
Communication dans un congrès
hal-03781538
v1
|
|
Formal verification of temporal constraints and allocated cloud resources in business processesAINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Krakow, Poland. pp.952 - 959, ⟨10.1109/AINA.2018.00139⟩
Communication dans un congrès
hal-01996077
v1
|
|
A formal model for business process configuration verification supporting OR-join semanticsOTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.623 - 642, ⟨10.1007/978-3-030-02610-3_35⟩
Communication dans un congrès
hal-01996462
v1
|
|
Formal modelling and verification of cloud resource allocation in business processesOTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.552 - 567, ⟨10.1007/978-3-030-02610-3_31⟩
Communication dans un congrès
hal-01996297
v1
|
|
Model-driven elasticity for cloud resourcesCAISE 2018: 30th International Conference on Advanced Information Systems Engineering, Jun 2018, Tallinn, Estonia. pp.187 - 202, ⟨10.1007/978-3-319-91563-0_12⟩
Communication dans un congrès
hal-01996104
v1
|
|
Semantic-based global network view construction in software defined networks with multiple controllersNETSOFT 2018: 4th Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.252 - 256, ⟨10.1109/NETSOFT.2018.8460137⟩
Communication dans un congrès
hal-01996211
v1
|
|
[WiP] Formal modelling of IT resource allocation in business processesSOCA 2018: 11th Conference on Service-Oriented Computing and Applications, Nov 2018, Paris, France. pp.227 - 232, ⟨10.1109/SOCA.2018.00040⟩
Communication dans un congrès
hal-01996546
v1
|
|
Anti-pattern specification and correction recommendations for semantic cloud servicesHICSS 2017 : 50th Hawaii International Conference on System Sciences, Jan 2017, Waikoloa Village, United States. pp.4231 - 4240
Communication dans un congrès
hal-01696837
v1
|
|
Semantic framework for Internet of Things-aware business process developmentWETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.214 - 219, ⟨10.1109/WETICE.2017.54⟩
Communication dans un congrès
hal-01698458
v1
|
|
|
OCCI-compliant cloud configuration simulationEDGE 2017 : 1st International Conference on Edge Computing , Jun 2017, Honolulu, United States. pp.73 - 81, ⟨10.1109/IEEE.EDGE.2017.18⟩
Communication dans un congrès
hal-01696667
v1
|
|
Optimal cost for time-aware cloud resource allocation in business processSCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.314 - 321, ⟨10.1109/SCC.2017.47⟩
Communication dans un congrès
hal-01696637
v1
|
|
Simulation of configurable resource allocation for cloud-based business processesSCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.305 - 313, ⟨10.1109/SCC.2017.46⟩
Communication dans un congrès
hal-01696560
v1
|
Cloud SLA modeling and monitoringSCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.338 - 345, ⟨10.1109/SCC.2017.50⟩
Communication dans un congrès
hal-01696649
v1
|
|
|
Model-based development of modular complex systems for accomplishing system integration for industry 4.05th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Feb 2017, Porto, Portugal. pp.487-495, ⟨10.5220/0006210504870495⟩
Communication dans un congrès
hal-01474906
v1
|
Genetic-based configurable cloud resource allocation in QoS-aware business process developmentICWS 2017 : 24th International Conference on Web Services, Jun 2017, Honolulu, United States. pp.836 - 839, ⟨10.1109/ICWS.2017.101⟩
Communication dans un congrès
hal-01696951
v1
|
|
Deadlock-freeness verification of business process configuration using SOGICSOC 2017 : 15th International Conference on Service-Oriented Computing, Nov 2017, Malaga, Spain. pp.96 - 112, ⟨10.1007/978-3-319-69035-3_7⟩
Communication dans un congrès
hal-01696906
v1
|
|
Ontology-based SLA negotiation and re-negotiation for cloud computingWETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.36 - 41, ⟨10.1109/WETICE.2017.24⟩
Communication dans un congrès
hal-01697003
v1
|
|
Adaptive Deployment of Service-Based Processes into Cloud FederationsInternational Conference on Web Information Systems Engineering WISE 2017, Oct 2017, Puschino, Russia. pp.275 - 289, ⟨10.1007/978-3-319-68783-4_19⟩
Communication dans un congrès
hal-01698525
v1
|
|
Formal verification of cloud resource allocation in business processes using Event-BAINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 - 753, ⟨10.1109/AINA.2016.126⟩
Communication dans un congrès
hal-01341653
v1
|
|
A semantic framework supporting business process variability using event logsSCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.163 - 170, ⟨10.1109/SCC.2016.28⟩
Communication dans un congrès
hal-01455133
v1
|
|
A linear program for optimal configurable business processes deployment into cloud federationSCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.34 - 41, ⟨10.1109/SCC.2016.31⟩
Communication dans un congrès
hal-01455130
v1
|
|
A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environmentLANMAN 2016 : 23rd International Symposium on Local and Metropolitan Area Networks , Jun 2016, Rome, Italy. pp.1 - 2, ⟨10.1109/LANMAN.2016.7548876⟩
Communication dans un congrès
hal-01455637
v1
|
|
Energy efficient configurable resource allocation in cloud-based business processesOTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.437 - 444, ⟨10.1007/978-3-319-48472-3_25⟩
Communication dans un congrès
hal-01455670
v1
|
|
A demo of IoT healthcare application provisioning in hybrid cloud/fog environmentCLOUD COM 2016 : 8th International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. pp.472 - 475, ⟨10.1109/CloudCom.2016.0081⟩
Communication dans un congrès
hal-01455506
v1
|
|
Semantic web technologies in cloud computing: a systematic literature reviewSCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.744 - 751, ⟨10.1109/SCC.2016.102⟩
Communication dans un congrès
hal-01455455
v1
|
|
A configurable resource allocation for multi-tenant process development in the cloudCAiSE 2016 : 28th International Conference on Advanced Information Systems Engineering, Jun 2017, Ljubljana, Slovenia. pp.558 - 574, ⟨10.1007/978-3-319-39696-5_34⟩
Communication dans un congrès
hal-01455485
v1
|
|
A global SLA-aware approach for aggregating services in the cloudOTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.363 - 380, ⟨10.1007/978-3-319-48472-3_21⟩
Communication dans un congrès
hal-01455652
v1
|
|
Formal verification of time-aware cloud resource allocation in business processOTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.400 - 417, ⟨10.1007/978-3-319-48472-3_23⟩
Communication dans un congrès
hal-01455664
v1
|
|
A formal guidance approach for correct process configurationICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 - 498, ⟨10.1007/978-3-319-46295-0_30⟩
Communication dans un congrès
hal-01425991
v1
|
|
A semantic framework supporting cloud resource descriptions interoperabilityCLOUD 2016 : 9th International Conference on Cloud Computing, Jun 2017, San Francisco, United States. pp.585 - 592, ⟨10.1109/CLOUD.2016.0083⟩
Communication dans un congrès
hal-01455119
v1
|
|
Social-based semantic framework for cloud resource management in business processesSCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.443 - 450, ⟨10.1109/SCC.2016.64⟩
Communication dans un congrès
hal-01455425
v1
|
|
An event-B based approach for ensuring correct configurable business processesICWS 2016 : 23rd IEEE International Conference on Web Services, Jun 2016, San Francisco, United States. pp.460 - 467, ⟨10.1109/ICWS.2016.66⟩
Communication dans un congrès
hal-01359893
v1
|
|
Detecting cloud (anti)patterns: OCCI perspectiveICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.202 - 218, ⟨10.1007/978-3-319-46295-0_13⟩
Communication dans un congrès
hal-01455521
v1
|
|
|
Towards resource-aware business process development in the cloudAINA 2015 : 29th IEEE International Conference onAdvanced Information Networking and Applications, Mar 2015, Gwangiu, South Korea. pp.761 - 768, ⟨10.1109/AINA.2015.265⟩
Communication dans un congrès
hal-01255060
v1
|
Event-B based approach for verifying cloud resource allocation in business processSCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.538 - 545, ⟨10.1109/SCC.2015.79⟩
Communication dans un congrès
hal-01255087
v1
|
|
Extracting configuration guidance models from business process repositoriesBPM 2015 : 13th International Conference on Business Process Management, Aug 2015, Innsbruck, Autriche. pp.198 - 206, ⟨10.1007/978-3-319-23063-4_14⟩
Communication dans un congrès
hal-01255063
v1
|
|
Semantic process fragments matching to assist the development of process variantsSCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.712 - 719 ⟨10.1109/SCC.2015.101⟩
Communication dans un congrès
hal-01255078
v1
|
|
Log-Based Process Fragment Querying to Support Process Desig2015 48th Hawaii International Conference on System Sciences (HICSS), Jan 2015, Kauai, HI, United States. ⟨10.1109/HICSS.2015.493⟩
Communication dans un congrès
hal-01253062
v1
|
|
Genetic-based approach for ATS and SLA-aware web services compositionWISE 2015 : 16th International Conference Web Information Systems Engineering, Nov 2015, Miami, United States. pp.369 - 383, ⟨10.1007/978-3-319-26190-4_25⟩
Communication dans un congrès
hal-01282712
v1
|
|
|
Configuration rule mining for variability analysis in configurable process modelsICSOC 2014 : 12th International Conference on Service Oriented Computing, Nov 2014, Paris, France. pp.1 - 15, ⟨10.1007/978-3-662-45391-9_1⟩
Communication dans un congrès
hal-01263085
v1
|
|
Querying Services Based on Composition Context23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Jun 2014, Parma, Italy. pp.44 - 49, ⟨10.1109/WETICE.2014.34⟩
Communication dans un congrès
hal-01113536
v1
|
A formal approach for enforcing transactional requirements in web service compositionsSCC 2014 : 11th IEEE International Conference on Services Computing, Jun 2014, Anchorage, Ak, United States. pp.637 - 644, ⟨10.1109/SCC.2014.89⟩
Communication dans un congrès
hal-01263087
v1
|
|
Mining configurable process fragments for business process designDESRIST 2014 : 9th International Conference on Design Science Research in Information Systems and Technology , May 2014, Miami, United States. pp.209 - 224, ⟨10.1007/978-3-319-06701-8_14⟩
Communication dans un congrès
hal-01263086
v1
|
|
|
Mining Event Logs to Assist the Development of Executable Process Variants26th International Conference on Advanced Information Systems Engineering, Jun 2014, Thessaloniki, Greece. pp.548 - 563, ⟨10.1007/978-3-319-07881-6_37⟩
Communication dans un congrès
hal-01113532
v1
|
Modeling and verifying the transactional and QoS-aware services composition using Event-BWETICE 2014 : IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2014, Parme, Italy. pp.313 - 318, ⟨10.1109/WETICE.2014.85⟩
Communication dans un congrès
hal-01263084
v1
|
|
Assisting business process design with configurable process fragmentsIEEE SCC 2013 : 10th International Conference on Services Computing, Jun 2013, Santa Clara C.A., United States. pp.535-542, ⟨10.1109/SCC.2013.97⟩
Communication dans un congrès
hal-00970457
v1
|
|
Event-B based approach for verifying dynamic composite service transactional behaviorICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.251 - 259, ⟨10.1109/ICWS.2013.42⟩
Communication dans un congrès
hal-00967037
v1
|
|
Modeling and managing communities of web service registriesWEBIST '11 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.88-102, ⟨10.1007/978-3-642-28082-5_7⟩
Communication dans un congrès
hal-00751245
v1
|
|
CPS track report : 2nd track on cyber physical society with SOA, BPM and sensor networksWETICE ' 12 : IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.315-317, ⟨10.1109/WETICE.2012.23⟩
Communication dans un congrès
hal-00751232
v1
|
|
An ontology for workflow organizational model miningWETICE 2012 : 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.199 - 204, ⟨10.1109/WETICE.2012.29⟩
Communication dans un congrès
hal-00751234
v1
|
|
|
Assisting business process design by activity neighborhood context matchingICSOC '12 : 10th International Conference on Service Oriented Computing, Nov 2012, Shanghai, China. pp.541-549, ⟨10.1007/978-3-642-34321-6_38⟩
Communication dans un congrès
hal-00748524
v1
|
Towards a unified marketplace for functionality-based cloud service discoveryCLOSER '12 : 2nd International Conference on Cloud Computing and Services Science, Apr 2012, Porto, Portugal. pp.252-257
Communication dans un congrès
hal-00748645
v1
|
|
Data mapping web services for composite DaaS mediationWETICE ' 12 : IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.36-41, ⟨10.1109/WETICE.2012.19⟩
Communication dans un congrès
hal-00751230
v1
|
|
Context-based service recommendation for assisting business process designEC-Web '11 : 12th International Conference on Electronic Commerce and Web Technologies, Aug 2011, Toulouse, France. pp.39-51, ⟨10.1007/978-3-642⟩
Communication dans un congrès
hal-00660119
v1
|
|
Verifying composite service transactional behavior with EVENT-BECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 - 74, ⟨10.1007/978-3-642-23798-0_7⟩
Communication dans un congrès
istex
hal-01354674
v1
|
|
MDE approach for the generation and verification of SCA modeliiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩
Communication dans un congrès
hal-00751241
v1
|
|
An implicit approach for building communities of web service registriesiiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.230-237, ⟨10.1145/2095536.2095575⟩
Communication dans un congrès
hal-00751240
v1
|
|
Petri net modeling and verification of transactional workflowsWETICE 2011 : 20th IEEE International Conference on Collaboration Technologies and Infrastructures, Jun 2011, Paris, France. pp.176 - 184, ⟨10.1109/WETICE.2011.72⟩
Communication dans un congrès
hal-01303060
v1
|
|
Service protocol replaceability assessment in mediated service interactionsICC 2011 : IEEE International Conference on Communications, Jun 2011, Kyoto, Japan. pp.1 - 5, ⟨10.1109/icc.2011.5963370⟩
Communication dans un congrès
hal-01303821
v1
|
|
Composition Context Matching for Web Service RecommendationSCC '11 : The 8th International Conference on Services Computing, Jul 2011, Washington, United States. pp.624-631, ⟨10.1109/SCC.2011.68⟩
Communication dans un congrès
hal-00748846
v1
|
|
Towards a transformation of composite web service with QoS extension into ACME\ArmaniiiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩
Communication dans un congrès
hal-00751243
v1
|
|
Profile UML2.0 for specification of the SCA architecturesSKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩
Communication dans un congrès
hal-01354605
v1
|
|
UML 2.0 Profile for Structural and Behavioral Specification of SCA ArchitecturesThe Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Communication dans un congrès
hal-00648911
v1
|
|
A web service recommender system using vector space model and latent semantic indexingAINA 2011 : 25th IEEE International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.602 - 609, ⟨10.1109/AINA.2011.99⟩
Communication dans un congrès
hal-01303862
v1
|
|
Implementation of communities of web service registriesICWS 2011 : 9th IEEE International Conference on Web Services, Jul 2011, Washington, United States. pp.690 - 691, ⟨10.1109/ICWS.2011.69⟩
Communication dans un congrès
hal-01303860
v1
|
|
Clustering and managing data providing services using machine learning techniqueIWCPS 2011 : 2nd International Workshop on Cyber-Physical Society, Oct 2011, Beijing, China. pp.225 - 232, ⟨10.1109/SKG.2011.9⟩
Communication dans un congrès
hal-01302449
v1
|
|
ATL transformation for the generation of SCA modelSKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
Communication dans un congrès
hal-00751248
v1
|
|
|
Graph-based management of communities of web service registriesWEBIST 2011 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.61 - 70, ⟨10.5220/0003347400610070⟩
Communication dans un congrès
hal-01303855
v1
|
Functionality-driven clustering of web service registriesSCC 2010 : 7th International Conference on Services Computing, Jul 2010, Miami, United States. pp.631 - 634, ⟨10.1109/SCC.2010.70⟩
Communication dans un congrès
hal-01356813
v1
|
|
WSRD : a Web Services Registry DescriptionNOTERE 2010 : 10ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, May 2010, Tozeur, Tunisia
Communication dans un congrès
hal-00552969
v1
|
|
Web services recommendation based on user's behaviorICEBE 2010 : IEEE International Conference on e-Business Engineering, Nov 2010, Shanghai, China. pp.214 - 221, ⟨10.1109/ICEBE.2010.35⟩
Communication dans un congrès
hal-01308672
v1
|
|
Using recommendation to limit search space in Web services discoveryAINA 2010 : 24th IEEE International Conference on Advanced Information Networking and Applications, Apr 2010, Perth, Australia. pp.974 - 981, ⟨10.1109/AINA.2010.44⟩
Communication dans un congrès
hal-01354827
v1
|
|
Collaborative filtering technique for web service recommendation based on user-operation combinationCoopIS 2010 : 18th International Conference on Cooperative Information Systems, Oct 2010, Crete, Greece. pp.222 - 239, ⟨10.1007/978-3-642-16934-2_17⟩
Communication dans un congrès
istex
hal-01308334
v1
|
|
Towards an approach of formal verification of mediation protocol based on Web servicesiiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩
Communication dans un congrès
hal-01308596
v1
|
|
From workflow models to executable Web service interfacesICWS 2009 : IEEE 7th International Conference on Web Services, Jul 2009, Los Angeles, Ca, United States. pp.131 - 140, ⟨10.1109/ICWS.2009.51⟩
Communication dans un congrès
hal-00441503
v1
|
|
A workflow mining tool based on logs statistical analysisThe Eighteenth International Conference on Software Engineering and Knowledge Engineering SEKE'06, Jul 2006, San Francisco, California, USA
Communication dans un congrès
inria-00114832
v1
|
|
A bottom-up workflow mining approach for workflow applications analysis2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS'06, Jun 2006, San Francisco, California, USA
Communication dans un congrès
inria-00114831
v1
|
|
Discovering and Improving Recovery Mechanisms of Composite Web ServicesIEEE International Conference on Web Services - ICWS'06, Sep 2006, Chicago, USA, pp.99-110, ⟨10.1109/ICWS.2006.52⟩
Communication dans un congrès
inria-00114835
v1
|
|
Workflowminer: A new workflow patterns and performance analysis tool18th Conference on Advanced Information Systems Engineering - CAiSE'06 Forum and Tools Demonstrations, Jun 2006, Luxembourg, Luxembourg
Communication dans un congrès
inria-00114828
v1
|
|
Mining Workflow Recovery From Event Based LogsThird International Conference on Business Process Management - BPM'05, Sep 2005, Nancy, France., pp.169-185, ⟨10.1007/11538394_12⟩
Communication dans un congrès
istex
inria-00000482
v1
|
|
Mining Workflow Patterns through Event-data AnalysisInternational Symposium on Applications and the Internet - SAINT 2005. Workshop 6: Teamware: Supporting Scalebable Virtual Teams in Multi-organizational Settings, Jan 2005, Trento, Italy, pp.226- 229, ⟨10.1109/SAINTW.2005.1620017⟩
Communication dans un congrès
inria-00000484
v1
|
|
Towards Mining Structural Workflow Patterns16th International Conference on Database and Expert Systems Applications DEXA'05, Aug 2005, Copenhagen, Denmark. pp.24-33, ⟨10.1007/11546924_3⟩
Communication dans un congrès
istex
inria-00000483
v1
|
|
Business Process Intelligence : Discovering and Improving Transactional behavior of Composite Services From LogsDoctoral symposium in INTEROP-ESA'05 - First International Conference on Interoperability of Enterprise Software and Applications, Feb 2005, Geneva/Switzerland
Communication dans un congrès
inria-00000485
v1
|
|
WorkflowMiner : An infrastructure for Mining Workflow Patterns3èmes Journées Nationales sur les Systèmes Intelligents : Théories et Applications - SITA'04, Oct 2004, Rabat, Maroc
Communication dans un congrès
inria-00000488
v1
|
|
A Pattern for Interconnecting Distributed Components6th International Conference on Enterprise Information Systems - ICEIS 2004, Apr 2004, Porto/Portugal, pp.430-434
Communication dans un congrès
inria-00000489
v1
|
|
Discovering Workflow Patterns from Timed LogsInformation Systems in E-Business and E-Government - EMISA 2004, Oct 2004, Luxembourg/Luxembourg
Communication dans un congrès
inria-00000487
v1
|
|
Discovering Workflow Transactional Behaviour from Event-based Log12th International Conference on Cooperative Information Systems - CoopIS 2004 ; On The Move Federated Conferences - OTM 2004, Oct 2004, Agia Napa/Cyprus., pp.3-18, ⟨10.1007/b102173⟩
Communication dans un congrès
inria-00000486
v1
|
|
An Object Oriented Metamodel for Inter-entreprises Cooperative Processes based on Web Services7th World Conference on Integrated Design and Process Technology 2003 - IDPT'2003, 2003, Austin, Texas, Etats Unis
Communication dans un congrès
inria-00099591
v1
|
|
Un patron pour l'interconnexion des composants distribués1ère Conférence Plénière STIC - CoPSTIC'03, Dec 2003, Rabat/Maroc
Communication dans un congrès
inria-00000490
v1
|
|
On the Move to Meaningful Internet Systems. OTM 2017 Conferences, LNCS 10573, pp.767, 2017, ⟨10.1007/978-3-319-69462-7⟩
Ouvrages
hal-01673485
v1
|
25th IEEE international conference on enabling technologies: infrastructure for collaborative enterprises : WETICE 2016IEEE Computer Society, pp.270, 2016, 978-1-5090-1663-1
Ouvrages
hal-01455719
v1
|
|
Service-oriented computing : ICSOC 2015 workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, revised selected papersSpringer, 9586, pp.255, 2016, Lecture notes in computer science, Lecture notes in computer science, 978-3-662-50538-0
Ouvrages
hal-01455706
v1
|
Random-value payment tokens for on-chain privacy-preserving paymentsCooperative Information Systems, 13591, Springer International Publishing, pp.223-241, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-17834-4_13⟩
Chapitre d'ouvrage
hal-03836450
v1
|
|
A reengineering approach for ensuring transactional reliability of composite servicesInformation Science reference. Web Services Research for Emerging Applications: Discoveries and Trends, IGI Global, pp.290-316, 2010, 978-1-61520-684-1. ⟨10.4018/978-1-61520-684-1.ch013⟩
Chapitre d'ouvrage
inria-00540865
v1
|
|
Découverte de la logique des processusLes processus métiers : concepts, modèles et systèmes, Hermès science publications : Lavoisier, 2009, IC2, Série Informatique et systèmes d'information, 978-2-7462-2300-4
Chapitre d'ouvrage
hal-00441528
v1
|
|
Intelligence des processusLes processus métiers : concepts, modèles et systèmes, Hermes Science publications : Lavoisier, pp.199 - 225, 2009, IC2, Série Informatique et systèmes d'information, 978-2-7462-2300-4
Chapitre d'ouvrage
hal-00441531
v1
|
|
Simulation of Configurable Resource Allocation for Cloud-Based Business Processes2017
Pré-publication, Document de travail
hal-01523939
v1
|
|
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process2017
Pré-publication, Document de travail
hal-01525209
v1
|
|
OCCI-Compliant Cloud Configuration Simulation2017
Pré-publication, Document de travail
hal-01523933
v1
|
|
La Découverte de Workflow Transactionnel pour la Fiabilisation des ExécutionsGénie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10130⟩
Thèse
tel-01746856
v2
|
|
Supporting service consumption : advanced discovery and recommendation techniquesSoftware Engineering [cs.SE]. Télécom Ecole de Management, 2014
HDR
tel-01266701
v1
|