Walid Gaaloul
Professor at Telecom SudParis, Institut Polytechnique de Paris
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. He is the deputy director of the research laboratory SAMOVAR and the leader of ACMES, a research team of SAMOVAR laboratory. He is also member of the DIEGO group part of the Computer Science Department of Télécom SudParis.
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 200 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.
200
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/).
Research domains
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
|
|
|
Process mining approach for multi-cloud SLA reporting2023 IEEE International Conference on Big Data (IEEE BigData), Dec 2023, Sorrento (Italie), Italy
Conference papers
hal-04343935v1
|
|
|
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⟩
Conference papers
hal-04257487v1
|
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⟩
Conference papers
hal-04376886v1
|
|
|
|
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⟩
Conference papers
hal-04311834v1
|
|
|
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⟩
Conference papers
hal-04376895v1
|
|
|
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
|
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
|
|
|
|
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
|
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
|
|
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
|
|
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
|
|
|
|
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⟩
Conference papers
hal-04295596v1
|
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
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
|
|
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
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
|
|
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
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
[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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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 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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
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
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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 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
|
|
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 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
|
|
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
|
|
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
|
|
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
|
|
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 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
|
|
Discovering Workflow Patterns from Timed LogsInformation Systems in E-Business and E-Government - EMISA 2004, Oct 2004, Luxembourg/Luxembourg
Conference papers
inria-00000487v1
|
|
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 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
|
|
|
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process2017
Preprints, Working Papers, ...
hal-01525209v1
|
|
|
OCCI-Compliant Cloud Configuration Simulation2017
Preprints, Working Papers, ...
hal-01523933v1
|
|
|
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
|