Walid Gaaloul
184
Documents
Presentation
**Prof.dr.ir. Walid Gaaloul** is a professor at [Télécom SudParis](http://www.it-sudparis.eu/fr_accueil.html) an engineering school (grande école d'ingénieurs) in the field of Information and Communication Technology. [Télécom SudParis](http://www.it-sudparis.eu/) is part of [Institut Polytechnique de Paris (IP Paris)](https://www.ip-paris.fr/) and [Institut Mines Télécom](https://www.imt.fr/). Walid Gaaloul is member of the [DIEGO ](https://www-inf.telecom-sudparis.eu/departement/diego/)group part of the [Computer Science Department](https://www-inf.telecom-sudparis.eu/departement/) of [Télécom SudParis](http://www.telecom-sudparis.eu/) and the the CNRS research laboratory [SAMOVAR](http://www.it-sudparis.eu/samovar/).
Before joining [Télécom SudParis](http://www.it-sudparis.eu/fr_accueil.html), he was a researcher at the [Digital Enterprise Research Institute](https://en.wikipedia.org/wiki/Digital_Enterprise_Research_Institute) (DERI) and an adjunct lecturer in the [National University of Ireland, Galway](http://www.nuigalway.ie/) (NUIG). He holds an M.S. (2002) and a Ph.D. (2006) in computer science from the [University of Lorraine](http://www.univ-lorraine.fr/), France, and a habilitation (2014) from [Pierre et Marie Curie University](http://www.upmc.fr/en/index.html), Paris, France. He was a junior researcher in the [Lorraine Laboratory of IT Research and its Applications](http://www.loria.fr/) (LORIA-INRIA) and a teaching assistant in the [University of Lorraine](http://www.univ-lorraine.fr/), France.
His [research interests](http://www-inf.int-evry.fr/~gaaloulw/Research/) are on Business Process Management, Process Mining, Cloud Computing, Service Oriented Computing. Walid Gaaloul has published over 100[ research papers](http://www-inf.int-evry.fr/~gaaloulw/Publications/) in these domains. He serves as [program committee member and reviewer](http://www-inf.int-evry.fr/~gaaloulw/Research2/) at many international journals and conferences and has been participating in [several national and European research projects](http://www-inf.int-evry.fr/~gaaloulw/Research1/).
Publications
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⟩
Conference papers
hal-03992652v1
|
|
|
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⟩
Conference papers
hal-04198824v1
|
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⟩
Conference papers
hal-03992678v1
|
|
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⟩
Conference papers
hal-03526852v1
|
|
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⟩
Conference papers
hal-03769216v1
|
|
|
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⟩
Conference papers
hal-03782791v1
|
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⟩
Conference papers
hal-03631633v1
|
|
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⟩
Conference papers
hal-03992692v1
|
|
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⟩
Conference papers
hal-03519996v1
|
|
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⟩
Conference papers
hal-03641853v1
|
|
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⟩
Conference papers
hal-03520025v1
|
|
|
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⟩
Conference papers
hal-03107913v1
|
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⟩
Conference papers
hal-03519990v1
|
|
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⟩
Conference papers
hal-03520017v1
|
|
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⟩
Conference papers
hal-03520023v1
|
|
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⟩
Conference papers
hal-03519986v1
|
|
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⟩
Conference papers
hal-03520021v1
|
|
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⟩
Conference papers
hal-03520013v1
|
|
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⟩
Conference papers
hal-03122726v1
|
|
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⟩
Conference papers
hal-03122769v1
|
|
|
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⟩
Conference papers
hal-03046990v1
|
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⟩
Conference papers
hal-03122716v1
|
|
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⟩
Conference papers
hal-03122728v1
|
|
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⟩
Conference papers
hal-03122762v1
|
|
|
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⟩
Conference papers
hal-02385019v1
|
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⟩
Conference papers
hal-03123347v1
|
|
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⟩
Conference papers
hal-02280891v1
|
|
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⟩
Conference papers
hal-02482855v1
|
|
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⟩
Conference papers
hal-02482868v1
|
|
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⟩
Conference papers
hal-02482813v1
|
|
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⟩
Conference papers
hal-02482849v1
|
|
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⟩
Conference papers
hal-03123346v1
|
|
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⟩
Conference papers
hal-01996077v1
|
|
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⟩
Conference papers
hal-01996297v1
|
|
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⟩
Conference papers
hal-01996462v1
|
|
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⟩
Conference papers
hal-01996104v1
|
|
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
Conference papers
hal-03781538v1
|
|
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⟩
Conference papers
hal-01996490v1
|
|
[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⟩
Conference papers
hal-01996546v1
|
|
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⟩
Conference papers
hal-01996211v1
|
|
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⟩
Conference papers
hal-01996141v1
|
|
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⟩
Conference papers
hal-01996235v1
|
|
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⟩
Conference papers
hal-01696649v1
|
|
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⟩
Conference papers
hal-01696951v1
|
|
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⟩
Conference papers
hal-01696637v1
|
|
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⟩
Conference papers
hal-01696560v1
|
|
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⟩
Conference papers
hal-01455455v1
|
|
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⟩
Conference papers
hal-01698525v1
|
|
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⟩
Conference papers
hal-01455425v1
|
|
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⟩
Conference papers
hal-01455119v1
|
|
Model-based development of modular complex systems for accomplishing system integration for industry 4.0MODELSWARD 2017 : 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.487 - 495, ⟨10.5220/0006210504870495⟩
Conference papers
hal-01696991v1
|
|
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⟩
Conference papers
hal-01697003v1
|
|
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⟩
Conference papers
hal-01696906v1
|
|
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⟩
Conference papers
hal-01455485v1
|
|
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⟩
Conference papers
hal-01455130v1
|
|
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⟩
Conference papers
hal-01455133v1
|
|
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⟩
Conference papers
hal-01696667v1
|
|
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
Conference papers
hal-01696837v1
|
|
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⟩
Conference papers
hal-01698458v1
|
|
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⟩
Conference papers
hal-01455506v1
|
|
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⟩
Conference papers
hal-01455670v1
|
|
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⟩
Conference papers
hal-01359893v1
|
|
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⟩
Conference papers
hal-01455521v1
|
|
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⟩
Conference papers
hal-01425991v1
|
|
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⟩
Conference papers
hal-01455652v1
|
|
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⟩
Conference papers
hal-01455664v1
|
|
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⟩
Conference papers
hal-01455637v1
|
|
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⟩
Conference papers
hal-01341653v1
|
|
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⟩
Conference papers
hal-01255087v1
|
|
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⟩
Conference papers
hal-01255063v1
|
|
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⟩
Conference papers
hal-01255060v1
|
|
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⟩
Conference papers
hal-01255078v1
|
|
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⟩
Conference papers
hal-01282712v1
|
|
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⟩
Conference papers
hal-01253062v1
|
|
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⟩
Conference papers
hal-01263086v1
|
|
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⟩
Conference papers
hal-01263087v1
|
|
|
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⟩
Conference papers
hal-01113532v1
|
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⟩
Conference papers
hal-01263084v1
|
|
|
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⟩
Conference papers
hal-01113536v1
|
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⟩
Conference papers
hal-01263085v1
|
|
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⟩
Conference papers
hal-00967037v1
|
|
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⟩
Conference papers
hal-00970457v1
|
|
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⟩
Conference papers
hal-00751234v1
|
|
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⟩
Conference papers
hal-00748524v1
|
|
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
Conference papers
hal-00748645v1
|
|
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⟩
Conference papers
hal-00751230v1
|
|
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⟩
Conference papers
hal-00751232v1
|
|
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⟩
Conference papers
hal-01303060v1
|
|
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⟩
Conference papers
hal-00748846v1
|
|
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⟩
Conference papers
hal-01303821v1
|
|
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⟩
Conference papers
hal-01354605v1
|
|
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⟩
Conference papers
hal-00751243v1
|
|
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
Conference papers
hal-00648911v1
|
|
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⟩
Conference papers
hal-00751240v1
|
|
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⟩
Conference papers
hal-00751241v1
|
|
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⟩
Conference papers
hal-01302449v1
|
|
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⟩
Conference papers
hal-01303860v1
|
|
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⟩
Conference papers
hal-01303862v1
|
|
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⟩
Conference papers
hal-01303855v1
|
|
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⟩
Conference papers
hal-00751248v1
|
|
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⟩
Conference papers
hal-00751245v1
|
|
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⟩
Conference papers
hal-01354674v1
|
|
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⟩
Conference papers
hal-00660119v1
|
|
WSRD : a Web Services Registry DescriptionNOTERE 2010 : 10ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, May 2010, Tozeur, Tunisia
Conference papers
hal-00552969v1
|
|
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⟩
Conference papers
hal-01308672v1
|
|
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⟩
Conference papers
hal-01354827v1
|
|
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⟩
Conference papers
hal-01308334v1
|
|
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⟩
Conference papers
hal-01308596v1
|
|
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⟩
Conference papers
hal-01356813v1
|
|
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⟩
Conference papers
hal-00441503v1
|
|
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
Conference papers
inria-00114831v1
|
|
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⟩
Conference papers
inria-00114835v1
|
|
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
Conference papers
inria-00114828v1
|
|
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
Conference papers
inria-00114832v1
|
|
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⟩
Conference papers
inria-00000484v1
|
|
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
Conference papers
inria-00000485v1
|
|
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⟩
Conference papers
inria-00000483v1
|
|
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⟩
Conference papers
inria-00000482v1
|
|
Discovering Workflow Patterns from Timed LogsInformation Systems in E-Business and E-Government - EMISA 2004, Oct 2004, Luxembourg/Luxembourg
Conference papers
inria-00000487v1
|
|
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⟩
Conference papers
inria-00000486v1
|
|
A Pattern for Interconnecting Distributed Components6th International Conference on Enterprise Information Systems - ICEIS 2004, Apr 2004, Porto/Portugal, pp.430-434
Conference papers
inria-00000489v1
|
|
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
Conference papers
inria-00000488v1
|
|
Un patron pour l'interconnexion des composants distribués1ère Conférence Plénière STIC - CoPSTIC'03, Dec 2003, Rabat/Maroc
Conference papers
inria-00000490v1
|
|
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
Conference papers
inria-00099591v1
|
|
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 2017), Feb 2017, Porto, Portugal. , 2017
Conference poster
hal-01474906v1
|
On the Move to Meaningful Internet Systems. OTM 2017 Conferences, LNCS 10573, pp.767, 2017, ⟨10.1007/978-3-319-69462-7⟩
Books
hal-01673485v1
|
|
25th IEEE international conference on enabling technologies: infrastructure for collaborative enterprises : WETICE 2016IEEE Computer Society, pp.270, 2016, 978-1-5090-1663-1
Books
hal-01455719v1
|
|
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
Books
hal-01455706v1
|
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⟩
Book sections
hal-03836450v1
|
|
A trustworthy decentralized change propagation mechanism for declarative choreographiesBusiness Process Management, 13420, Springer International Publishing, pp.418-435, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-16103-2_27⟩
Book sections
hal-03836458v1
|
|
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⟩
Book sections
inria-00540865v1
|
|
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
Book sections
hal-00441531v1
|
|
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
Book sections
hal-00441528v1
|
|
Towards trustworthy and privacy-preserving decentralized auctions2023
Preprints, Working Papers, ...
hal-04145599v1
|
|
OCCI-Compliant Cloud Configuration Simulation2017
Preprints, Working Papers, ...
hal-01523933v1
|
|
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process2017
Preprints, Working Papers, ...
hal-01525209v1
|
|
Simulation of Configurable Resource Allocation for Cloud-Based Business Processes2017
Preprints, Working Papers, ...
hal-01523939v1
|
|
La Découverte de Workflow
|
|
Supporting service consumption : advanced discovery and recommendation techniquesSoftware Engineering [cs.SE]. Télécom Ecole de Management, 2014
Habilitation à diriger des recherches
tel-01266701v1
|