ACMES team

Samovar lab

Publications



687 documents

Journal articles

  • Hongtai Guo, Zhangbing Zhou, Deng Zhao, Walid Gaaloul. EGNN: energy-efficient anomaly detection for IoT multivariate time series data using graph neural network. Future Generation Computer Systems, 2024, 151, pp.45-56. ⟨10.1016/J.FUTURE.2023.09.028⟩. ⟨hal-04376917⟩
  • Nathanaël Denis, Sophie Chabridon, Maryline Laurent. Bringing privacy, security and performance to the Internet of Things using IOTA and usage control. Annals of Telecommunications - annales des télécommunications, 2024, ⟨10.1007/s12243-023-01005-1⟩. ⟨hal-04383612⟩
  • Amel Mammar, Meriem Belguidoum, Saddam Hocine. A Formal approach for the correct deployment of cloud applications. Science of Computer Programming, 2024, ⟨10.1016/j.scico.2023.103048⟩. ⟨hal-04344435⟩
  • Axel Polleres, Romana Pernisch, Angela Bonifati, Daniele Dell'Aglio, Daniil Dobriy, et al.. How does knowledge evolve in open knowledge graphs?. Transactions on Graph Data and Knowledge, 2023, 1 (1), pp.11:1-11:59. ⟨10.4230/TGDK.1.1.11⟩. ⟨hal-04373234⟩
  • Russa Biswas, Lucie-Aimée Kaffee, Michael Cochez, Stefania Dumbrava, Theis E Jendal, et al.. Knowledge graph embeddings: open challenges and opportunities. Transactions on Graph Data and Knowledge, 2023, 1 (1), pp.4:1-4:32. ⟨10.4230/TGDK.1.1.4⟩. ⟨hal-04373217⟩
  • I. Burdonov, N. Evtushenko, A. Kossachev, Natalia Kushik. On preset homing and synchronizing sequences for observable input/output automata. Automation and Remote Control / Avtomatika i Telemekhanika, 2023, 84 (6), pp.606-611. ⟨10.1134/S0005117923060048⟩. ⟨hal-04321511⟩
  • Eric Behar, Julien Romero, Amel Bouzeghoub, Katarzyna Wegrzyn-Wolska. Tackling cold start for Job recommendation with heterogeneous graphs. CEUR Workshop Proceedings, 2023, 3490. ⟨hal-04250416⟩
  • Leyla Moctar M’baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne. Process mining for artifact-centric blockchain applications. Simulation Modelling Practice and Theory, 2023, 127, pp.102779. ⟨10.1016/j.simpat.2023.102779⟩. ⟨hal-04112603⟩
  • Xiaocui Li, Zhangbing Zhou, Qiang He, Zhensheng Shi, Walid Gaaloul, et al.. Re-scheduling IoT services in edge networks. IEEE Transactions on Network and Service Management, 2023, 20 (3), pp.3233-3246. ⟨10.1109/TNSM.2023.3242937⟩. ⟨hal-04376906⟩
  • Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul. Process fragments discovery from emails: functional, data and behavioral perspectives discovery. Information Systems, 2023, 118, pp.102229. ⟨10.1016/J.IS.2023.102229⟩. ⟨hal-04376913⟩
  • Dympna O’sullivan, Emma Murphy, Andrea Curley, John Gilligan, Damian Gordon, et al.. Inclusion4EU: co-designing a framework for inclusive software design and development. Studies in Health Technology and Informatics, 2023, Studies in Health Technology and Informatics, 306, pp.497-502. ⟨10.3233/SHTI230668⟩. ⟨hal-04197001⟩
  • Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, et al.. Threshold queries. SIGMOD record, 2023, 52 (1), pp.64-73. ⟨10.1145/3604437.3604452⟩. ⟨hal-04373202⟩
  • Nathanaël Denis, Maryline Laurent, Sophie Chabridon. Integrating usage control into distributed ledger technology for internet of things privacy. IEEE Internet of Things Journal, 2023, pp.1-1. ⟨10.1109/JIOT.2023.3283300⟩. ⟨hal-04121481⟩
  • Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, et al.. Natural language querying of process execution data. Information Systems, 2023, 116, pp.102227:1-102227:16. ⟨10.1016/J.IS.2023.102227⟩. ⟨hal-04376914⟩
  • Zujany Salazar, Fatiha Zaïdi, Huu-Nghia Nguyen, Wissam Mallouli, Ana R Cavalli, et al.. A network traffic mutation based ontology, and Its application to 5G networks. IEEE Access, 2023, 11, pp.43925-43944. ⟨10.1109/ACCESS.2023.3268759⟩. ⟨hal-04476884⟩
  • Deng Zhao, Zhangbing Zhou, Patrick Hung, Shuiguang Deng, Xiao Xue, et al.. CTL-based adaptive service composition in edge networks. IEEE Transactions on Services Computing, 2023, 16 (2), pp.1051-1065. ⟨10.1109/TSC.2022.3184013⟩. ⟨hal-04376902⟩
  • Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Everton Cavalcante, et al.. Taming internet of things application development with the IoTvar middleware. ACM Transactions on Internet Technology, 2023, 2, pp.1533-5399. ⟨10.1145/3586010⟩. ⟨hal-04033054⟩
  • Yujin Li, Bo Liu, Enju Wu, Jianqiang Li, Zhangbing Zhou, et al.. DRA‐MQoS : an MQoS scheduling algorithm based on resource feature matching in federated edge cloud. Concurrency and Computation: Practice and Experience, 2023, 35 (2), ⟨10.1002/cpe.7478⟩. ⟨hal-04021516⟩
  • Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Everton Cavalcante, et al.. Energy awareness and energy efficiency in internet of things middleware: a systematic literature review. Annals of Telecommunications - annales des télécommunications, 2022, 78 (1-2), pp.115-131. ⟨10.1007/s12243-022-00936-5⟩. ⟨hal-03901655⟩
  • George Amponis, Panagiotis Radoglou-Grammatikis, Thomas Lagkas, Wissam Mallouli, Ana R Cavalli, et al.. Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications. EURASIP Journal on Wireless Communications and Networking, 2022, 1, pp.124. ⟨10.1186/s13638-022-02204-5⟩. ⟨hal-04476890⟩
  • Walid Ben-Ameur, Natalia Kushik, Alessandro Maddaloni, José Neto, Dimitri Watel. The no-meet matroid. Discrete Applied Mathematics, 2022, ⟨10.1016/j.dam.2022.12.008⟩. ⟨hal-03955928⟩
  • Deyu Zhou, Xiao Xue, Zhangbing Zhou. SLE2: the improved social learning evolution model of cloud manufacturing service ecosystem. IEEE Transactions on Industrial Informatics, 2022, 18 (12), pp.9017-9026. ⟨10.1109/TII.2022.3173053⟩. ⟨hal-04030670⟩
  • Marie Reinbigler, Jérémie Cosette, Zoheir Guesmia, Simon Jimenez, Catalin Fetita, et al.. Artificial intelligence workflow quantifying muscle features on Hematoxylin–Eosin stained sections reveals dystrophic phenotype amelioration upon treatment. Scientific Reports, 2022, 12 (19913), pp.1-12. ⟨10.1038/s41598-022-24139-z⟩. ⟨hal-03902418⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui. A framework for reasoning about uncertainty in ontologies. IEEE Intelligent Systems, 2022, 37 (6), pp.27-37. ⟨10.1109/MIS.2022.3220687⟩. ⟨hal-04396158⟩
  • Teng Long, Qi Gao, Lili Xu, Zhangbing Zhou. A survey on adversarial attacks in computer vision: taxonomy, visualization and future directions. Computers and Security, 2022, 121, pp.102847. ⟨10.1016/j.cose.2022.102847⟩. ⟨hal-04021556⟩
  • Xiaocui Li, Zhangbing Zhou, Chunsheng Zhu, Lei Shu, Jiehan Zhou. Online reconfiguration of latency-aware IoT services in edge networks. IEEE Internet of Things Journal, 2022, 9 (18), pp.17035-17046. ⟨10.1109/JIOT.2021.3135287⟩. ⟨hal-04029864⟩
  • Tuan-Phong Nguyen, Simon Razniewski, Julien Romero, Gerhard Weikum. Refined Commonsense Knowledge from Large-Scale Web Contents. IEEE Transactions on Knowledge and Data Engineering, In press. ⟨hal-03537547v2⟩
  • Hayet Brabra, Marcos Baez, Boualem Benatallah, Walid Gaaloul, Sara Bouguelia, et al.. Dialogue management in conversational systems: a review of approaches, challenges, and opportunities. IEEE Transactions on Cognitive and Developmental Systems, 2022, 14 (3), pp.783-798. ⟨10.1109/TCDS.2021.3086565⟩. ⟨hal-03626466⟩
  • Teng Long, Zhangbing Zhou, Gerhard Hancke, Yang Bai, Qi Gao. A review of artificial intelligence technologies in mineral identification: classification and visualization. Journal of sensor and actuator networks, 2022, 11 (3), pp.50. ⟨10.3390/jsan11030050⟩. ⟨hal-04029921⟩
  • Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul. Conformance checking for autonomous multi-cloud SLA management and adaptation. Journal of Supercomputing, 2022, 78 (11), pp.13004-13039. ⟨10.1007/s11227-022-04363-0⟩. ⟨hal-03613903⟩
  • Xiao Xue, Zhaojie Chen, Shufang Wang, Zhiyong Feng, Yucong Duan, et al.. Value entropy: a systematic evaluation model of service ecosystem evolution. IEEE Transactions on Services Computing, 2022, 15 (4), pp.1760-1773. ⟨10.1109/TSC.2020.3016660⟩. ⟨hal-04030707⟩
  • Liang Wang, Zhiwen Yu, Qi Han, Dingqi Yang, Shirui Pan, et al.. Compact scheduling for task graph oriented mobile crowdsourcing. IEEE Transactions on Mobile Computing, 2022, 21 (7), pp.2358 - 2371. ⟨10.1109/tmc.2020.3040007⟩. ⟨hal-03548431⟩
  • Amina Jarraya, Amel Bouzeghoub, Amel Borgi. Online conflict resolution strategies for human activity recognition in smart homes. Journal of Control and Decision, 2022, pp.1-15. ⟨10.1080/23307706.2022.2085197⟩. ⟨hal-03915369⟩
  • Chao Chen, Sen Yang, Yasha Wang, Bin Guo, Daqing Zhang. CrowdExpress: a probabilistic framework for on-time crowdsourced package deliveries. IEEE Transactions on Big Data, 2022, 8 (3), pp.827-842. ⟨10.1109/tbdata.2020.2991152⟩. ⟨hal-03002740⟩
  • Suiming Guo, Chao Chen, Jingyuan Wang, Yan Ding, Yaxiao Liu, et al.. A force-directed approach to seeking route recommendation in ride-on-demand service using multi-source urban data. IEEE Transactions on Mobile Computing, 2022, 21 (6), pp.1909 - 1926. ⟨10.1109/TMC.2020.3033274⟩. ⟨hal-03363350⟩
  • Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul. Model driven simulation of elastic OCCI cloud resources. The Computer Journal, 2022, 65 (5), pp.1144-1166. ⟨10.1093/comjnl/bxaa159⟩. ⟨hal-02976775⟩
  • Mengyu Sun, Zhangbing Zhou, Xiao Xue, Wenbo Zhang, Patrick Hung. Service configuration optimization in edge–cloud networks leveraging log analysis. IEEE Internet of Things Journal, 2022, 9 (9), pp.6719-6731. ⟨10.1109/JIOT.2021.3112609⟩. ⟨hal-04023247⟩
  • Mengyu Sun, Zhangbing Zhou, Xiao Xue, Wenbo Zhang, Walid Gaaloul. Adaptive configuration of service-based smart sensors in edge networks. IEEE Transactions on Industrial Informatics, 2022, 18 (4), pp.2674-2683. ⟨10.1109/TII.2021.3074513⟩. ⟨hal-03992643⟩
  • Roberto Yus, Georgios Bouloukakis, Sharad Mehrotra, Nalini Venkatasubramanian. The semIoTic ecosystem: a semantic bridge between IoT devices and smart spaces. ACM Transactions on Internet Technology, 2022, 22 (3), pp.1-33. ⟨10.1145/3527241⟩. ⟨hal-03636539⟩
  • Yibo Han, Wei Song, Zhangbing Zhou, Hao Wang, Bo Yuan. eCLAS: an efficient pairing-free certificateless aggregate signature for secure VANET communication. IEEE Systems Journal, 2022, 16 (1), pp.1637-1648. ⟨10.1109/JSYST.2021.3116029⟩. ⟨hal-04030614⟩
  • Yuanhao Sun, Weimin Ding, Lei Shu, Kailiang Li, Yu Zhang, et al.. On Enabling Mobile Crowd Sensing for Data Collection in Smart Agriculture: A Vision. IEEE Systems Journal, 2022, 16 (1), pp.132-143. ⟨10.1109/JSYST.2021.3104107⟩. ⟨hal-04030531⟩
  • Jing Yang, Xu Yang, Zhang-Bing Zhou, Zhi-Yong Liu. Graph matching based on fast normalized cut and multiplicative update mapping. Pattern Recognition, 2022, 122, pp.108228. ⟨10.1016/j.patcog.2021.108228⟩. ⟨hal-04030317⟩
  • Étienne André, Rémi Dulong, Amina Guermouche, François Trahay. DUF: Dynamic Uncore Frequency scaling to reduce power consumption. Concurrency and Computation: Practice and Experience, 2022, 34 (3), pp.e6580. ⟨10.1002/cpe.6580⟩. ⟨hal-03414542⟩
  • Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. A model‐driven approach for deployment descriptor design in network function virtualization. International Journal of Network Management, 2022, 32 (1), pp.1144-1166. ⟨10.1002/nem.2165⟩. ⟨hal-03992621⟩
  • Dan Wu, Youwei Zeng, Ruiyang Gao, Shengjie Li, Yang Li, et al.. WiTraj: robust indoor motion tracking with WiFi signals. IEEE Transactions on Mobile Computing, In press, pp.1-17. ⟨10.1109/TMC.2021.3133114⟩. ⟨hal-03548446⟩
  • Lei Zhang, Cong Wang, Daqing Zhang. Wi-PIGR: Path Independent Gait Recognition with commodity Wi-Fi. IEEE Transactions on Mobile Computing, In press, ⟨10.1109/TMC.2021.3052314⟩. ⟨hal-03363404⟩
  • Shan Cui, Fadi Farha, Huansheng Ning, Zhangbing Zhou, Feifei Shi, et al.. A survey on the bottleneck between applications exploding and user requirements in IoT. IEEE Internet of Things Journal, 2022, 9 (1), pp.261-273. ⟨10.1109/JIOT.2021.3097634⟩. ⟨hal-04021661⟩
  • Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, et al.. Threshold queries in theory and in the Wild. Proceedings of the VLDB Endowment (PVLDB), 2022, 15 (5), pp.1105-1118. ⟨10.14778/3510397.3510407⟩. ⟨hal-03516360⟩
  • Zhibing Sha, Jun Li, Zhigang Cai, Min Huang, Jianwei Liao, et al.. Degraded mode-benefited I/O scheduling to ensure I/O responsiveness in RAID-enabled SSDs. ACM Transactions on Design Automation of Electronic Systems, In press, ⟨10.1145/3522755⟩. ⟨hal-03608269⟩
  • Kai Niu, Fusang Zhang, Xuanzhi Wang, Qin Lv, Haitong Luo, et al.. Understanding WiFi signal frequency features for position-independent gesture sensing. IEEE Transactions on Mobile Computing, In press, pp.1-16. ⟨10.1109/TMC.2021.3063135⟩. ⟨hal-03363402⟩
  • Amina Guermouche, Anne-Cécile Orgerie. Thermal design power and vectorized instructions behavior. Concurrency and Computation: Practice and Experience, 2022, 34 (2), pp.1-18. ⟨10.1002/cpe.6261⟩. ⟨hal-03185821⟩
  • Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Valerie Issarny. Timed protocol analysis of interconnected mobile IoT devices. Journal of Internet Services and Applications, 2021, 12, pp.12:1-12:31. ⟨10.1186/s13174-021-00143-w⟩. ⟨hal-03465847⟩
  • Nour El Houda Ben Chaabene, Amel Bouzeghoub, Ramzi Guetari, Henda Hajjami Ben Ghezala. Deep learning methods for anomalies detection in social networks using multidimensional networks and multimodal data: a survey. Multimedia Systems, 2021, 28, pp.2133-2143. ⟨10.1007/s00530-020-00731-z⟩. ⟨hal-03475951⟩
  • Amel Hidouri, Said Jabbour, Badran Raddaoui, Boutheina Ben Ben Yaghlane. Mining closed high utility itemsets based on propositional satisfiability. Data and Knowledge Engineering, 2021, 136 (101927:1-101927:15), ⟨10.1016/j.datak.2021.101927⟩. ⟨hal-03466365⟩
  • Zahra Movahedi, Bruno Defude, Amir Mohammad Hosseininia. An efficient population-based multi-objective task scheduling approach in fog computing systems. Journal of Cloud Computing: Advances, Systems and Applications, 2021, 10, pp.53:1-53:31. ⟨10.1186/s13677-021-00264-4⟩. ⟨hal-03596462⟩
  • Fitsum Meshesha Kifetew, Anna Perini, Angelo Susi, Aberto Siena, Denisse Muñante, et al.. Automating user-feedback driven requirements prioritization. Information and Software Technology, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩. ⟨hal-03277970⟩
  • Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul. Multi‐perspective business process discovery from messaging systems: state‐of‐the art. Concurrency and Computation: Practice and Experience, 2021, 35 (11), ⟨10.1002/CPE.6642⟩. ⟨hal-04376915⟩
  • Sherif Sakr, Angela Bonifati, Hannes Voigt, Alexandru Iosup, Khaled Ammar, et al.. The future is big graphs: a community view on graph processing systems. Communications of the ACM, 2021, 64 (9), pp.62-71. ⟨10.1145/3434642⟩. ⟨hal-03128601⟩
  • Bohan Yu, Yuxiang Wang, Kai Niu, Youwei Zeng, Tao Gu, et al.. WiFi-Sleep: sleep stage monitoring using commodity Wi-Fi devices. IEEE Internet of Things Journal, 2021, 8 (18), pp.13900-13913. ⟨10.1109/JIOT.2021.3068798⟩. ⟨hal-03363398⟩
  • Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul. A Formal model for configurable business process with optimal cloud resource allocation. Journal of Universal Computer Science, 2021, 27 (7), pp.693-713. ⟨10.3897/jucs.70978⟩. ⟨hal-04490808⟩
  • Georgios Bouloukakis, Kyle Benson, Luca Scalzotto, Paolo Bellavista, Casey Grant, et al.. PrioDeX: a Data Exchange middleware for efficient event prioritization in SDN-based IoT systems. ACM Transactions on Internet of Things, 2021, 2 (3), pp.1-32, Article No.: 19. ⟨10.1145/3456301⟩. ⟨hal-03171358⟩
  • Mohammed Islam Naas, François Trahay, Alexis Colin, Pierre Olivier, Stéphane Rubini, et al.. EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications. Operating Systems Review, 2021, 55 (1), pp.88-98. ⟨10.1145/3469379.3469391⟩. ⟨hal-03276036⟩
  • Yan Liu, Bin Guo, Daqing Zhang, Djamal Zeghlache, Jingmin Chen, et al.. MetaStore: a task-adaptative meta-learning model for optimal store placement with multi-city knowledge transfer. ACM Transactions on Intelligent Systems and Technology, 2021, 12 (3), pp.28:1-28:23. ⟨10.1145/3447271⟩. ⟨hal-03363389⟩
  • Ruiyang Gao, Mi Zhang, Jie Zhang, Yang Li, Dan Wu, et al.. Towards position-independent sensing for gesture recognition with Wi-Fi. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2021, 5 (2), pp.61:1-61:28. ⟨10.1145/3463504⟩. ⟨hal-03363377⟩
  • Longbiao Chen, Chenhui Lu, Fangxu Yuan, Zhihan Jiang, Leye Wang, et al.. UVLens: urban village boundary identification and population estimation leveraging open government data. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2021, 5 (2), pp.57:1-57:26. ⟨10.1145/3463495⟩. ⟨hal-03363374⟩
  • Fusang Zhang, Zhaoxin Chang, Jie Xiong, Rong Zheng, Junqi Ma, et al.. Unlocking the beamforming potential of LoRa for long-range multi-target respiration sensing. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2021, 5 (2), pp.85:1-85:25. ⟨10.1145/3463526⟩. ⟨hal-03363386⟩
  • Yan Liu, Bin Guo, Daqing Zhang, Djamal Zeghlache, Jingmin Chen, et al.. Knowledge transfer with weighted adversarial network for cold-start store site recommendation. ACM Transactions on Knowledge Discovery from Data (TKDD), 2021, 15 (3), 47, pp 1-27. ⟨10.1145/3442203⟩. ⟨hal-03363394⟩
  • Longbiao Chen, Thi-Mai-Trang Nguyen, Dingqi Yang, Michele Nogueira, Cheng Wang, et al.. Data-driven C-RAN optimization exploiting traffic and mobility dynamics of mobile users. IEEE Transactions on Mobile Computing, 2021, 20 (5), pp.1773-1788. ⟨10.1109/TMC.2020.2971470⟩. ⟨hal-03363370⟩
  • Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, et al.. Restriction‐based fragmentation of business processes over the cloud. Concurrency and Computation: Practice and Experience, 2021, 33 (7), pp.1-20. ⟨10.1002/cpe.5445⟩. ⟨hal-02998183⟩
  • Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas, Valérie Issarny. Performance analysis of Internet of Things interactions via simulation-based queueing models. Future internet, 2021, 13 (4), pp.87:1-87:13. ⟨10.3390/fi13040087⟩. ⟨hal-03184939⟩
  • Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi. A formal consensus-based distributed monitoring approach for mobile IoT networks. Internet of Things, 2021, 13, pp.100352. ⟨10.1016/j.iot.2020.100352⟩. ⟨hal-03546760⟩
  • Mohamed Ahmed, Chantal Taconet, Mohamed Ould, Sophie Chabridon, Amel Bouzeghoub. IoT data qualification for a logistic chain traceability smart contract. Sensors, 2021, 21 (6), pp.2239:1-2239:25. ⟨10.3390/s21062239⟩. ⟨hal-03219609⟩
  • Zakaria Maamar, Mohamed Sellami, Fatma Masmoudi, Muhammad Asim, Abdul Haseeb, et al.. A Plug&Play approach for modeling and simulating applications in the era of internet of social things. IET Smart Cities, 2021, 3 (1), pp.29-40. ⟨10.1049/smc2.12005⟩. ⟨hal-03359921⟩
  • Jinyi Liu, Youwei Zeng, Tao Gu, Leye Wang, Daqing Zhang. WiPhone: smartphone-based respiration monitoring using ambient reflected WiFi signals. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2021, 5 (1), pp.23:1-23:19. ⟨10.1145/3448092⟩. ⟨hal-03363396⟩
  • Rania Ben Halima, Slim Kallel, Mehdi Ahmed Nacer, Walid Gaaloul. Optimal business process deployment cost in cloud resources. Journal of Supercomputing, 2021, 77 (2), pp.1579-1611. ⟨10.1007/s11227-020-03316-9⟩. ⟨hal-03519992⟩
  • Étienne André, Rémi Dulong, Amina Guermouche, François Trahay. DUF : Dynamic Uncore Frequency scaling to reduce power consumption. Concurrency and Computation: Practice and Experience, 2021, 34 (3), pp.e6580. ⟨hal-02401796v4⟩
  • Xiaopeng Niu, Shengjie Li, Yue Zhang, Zhaopeng Liu, Dan Wu, et al.. WiMonitor: continuous long-term human vitality monitoring using commodity Wi-Fi devices. Sensors, 2021, 21 (3), pp.751:1-751:28. ⟨10.3390/s21030751⟩. ⟨hal-03354435⟩
  • Fatma Masmoudi, Zakaria Maamar, Mohamed Sellami, Ali Ismail Awad, Vanilson Burégio. A guiding famework for vetting the Internet of things. Journal of information security and applications, 2020, 55, pp.102644:1-102644:11. ⟨10.1016/j.jisa.2020.102644⟩. ⟨hal-02984706⟩
  • Jun Li, Zhibing Sha, Zhigang Cai, François Trahay, Jianwei Liao. Patch-based data management for dual-copy buffers in RAID-enabled SSDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39 (11), pp.3956-3967. ⟨10.1109/TCAD.2020.3012252⟩. ⟨hal-02986811⟩
  • Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel. Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Generation Computer Systems, 2020, 112, pp.751-766. ⟨10.1016/j.future.2020.06.018⟩. ⟨hal-03122709⟩
  • Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul. Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks. Personal and Ubiquitous Computing, 2020, 27 (3), pp.581-598. ⟨10.1007/S00779-020-01443-X⟩. ⟨hal-04376912⟩
  • Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul. Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks. Personal and Ubiquitous Computing, 2020, 27 (3), pp.581 - 598. ⟨10.1007/s00779-020-01443-x⟩. ⟨hal-04490562⟩
  • Youwei Zeng, Dan Wu, Jie Xiong, Jinyi Liu, Zhaopeng Liu, et al.. MultiSense: enabling multi-person respiration sensing with commodity WiFi. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2020, 4 (3), pp.102 :1 - 102:29. ⟨10.1145/3411816⟩. ⟨hal-03002708⟩
  • Shengjie Li, Zhaopeng Liu, Yue Zhang, Qin Lv, Xiaopeng Niu, et al.. WiBorder: precise Wi-Fi based boundary sensing via through-wall discrimination. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2020, 4 (3), pp.89:1 - 89:30. ⟨10.1145/3411834⟩. ⟨hal-03002787⟩
  • Suiming Guo, Chao Chen, Jingyuan Wang, Yaxiao Liu, Ke Xu, et al.. ROD-revenue: seeking strategies analysis and revenue prediction in ride-on-demand service using multi-source urban data. IEEE Transactions on Mobile Computing, 2020, 19 (9), pp.2202 - 2220. ⟨10.1109/TMC.2019.2921959⟩. ⟨hal-02321011⟩
  • Farah Bellaaj Elloumi, Mohamed Sellami, Sami Bhiri. Avoiding resource misallocations in business processes. Concurrency and Computation: Practice and Experience, 2020, 32 (15), ⟨10.1002/cpe.4888⟩. ⟨hal-03359856⟩
  • Walid Gaaloul, Zhangbing Zhou, Hervé Panetto, Liang Zhang. Special issue on fog and cloud computing for cooperative information system management: challenges and opportunities. Future Generation Computer Systems, 2020, 109, pp.704-705. ⟨10.1016/j.future.2020.02.060⟩. ⟨hal-02888680⟩
  • Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faiez Gargouri. Cloud SLA negotiation and re‐negotiation: an ontology‐based context‐aware approach. Concurrency and Computation: Practice and Experience, 2020, 32 (15), pp.e5315. ⟨10.1002/cpe.5315⟩. ⟨hal-03122790⟩
  • Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. Configurable deployment descriptor model in NFV. Journal of Network and Systems Management, 2020, 28 (3), pp.693-718. ⟨10.1007/s10922-020-09531-2⟩. ⟨hal-03122714⟩
  • Chao Chen, Yan Ding, Zhu Wang, Junfeng Zhao, Bin Guo, et al.. VTracer: when online vehicle trajectory compression meets mobile edge computing. IEEE Systems Journal, 2020, 14 (2), pp.1635-1646. ⟨10.1109/JSYST.2019.2935458⟩. ⟨hal-02321015⟩
  • Fusang Zhang, Zhaoxin Chang, Kai Niu, Jie Xiong, Jin Beihong, et al.. Exploring LoRa for long-range through-wall sensing. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2020, 4 (2), pp.68. ⟨10.1145/3397326⟩. ⟨hal-03363358⟩
  • Guillaume Burel. Linking focusing and resolution with selection. ACM Transactions on Computational Logic, 2020, 21 (3), pp.1-30. ⟨10.1145/3373276⟩. ⟨hal-02908808⟩
  • Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah. Toward higher-level abstractions based on state machine for cloud resources elasticity. Information Systems, 2020, 90, pp.101450:1-101450:20. ⟨10.1016/j.is.2019.101450⟩. ⟨hal-03122711⟩
  • Pierre Sutra. On the correctness of Egalitarian Paxos. Information Processing Letters, 2020, 156, pp.105901:1-105901:6. ⟨10.1016/j.ipl.2019.105901⟩. ⟨hal-03488443⟩
  • Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. SAT-based models for overlapping community detection in networks. Computing, 2020, ⟨10.1007/s00607-020-00803-y⟩. ⟨hal-02506887⟩
  • Zhiyong Yu, Wenzhong Guo, Daqing Zhang, Leye Wang, Bin Guo. Cyber-Physical-Social-Mediated Communication. IT Professional, 2020, 22 (2), pp.60 - 66. ⟨10.1109/mitp.2019.2940568⟩. ⟨hal-03002714⟩
  • Dan Wu, Ruiyang Gao, Youwei Zeng, Jinyi Liu, Leye Wang, et al.. FingerDraw: sub-wavelength level finger Motion tracking with WiFi signals. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2020, 4 (1), pp.31:1-31:27. ⟨10.1145/3380981⟩. ⟨hal-03002736⟩
  • Lei Zhang, Cong Wang, Maode Ma, Daqing Zhang. WiDIGR: Direction-Independent Gait Recognition system using commercial Wi-Fi devices. IEEE Internet of Things Journal, 2020, 7 (2), pp.1178 - 1191. ⟨10.1109/jiot.2019.2953488⟩. ⟨hal-03002752⟩
  • Leye Wang, Daqing Zhang, Dingqi Yang, Brian Y. Lim, Xiao Han, et al.. Sparse mobile crowdsensing with differential and distortion location privacy. IEEE Transactions on Information Forensics and Security, 2020, 15, pp.2735 - 2749. ⟨10.1109/tifs.2020.2975925⟩. ⟨hal-03002716⟩
  • Amina Jarraya, Amel Bouzeghoub, Amel Borgi, Khedija Arour. DCR: a new distributed model for human activity recognition in smart homes. Expert Systems with Applications, 2020, 140, pp.112849-1:112849:19. ⟨10.1016/j.eswa.2019.112849⟩. ⟨hal-02469447⟩
  • Ejub Kajan, Noura Faci, Zakaria Maamar, Mohamed Sellami, Emir Ugljanin, et al.. Real-time tracking and mining of users’ actions over social media. Computer Science and Information Systems, 2020, 17 (2), pp.403-426. ⟨10.2298/CSIS190822002K⟩. ⟨hal-02514060⟩
  • Chao Chen, Daqing Zhang, Zhu Wang. Sending more with less: crowdsourcing integrated transportation as a new form of citywide passenger-package delivery system. IT Professional, 2020, 22 (1), pp.56-62. ⟨10.1109/MITP.2018.2887389⟩. ⟨hal-03363366⟩
  • Kai Niu, Fusang Zhang, Yuhang Jiang, Jie Xiong, Qin Lv, et al.. WiMorse: a contactless Morse code text input system using ambient WiFi signals. IEEE Internet of Things Journal, 2019, 6 (6), pp.993-10008. ⟨10.1109/JIOT.2019.2934904⟩. ⟨hal-02321060⟩
  • Porfírio Gomes, Everton Cavalcante, Thais Batista, Chantal Taconet, Denis Conan, et al.. A semantic-based discovery service for the Internet of Things. Journal of Internet Services and Applications, 2019, 10 (1), ⟨10.1186/s13174-019-0109-8⟩. ⟨hal-02147177⟩
  • Mohamed Said Mosli Bouksiaa, François Trahay, Alexis Lescouet, Gauthier Voron, Remi Dulong, et al.. Using differential execution analysis to identify thread interference. IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (12), pp.2866-2878. ⟨10.1109/TPDS.2019.2927481⟩. ⟨hal-02179717⟩
  • Mengyu Sun, Zhangbing Zhou, Junping Wang, Chu Du, Walid Gaaloul. Energy-efficient IoT service composition for concurrent timed applications. Future Generation Computer Systems, 2019, 100, pp.1017-1030. ⟨10.1016/j.future.2019.05.070⟩. ⟨hal-02482758⟩
  • Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo-Palacios, Walid Gaaloul, Mohamed Jmaiel. A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 standard evaluated by Goal-Question-Metric. Science of Computer Programming, 2019, 184, pp.102305-1:102305-24. ⟨10.1016/j.scico.2019.102305⟩. ⟨hal-02482768⟩
  • Wenbin Liu, Leye Wang, En Wang, Yongjian Yang, Djamal Zeghlache, et al.. Reinforcement learning-based cell selection in sparse mobile crowdsensing. Computer Networks, 2019, 161, pp.102-114. ⟨10.1016/j.comnet.2019.06.010⟩. ⟨hal-02321018⟩
  • Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, et al.. First-order automated reasoning with theories: when deduction modulo theory meets practice. Journal of Automated Reasoning, 2019, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩. ⟨hal-02305831⟩
  • Zakaria Maamar, Thar Baker, Noura Faci, Mohammed Al-Khafajiy, Emir Ugljanin, et al.. Weaving cognition into the internet-of-things: application to water leaks. Cognitive Systems Research, 2019, 56, pp.233-245. ⟨10.1016/j.cogsys.2019.04.001⟩. ⟨hal-02280900⟩
  • Yan Liu, Bin Guo, Nuo Li, Jing Zhang, Jingmin Chen, et al.. DeepStore: an interaction-aware Wide&Deep model for store site recommendation with attentional spatial embeddings. IEEE Internet of Things Journal, 2019, 6 (4), pp.7319-7333. ⟨10.1109/JIOT.2019.2916143⟩. ⟨hal-02321010⟩
  • Aicha Ben Jrad, Sami Bhiri, Samir Tata. STRATFram: A framework for describing and evaluating elasticity strategies for service-based business processes in the cloud. Future Generation Computer Systems, 2019, 97, pp.69-89. ⟨10.1016/j.future.2018.10.055⟩. ⟨hal-03486925⟩
  • Wenbin Liu, Yongjian Yang, En Wang, Leye Wang, Djamal Zeghlache, et al.. Multi-dimensional urban sensing in sparse mobile crowdsensing. IEEE Access, 2019, 7, pp.82066-82079. ⟨10.1109/ACCESS.2019.2924184⟩. ⟨hal-02321016⟩
  • Jorge Eleazar Lopez Coronado, Natalia Kushik, Djamal Zeghlache. Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. Software Quality Journal, 2019, 27 (2), pp.731 - 755. ⟨10.1007/s11219-018-9420-z⟩. ⟨hal-01998560⟩
  • Yan Liu, Bin Guo, Chao Chen, He Du, Zhiwen Yu, et al.. FooDNet: toward an optimized food delivery network based on spatial crowdsourcing. IEEE Transactions on Mobile Computing, 2019, 18 (6), pp.1288 - 1301. ⟨10.1109/TMC.2018.2861864⟩. ⟨hal-01884925⟩
  • Jianwei Liao, François Trahay, Zhigang Cai, Hailing Xiong, Shanxiong Chen, et al.. Fine granularity and adaptive cache update mechanism for client caching. IEEE Systems Journal, 2019, 13 (2), pp.1587 - 1598. ⟨10.1109/JSYST.2018.2866905⟩. ⟨hal-01884461⟩
  • Khouloud Boukadi, Noura Faci, Zakaria Maamar, Emir Ugljanin, Mohamed Sellami, et al.. Norm-based and commitment-driven agentification of the Internet of Things. Internet of Things, 2019, 6, pp.100042. ⟨10.1016/j.iot.2019.02.002⟩. ⟨hal-02280905⟩
  • Tianben Wang, Daqing Zhang, Leye Wang, Yuanqing Zheng, Tao Gu, et al.. Contactless respiration monitoring using ultrasound signal with off-the-shelf audio devices. IEEE Internet of Things Journal, 2019, 6 (2), pp.2959 - 2973. ⟨10.1109/JIOT.2018.2877607⟩. ⟨hal-01994865⟩
  • Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem. Accountability management for multi-tenant cloud services. International Journal of Grid and Utility Computing, 2019, 10 (2), pp.141-158. ⟨10.1504/IJGUC.2019.098218⟩. ⟨hal-04430070⟩
  • Natalia Kushik, Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev. Deriving synchronizing and homing sequences for input/output automata. Automatic Control and Computer Sciences, 2019, 52 (7), pp.589 - 595. ⟨10.3103/S0146411618070167⟩. ⟨hal-02060024⟩
  • Hayet Brabra, Achraf Mtibaa, Fabio Petrillo, Philippe Merle, Layth Sliman, et al.. On semantic detection of cloud API (anti)patterns. Information and Software Technology, 2019, 107, pp.65 - 82. ⟨10.1016/j.infsof.2018.10.012⟩. ⟨hal-02375380⟩
  • Mohamed Sellami, Zakaria Maamar, Sylvain Lefebvre, Noura Faci. Logs and enterprise networks for overcoming obstacles in business processes. Computing, 2019, 101 (3), pp.263 - 288. ⟨10.1007/s00607-018-00696-y⟩. ⟨hal-01987306⟩
  • Bin Guo, Yan Liu, Yi Ouyang, Vincent W. Zheng, Daqing Zhang, et al.. Harnessing the power of the general public for crowdsourced business intelligence: a survey. IEEE Access, 2019, 7, pp.26606-26630. ⟨10.1109/ACCESS.2019.2901027⟩. ⟨hal-02321021⟩
  • Liang Wang, Zhiwen Yu, Daqing Zhang, Bin Guo, Chi Harold Liu. Heterogeneous multi-task assignment in mobile crowdsensing using spatiotemporal correlation. IEEE Transactions on Mobile Computing, 2019, 18 (1), pp.84 - 97. ⟨10.1109/TMC.2018.2827375⟩. ⟨hal-01884593⟩
  • Hongyang Zhao, Shuangquan Wang, Gang Zhou, Daqing Zhang. Ultigesture: a wristband-based platform for continuous gesture control in healthcare. Smart Health, 2019, 11, pp.45 - 65. ⟨10.1016/j.smhl.2017.12.003⟩. ⟨hal-01884725⟩
  • Fátima Castro-Jul, Rebeca P. Díaz-Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan. Fog architectures and sensor location certification in distributed event-based systems. Sensors, 2018, 19 (1), pp.104. ⟨10.3390/s19010104⟩. ⟨hal-01975724⟩
  • Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanene Ben-Abdallah. Optimal deployment of configurable business processes in cloud federations. IEEE Transactions on Network and Service Management, 2018, 15 (4), pp.1692 - 1705. ⟨10.1109/TNSM.2018.2880195⟩. ⟨hal-01996051⟩
  • Nathan Ramoly, Amel Bouzeghoub, Béatrice Finance. A framework for service robots in smart home: an efficient solution for domestic healthcare. Innovation and Research in BioMedical engineering, 2018, JETSAN, 39 (6), pp.413-420. ⟨10.1016/j.irbm.2018.10.010⟩. ⟨hal-01962675⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Lopes Gancarski, Katarzyna Wegrzyn-Wolska. Time-dependent influence measurement in citation networks. Complex Systems Informatics and Modeling Quarterly, 2018, 2018 (17), pp.98-24 - 98-43. ⟨10.7250/csimq.2018-17.02⟩. ⟨hal-01987289⟩
  • Longbiao Chen, Dingqi Yang, Daqing Zhang, Cheng Wang, Jonathan Li, et al.. Deep mobile traffic forecast and complementary base station clustering for C-RAN optimization. Journal of Network and Computer Applications (JNCA), 2018, 121, pp.59 - 69. ⟨10.1016/j.jnca.2018.07.015⟩. ⟨hal-01991995⟩
  • Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. Source code optimization using equivalent mutants. Information and Software Technology, 2018, 103, pp.138 - 141. ⟨10.1016/j.infsof.2018.06.013⟩. ⟨hal-01990590⟩
  • Deng Zhao, Walid Gaaloul, Wenbo Zhang, Chunsheng Zhu, Zhangbing Zhou. Formal verification of temporal constraints for mobile service-based business process models. IEEE Access, 2018, 6, pp.59843 - 59852. ⟨10.1109/ACCESS.2018.2874937⟩. ⟨hal-01987392⟩
  • Suiming Guo, Chao Chen, Jingyuan Wang, Yaxiao Liu, Ke Xu, et al.. A simple but quantifiable approach to dynamic price prediction in ride-on-demand services leveraging multi-source urban data. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2018, 2 (3), pp.Article 112 -. ⟨10.1145/3264922⟩. ⟨hal-02155467⟩
  • Jianwei Liao, Zhigang Cai, François Trahay, Zhou Jun, Guoqiang Xiao. Adaptive process migrations in coupled applications for exchanging data in local file cache. ACM Transactions on Autonomous and Adaptive Systems, 2018, 13 (2), pp.Article n° 9 -. ⟨10.1145/3226027⟩. ⟨hal-01870346⟩
  • Rami Sellami, Bruno Defude. Complex queries optimization and evaluation over relational and NoSQL data stores in cloud environments. IEEE Transactions on Big Data, 2018, 4 (2), pp.217 - 230. ⟨10.1109/TBDATA.2017.2719054⟩. ⟨hal-01811268⟩
  • Jianwei Liao, Zhigang Cai, François Trahay, Xiaoning Peng. Block placement in distributed file systems based on block access frequency. IEEE Access, 2018, 6, pp.38411 - 38420. ⟨10.1109/ACCESS.2018.2851571⟩. ⟨hal-01828213⟩
  • Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul. Genetic-based adaptive approach for reliable and efficient service composition. IEEE Systems Journal, 2018, 12 (2), pp.1644 - 1654. ⟨10.1109/JSYST.2016.2612641⟩. ⟨hal-01987661⟩
  • Badran Raddaoui. On the measure of conflicts: an argumentation based framework. Journal of Applied Non-Classical Logics, 2018, 28 (2-3), pp.240 - 259. ⟨10.1080/11663081.2018.1457255⟩. ⟨hal-01822908⟩
  • Bin Guo, Xing Xie, Raghu K. Ganti, Daqing Zhang, Zhu Wang. Guest editorial: special issue on mobile crowdsourcing. World Wide Web, 2018, 21 (3), pp.739 - 740. ⟨10.1007/s11280-017-0512-7⟩. ⟨hal-01994879⟩
  • Zohir Bouzid, Michel Raynal, Pierre Sutra. Anonymous obstruction-free (n,k)-set agreement with n−k+1 atomic read/write registers. Distributed Computing, 2018, 31 (2), pp.99-117. ⟨10.1007/s00446-017-0301-7⟩. ⟨hal-01680833⟩
  • Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects of Computing, 2018, 30 (2), pp.319 - 332. ⟨10.1007/s00165-017-0450-2⟩. ⟨hal-01815008⟩
  • Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sébastien Gerard. Semantic framework for energy-aware resource management of IoT in business processes. International journal of systems and service-oriented engineering (IJSSOE), 2018, 8 (1), pp.21 - 43. ⟨10.4018/IJSSOE.2018010102⟩. ⟨cea-01810026⟩
  • Hela Sfar, Amel Bouzeghoub, Badran Raddaoui. Early anomaly detection in smart home: a causal association rule-based approach. Artificial Intelligence in Medicine, 2018, pp.1 - 15. ⟨10.1016/j.artmed.2018.06.001⟩. ⟨hal-01834593⟩
  • Zhangbing Zhou, Zehui Cheng, Liang-Jie Zhang, Walid Gaaloul, Ke Ning. Scientific workflow clustering and recommendation leveraging layer hierarchical analysis. IEEE Transactions on Services Computing, 2018, 11 (1), pp.169 - 183. ⟨10.1109/TSC.2016.2542805⟩. ⟨hal-01710905⟩
  • Longbiao Chen, Xiaoliang Fan, Leye Wang, Daqing Zhang, Zhiyong Yu, et al.. RADAR: road obstacle identification for disaster response leveraging cross-domain urban data. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2017, 1 (4), Article No.: 130, pp 1-23. ⟨10.1145/3161159⟩. ⟨hal-01884706⟩
  • Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata. A verification and deployment approach for elastic component-based applications. Formal Aspects of Computing, 2017, 29 (6), pp.987 - 1011. ⟨10.1007/s00165-017-0425-3⟩. ⟨hal-01692537⟩
  • Zhiyong Yu, Daqing Zhang, Zhu Wang, Bin Guo, Ioanna Roussaki, et al.. Toward context-aware mobile social networks. IEEE Communications Magazine, 2017, 55 (10), pp.168 - 175. ⟨10.1109/MCOM.2017.1700037⟩. ⟨hal-01640320⟩
  • Bin Guo, Huihui Chen, Qi Han, Zhiwen Yu, Daqing Zhang, et al.. Worker-contributed data utility measurement for visual crowdsensing systems. IEEE Transactions on Mobile Computing, 2017, 16 (8), pp.2379 - 2391. ⟨10.1109/TMC.2016.2620980⟩. ⟨hal-01640082⟩
  • Longbiao Chen, Jérémie Jakubowicz, Dingqi Yang, Daqing Zhang, Gang Pan. Fine-grained urban event detection and characterization based on tensor cofactorization. IEEE Transactions on Human-Machine Systems, 2017, 47 (3), pp.380 - 391. ⟨10.1109/THMS.2016.2596103⟩. ⟨hal-01640060⟩
  • Bin Guo, Huihui Chen, Zhiwen Yu, Wenqian Nan, Xing Xie, et al.. TaskMe: toward a dynamic and quality-enhanced incentive mechanism for mobile crowd sensing. International Journal of Human-Computer Studies, 2017, 102, pp.14 - 26. ⟨10.1016/j.ijhcs.2016.09.002⟩. ⟨hal-01639841⟩
  • Leye Wang, Daqing Zhang, Haoyi Xiong, John Paul Gibson, Chao Chen, et al.. ecoSense: minimize participants' total 3G data cost in mobile crowdsensing using opportunistic relays. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (6), pp.965 - 978. ⟨10.1109/TSMC.2016.2523902⟩. ⟨hal-01534510⟩
  • Jonas Bulegon Gassen, Jan Mendling, Amel Bouzeghoub, Lucinéia Heloisa Thom, José Palazzo Moreira de Oliveira. An experiment on an ontology-based support approach for process modeling. Information and Software Technology, 2017, 83, pp.94 - 115. ⟨10.1016/j.infsof.2016.11.005⟩. ⟨hal-01646529⟩
  • Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul. Towards correct cloud resource allocation in business processes. IEEE Transactions on Services Computing, 2017, 10 (1), pp.23 - 36. ⟨10.1109/TSC.2016.2594062⟩. ⟨hal-01575735⟩
  • Rachid Habel, Frédérique Silber-Chaussumier, François Irigoin, Elisabeth Brunet, François Trahay. Combining data and computation distribution directives for hybrid parallel rogramming : a transformation system. International Journal of Parallel Programming, 2016, 44 (6), pp.1268 - 1295. ⟨10.1007/s10766-016-0428-3⟩. ⟨hal-01346661⟩
  • Mohamed Mohamed, Djamel Belaid, Samir Tata. Extending OCCI for autonomic management in the cloud. Journal of Systems and Software, 2016, 122, pp.416 - 429. ⟨10.1016/j.jss.2016.01.002⟩. ⟨hal-01438804⟩
  • Tianben Wang, Zhu Wang, Daqing Zhang, Tao Gu, Hongbo Ni, et al.. Recognizing Parkinsonian gait pattern by exploiting fine-grained movement function features. ACM Transactions on Intelligent Systems and Technology, 2016, 8 (1), pp.6:1 - 6:22. ⟨10.1145/2890511⟩. ⟨hal-01466272⟩
  • Jianwei Liao, François Trahay, Balazs Gerofi, Yutaka Ishikawa. Prefetching on storage servers through mining access patterns on blocks. IEEE Transactions on Parallel and Distributed Systems, 2016, 27 (9), pp.2698 - 2710. ⟨10.1109/TPDS.2015.2496595⟩. ⟨hal-01354329⟩
  • Haoyi Xiong, Daqing Zhang, Guanling Chen, Leye Wang, Vincent Gauthier, et al.. iCrowd: near-optimal task allocation for Piggyback Crowdsensing. IEEE Transactions on Mobile Computing, 2016, 15 (8), pp.2010 - 2022. ⟨10.1109/TMC.2015.2483505⟩. ⟨hal-01347999⟩
  • Leye Wang, Daqing Zhang, Yasha Wang, Chao Chen, Xiao Han, et al.. Sparse mobile crowdsensing: challenges and opportunities. IEEE Communications Magazine, 2016, 54 (7), pp.161 - 167. ⟨10.1109/MCOM.2016.7509395⟩. ⟨hal-01346728⟩
  • Zhangbing Zhou, Kim-Fung Tsang, Zhao Zhuofeng, Walid Gaaloul. Data intelligence on the Internet of Things. Personal and Ubiquitous Computing, 2016, 20 (3), pp.277 - 281. ⟨10.1007/s00779-016-0912-1⟩. ⟨hal-01453237⟩
  • Bin Guo, Huihui Chen, Zhiwen Yu, Xing Xie, Daqing Zhang. PicPick : a generic data selection framework for mobile crowd photography. Personal and Ubiquitous Computing, 2016, 20 (3), pp.325 - 335. ⟨10.1007/s00779-016-0924-x⟩. ⟨hal-01466254⟩
  • Sana Hamdi, Alda Lopes Gancarski, Amel Bouzeghoub, Sadok Ben Yahia. TISoN: Trust Inference in trust-oriented Social Networks. ACM Transactions on Information Systems, 2016, 34 (3), pp.17:1 - 17:32. ⟨10.1145/2858791⟩. ⟨hal-01431532⟩
  • Longbiao Chen, Daqing Zhang, Xiaojuan Ma, Leye Wang, Shijian Li, et al.. Container port performance measurement and comparison leveraging ship GPS traces and maritime open data. IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (5), pp.1227 - 1242 ⟨10.1109/TITS.2015.2498409⟩. ⟨hal-01314834⟩
  • Faouzi Ben Charrada, Samir Tata. An efficient algorithm for the bursting of service-based applications in hybrid Clouds. IEEE Transactions on Services Computing, 2016, 9 (3), pp.357 - 367. ⟨10.1109/TSC.2015.2396076⟩. ⟨hal-01341607⟩
  • Tianben Wang, Daqing Zhang, Xingshe Zhou, Xin Qi, Hongbo Ni, et al.. Mining personal frequent routes via road corner detection. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, 46 (4), pp.445 - 458. ⟨10.1109/TSMC.2015.2444416⟩. ⟨hal-01298074⟩
  • Dingqi Yang, Daqing Zhang, Bingqing Qu. Participatory cultural mapping based on collective behavior data in location-based social networks. ACM Transactions on Intelligent Systems and Technology, 2016, 7 (3), pp.1 - 23. ⟨10.1145/2814575⟩. ⟨hal-01346717⟩
  • Daniel Millot, Christian Parrot. Optimization of the processing of data streams on roughly characterized distributed resources. IEEE Transactions on Parallel and Distributed Systems, 2016, 27 (5), pp.1415 - 1429. ⟨10.1109/TPDS.2015.2447515⟩. ⟨hal-01261639⟩
  • Gordon Blair, Douglas Schmidt, Chantal Taconet. Middleware for Internet distribution in the context of cloud computing and the Internet of Things. Annals of Telecommunications - annales des télécommunications, 2016, 71 (3), pp.87 - 92. ⟨10.1007/s12243-016-0493-z⟩. ⟨hal-01298015⟩
  • Léon Lim, Pierrick Marie, Denis Conan, Sophie Chabridon, Thierry Desprats, et al.. Enhancing context data distribution for the internet of things using QoC-awareness and attribute-based access control. Annals of Telecommunications - annales des télécommunications, 2016, 71 (3/4), pp.121 - 132. ⟨10.1007/s12243-015-0480-9⟩. ⟨hal-01298025⟩
  • Sami Yangui, Samir Tata. An OCCI compliant model for PaaS resources description and provisioning. The Computer Journal, 2016, 59 (3), pp.308 - 324. ⟨10.1093/comjnl/bxu132⟩. ⟨hal-01282279⟩
  • Bin Guo, Chao Chen, Daqing Zhang, Zhiwen Yu, Alvin Chin. Mobile crowd sensing and computing: when participatory sensing meets participatory social media. IEEE Communications Magazine, 2016, 54 (2), pp.131 - 137. ⟨hal-01346705⟩
  • Rami Sellami, Bruno Defude, Sami Bhiri. Supporting multi data stores applications in cloud environments. IEEE Transactions on Services Computing, 2016, 9 (1), pp.59 - 71. ⟨10.1109/TSC.2015.2441703⟩. ⟨hal-01392788⟩
  • Djamel Belaid, Imen Ben Lahmar, Walid Gaaloul. Developing correct adapters for software architectural dynamic reconfiguration. International journal of autonomous and adaptive communications systems, 2016, 9 (3-4), pp.201 - 222. ⟨10.1504/IJAACS.2016.079622⟩. ⟨hal-01438803⟩
  • Jianwei Liao, François Trahay, Guoqiang Xiao. Dynamic process migration based on block access patterns occurring in storage servers. ACM Transactions on Architecture and Code Optimization, 2016, 13 (2), pp.20. ⟨10.1145/2899002⟩. ⟨hal-01347983⟩
  • Karn Yongsiriwit, Nour Assy, Walid Gaaloul. A semantic framework for configurable business process as a service in the cloud. Journal of Network and Computer Applications (JNCA), 2016, 59, pp.168 - 184. ⟨10.1016/j.jnca.2015.07.007⟩. ⟨hal-01453247⟩
  • Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller. Fast and Portable Locking for Multicore Architectures. ACM Transactions on Computer Systems, 2016, ⟨10.1145/2845079⟩. ⟨hal-01252167⟩
  • Mohamed Sellami, Pierre de Vettor, Michael Mrissa, Djamal Benslimane, Bruno Defude. DMaaS: syntactic, structural and semantic mediation for service composition. International journal of autonomous and adaptive communications systems, 2016, 9 (3-4), pp.310 - 330. ⟨10.1504/IJAACS.2016.079627⟩. ⟨hal-01434317⟩
  • Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude. Configuration assistée des processus métier. Conception et expérimentation. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (6), pp.59 - 78. ⟨10.3166/isi.20.6.59-78⟩. ⟨hal-01434476⟩
  • Yang Dingqi, Daqing Zhang, Zhiyong Yu, Zhiwen Yu, Djamal Zeghlache. SESAME: mining user digital footprints for fine-grained preference-aware social media search. ACM Transactions on Internet Technology, 2014, 14 (4), ⟨10.1145/2677209⟩. ⟨hal-01273645⟩
  • Zhu Wang, Daqing Zhang, Xingshe Zhou, Dingqi Yang, Zhiyong Yu, et al.. Discovering and profiling overlapping communities in location-based social networks. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, 44 (4), pp.2168 - 2216. ⟨10.1109/TSMC.2013.2256890⟩. ⟨hal-01277822⟩
  • Zakaria Maamar, Samir Tata, Kokou Yetongnon, Djamal Benslimane, Philippe Thiran. A goal-based approach to engineering capacity-driven Web services. Knowledge Engineering Review, 2014, 29 (2), pp.265 - 280. ⟨10.1017/S0269888914000095⟩. ⟨hal-01279223⟩
  • Dorsaf Zekri, Bruno Defude, Thierry Delot. Building, sharing and exploiting spatio- temporal aggregates in vehicular networks. Mobile Information Systems, 2014, 10 (3), pp.259 - 285. ⟨10.3233/MIS-130181⟩. ⟨hal-01434331⟩
  • Bin Guo, Daqing Zhang, Zhu Wang, Zhiwen Yu, Xingshe Zhou. Opportunistic IoT : exploring the harmonious interaction between human and the internet of things. Journal of Network and Computer Applications (JNCA), 2013, 36 (6), pp.1531 - 1539. ⟨10.1016/j.jnca.2012.12.028⟩. ⟨hal-01277830⟩
  • Zhiwen You, Xingshe Zhou, Daqing Zhang, Gregor Schiele, Christian Becker. Understanding social relationship evolution by using real-world sensing data. World Wide Web, 2013, 16 (5), pp.749 - 762. ⟨10.1007/s11280-012-0189-x⟩. ⟨hal-01277845⟩
  • Sophie Chabridon, Denis Conan, Zied Abid, Chantal Taconet. Building ubiquitous QoC-aware applications through model-driven software engineering. Science of Computer Programming, 2013, 78 (10), pp.1912 - 1929. ⟨10.1016/j.scico.2012.07.019⟩. ⟨hal-00848041⟩
  • Zhangbing Zhou, Mohamed Sellami, Walid Gaaloul, Mahmoud Barhamgi, Bruno Defude. Data providing services clustering and management for facilitating service discovery and replacement. IEEE Transactions on Automation Science and Engineering, 2013, 10 (4), pp.1131 - 1146. ⟨10.1109/TASE.2012.2237551⟩. ⟨hal-01275248⟩
  • Sophie Chabridon, Romain Laborde, Thierry Desprats, Arnaud Oglaza, Pierrick Marie, et al.. A survey on addressing privacy together with quality of context for context management in the Internet of Things. Annals of Telecommunications - annales des télécommunications, 2013, 69 (1-2), pp.47-62. ⟨10.1007/s12243-013-0387-2⟩. ⟨hal-01285786⟩
  • Lin Sun, Daqing Zhang, Chao Chen, Pablo Samuel Castro, Shijian Li, et al.. Real time anomalous trajectory detection and analysis. Mobile Networks and Applications, 2013, 18 (3), pp.341 - 356. ⟨10.1007/s11036-012-0417-8⟩. ⟨hal-00831013⟩
  • Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Towards an approach of formal verification of mediation protocol based on web services of MDE type. International Journal of Web Information Systems, 2012, 8 (1), pp.32 - 54. ⟨10.1108/17440081211222582⟩. ⟨hal-00751238⟩
  • Youakim Badr, Frédérique Biennier, Samir Tata. The integration of corporate security strategies in collaborative business processes. IEEE Transactions on Services Computing, 2011, 4 (3), pp.243 - 254. ⟨10.1109/TSC.2010.18⟩. ⟨hal-01299326⟩
  • Chantal Taconet, Zakia Imane Kazi-Aoul. Building context-awareness models for mobile applications. Journal of Digital Information Management, 2010, 8 (2), pp.78 - 87. ⟨hal-00470405⟩
  • Bruno Defude. Editorial Multidimentionnalité et passage à l'échelle. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, 15 (1), pp.7 - 8. ⟨hal-01356235⟩
  • Walid Gaaloul, Khaled Gaaloul, Sami Bhiri, Armin Haller, Manfred Hauswirth. Log-based transactional workflow mining. Distributed and Parallel Databases, 2009, 25 (3), pp.193 - 240. ⟨10.1007/s10619-009-7040-0⟩. ⟨hal-00441545⟩
  • Samir Tata, Kais Klai, Nomane Ould Ahmed M'Barek. CoopFlow : a bottom-up approach to workflow cooperation for short-term virtual enterprises. IEEE Transactions on Services Computing, 2008, 1 (4), pp.214 - 228. ⟨10.1109/TSC.2008.19⟩. ⟨hal-01372607⟩
  • Yu Zhiwen, Yuichi Nakamura, Daqing Zhang, Shoji Kajita, Kenji Mase. Content provisioning for ubiquitous learning. IEEE Pervasive Computing, 2008, 7 (4), pp.62 - 70. ⟨10.1109/MPRV.2008.69⟩. ⟨hal-01372033⟩
  • Daqing Zhang, Weijun Qin, Brian Y. Lim, Manli Zhu. Impromptu services discovery and provision in heterogeneous assistive environments. International journal of assistive robotics and mechatronics, 2008, 9 (1), pp.48 - 56. ⟨hal-01372014⟩
  • Guy Bernard, Jalel Ben-Othman, Luc Bouganim, Gérôme Canals, Bruno Defude, et al.. Mobilité et bases de données : état de l'art et perspectives : 2ème Partie. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2003, 22 (4), pp.497-518. ⟨10.3166/tsi.22.497-518⟩. ⟨hal-03855156⟩

Conference papers

  • Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Houssam Hajj Hassan, Valérie Issarny. Automating the evaluation of interoperability effectiveness in heterogeneous IoT systems. 21st IEEE International Conference on Software Architecture (ICSA 2024), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04482364⟩
  • Saïd Jabbour, Yue Ma, Badran Raddaoui. Towards a principle-based framework for repair selection in inconsistent knowledge bases. International Conference on Autonomous Agents and Multiagent Systems, May 2024, Auckland, New Zealand. ⟨hal-04406211⟩
  • Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu. GRAIL: checking transaction isolation violations with graph queries. 46th International Conference on Software Engineering (ICSE 2024), Apr 2024, Lisbon, Portugal. ⟨hal-04475697⟩
  • Jeremy Mechouche, Mohamed Sellami, Zakaria Maamar, Roua Touihri, Walid Gaaloul. Process mining approach for multi-cloud SLA reporting. 2023 IEEE International Conference on Big Data (IEEE BigData), Dec 2023, Sorrento (Italie), Italy. ⟨hal-04343935⟩
  • Amel Hidouri, Badran Raddaoui, Saïd Jabbour. Towards a unified symbolic AI framework for mining high utility itemsets. International Conference on Information Integration and Web Intelligence, Dec 2023, Bali, Indonesia, Indonesia. pp.77-91, ⟨10.1007/978-3-031-48316-5_11⟩. ⟨hal-04430612⟩
  • Ana Rosa Cavalli, Edgardo Montes de Oca. Cybersecurity, monitoring, explainability and resilience. 2023 Fourteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU), Nov 2023, Kyoto, France. pp.1-7, ⟨10.23919/ICMU58504.2023.10412157⟩. ⟨hal-04476909⟩
  • Hayet Brabra, Imen Jerbi, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache. Uncovering implicit bundling constraints: empowering cloud network service discovery. 21st International Conference on Service-Oriented Computing (ICSOC), Nov 2023, Rome, Italy. pp.115-123, ⟨10.1007/978-3-031-48424-7_9⟩. ⟨hal-04311834⟩
  • Quelen Cartellier, Marc Frappier, Amel Mammar. Proving local invariants in ASTDs. International Conference on Formal Engineering Methods (ICFEM ), Nov 2023, Brisbane, QLD, Australia. ⟨10.1007/978-981-99-7584-6_14⟩. ⟨hal-04344486⟩
  • Mohamad Albilani, Amel Bouzeghoub. Guided hierarchical reinforcement learning for safe urban driving. The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2023, Atlanta, United States. pp.746-753, ⟨10.1109/ICTAI59109.2023.00115⟩. ⟨hal-04360073⟩
  • Saïd Jabbour, Yue Ma, Badran Raddaoui. Towards novel inference relations based on logical argumentation. 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3’23), Nov 2023, Roma, Italy. ⟨hal-04423036⟩
  • Mourad Hassani, Amel Bouzeghoub. Efficient constraint learning for stream reasoning. The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2023, Atlanta, United States. pp.204-211, ⟨10.1109/ICTAI59109.2023.00038⟩. ⟨hal-04360111⟩
  • Julien Romero, Simon Razniewski. Mapping and Cleaning Open Commonsense Knowledge Bases with Generative Translation. International Semantic Web Conference 2023 (ISWC), Nov 2023, Athènes, Greece. pp.368-387, ⟨10.1007/978-3-031-47240-4_20⟩. ⟨hal-04250403⟩
  • Angela Bonifati, Stefania Dumbrava, Haridimos Kondylakis, Georgia Troullinou, Giannis Vassiliou. PING: progressive querying on RDF graphs. 22nd International Semantic Web Conference (ISWC Demo track 2023), Nov 2023, Athens, Greece. ⟨hal-04479479⟩
  • Leyla Moctar M’baba, Mohamed Sellami, Nour Assy, Walid Gaaloul, Mohamedade Farouk Nanne. Discovering guard stage milestone models through hierarchical clustering. International Conference on Cooperative Information Systems (CoopIS), Oct 2023, Groningen, Netherlands. pp.239-256, ⟨10.1007/978-3-031-46846-9_13⟩. ⟨hal-04257487⟩
  • Wafaa Mebrek, Amel Bouzeghoub. Multi-context incremental reasoning over data streams. International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), Oct 2023, Venice, France. pp.150-157, ⟨10.1109/WI-IAT59888.2023.00026⟩. ⟨hal-04359945⟩
  • Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul. Enabling multi-process discovery on graph databases. CoopIS 2022: Cooperative Information Systems - 28th International Conference, Oct 2023, Bolzano, Bolzen, France. pp.112-130, ⟨10.1007/978-3-031-17834-4_7⟩. ⟨hal-03992652⟩
  • Natalia Kushik, Nina Yevtushenko, Jorge López. Probabilistic approach for minimizing checking sequences for non-deterministic FSMs. 35th International Conference on Testing Software and Systems (ICTSS), Sep 2023, Bergame (Italie), Italy. pp.237-243, ⟨10.1007/978-3-031-43240-8_15⟩. ⟨hal-04322446⟩
  • Ali Nour Eldin, Jonathan Baudot, Walid Gaaloul. Zooming in for clarity: towards low-code modeling for activity data flow. 21st International Conference on Business Process Management {BPM}, Sep 2023, Utrecht, Netherlands. pp.267-282, ⟨10.1007/978-3-031-41623-1_16⟩. ⟨hal-04376895⟩
  • Denisse Muñante, Anna Perini, Angelo Susi. Exploiting goal-oriented requirements models for increasing energy awareness: a research preview. The 16th International i* Workshop (iStar’23), Sep 2023, Hannover, Germany. ⟨hal-04425021⟩
  • Erkuden Rios, Eider Iturbe, Angel Rego, Nicolas Ferry, Jean-Yves Tigli, et al.. The DYNABIC approach to resilience of critical infrastructures. The 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-8, ⟨10.1145/3600160.3605055⟩. ⟨hal-04476904⟩
  • Francesco Caccavale, Huu-Nghia Nguyen, Ana R Cavalli, Edgardo Montes de Oca, Wissam Mallouli. HTTP/2 attacks generation using 5Greplay. The 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-7, ⟨10.1145/3600160.3605062⟩. ⟨hal-04476907⟩
  • Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet. A Non-overlapping Community Detection Approach Based on α-Structural Similarity. International Conference on Big Data Analytics and Knowledge Discovery, Aug 2023, Penang, Malaysia. ⟨hal-04207119⟩
  • Badran Raddaoui, Christian Straßer, Said Jabbour. A Comparative Study of Ranking Formulas Based on Consistency. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.3330-3337, ⟨10.24963/ijcai.2023/371⟩. ⟨hal-04206677⟩
  • Said Jabbour, Badran Raddaoui, Lakhdar Sais. A Symbolic Approach to Computing Disjunctive Association Rules from Data. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2133-2141, ⟨10.24963/ijcai.2023/237⟩. ⟨hal-04206675⟩
  • Amel Hidouri, Badran Raddaoui, Said Jabbour. Targeting Minimal Rare Itemsets from Transaction Databases. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2114-2121, ⟨10.24963/ijcai.2023/235⟩. ⟨hal-04206674⟩
  • Jesse Heyninck, Badran Raddaoui, Christian Straßer. Ranking-based Argumentation Semantics Applied to Logical Argumentation. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.3268-3276, ⟨10.24963/ijcai.2023/364⟩. ⟨hal-04206676⟩
  • Amélie Ledein, Valentin Blot, Catherine Dubois. A semantics of K into dedukti. TYPES 2022 - 28th International Conference on Types for Proofs and Programs (TYPES), Jul 2023, Nantes, France. ⟨10.4230/LIPIcs.TYPES.2022.23⟩. ⟨hal-03895834v2⟩
  • Jerry Lonlac, Imen Dlala, Said Jabbour, Engelbert Nguifo, Badran Raddaoui, et al.. Extracting frequent gradual patterns based on SAT. 12th International Conference on Data Science, Technology and Applications (DATA ), Jul 2023, Rome, Italy. pp.136-143, ⟨10.5220/0012126000003541⟩. ⟨hal-04343730⟩
  • Anis Bouaziz, Manh-Dung Nguyen, Valeria Valdés, Ana R Cavalli, Wissam Mallouli. Study on adversarial attacks techniques, learning methods and countermeasures: application to anomaly detection. 18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, France. pp.510-517, ⟨10.5220/0012125100003538⟩. ⟨hal-04476913⟩
  • Meryem Afendi, Amel Mammar, Régine Laleau. A tool-supported approach for modeling and verifying hybrid systems using EVENT-B and the differential equation solver SAGEMATH. 18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, Italy. pp.71-83, ⟨10.5220/0012080900003538⟩. ⟨hal-04344606⟩
  • Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, et al.. A novel logic-based adaptive monitoring for composite edge services. 2023 IEEE International Conference on Web Services (ICWS), Jul 2023, Chicago, France. pp.310-317, ⟨10.1109/ICWS60048.2023.00050⟩. ⟨hal-04376886⟩
  • Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. ComDeX: a context-aware federated platform for IoT-enhanced communities. 17th ACM International Conference on Distributed and Event‐Based Systems (DEBS), Jun 2023, Neuchatel, Switzerland. ⟨10.1145/3583678.3596890⟩. ⟨hal-04125991⟩
  • Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. Demo: comDeX unveiled demonstrating the future of IoT-Enhanced communities. 17th ACM International Conference on Distributed and Event‐Based Systems (DEBS), Jun 2023, Neuchatel, Switzerland. ⟨10.1145/3583678.3603279⟩. ⟨hal-04125998⟩
  • Georgios Bouloukakis, Ajay Kattepur. DONNA: a data model for enabling extensible and efficient metaverse applications. International Workshop on Visualization & Simulation in the Metaverse (VSM 2023), MetaCom Workshops, Jun 2023, Kyoto, Japan. ⟨hal-04122938⟩
  • Houssam Hajj Hassan, Georgios Bouloukakis, Denis Conan, Ajay Kattepur, Mahdi Trabolsi, et al.. (DEMO) EDICT: A simulation tool for performance metrics datasets in IoT environments. 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT), Jun 2023, Pafos, Cyprus. ⟨hal-04125135⟩
  • Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. EDICT: simulation of edge interactions across IoT-enhanced environments. 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT), Jun 2023, Pafos, Cyprus. ⟨hal-04125134⟩
  • Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, et al.. PG-Schema: schemas for property graphs. ACM SIGMOD International Conference on Management of Data (SIGMOD), Jun 2023, Seattle, WA, United States. pp.1-25, ⟨10.1145/3589778⟩. ⟨hal-04224583⟩
  • Imen Jerbi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, et al.. Request relaxation based-on provider constraints for a capability-based NaaS services discovery. 35th International Conference on Advanced Information Systems Engineering (CAiSE), Jun 2023, ZARAGOZA, Spain. pp.611-627, ⟨10.1007/978-3-031-34560-9_36⟩. ⟨hal-04198824⟩
  • Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Everton Cavalcante. A Middleware architecture for mastering energy consumption in internet of things applications. 2023 International Conference on ICT for Sustainability (ICT4S), IEEE, Jun 2023, Rennes, France. ⟨10.1109/ICT4S58814.2023.00016⟩. ⟨hal-04127201⟩
  • Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. Artifact: implementation of an adaptive flow management framework for IoT spaces. 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS ), May 2023, Melbourne, Australia. ⟨hal-04125130⟩
  • Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. PlanIoT: a framework for adaptive data flow management in IoT-enhanced spaces. 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS ), May 2023, Melbourbe, Australia. ⟨hal-04125131⟩
  • Natalia Kushik, Nina Yevtushenko. Studying synchronization issues for extended automata. 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Apr 2023, Prague, Czech Republic. pp.338-345, ⟨10.5220/0011785700003464⟩. ⟨hal-04322438⟩
  • Evgenii Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache. Timed transition tour for race detection in distributed systems. 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE ), Apr 2023, Prague, Czech Republic. pp.613-620, ⟨10.5220/0011986700003464⟩. ⟨hal-04322441⟩
  • Georgios Bouloukakis, Chrysostomos Zeginis, Nikolaos Papadakis, Kostas Magoutis, George Christodoulou, et al.. SmartCityBus -A platform for smart transportation systems. The ACM Web Search and Data Mining (WSDM), Feb 2023, Singapore, Singapore. ⟨10.1145/3539597.3575781⟩. ⟨hal-03935540⟩
  • Adrien Roussel, Mickael Boichot, Romain Pereira, Manuel Ferat. Enhancing productivity on heterogeneous supercomputers with task-based programming model. SIAM CSE 2023 - SIAM Conference on Computational Science and Engineering, Feb 2023, Amsterdam, Netherlands. ⟨cea-03994014⟩
  • Julien Romero, Simon Razniewski. Do children texts hold the key to commonsense knowledge?. EMNLP 2022: The 2022 Conference on Empirical Methods in Natural Language Processing, Dec 2022, Abu Dhabi, France. ⟨hal-03832361⟩
  • Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem. Towards a secure cross-Blockchain smart contract architecture. International Conference on Risks and Security of Internet and Systems (CRiSIS ), Dec 2022, Sousse, Tunisia. pp.127-132, ⟨10.1007/978-3-031-31108-6_10⟩. ⟨hal-04112561⟩
  • Sara Bouguelia, Auday Berro, Boualem Benatallah, Marcos Báez, Hayet Brabra, et al.. Process-oriented intents: a cornerstone for superimposition of natural language conversations over composite services. The 20th International Conference on Service-Oriented Computing (ICSOC), Nov 2022, Seville, Spain. pp.575-583, ⟨10.1007/978-3-031-20984-0_41⟩. ⟨hal-03990939⟩
  • Abdessalam Elhabbash, Yehia Elkhatib, Georgios Bouloukakis, Maria Salama. A middleware for automatic composition and mediation in IOT systems. The 12th International Conference on the Internet of Things(IoT 2022), Nov 2022, Delft, Netherlands. pp.127-134, ⟨10.1145/3567445.3567451⟩. ⟨hal-03854171⟩
  • Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. Enabling dynamic smart spaces using IoT-enhanced NGSI-LD data models. CWSI 2022 - 3rd IoT Connected World/Web Semantic Interoperability Workshop, Nov 2022, Delft, Netherlands. ⟨hal-03854302⟩
  • Georgios Bouloukakis, Chrysostomos Zeginis, Nikolaos Papadakis, Panagiotis Zervakis, Dimitris Plexousakis, et al.. Enabling IOT-enhanced transportation systems using the NGSI protocol. The 12th International Conference on the Internet of Things(IoT 2022), Faculté de génie du design industriel (IDE), Nov 2022, Delft, Netherlands. pp.33-40, ⟨10.1145/3567445.3567460⟩. ⟨hal-03854196⟩
  • Cathia Le Hasif, Andrea Araldo, Stefania Dumbrava, Dimitri Watel. A graph-database approach to assess the impact of demand-responsive services on public transit accessibility. The 30th International Conference on Advances in Geographic Information Systems (SIGSPATIAL ), Nov 2022, Seattle Washington, United States. pp.1-4, ⟨10.1145/3557991.3567798⟩. ⟨hal-04233161⟩
  • Mohamad Albilani, Amel Bouzeghoub. Localization of autonomous vehicle with low cost sensors. 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS), Oct 2022, Denver, United States. pp.339-345, ⟨10.1109/MASS56207.2022.00056⟩. ⟨hal-03915421⟩
  • Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul. Automatic processing of planning problems: application on representative case studies. Advances in Computational Collective Intelligence - 14th International(ICCCI), Sep 2022, Hammamet, Tunisia. pp.436-445, ⟨10.1007/978-3-031-16210-7_36⟩. ⟨hal-03992678⟩
  • Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, et al.. A trustworthy decentralized change propagation mechanism for declarative choreographies. 20th International Conference on Business Process Management, Sep 2022, Munster, Germany. pp.418-435, ⟨10.1007/978-3-031-16103-2_27⟩. ⟨hal-04295596⟩
  • Alexis Colin, François Trahay, Denis Conan. PYTHIA: an oracle to guide runtime system decisions. 2022 IEEE International Conference on Cluster Computing (CLUSTER), Sep 2022, Heidelberg, Germany. pp.106-116, ⟨10.1109/CLUSTER51413.2022.00025⟩. ⟨hal-03750441⟩
  • Fei Dai, Guozhi Liu, Bi Huang, Xiaolong Xu, Chaochao Chen, et al.. A Distributed Privacy-Preserving Framework for Deep Learning with Edge-Cloud Computing. 2022 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, Physical & Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), Aug 2022, Espoo, Finland. pp.250-257, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics55523.2022.00070⟩. ⟨hal-04030839⟩
  • Saïd Jabbour, Mourad Kmimech, Badran Raddaoui. Discovering overlapping communities based on cohesive subgraph models over graph data. DaWaK 2022: 24th International Conference on Big Data Analytics and Knowledge Discovery, Aug 2022, Vienne, Austria. pp.189-201, ⟨10.1007/978-3-031-12670-3_16⟩. ⟨hal-03721054⟩
  • Charilaos C. Zarakovitis, Dimitrios Klonidis, Zujany Salazar, Anna Prudnikova, Arash Bozorgchenani, et al.. SANCUS: multi-layers vulnerability management framework for cloud-native 5G networks. The 16th International Conference on Availability, Reliability and Security (ARES), Aug 2022, Vienna, Austria. pp.1-10. ⟨hal-04478439⟩
  • Amel Hidouri, Saïd Jabbour, Badran Raddaoui. On the enumeration of frequent high utility itemsets: a symbolic AI approach. CP 2022: 28th international conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.27⟩. ⟨hal-03721039⟩
  • Zujany Salazar, Fatiha Zaïdi, Wissam Mallouli, Ana R Cavalli, Huu Nghia Nguyen, et al.. A formal approach for complex attacks generation based on mutation of 5G network traffic. 17th International Conference on Software Technologies (ICSOFT), Institute of Business Informatics Wroclaw; Department of Computing Sydney, Macquarie Univ., Sydney, Australia, Jul 2022, Lisbon (Portugal), Portugal. ⟨hal-04477834⟩
  • Imen Jerbi, Nour Assy, Mohamed Sellami, Sami Bhiri, Olivier Tirat, et al.. Enabling multi-provider cloud network service bundling. 2022 IEEE International Conference on Web Services (ICWS), Jul 2022, Barcelona, Spain. pp.405-414, ⟨10.1109/ICWS55610.2022.00067⟩. ⟨hal-03782791⟩
  • Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane. A parallel declarative framework for mining high utility itemsets. IPMU 2022: 19th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jul 2022, Milan, Italy. pp.624-637, ⟨10.1007/978-3-031-08974-9_50⟩. ⟨hal-03721020⟩
  • Deng Zhao, Zhangbing Zhou, Zhipeng Cai, Teng Long, Sami Yangui, et al.. ASTL: accumulative signal temporal logic for IoT service monitoring. IEEE International Conference on Web Services (ICWS 2022), Jul 2022, Barcelona, Spain. pp.256-265, ⟨10.1109/ICWS55610.2022.00047⟩. ⟨hal-04030781⟩
  • Leyla Moctar M'Baba, Nour Assy, Mohamedade Farouk Nanne, Mohamed Sellami, Walid Gaaloul. Extracting artifact-centric event logs from blockchain applications. 2022 SCC: International Conference on Services Computing (SCC), Jul 2022, Barcelona, France. pp.274-283, ⟨10.1109/SCC55611.2022.00048⟩. ⟨hal-03769216⟩
  • Vinh Hoa La, Edgardo Montes De Oca, Wissam Mallouli, Ana R Cavalli. A framework for security monitoring of real IoT testbeds. 16th International Conference on Software Technologies (ICSOFT), Lisbonne University, Jul 2022, Lisbonne, Portugal. ⟨hal-04478481⟩
  • Alexis Colin, François Trahay, Denis Conan. PYTHIA : un oracle pour guider les décisions des runtimes. COMPAS 2022: Conférence francophone d'informatique en Parallélisme Architecture et Système (Compas), MIS - Laboratoire Modélisation, Informatique et Système - de l’Université de Picardie Jules Verne., Jul 2022, Amiens, France. ⟨hal-03754168⟩
  • Amélie Ledein, Valentin Blot, Catherine Dubois. Vers une traduction de K en Dedukti. JFLA 2022 - Journées Francophones des Langages Applicatifs (JFLA), Jun 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03604962⟩
  • Catherine Dubois, Nicolas Magaud, Alain Giorgetti. Pragmatic isomorphism proofs between coq representations: application to lambda-term families. 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩. ⟨hal-04245455⟩
  • Rodrigo Canek, Pedro Borges, Chantal Taconet. Analysis of the impact of interaction patterns and IoT protocols on energy consumption of IoT consumer applications. DAIS 2022: 17th International Conference on Distributed Applications and Interoperable Systems, Jun 2022, Lucca, Italy. pp.1-17. ⟨hal-03710735⟩
  • Mohamad Albilani, Amel Bouzeghoub. Dynamic adjustment of reward function for proximal policy optimization with imitation learning: application to automated parking systems. 2022 IEEE Intelligent Vehicles Symposium (IV), Jun 2022, Aachen, Germany. pp.1400-1408, ⟨10.1109/IV51971.2022.9827194⟩. ⟨hal-03915402⟩
  • Thao Truong Nguyen, François Trahay, Jens Domke, Aleksandr Drozd, Emil Vatai, et al.. Why globally re-shuffle? Revisiting data shuffling in large scale deep learning. IPDPS 2022: 36th International Parallel & Distributed Processing Symposium, May 2022, Lyon (virtual), France. pp.1-12, ⟨10.1109/IPDPS53621.2022.00109⟩. ⟨hal-03599740⟩
  • Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. A declarative framework for maximal k-plex enumeration problems. AAMAS 2022: 21st international conference on Autonomous Agents and Multiagent Systems, May 2022, Auckland (online), New Zealand. pp.660-668, ⟨10.5555/3535850.3535925⟩. ⟨hal-03721004⟩
  • Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.316-325, ⟨10.1145/3477314.3507309⟩. ⟨hal-03992692⟩
  • Amel Benna, Fatma Masmoudi, Mohamed Sellami, Zakaria Maamar, Rachid Hadjidj. On modelling and analyzing composite resources’ consumption cycles using Time Petri-Nets. ENASE 2022: 17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online, France. pp.243-250, ⟨10.5220/0010971900003176⟩. ⟨hal-03657309⟩
  • Wafaa Mebrek, Amel Bouzeghoub. A multi-agent based framework for RDF stream processing. International Conference on Advanced Information Networking and Applications (AINA), Apr 2022, Sydney, Australia. pp.516-528, ⟨10.1007/978-3-030-99584-3_45⟩. ⟨hal-03915391⟩
  • Zujany Salazar, Ana R Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaïdi, et al.. Monitoring approaches for security and safety analysis: application to a load position system. International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Universitat Politècnica de València and Open Universiteit, Apr 2022, Valencia (Espagne), mars 2007, Spain. ⟨10.1109/ICSTW55395.2022.00021⟩. ⟨hal-04477933⟩
  • Manh-Dung Nguyen, Vinh Hoa La, Ana R Cavalli, Edgardo Montes De Oca. Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks. 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mälardalen University, Apr 2022, Valencia (Espagne), Spain. ⟨10.1109/ICSTW55395.2022.00016⟩. ⟨hal-04477901⟩
  • Mathieu Montin, Amélie Ledein, Catherine Dubois. LibNDT: towards a formal library on spreadable properties over linked nested datatypes. Ninth Workshop on Mathematically Structured Functional Programming (MSFP), Jeremy Gibbons; Max S. New, Apr 2022, Munich, Germany. pp.27-44, ⟨10.4204/eptcs.360.2⟩. ⟨hal-04316452⟩
  • Angela Bonifati, Stefania Dumbrava, Nicolas Mir. Hierarchical clustering for property graph schema discovery. 25th International Conference on Extending Database Technology (EDBT ), Mar 2022, Edinburgh, United Kingdom. pp.449-453. ⟨hal-03692293⟩
  • Andrew Chio, Daokun Jiang, Peeyush Gupta, Georgios Bouloukakis, Roberto Yus, et al.. SmartSPEC: customizable smart space datasets via event-driven simulations. PERCOM 2022: 20th International Conference on Pervasive Computing and Communications, Mar 2022, Pisa, Italy. pp.152-162, ⟨10.1109/PerCom53586.2022.9762405⟩. ⟨hal-03613959⟩
  • Andrew Chio, Daokun Jiang, Peeyush Gupta, Georgios Bouloukakis, Roberto Yus, et al.. Artifact: SmartSPEC: customizable smart space datasets via event-driven simulations. PERCOM 2022: 20th International Conference on Pervasive Computing and Communications, Mar 2022, Pisa, Italy. pp.183-184, ⟨10.1109/PerComWorkshops53856.2022.9767264⟩. ⟨hal-03613965⟩
  • Zhibing Sha, Zhigang Cai, François Trahay, Jianwei Liao, Dong Yin. Unifying temporal and spatial locality for cache management inside SSDs. DATE 2022: 25th Design, Automation and Test in Europe, Mar 2022, Online, France. pp.891-896, ⟨10.23919/DATE54114.2022.9774532⟩. ⟨hal-03601725⟩
  • Yassine Kriouile, Corinne Ancourt, Lamine Bougueroua, Katarzyna Węgrzyn-Wolska. Generating proposals from corners in RPN to detect bees in dense scenes. 17th International Conference on Computer Vision Theory and Applications(VISAPP 22), Feb 2022, Online Streaming, France. pp.339-350, ⟨10.5220/0010815000003124⟩. ⟨hal-03779538⟩
  • Denisse Muñante, Bruno Traverson, Sophie Chabridon, Amel Bouzeghoub. SHORE: a model-driven approach that combines goal, semantic and variability models for Smart HOme self-REconfiguration. MODELSWARD 2022: 10th international conference on Model-Driven Engineering and Software Development, Feb 2022, Online, France. pp.328-335, ⟨10.5220/0010907300003119⟩. ⟨hal-03610122⟩
  • Tiphaine Henry, Roman Beck, Nassim Laga, Walid Gaaloul, Shenle Pan. Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach. 55th Hawaii International Conference on System Sciences (HICCS-55), Jan 2022, Hawaii, United States. ⟨10.24251/HICSS.2022.615⟩. ⟨hal-03526852⟩
  • Leyla Moctar M'Baba, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne. Blockchain logging for process mining: a systematic review. HICSS 2022: 55th Hawaii International Conference on System Sciences, Jan 2022, Hawaii, United States. pp.6197-6206, ⟨10.24251/HICSS.2022.751⟩. ⟨hal-03631633⟩
  • Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui. On minimal and maximal high utility itemsets mining using propositional satisfiability. BIGDATA 2021: IEEE International Conference on Big Data, Dec 2021, Orlando (online), United States. pp.622-628, ⟨10.1109/BigData52589.2021.9671422⟩. ⟨hal-03466377⟩
  • Peterson Yuhala, Jämes Ménétrey, Pascal Felber, Valerio Schiavoni, Alain Tchana, et al.. Montsalvat: Intel SGX shielding for GraalVM native images. Middleware '21: 22nd International Middleware Conference, Dec 2021, Online, Canada. pp.352-364, ⟨10.1145/3464298.3493406⟩. ⟨hal-03415550v2⟩
  • Ilyas Toumlilt, Pierre Sutra, Marc Shapiro. Highly-available and consistent group collaboration at the edge with colony. Middleware 2021: 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. pp.336-351, ⟨10.1145/3464298.3493405⟩. ⟨hal-03353663v3⟩
  • Yuwei Wang, Denis Conan, Sophie Chabridon, Kavoos Bojnourdi, Jingxuan Ma. Runtime models and evolution graphs for the version management of microservice architectures. APSEC 2021: 28th Asia-Pacific Software Engineering Conference, Dec 2021, Taipei (online), Taiwan. pp.536-541, ⟨10.1109/APSEC53868.2021.00064⟩. ⟨hal-03419462⟩
  • Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul. Migration-based service allocation optimization in dynamic IoT networks. ICSOC 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⟩. ⟨hal-03520017⟩
  • Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, et al.. Trustworthy cross-organizational collaborations with hybrid on/off-chain declarative choreographies. 19th International Conference on Service-Oriented Computing (ICSOC), Nov 2021, Dubai (Virtual Event), United Arab Emirates. pp.81-96, ⟨10.1007/978-3-030-91431-8_6⟩. ⟨hal-03468040⟩
  • Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model checking of solidity smart contracts adopted for business processes. ICSOC 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⟩. ⟨hal-03520013⟩
  • Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul. Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE 2021: 17th International Conference on e-Business Engineering, Nov 2021, Guangzhou (online), China. pp.1-8, ⟨10.1109/ICEBE52470.2021.00014⟩. ⟨hal-03641853⟩
  • Natalia Kushik, Nina Yevtushenko, Jorge López. Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization. IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2021, London, United Kingdom. pp.55-61, ⟨10.1007/978-3-031-04673-5_4⟩. ⟨hal-04430476⟩
  • Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui. A constraint-based approach for enumerating gradual itemsets. ICTAI 2021: 33rd IEEE International Conference on Tools with Artificial Intelligence, Nov 2021, Washington D.C (virtual), United States. pp.582-589, ⟨10.1109/ICTAI52525.2021.00093⟩. ⟨hal-03466372⟩
  • Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Bassem Haidar. An intent-based natural language interface for querying process execution data. ICPM 2021: 3rd International Conference on Process Mining (ICPM), Oct 2021, Eindhoven, Netherlands. pp.152-159, ⟨10.1109/ICPM53251.2021.9576850⟩. ⟨hal-03519996⟩
  • Anatole Lefort, Yohan Pipereau, Kwabena Amponsem, Pierre Sutra, Gaël Thomas. J-NVM: off-heap persistent objects in Java. SOSP 2021: ACM SIGOPS 28th Symposium on Operating Systems Principles, Oct 2021, Online, Germany. pp.408-423, ⟨10.1145/3477132.3483579⟩. ⟨hal-03437693⟩
  • Nour El Houda Ben Chaabene, Amel Bouzeghoub, Ramzi Guetari, Henda Hajjami Ben Ghezala. Applying machine learning models for detecting and predicting militant terrorists behaviour in twitter. 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct 2021, Melbourne, Australia. pp.309-314, ⟨10.1109/SMC52423.2021.9659253⟩. ⟨hal-03915516⟩
  • Amel Hidouri, Said Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane. A declarative framework for mining Top-k high utility itemsets. DaWaK 2021: 23rd international conference on Big Data Analytics and Knowledge Discovery, Sep 2021, Linz (online), Austria. pp.250-256, ⟨10.1007/978-3-030-86534-4_24⟩. ⟨hal-03466369⟩
  • Denisse Muñante, Anna Perini, Fitsum Meshesha Kifetew, Angelo Susi. Combining risk and variability modelling for requirements analysis in SAS engineering. RE 2021: 29th International Requirements Engineering Conference, Sep 2021, Notre Dame, United States. pp.396-401, ⟨10.1109/RE51729.2021.00044⟩. ⟨hal-03533987⟩
  • Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, et al.. CTL-based dynamic IoT service composition. ICWS 2021: IEEE International Conference on Web Services, Sep 2021, Chicago (online), United States. pp.381-388, ⟨10.1109/ICWS53863.2021.00057⟩. ⟨hal-03520021⟩
  • Tiphaine Henry, Nassim Laga, Julien Hatin, Roman Beck, Walid Gaaloul. Hire me fairly: towards dynamic resource-binding with smart contracts. SCC 2021: IEEE International Conference on Services Computing, Sep 2021, Chicago (online), United States. pp.407-412, ⟨10.1109/SCC53864.2021.00058⟩. ⟨hal-03519990⟩
  • Ralph Bou Nader, Nour Assy, Walid Gaaloul, Yehia Taher, Rafiqul Haque. Track Before Detect: a novel approach for unsupervised anomaly detection In time series. SMDS 2021: IEEE International Conference on Smart Data Services, Sep 2021, Chicago (online), United States. pp.142-151, ⟨10.1109/SMDS53860.2021.00028⟩. ⟨hal-03520025⟩
  • Rania Ben Halima, Kais Klai, Mohamed Sellami, Zakaria Maamar. Formal modeling and verification of property-based resource consumption cycles. SCC 2021: IEEE International Conference on Services Computing, Sep 2021, Chicago (online), United States. pp.370-375, ⟨10.1109/SCC53864.2021.00052⟩. ⟨hal-03454749⟩
  • Jun Li, Minjun Li, Zhigang Cai, François Trahay, Mohamed Wahib, et al.. Intra-page cache update in SLC-mode with partial programming in high density SSDs. ICPP 2021: 50th International Conference on Parallel Processing, Aug 2021, Chicago (online), United States. pp.46:1-46:10, ⟨10.1145/3472456.3472492⟩. ⟨hal-03367804⟩
  • Rémi Dulong, Rafael Pires, Andreia Correia, Valerio Schiavoni, Pedro Ramalhete, et al.. NVCache: a plug-and-play NVMM-based I/O booster for legacy systems. DSN 2021 : 51st annual IEEE/IFIP international conference on Dependable Systems and Networks, Jun 2021, Taipei, Taiwan. pp.186-198, ⟨10.1109/DSN48987.2021.00033⟩. ⟨hal-03437687⟩
  • Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W Hare, et al.. PG-Keys: keys for property graphs. The 2021 International Conference on Management of Data (SIGMOD '21), Jun 2021, Xi'an, China. ⟨10.1145/3448016.3457561⟩. ⟨hal-03189192⟩
  • Tung-Chun Chang, Georgios Bouloukakis, Chia-Ying Hsieh, Cheng-Hsin Hsu, Nalini Venkatasubramanian. SmartParcels: cross-Layer IoT planning for smart communities. IoTDI 2021: 6th ACM/IEEE nternational Conference on Internet- of-Things Design and Implementation, May 2021, Charlottesville (virtual), United States. pp.195-207, ⟨10.1145/3450268.3453526⟩. ⟨hal-03171372⟩
  • Zakaria Maamar, Mohamed Sellami, Fatma Masmoudi. A transactional approach to enforce resource availabilities: application to the cloud. RCIS 2021: 15th international conference on Research Challenges in Information Science, May 2021, Limassol (online), Cyprus. pp.249-264, ⟨10.1007/978-3-030-75018-3_16⟩. ⟨hal-03226493⟩
  • Mengyu Sun, Zhangbing Zhou, Walid Gaaloul. Adaptive IoT service configuration optimization in edge networks. INFOCOM 2021: IEEE Conference on Computer Communications Workshops, May 2021, Vancouver (online), Canada. pp.1-2, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484465⟩. ⟨hal-03520023⟩
  • Mohammed Islam Naas, François Trahay, Alexis Colin, Pierre Olivier, Stéphane Rubini, et al.. EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications. CHEOPS 2021: Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.4:1-4:11, ⟨10.1145/3439839.3458731⟩. ⟨hal-03215663⟩
  • Djob Mvondo, Mathieu Bacou, Kevin Nguetchouang, Lucien Ndjie, Stéphane Pouget, et al.. OFC: an opportunistic caching system for FaaS platforms. EUROSYS 2021 - 16th European Conference on Computer Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.228-244, ⟨10.1145/3447786.3456239⟩. ⟨hal-03211416⟩
  • Julien Romero. Pyformlang: an educational library for formal language manipulation. SIGCSE 2021: 52nd ACM Technical Symposium on Computer Science Education, Mar 2021, Online, United States. pp.576-582, ⟨10.1145/3408877.3432464⟩. ⟨hal-03537517⟩
  • Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet. A survey on formal verification for solidity smart contracts. ACSW 2021: Australasian Computer Science Week Multiconference, Feb 2021, Dunedin (online), New Zealand. pp.3:1-3:10, ⟨10.1145/3437378.3437879⟩. ⟨hal-03519986⟩
  • Yacine Izza, Said Jabbour, Badran Raddaoui, Abdelhamid Boudane. On the Enumeration of Association Rules: A Decomposition-based Approach. Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2021, Yokohama ( virtual ), Japan. pp.1265-1271, ⟨10.24963/ijcai.2020/176⟩. ⟨hal-03092028⟩
  • Tiphaine Henry, Nassim Laga, Julien Hatin, Walid Gaaloul, Imed Boughzala. Cross-collaboration processes based on blockchain and IoT: a survey. HICSS 2021: 54th Hawaii International Conference on System Sciences, Jan 2021, Maui, Hawaii, United States. pp.4291-4300, ⟨10.24251/HICSS.2021.521⟩. ⟨hal-03107913⟩
  • Alexis Lescouet, Élisabeth Brunet, François Trahay, Gaël Thomas. Transparent overlapping of blocking communication in MPI applications. HPCC2020: 22nd IEEE International Conference on High-Performance Computing and Communications, Dec 2020, Yanuca Island (online), Fiji. pp.744-749, ⟨10.1109/HPCC-SmartCity-DSS50907.2020.00097⟩. ⟨hal-03007204⟩
  • Erick Petersen, Jorge Lopez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using SMT-solvers for modeling and verifying dynamic network emulators: (work in progress). NCA 2020: IEEE 19th International Symposium on Network Computing and Applications (NCA ), Nov 2020, Cambridge (online), United States. pp.1-3, ⟨10.1109/NCA51143.2020.9306731⟩. ⟨hal-03119384⟩
  • Marwa Elleuch, Nour Assy, Nassim Laga, Walid Gaaloul, Oumaima Alaoui Ismaili, et al.. A meta model for mining processes from email data. SCC 2020: IEEE International Conference on Services Computing, Nov 2020, Beijing (online), China. pp.152-161, ⟨10.1109/SCC49832.2020.00028⟩. ⟨hal-03122716⟩
  • Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, et al.. Running transactional business processes with blockchain's smart contracts. ICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.89-93, ⟨10.1109/ICWS49710.2020.00019⟩. ⟨hal-03046990⟩
  • Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul. Detecting temporal anomaly and interestingness in timed business process models. ICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.418-422, ⟨10.1109/ICWS49710.2020.00061⟩. ⟨hal-03122762⟩
  • Katleen Blanchet, Amel Bouzeghoub, Selma Kchir, Olivier Lebec. How to guide humans towards skills improvement in physical human-robot collaboration using reinforcement learning?. SMC 2020: IEEE International Conference on Systems, Man, and Cybernetics, Oct 2020, Toronto (online), Canada. pp.4281-4287, ⟨10.1109/SMC42975.2020.9283469⟩. ⟨hal-03113458⟩
  • Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Nour Assy, Walid Gaaloul. Discovery of activities’ actor perspective from emails based on speech acts detection. ICPM 2020: 2nd International Conference on Process Mining, Oct 2020, Padua (online), Italy. pp.73-80, ⟨10.1109/ICPM49681.2020.00021⟩. ⟨hal-03122728⟩
  • Mohamed Ahmed, Chantal Taconet, Mohamed Ould, Sophie Chabridon, Amel Bouzeghoub. Enhancing B2B supply chain traceability using smart contracts and IoT. HICL 2020: Hamburg International Conference of Logistics, Sep 2020, Hamburg, Germany. pp.559-589. ⟨hal-03030238⟩
  • Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui. Cohesive subgraph models for overlapping community search over networks. International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), Sep 2020, Kitakyushu, Japan. ⟨10.3233/FAIA200573⟩. ⟨hal-04430614⟩
  • Nelly Condori-Fernandez, Franci Suni-Lopez, Denisse Muñante, Maya Daneva. How can personality influence perception on security of context-aware applications?. STAST 2020: International Workshop on Socio-Technical Aspects in Security and Trust, Sep 2020, Guilford (online), United Kingdom. pp.3-22, ⟨10.1007/978-3-030-79318-0_1⟩. ⟨hal-03277990⟩
  • Amel Hidouri, Said Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane. A SAT-based approach for mining high utility itemsets from transaction databases. International Conference on Big Data Analytics and Knowledge Discovery (DaWaK), Sep 2020, Bratislava, Slovakia. pp.91-106, ⟨10.1007/978-3-030-59065-9_8⟩. ⟨hal-03092027⟩
  • Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul, Boualem Benatallah. Discovering activities from emails based on pattern discovery approach. BPM 2020: Business Process Management Forum, Sep 2020, Seville (online), Spain. pp.88-104, ⟨10.1007/978-3-030-58638-6_6⟩. ⟨hal-03122726⟩
  • Catherine Dubois. Formally verified transformation of non-binary constraints into binary constraints. International Workshop on Functional and Constraint Logic Programming (WFLP), Sep 2020, Bologna, Italy. pp.117-128, ⟨10.1007/978-3-030-75333-7_7⟩. ⟨hal-04330062⟩
  • Zakaria Maamar, Ejub Kajan, Ikbel Guidara, Leyla Moctar M'Baba, Mohamed Sellami. Bridging the gap between business processes and IoT. IDEAS 2020: 24th International Database Engineering & Applications Symposium, Aug 2020, Online, South Korea. pp.2:1-2:10, ⟨10.1145/3410566.3410605⟩. ⟨hal-02910424⟩
  • Nathanaël Denis, Pierre Chaffardon, Denis Conan, Maryline Laurent, Sophie Chabridon, et al.. Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting. SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩. ⟨hal-02910407⟩
  • Nizar Mhadhbi, Badran Raddaoui. Maximal clique based influence maximization in networks. IPMU 2020: 18th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jun 2020, Lisbon, Portugal. pp.445-456, ⟨10.1007/978-3-030-50146-4_33⟩. ⟨hal-03092029⟩
  • Weiyan Chen, Kai Niu, Deng Zhao, Rong Zheng, Dan Wu, et al.. Robust dynamic hand gesture interaction using LTE terminals. IPSN 2020: 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, Apr 2020, Sydney (online), Australia. pp.109-120, ⟨10.1109/ipsn48710.2020.00017⟩. ⟨hal-03002712⟩
  • Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. Learning a configurable deployment descriptors model in NFV. NOMS 2020: IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS47738.2020.9110328⟩. ⟨hal-03122769⟩
  • Zakaria Maamar, Mohamed Sellami, Nanjangud Narendra, Ikbel Guidara, Emir Ugljanin, et al.. Towards an approach for validating the Internet-of-Transactional-Things. AINA 2020: 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1176-1188, ⟨10.1007/978-3-030-44041-1_101⟩. ⟨hal-02525733⟩
  • Nour El Houda Ben Chaabene, Amel Bouzeghoub, Ramzi Guetari, Samar Balti, Henda Hajjami Ben Ghezala. Detection of users’ abnormal behavior on social networks. AINA 2020: 34th international conference on Advanced Information Networking and Applications, Apr 2020, Caserta (online), Italy. pp.617-629, ⟨10.1007/978-3-030-44041-1_55⟩. ⟨hal-03113395⟩
  • Zakaria Maamar, Mohamed Sellami, Thar Baker, Said Elnaffar, Maj Alshibly. Atomicity in the Internet of Transactional Things (Io2T). WAINA 2020: Workshops of the 34th international conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.46-55, ⟨10.1007/978-3-030-44038-1_5⟩. ⟨hal-02525740⟩
  • Wafaa Mebrek, Amel Bouzeghoub. A stream reasoning framework based on a multi-agents model. SAC 2020: 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno (online), Czech Republic. pp.509-512, ⟨10.1145/3341105.3374111⟩. ⟨hal-03113439⟩
  • David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. A model based toolchain for the cosimulation of cyber-physical systems with FMI. MODELSWARD 2020: 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.15-25, ⟨10.5220/0008875400150025⟩. ⟨hal-02530289⟩
  • David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. The smart grid simulation framework: model-driven engineering applied to cyber-physical systems. MODELSWARD 2020: 8th international conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.3-25, ⟨10.1007/978-3-030-67445-8_1⟩. ⟨hal-03216723⟩
  • Amélie Ledein, Catherine Dubois. FaCiLe en Coq : vérification formelle des listes d'intervalles. Les 31es Journées Francophones des Langages Applicatifs (JFLA), Jan 2020, Gruisan, France. ⟨hal-04344249⟩
  • Katleen Blanchet, Selma Kchir, Amel Bouzeghoub, Olivier Lebec, Patrick Hède. From raw signals to human skills level in physical human-robot collaboration for advanced-manufacturing applications. ICONIP 2019: 26th International Conference on Neural Information Processing, Dec 2019, Sydney, Australia. pp.554-565, ⟨10.1007/978-3-030-36711-4_47⟩. ⟨hal-02450428⟩
  • Wafaa Mebrek, Badran Raddaoui, Mohamad Albilani. On relaxing failing queries over RDF databases. Big Data 2019: IEEE International Conference on Big Data, Dec 2019, Los Angeles, United States. pp.115-124, ⟨10.1109/BigData47090.2019.9006141⟩. ⟨hal-02354048⟩
  • Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Thais Batista, et al.. Mastering interactions with Internet of Things platforms through the IoTVar middleware. UCAMI 2019: 13th International Conference on Ubiquitous Computing and Ambient ‪Intelligence, Dec 2019, Tolède, Spain. pp.78, ⟨10.3390/proceedings2019031078⟩. ⟨hal-02373839⟩
  • Saïd Jabbour, Yue Ma, Badran Raddaoui. Handling disagreement in ontologies-based reasoning via argumentation. WISE 2019: 20th International Conference on Web Information Systems Engineering, Nov 2019, Hong-Kong, China. pp.389 - 406, ⟨10.1007/978-3-030-34223-4_25⟩. ⟨hal-02354031⟩
  • Praboda Rajapaksha, Reza Farahbakhsh, Noel Crespi, Bruno Defude. Uncovering flaming events on news media in social media. IPCCC 2019: 38th International Performance Computing and Communications Conference, Oct 2019, Londres, United Kingdom. pp.1-9, ⟨10.1109/IPCCC47392.2019.8958759⟩. ⟨hal-02363443⟩
  • Jinfeng Wen, Zhangbing Zhou, Yasha Wang, Walid Gaaloul, Yucong Duan. Discovering crossing-workflow fragments based on activity knowledge graph. OTM 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⟩. ⟨hal-02482868⟩
  • Youwei Zeng, Dan Wu, Jie Xiong, Enze Yi, Ruiyang Gao, et al.. FarSense: pushing the range limit of WiFi-based respiration sensing with CSI ratio of two antennas. UBICOMP 2019: International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2019, London, United Kingdom. pp.121:1-26, ⟨10.1145/3351279⟩. ⟨hal-02321014⟩
  • Youwei Zeng, Enze Yi, Dan Wu, Ruiyang Gao, Daqing Zhang. Demo: a CSI-ratio model based house-level respiration monitoring system using COTS WiFi devices. UBICOMP/ISWC 2019: ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers, Sep 2019, London, United Kingdom. pp.354-357, ⟨10.1145/3341162.3343830⟩. ⟨hal-03022856⟩
  • Lili Chen, Jie Xiong, Xiaojiang Chen, Sunghoon Ivan Lee, Daqing Zhang, et al.. LungTrack: towards contactless and zero dead-zone respiration monitoring with commodity RFIDs. UBICOMP 2019: International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2019, London, United Kingdom. pp.79-1:79-22, ⟨10.1145/3351237⟩. ⟨hal-02321058⟩
  • Anton Daumen, Patrick Carribault, François Trahay, Gaël Thomas. ScalOMP: analyzing the Scalability of OpenMP applications. IWOMP 2019: 15th International Workshop on OpenMP, Sep 2019, Auckland, New Zealand. pp.36-49, ⟨10.1007/978-3-030-28596-8_3⟩. ⟨hal-02179726⟩
  • Weiyan Chen, Kai Niu, Dan Wu, Deng Zhao, Leye Wang, et al.. A contactless gesture interaction system using LTE (4G) signals. UbiComp/ISWC 2019 Adjunct: 2019 ACM international joint conference on Pervasive and Ubiquitous Computing and 2019 ACM International Symposium on Wearable Computers, Sep 2019, London, United Kingdom. pp.260-263, ⟨10.1145/3341162.3343824⟩. ⟨hal-03002748⟩
  • Shengjie Li, Zhaopeng Liu, Yue Zhang, Xiaopeng Niu, Leye Wang, et al.. A real-time and robust intrusion detection system with commodity wi-fi. UbiComp/ISWC 2019 Adjunct: 2019 ACM international joint conference on Pervasive and Ubiquitous Computing and International Symposium on Wearable Computers, Sep 2019, London, United Kingdom. pp.316-319, ⟨10.1145/3341162.3343789⟩. ⟨hal-03002793⟩
  • Yuwei Wang. Towards service discovery and autonomic version management in self-healing microservices architecture. 13th European Conference on Software Architecture, Sep 2019, Paris, France. pp.63-66, ⟨10.1145/3344948.3344952⟩. ⟨hal-02445701⟩
  • Catherine Dubois, Virgile Prévosto, Guillaume Burel. Teaching formal methods to future engineers. Third International Workshop and Tutorial, FMTea, Sep 2019, Porto, Portugal. pp.69-80, ⟨10.1007/978-3-030-32441-4_5⟩. ⟨cea-02874103⟩
  • Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul. A SAT-based formal approach for verifying business process configuration. INNOVATIVE-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⟩. ⟨hal-03123347⟩
  • Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui. Ekstrakto A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). PxTP 2019 - Sixth Workshop on Proof eXchange for Theorem Proving (PxTP), Aug 2019, Natal, Brazil. pp.27-35, ⟨10.4204/EPTCS.301.5⟩. ⟨hal-02200548⟩
  • Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Benatallah Boualem, Faiez Gargouri. Model-driven orchestration for cloud resources. CLOUD 2019: 12th IEEE International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.422-429, ⟨10.1109/CLOUD.2019.00074⟩. ⟨hal-02482813⟩
  • Farah Bellaaj Elloumi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri. A transactional approach for reliable elastic cloud resources. SCC 2019: 16th IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.154-161, ⟨10.1109/SCC.2019.00035⟩. ⟨hal-02280891⟩
  • Monika Ewa Rakoczy, Amel Bouzeghoub, Katarzyna Wegrzyn-Wolska, Alda Lopes Gançarski. Exploring interactions in social networks for influence discovery. BIS 2019: 22nd international conference on Business Information Systems, Jun 2019, Seville, Spain. pp.23-37, ⟨10.1007/978-3-030-20482-2_3⟩. ⟨hal-02469408⟩
  • Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul. Using deep learning for recommending and completing deployment descriptors in NFV. NETSOFT 2019: IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.233-235, ⟨10.1109/NETSOFT.2019.8806704⟩. ⟨hal-02482849⟩
  • Alexey Gotsman, Anatole Lefort, Gregory Chockler. White-Box atomic multicast. DSN 2019: 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2019, Portland, United States. pp.176-187, ⟨10.1109/DSN.2019.00030⟩. ⟨hal-03880004⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui. Towards a prudent argumentation framework for reasoning with imperfect ontologies. DL 2019: 32nd International Workshop on Description Logics, Jun 2019, Oslo, Norway. pp.48:1-3. ⟨hal-02441130⟩
  • Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, et al.. Blockchain's fame reaches the execution of personalized touristic itineraries. WETICE 2019 : IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Naples, Italy. pp.186-191, ⟨10.1109/WETICE.2019.00047⟩. ⟨hal-02385019⟩
  • Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul, Narjes Bellamine Ben Saoud. SoS paradigm benefits SaaS integration: novel approach and first results. WETICE 2019: 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Napoli, Italy. pp.174-179, ⟨10.1109/WETICE.2019.00045⟩. ⟨hal-02482855⟩
  • Mohamed Ahmed Mohamed, Chantal Taconet, Mohamed Ould Mohamed Lemine. La traçabilité dans les chaînes logistiques en utilisant l'IoT et la Blockchain. Evolution des SI : vers des SI Pervasifs ?, Université Paris 1 Panthéon-Sorbonne, Jun 2019, Paris, France. pp.1-10. ⟨hal-02152725⟩
  • Maryline Laurent, Jean Leneutre, Sophie Chabridon, Imane Laaouane. Authenticated and Privacy-Preserving Consent Management in the Internet of Things. ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩. ⟨hal-02147191⟩
  • Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul. On the verification of data encryption requirements in Internet of Things using Event-B. ICDEc 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⟩. ⟨hal-03123346⟩
  • Hela Sfar, Amel Bouzeghoub. DataSeg: dynamic streaming sensor data segmentation for activity recognition. SAC 2019: 34th Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. pp.557-563, ⟨10.1145/3297280.3297332⟩. ⟨hal-02450400⟩
  • Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Lavoisier Wapet, et al.. When eXtended Para-Virtualization (XPV) meets NUMA. EUROSYS 2019: 14th European Conference on Computer Systems, Mar 2019, Dresde, Germany. pp.7, ⟨10.1145/3302424.3303960⟩. ⟨hal-02333640v2⟩
  • David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. An approach to design smart grids and their IT system by cosimulation. MODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.372 - 379, ⟨10.5220/0007407003720379⟩. ⟨hal-02070535⟩
  • Alain Giorgetti, Catherine Dubois, Rémi Lazarini. Combinatoire formelle avec Why3 et Coq. Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France. ⟨hal-02302086⟩
  • Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. Représentations compactes des graphes et contraintes pseudo booléennes. EGC 2019: 19ème conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2019, Metz, France. pp.407-412. ⟨hal-02441157⟩
  • Hela Sfar, Amel Bouzeghoub. Dynamic streaming sensor data segmentation for smart environment applications. ICONIP 2018: 25th International Conference on Neural Information Processing, Dec 2018, Siem Reap, Cambodia. pp.67 - 77, ⟨10.1007/978-3-030-04224-0_7⟩. ⟨hal-01988186⟩
  • Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul. Trustless blockchain-based access control in dynamic collaboration. 1st INTERNATIONAL CONFERENCE ON BIG DATA AND CYBER-SECURITY INTELLIGENCE (BDCSIntell’2018), Dec 2018, beirut, Lebanon. pp.27-33. ⟨hal-03781538⟩
  • Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. Detecting highly overlapping community structure by model-based maximal clique expansion. BigData 2018: IEEE international conference on Big Data, Dec 2018, Seattle, United States. pp.1031 - 1036, ⟨10.1109/BigData.2018.8621868⟩. ⟨hal-01994552⟩
  • Stevan Coroller, Sophie Chabridon, Maryline Laurent, Denis Conan, Jean Leneutre. Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things. M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩. ⟨hal-01940866⟩
  • Vasily A. Sartakov, Stefan Brenner, Sonia Ben Mokhtar, Sara Bouchenak, Gaël Thomas, et al.. EActors: fast and flexible trusted computing using SGX. MIDDLEWARE 2018: 19th International Conference on Middleware, Dec 2018, Rennes, France. pp.187 - 200, ⟨10.1145/3274808.3274823⟩. ⟨hal-01962431⟩
  • César Batista, Pedro Victor Borges, Everton Cavalcante, Thais Batista, Tiago Barros, et al.. A middleware environment for developing Internet of Things applications. MIDDLEWARE 2018: 19th International Middleware Conference, Dec 2018, Rennes, France. pp.41-46, ⟨10.1145/3286719.3286728⟩. ⟨hal-02983206⟩
  • Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul. [WiP] Formal modelling of IT resource allocation in business processes. SOCA 2018: 11th Conference on Service-Oriented Computing and Applications, Nov 2018, Paris, France. pp.227 - 232, ⟨10.1109/SOCA.2018.00040⟩. ⟨hal-01996546⟩
  • Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs. Efficient SAT-based encodings of conditional cardinality constraints. LPAR-22 2018: 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, Nov 2018, Awassa, Ethiopia. pp.181 - 195, ⟨10.29007/kfjb⟩. ⟨hal-01934611⟩
  • Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. Pushing the envelope in overlapping communities detection. IDA 2018: 17th international symposium on Intelligent Data Analysis, Oct 2018, 'S-Hertogenbosch, Netherlands. pp.151 - 163, ⟨10.1007/978-3-030-01768-2_13⟩. ⟨hal-01911187⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Lopes Gancarski, Katarzyna Wegrzyn-Wolska. In the search of quality influence on a small scale : micro-influencers discovery. OTM 2018: On the Move to Meaningful Internet Systems Conferences, Oct 2018, Valletta, Malta. pp.138 - 153, ⟨10.1007/978-3-030-02671-4_8⟩. ⟨hal-01987281⟩
  • Souha Boubaker, Kais Klai, Hedi Korta, Walid Gaaloul. A formal model for business process configuration verification supporting OR-join semantics. OTM 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⟩. ⟨hal-01996462⟩
  • Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul. Formal modelling and verification of cloud resource allocation in business processes. OTM 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⟩. ⟨hal-01996297⟩
  • Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Scheduling business process activities for time-aware cloud resource allocation. OTM 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⟩. ⟨hal-01996235⟩
  • Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem. Optimal evidence collection for accountability in the cloud. ICEBE 2018: 15th International Conference on e-Business Engineering, Oct 2018, Xi'An, China. pp.78 - 85, ⟨10.1109/ICEBE.2018.00022⟩. ⟨hal-01987317⟩
  • Jorge Eleazar Lopez Coronado, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache. Test derivation for SDN-enabled switches: a logic circuit based approach. IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2018, Cádiz, Spain. pp.69 - 84, ⟨10.1007/978-3-319-99927-2_7⟩. ⟨hal-01990709⟩
  • Nicolas Aussel, Yohan Petetin, Sophie Chabridon. Improving performances of log mining for anomaly prediction through NLP-based log parsing. MASCOTS 2018: 26th International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Sep 2018, Milwaukee, United States. pp.237 - 243, ⟨10.1109/MASCOTS.2018.00031⟩. ⟨hal-01919820⟩
  • Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev, Jorge Eleazar Lopez Coronado, Natalia Kushik, et al.. Test derivation for the software defined networking platforms: novel fault models and test completeness. IEEE East-West Design & Test Symposium (EWDTS), Sep 2018, Kazan, Russia. pp.1 - 6, ⟨10.1109/EWDTS.2018.8524712⟩. ⟨hal-01990717⟩
  • Praboda Rajapaksha, Reza Farahbakhsh, Noel Crespi, Bruno Defude. Inspecting interactions: online news media synergies in social media. ASONAM 2018: 2018 International Conference on Advances in Social Networks Analysis and Mining, IEEE/ACM, Aug 2018, Barcelona, Spain. pp.535-539, ⟨10.1109/ASONAM.2018.8508534⟩. ⟨hal-01957237⟩
  • Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs. A parallel SAT-based framework for closed frequent itemsets mining. CP 2018: 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.570 - 587, ⟨10.1007/978-3-319-98334-9_37⟩. ⟨hal-01895369⟩
  • Guillaume Burel. Linking focusing and resolution with selection. 43rd International Symposium on Mathematical Foundations of Computer Science(MFCS), Aug 2018, Liverpool, United Kingdom. pp.9:1-9:14, ⟨10.4230/LIPIcs.MFCS.2018.9⟩. ⟨hal-01670476v3⟩
  • Said Jabbour, Fatima Ezzahra, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Saïs. On maximal frequent itemsets mining with constraints. CP 2018 : 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.554-569, ⟨10.1007/978-3-319-98334-9_36⟩. ⟨hal-03700069⟩
  • François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet. NumaMMA: NUMA MeMory Analyzer. ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.1-10, ⟨10.1145/3225058.3225094⟩. ⟨cea-01854072v2⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Lopes Gancarski, Katarzyna Wegrzyn-Wolska. Reputation prediction using influence conversion. TrustCom/BigDataSE 2018: 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering, Aug 2018, New York, United States. pp.43 - 48, ⟨10.1109/TrustCom/BigDataSE.2018.00017⟩. ⟨hal-01987272⟩
  • Jorge Eleazar Lopez Coronado, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav Torgaev. Scalable supervised machine learning apparatus for computationally constrained devices. ICSOFT 2018: 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.518 - 528, ⟨10.5220/0006908905520562⟩. ⟨hal-01990698⟩
  • Sarah Dahab, Erika Fernanda Silva Balocchi, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli. Enhancing software development process quality based on metrics correlation and suggestion. The 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩. ⟨hal-01977133⟩
  • Amina Jarraya, Amel Bouzeghoub, Amel Borgi, Khedija Arour. Distributed collaborative reasoning for HAR in smart homes. AAMAS 2018 : 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1971 - 1973. ⟨hal-01864610⟩
  • Safa Abdellatif, Sadok Ben Yahia, Mohamed Ali Ben Hassine, Amel Bouzeghoub. Fuzzy aggregation for rule selection in imbalanced datasets classification using Choquet integral. FUZZ-IEEE 2018: International Conference on Fuzzy Systems, Jul 2018, Rio De Janeiro, Brazil. pp.1 - 7, ⟨10.1109/FUZZ-IEEE.2018.8491640⟩. ⟨hal-01988164⟩
  • Nabila Belhaj, Djamel Belaid, Hamid Mukhtar. Framework for building self-adaptive component applications based on reinforcement learning. SCC 2018: IEEE International Conference on Services Computing, Jul 2018, San Francisco, Ca, United States. pp.17 - 24, ⟨10.1109/SCC.2018.00010⟩. ⟨hal-01975700⟩
  • Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson. Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. International Conference on Software Engineering and Formal Methods (SEFM), Jun 2018, Toulouse, France. pp.239-253, ⟨10.1007/978-3-319-92970-5_15⟩. ⟨hal-04489907⟩
  • Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul. Semantic-based global network view construction in software defined networks with multiple controllers. NETSOFT 2018: 4th Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.252 - 256, ⟨10.1109/NETSOFT.2018.8460137⟩. ⟨hal-01996211⟩
  • Ana Rosa Cavalli, Antonio M. Ortiz, Georges Ouffoué, Cesar Andres Sanchez, Fatiha Zaidi. Design of a secure shield for internet and web-based services using software reflection. IEEE International Conference on Web Services (ICWS), Jun 2018, Seattle, United States. pp.472 - 486, ⟨10.1007/978-3-319-94289-6_30⟩. ⟨hal-02017535⟩
  • Kunal Suri, Walid Gaaloul, Arnaud Cuccuru. Configurable IoT-aware allocation in business processes. SCC 2018: International Conference on Services Computing, Jun 2018, Seattle, United States. pp.119 - 136, ⟨10.1007/978-3-319-94376-3_8⟩. ⟨hal-01996490⟩
  • Jiabei Xu, Zhangbing Zhou, Deng Zhao, Walid Gaaloul, Yucong Duan. Energy-efficient WSN service composition for concurrent applications. ICWS 2018: IEEE International Conference on Web Services, Jun 2018, Seattle, United States. pp.74 - 81, ⟨10.1109/ICWS.2018.00017⟩. ⟨hal-01996141⟩
  • Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay. Boosting transactional memory with stricter serializability. 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.231-251, ⟨10.1007/978-3-319-92408-3_11⟩. ⟨hal-01821500⟩
  • David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation. CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.9-1 - 9-5. ⟨hal-01821675⟩
  • Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah. Model-driven elasticity for cloud resources. CAISE 2018: 30th International Conference on Advanced Information Systems Engineering, Jun 2018, Tallinn, Estonia. pp.187 - 202, ⟨10.1007/978-3-319-91563-0_12⟩. ⟨hal-01996104⟩
  • Monika Ewa Rakoczy, Amel Bouzeghoub, Alda Lopes Gançarski, Katarzyna Wegrzyn-Wolska. Influence in time-dependent citation networks. RCIS 2018: 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406647⟩. ⟨hal-01858275⟩
  • Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. Triangle-driven community detection in large graphs using propositional satisfiability. AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Cracow, Poland. pp.437 - 444, ⟨10.1109/AINA.2018.00072⟩. ⟨hal-01870266⟩
  • Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Formal verification of temporal constraints and allocated cloud resources in business processes. AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Krakow, Poland. pp.952 - 959, ⟨10.1109/AINA.2018.00139⟩. ⟨hal-01996077⟩
  • Jorge Daniel Caldas, Alda Lopes Gancarski, Pedro Rangel Henriques. Online social networks analysis visualization using Socii. WorldCIST 2018 : 6th World Conference on Information Systems and Technologies, Mar 2018, Naples, Italy. pp.218 - 228, ⟨10.1007/978-3-319-77712-2_21⟩. ⟨hal-01869514⟩
  • Asma Berriri, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Towards model based testing for Software Defined Networks. ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE ), Mar 2018, Funchal, Madeira, Portugal. pp.440 - 446, ⟨10.5220/0006805604400446⟩. ⟨hal-01868877⟩
  • Safa Abdellatif, Mohamed Ali Ben Hassine, Sadok Ben Yahia, Amel Bouzeghoub. ARCID: a new approach to deal with imbalanced datasets classification. SOFSEM 2018 : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2018, Krems, Austria. pp.569 - 580, ⟨10.1007/978-3-319-73117-9_40⟩. ⟨hal-01865044⟩
  • Nicolas Aussel, Samuel Jaulin, Guillaume Gandon, Yohan Petetin, Eriza Fazli, et al.. Predictive models of hard drive failures based on operational data. ICMLA 2017 : 16th IEEE International Conference On Machine Learning And Applications, Dec 2017, Cancun, Mexico. pp.619 - 625, ⟨10.1109/ICMLA.2017.00-92⟩. ⟨hal-01703140⟩
  • Clément Courtais, Chantal Taconet, Denis Conan, Sophie Chabridon, Porfírio Gomes, et al.. IoTVar to transparently handle interactions between applications and IoT platforms. M4IOT 2017 : 4th Workshop on Middleware and Applications for the Internet of Things, Dec 2017, Las Vegas, United States. pp.7 - 10, ⟨10.1145/3152141.3152390⟩. ⟨hal-01670173⟩
  • Hela Sfar, Badran Raddaoui, Amel Bouzeghoub. Reasoning under conflicts in smart environment. ICONIP 2017 : 24th International Conference on Neural Information Processing, Nov 2017, Guangzhou, China. pp.924 - 934, ⟨10.1007/978-3-319-70090-8_94⟩. ⟨hal-01687125⟩
  • Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul. Deadlock-freeness verification of business process configuration using SOG. ICSOC 2017 : 15th International Conference on Service-Oriented Computing, Nov 2017, Malaga, Spain. pp.96 - 112, ⟨10.1007/978-3-319-69035-3_7⟩. ⟨hal-01696906⟩
  • Fátima Castro-Jul, Denis Conan, Sophie Chabridon, Rebeca P. Díaz Redondo, Ana Fernández Vilas, et al.. Combining fog architectures and distributed event-based systems for mobile sensor location certification. UCAmI 2017 : 11th International Conference on Ubiquitous Computing and Ambient Intelligence, Nov 2017, Philadelphia, United States. pp.27 - 33, ⟨10.1007/978-3-319-67585-5_3⟩. ⟨hal-01634002⟩
  • Denis Conan, Léon Lim, Chantal Taconet, Sophie Chabridon, Claire Lecocq. A multiscale approach for a distributed event-based Internet of Things. PICOM 2017 : 15th International Conference on Pervasive Intelligence and Computing, Nov 2017, Orlando, United States. pp.844 - 852, ⟨10.1109/DASC-PICom-DataCom-CyberSciTec.2017.142⟩. ⟨hal-01766251⟩
  • Nabila Belhaj, Djamel Belaid, Hamid Mukhtar. Self-adaptive decision making for the management of component-based applications. COOPIS 2017 : 25th OTM International Conference on Cooperative Information Systems, Oct 2017, Rhodes, Greece. pp.570 - 588, ⟨10.1007/978-3-319-69462-7_36⟩. ⟨hal-01681177⟩
  • Hela Sfar, Amel Bouzeghoub, Nathan Ramoly, Jérôme Boudy. A novel hybrid model for activity recognition. MDAI 2017 : 14th international conference on Modeling Decisions for Artificial Intelligence, Oct 2017, Kitakyushu, Japan. pp.170 - 182, ⟨10.1007/978-3-319-67422-3_15⟩. ⟨hal-01687137⟩
  • Chahrazed Labba, Nour Assy, Narjes Bellamine, Walid Gaaloul. Adaptive Deployment of Service-Based Processes into Cloud Federations. International Conference on Web Information Systems Engineering WISE 2017, Oct 2017, Puschino, Russia. pp.275 - 289, ⟨10.1007/978-3-319-68783-4_19⟩. ⟨hal-01698525⟩
  • Maria Carpen-Amarie, Yaroslav Hayduk, Pascal Felber, Christof Fetzer, Gaël Thomas, et al.. Towards an efficient pauseless Java GC with selective HTM-based access barriers. MANLANG 2017 : 14th international conference on Managed Languages and Runtimes , Sep 2017, Prague, Czech Republic. pp.85 - 91, ⟨10.1145/3132190.3132208⟩. ⟨hal-01698357⟩
  • Elie Rachkidi, Djamel Belaïd, Nazim Agoulmine, Nada Chendeb. Cloud of things modeling for efficient and coordinated resources provisioning. Confederated International Conference On the Move to Meaningful Internet Systems (OTM 2017) held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2017, Sep 2017, Rhodes, Greece. pp.175--193, ⟨10.1007/978-3-319-69462-7_12⟩. ⟨hal-01637145⟩
  • Tianben Wang, Daqing Zhang, Yuanqing Zheng, Tao Gu, Xingshe Zhou, et al.. C-FMCW based contactless respiration detection using acoustic signal. IMWUT 2017: Interactive, Mobile, Wearable and Ubiquitous Technologies (ISWC 2017 and UBICOMP 2017), Sep 2017, Maui, Hawaii, United States. pp.Article 170 -, ⟨10.1145/3161188⟩. ⟨hal-01884642⟩
  • Amel Bouzeghoub, Said Jabbour, Yue Ma, Raddaoui Badran. Handling conflicts in uncertain ontologies using deductive argumentation. WI 2017 : International Conference on Web Intelligence, Aug 2017, Leipzig, Germany. pp.65-72, ⟨10.1145/3106426.3106454⟩. ⟨hal-01615903⟩
  • Sana Hamdi, Alda Lopes Gancarski, Amel Bouzeghoub, Sadok Ben Yahia. A new fuzzy clustering approach for reputation management in OSNs. TRUSTCOM 2017 : 16th International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2017, Sydney, Australia. pp.586 - 593, ⟨10.1109/Trustcom/BigDataSE/ICESS.2017.288⟩. ⟨hal-01630735⟩
  • Sana Hamdi, Alda Lopes Gancarski, Amel Bouzeghoub, Sadok Ben Yahia. Reputation management in Online Social Networks : a new clustering-based approach. SECRYPT 2017 : 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.468 - 473, ⟨10.5220/0006433104680473⟩. ⟨hal-01630769⟩
  • Hongyang Zhao, Shuangquan Wang, Gang Zhou, Daqing Zhang. Gesture-enabled remote control for healthcare. CHASE 2017: 2nd IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, Jul 2017, Philadelphia, United States. pp.392 - 401, ⟨10.1109/CHASE.2017.123⟩. ⟨hal-01884849⟩
  • Amina Jarraya, Khedija Arour, Amel Bouzeghoub, Amel Borgi. Feature selection based on Choquet integral for human activity recognition. FUZZ-IEEE 2017 : IEEE International Conference on Fuzzy Systems, Jul 2017, Naples, Italy. pp.1 - 6, ⟨10.1109/FUZZ-IEEE.2017.8015432⟩. ⟨hal-01687072⟩
  • Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanene Ben-Abdallah. A linear program for optimal configurable business processes deployment into cloud federation. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.34 - 41, ⟨10.1109/SCC.2016.31⟩. ⟨hal-01455130⟩
  • Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. A semantic framework supporting business process variability using event logs. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.163 - 170, ⟨10.1109/SCC.2016.28⟩. ⟨hal-01455133⟩
  • Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. A semantic framework supporting cloud resource descriptions interoperability. CLOUD 2016 : 9th International Conference on Cloud Computing, Jun 2017, San Francisco, United States. pp.585 - 592, ⟨10.1109/CLOUD.2016.0083⟩. ⟨hal-01455119⟩
  • Emna Hachicha, Walid Gaaloul, Zakaria Maamar. Social-based semantic framework for cloud resource management in business processes. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.443 - 450, ⟨10.1109/SCC.2016.64⟩. ⟨hal-01455425⟩
  • Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faiez Gargouri. Semantic web technologies in cloud computing: a systematic literature review. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.744 - 751, ⟨10.1109/SCC.2016.102⟩. ⟨hal-01455455⟩
  • Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata. OCCI-compliant cloud configuration simulation. EDGE 2017 : 1st International Conference on Edge Computing , Jun 2017, Honolulu, United States. pp.73 - 81, ⟨10.1109/IEEE.EDGE.2017.18⟩. ⟨hal-01696667⟩
  • Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faiez Gargouri. Cloud SLA modeling and monitoring. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.338 - 345, ⟨10.1109/SCC.2017.50⟩. ⟨hal-01696649⟩
  • Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. Genetic-based configurable cloud resource allocation in QoS-aware business process development. ICWS 2017 : 24th International Conference on Web Services, Jun 2017, Honolulu, United States. pp.836 - 839, ⟨10.1109/ICWS.2017.101⟩. ⟨hal-01696951⟩
  • Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Optimal cost for time-aware cloud resource allocation in business process. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.314 - 321, ⟨10.1109/SCC.2017.47⟩. ⟨hal-01696637⟩
  • Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul. Simulation of configurable resource allocation for cloud-based business processes. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.305 - 313, ⟨10.1109/SCC.2017.46⟩. ⟨hal-01696560⟩
  • Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faiez Gargouri. Ontology-based SLA negotiation and re-negotiation for cloud computing. WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.36 - 41, ⟨10.1109/WETICE.2017.24⟩. ⟨hal-01697003⟩
  • Tarcisio Malheiro, Pedro Rangel Henriques, Alda Lopes Gancarski. Sistema de safe-return-home em tempo real para continental Portugal. CISTI 2017 : 12th Iberian Conference on Information Systems and Technologies, Jun 2017, Lisbon, Portugal. pp.1793 - 1798, ⟨10.23919/CISTI.2017.7975980⟩. ⟨hal-01616134⟩
  • Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sébastien Gérard. Semantic framework for Internet of Things-aware business process development. WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.214 - 219, ⟨10.1109/WETICE.2017.54⟩. ⟨hal-01698458⟩
  • Sophie Chabridon, Amel Bouzeghoub, Anis Ahmed Nacer, Pierrick Marie, Thierry Desprats. Unified modeling of quality of context and quality of situation for context-aware applications in the internet of things. CONTEXT 2017 : 10th International and Interdisciplinary Conference on Modeling and Using Context, Jun 2017, Paris, France. pp.370 - 374, ⟨10.1007/978-3-319-57837-8_30⟩. ⟨hal-01614541⟩
  • Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling. A configurable resource allocation for multi-tenant process development in the cloud. CAiSE 2016 : 28th International Conference on Advanced Information Systems Engineering, Jun 2017, Ljubljana, Slovenia. pp.558 - 574, ⟨10.1007/978-3-319-39696-5_34⟩. ⟨hal-01455485⟩
  • Zaiyang Tang, Peng Li, Song Guo, Xiaofei Liao, Hai Jin, et al.. Selective traffic offloading on the fly: a machine learning approach. ICDCS 2017 : 37th IEEE International Conference on Distributed Computing Systems, Jun 2017, Atlanta, United States. pp.2386 - 2392, ⟨10.1109/ICDCS.2017.113⟩. ⟨hal-01643201⟩
  • Nathan Ramoly, Amel Bouzeghoub, Béatrice Finance. A framework for service robots in smart home: an efficient solution for domestic healthcare. JETSAN 2017: Journées d'Etude sur la TéléSANté, 6ème edition, Pôle Capteurs, Université d'Orléans, May 2017, Bourges, France. ⟨hal-01692491⟩
  • Hela Sfar, Amel Bouzeghoub, Nathan Ramoly, Jérôme Boudy. AGACY monitoring: a hybrid model for activity recognition and uncertainty handling. ESWC 2017 : 14th European Semantic Web Conference, May 2017, Portorož, Slovenia. pp.254 - 269, ⟨10.1007/978-3-319-58068-5_16⟩. ⟨hal-01687038⟩
  • Rishikesh Sahay, Gregory Blanc, Zonghua Zhang, Khalifa Toumi, Hervé Debar. Adaptive policy-driven attack mitigation in SDN. XDOMO 2017: the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures (XDOMO), Apr 2017, Belgrade, Serbia. pp.1-6, ⟨10.1145/3071064.3071068⟩. ⟨hal-01649980⟩
  • Nathan Ramoly, Vincent Vassout, Amel Bouzeghoub, Mounim El Yacoubi, Mossaab Hariz. Refining visual activity recognition with semantic reasoning. IEEE 31st International Conference on Advanced Information Networking and Applications (AINA 2017), Mar 2017, Taipei, Taiwan. pp.720 - 727, ⟨10.1109/AINA.2017.98⟩. ⟨hal-01587280⟩
  • Kunal Suri, Arnaud Cuccuru, Juan Cadavid, Sébastien Gérard, Walid Gaaloul, et al.. Model-based development of modular complex systems for accomplishing system integration for industry 4.0. MODELSWARD 2017 : 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.487 - 495, ⟨10.5220/0006210504870495⟩. ⟨hal-01696991⟩
  • Molka Rekik, Khouloud Boukadi, Walid Gaaloul, Hanene Ben-Abdallah. Anti-pattern specification and correction recommendations for semantic cloud services. HICSS 2017 : 50th Hawaii International Conference on System Sciences, Jan 2017, Waikoloa Village, United States. pp.4231 - 4240. ⟨hal-01696837⟩
  • Nathan Ramoly, Amel Bouzeghoub, Béatrice Finance. A Causal Multi-Armed Bandit Approach for Domestic Robots' Failure Avoidance. The 24th International Conference on Neural Information Processing (ICONIP 2017), 2017, Guangzhou, China. ⟨hal-01586460⟩
  • Ons Bibani, Carla Mouradian, Sami Yangui, Roch Glitho, Walid Gaaloul, et al.. A demo of IoT healthcare application provisioning in hybrid cloud/fog environment. CLOUD COM 2016 : 8th International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. pp.472 - 475, ⟨10.1109/CloudCom.2016.0081⟩. ⟨hal-01455506⟩
  • Porfírio Gomes, Everton Cavalcante, Thais Batista, Chantal Taconet, Sophie Chabridon, et al.. A QoC-aware discovery service for the Internet of Things. UCAmI 2016 : 10th International Conference on Ubiquitous Computing & Ambient Intelligence, Nov 2016, Las Palmas, Gran Canaria, Spain. pp.344 - 355, ⟨10.1007/978-3-319-48799-1_39⟩. ⟨hal-01405742⟩
  • Fethi Belghaouti, Amel Bouzeghoub, Zakia Imane Kazi-Aoul, Raja Chiky. POL: a Pattern Oriented Load-shedding for semantic data stream processing. WISE 2016 : 17th International Conference on Web Information Systems Engineering, Nov 2016, Shanghai, China. pp.157 - 171, ⟨10.1007/978-3-319-48743-4_13⟩. ⟨hal-01443991⟩
  • Monika Rakoczy, Amel Bouzeghoub, Katarzyna Wegrzyn-Wolska, Alda Lopes Gancarski. Users views on others : analysis of confused relation-based terms in social network. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.155 - 174, ⟨10.1007/978-3-319-48472-3_9⟩. ⟨hal-01432375⟩
  • Fethi Belghaouti, Amel Bouzeghoub, Zakia Imane Kazi-Aoul, Raja Chiky. Patorc: Pattern Oriented Compression for semantic data streams. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.193 - 209, ⟨10.1007/978-3-319-48472-3_11⟩. ⟨hal-01433855⟩
  • Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul. A global SLA-aware approach for aggregating services in the cloud. OTM 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⟩. ⟨hal-01455652⟩
  • Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel. Formal verification of time-aware cloud resource allocation in business process. OTM 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⟩. ⟨hal-01455664⟩
  • Amina Jarraya, Nathan Ramoly, Amel Bouzeghoub, Khedija Arour, Amel Borgi, et al.. FSCEP: a new model for context perception in smart homes. International Conference on Cooperative Information Systems (COOPIS 2016), Oct 2016, Rhodes, Greece. pp.465 - 484, ⟨10.1007/978-3-319-48472-3_28⟩. ⟨hal-01432245⟩
  • Leila Hadded, Faouzi Ben Charrada, Samir Tata. Optimization and approximate placement of autonomic resources for the management of service-based applications in the cloud. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.175 - 192, ⟨10.1007/978-3-319-48472-3_10⟩. ⟨hal-01451150⟩
  • Emna Hachicha, Karn Yongsiriwit, Walid Gaaloul. Energy efficient configurable resource allocation in cloud-based business processes. OTM 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⟩. ⟨hal-01455670⟩
  • Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. A formal guidance approach for correct process configuration. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 - 498, ⟨10.1007/978-3-319-46295-0_30⟩. ⟨hal-01425991⟩
  • Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faiez Gargouri, et al.. Detecting cloud (anti)patterns: OCCI perspective. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.202 - 218, ⟨10.1007/978-3-319-46295-0_13⟩. ⟨hal-01455521⟩
  • Tarek Amhed-Nacer, Pierre Sutra, Denis Conan. The convoy effect in atomic multicast. SRDSW 2016 : 35th IEEE Symposium on Reliable Distributed Systems Workshops , Sep 2016, Budapest, Hungary. pp.67 - 72, ⟨10.1109/SRDSW.2016.22⟩. ⟨hal-01582009⟩
  • Longbiao Chen, Daqing Zhang, Leye Wang, Dingqi Yang, Xiaojuan Ma, et al.. Dynamic cluster-based over-demand prediction in bike sharing systems. UBICOMP 2016 : ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. pp.841 - 852, ⟨10.1145/2971648.2971652⟩. ⟨hal-01404490⟩
  • Dingqi Yang, Daqing Zhang, Bingqing Qu, Philippe Cudré-Mauroux. PrivCheck: privacy-preserving check-in data publishing for personalized location based services. UBICOMP 2016 : ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. pp.545 - 556, ⟨10.1145/2971648.2971685⟩. ⟨hal-01400175⟩
  • Yan Liu, Bin Guo, Yang Wang, Wenle Wu, Zhiwen Yu, et al.. TaskMe: multi-task allocation in mobile crowd sensing. UBICOMP 2016 : ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. pp.403 - 414, ⟨10.1145/2971648.2971709⟩. ⟨hal-01466416⟩
  • Amina Jarraya, Nathan Ramoly, Amel Bouzeghoub, Khedija Arour, Amel Borgi, et al.. A fuzzy semantic CEP model for situation identification in smart homes. 22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, Hague, Netherlands. pp.1678 - 1679, ⟨10.3233/978-1-61499-672-9-1678⟩. ⟨hal-01449309⟩
  • Hania Aslam, Hamid Mukhtar, Farhana Seemi, Djamel Belaid. Harnessing smartphones as a personal informatics tool towards self-awareness and behavior improvement. PICOM 2016 : 14th International Conference on Pervasive, Intelligence and Computing, Aug 2016, Auckland, New Zealand. pp.467 - 474, ⟨10.1109/DASC-PICom-DataCom-CyberSciTec.2016.92⟩. ⟨hal-01450653⟩
  • Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla. Enabling self-configuration of QoC-centric fog computing entities. 13th IEEE International Conference on Advanced and Trusted Computing (ATC 2016), Jul 2016, Toulouse, France. pp. 526-533, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0092⟩. ⟨hal-01737033⟩
  • Longbiao Chen, Leye Wang, Daqing Zhang, Shijian Li, Gang Pan. EnUp: Energy-efficient data uploading for mobile crowd sensing applications. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016 : International Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress, Jul 2016, Toulouse, France. pp.1074 - 1078, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0168⟩. ⟨hal-01466438⟩
  • Mohamed Saïd Mosli Bouksiaa, François Trahay, Gaël Thomas. Détection automatique d'interférences entre threads. COMPAS 2016 : Conférence en Parallélisme, Architecture et Système, Jul 2016, Lorient, France. pp.1 - 7. ⟨hal-01363844⟩
  • Jean-Paul Arcangeli, Amel Bouzeghoub, Valérie Camps, Sophie Chabridon, Denis Conan, et al.. Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets. UBIMOB 2016 : 11èmes journées francophones Mobilité et Ubiquité, Jul 2016, Lorient, France. pp.1 - 7. ⟨hal-01444756⟩
  • Mohamed Mohamed, Obinna Anya, Sakairi Takashi, Samir Tata, Mandagere Nagapramod, et al.. The rSLA framework : monitoring and enforcement of service level agreements for cloud services. SCC 2016 : 13th International Conference on Services Computing, Jun 2016, San Francisco, United States. pp.625 - 632, ⟨10.1109/SCC.2016.87⟩. ⟨hal-01451182⟩
  • Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. An event-B based approach for ensuring correct configurable business processes. ICWS 2016 : 23rd IEEE International Conference on Web Services, Jun 2016, San Francisco, United States. pp.460 - 467, ⟨10.1109/ICWS.2016.66⟩. ⟨hal-01359893⟩
  • Hana Teyeb, Ali Balma, Samir Tata, Nejib Ben Hadj Alouane. Traffic-aware virtual machine migration scheduling problem in geographically distributed data centers. CLOUD 2016 : 9th IEEE International Conference on Cloud Computing, Jun 2016, San Francisco, United States. pp.798 - 801, ⟨10.1109/CLOUD.2016.0110⟩. ⟨hal-01452043⟩
  • Aïcha Ben Jrad, Sami Bhiri, Samir Tata. Description and evaluation of elasticity strategies for business processes in the cloud. SCC 2016 : 13th International Conference on Services Computing, Jun 2016, San Francisco, United States. pp.203 - 210, ⟨10.1109/SCC.2016.34⟩. ⟨hal-01451477⟩
  • Samir Tata, Mohamed Mohamed, Sakairi Takashi, Mandagere Nagapramod, Obinna Anya, et al.. rSLA: a Service Level Agreement language for cloud services. CLOUD 2016 : 9th IEEE International Conference on Cloud Computing , Jun 2016, San Francisco, United States. pp.415 - 422, ⟨10.1109/CLOUD.2016.0062⟩. ⟨hal-01451919⟩
  • Nathan Ramoly, Amel Bouzeghoub, Béatrice Finance. Context-aware planning by refinement for personal robots in smart homes. The 47th International Symposium on Robotics (ISR 2016), Jun 2016, Munich, Germany. pp.507 - 514. ⟨hal-01493807⟩
  • Ons Bibani, Sami Yangui, Roch Glitho, Walid Gaaloul, Nejib Ben Hadj Alouane, et al.. A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. LANMAN 2016 : 23rd International Symposium on Local and Metropolitan Area Networks , Jun 2016, Rome, Italy. pp.1 - 2, ⟨10.1109/LANMAN.2016.7548876⟩. ⟨hal-01455637⟩
  • Mehdi Ahmed-Nacer, Samir Tata. Simulation extension for OCCI cloud standard. WETICE 2016 : 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2016, Paris, France. pp.263 - 264, ⟨10.1109/WETICE.2016.68⟩. ⟨hal-01451897⟩
  • Benali Raja, Hana Teyeb, Ali Balma, Samir Tata, Nejib Ben Hadj Alouane. Evaluation of traffic-aware VM placement policies in distributed Cloud using CloudSim. WETICE 2016 : 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2016, Paris, France. pp.95 - 100, ⟨10.1109/WETICE.2016.29⟩. ⟨hal-01451866⟩
  • Fethi Belghaouti, Amel Bouzeghoub, Zakia Imane Kazi-Aoul, Raja Chiky. FreGraPaD: frequent RDF graph patterns detection for semantic data streams. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 9, ⟨10.1109/RCIS.2016.7549333⟩. ⟨hal-01444487⟩
  • Maria Carpen-Amarie, Dave Dice, Gaël Thomas, Pascal Felber. Transactional pointers: experiences with HTM-based reference counting in C++. NETYS 2016 : 4th International Conference on Networked Systems, May 2016, Marrakesh, Morocco. pp.102 - 116, ⟨10.1007/978-3-319-46140-3_8⟩. ⟨hal-01369538⟩
  • Hela Sfar, Anja Habacha Chaibi, Amel Bouzeghoub, Henda Benghezala. Gold standard based evaluation of ontology learning techniques. SAC 2016 : 31st Symposium on Applied Computing, Apr 2016, Pisa, Italy. pp.339 - 346, ⟨10.1145/2851613.2851843⟩. ⟨hal-01451076⟩
  • Amina Jarraya, Khedija Arour, Amel Borgi, Amel Bouzeghoub. Distributed cooperative reasoning in ambient environment. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.1085 - 1092, ⟨10.1109/AINA.2016.52⟩. ⟨hal-01431542⟩
  • Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. Formal verification of cloud resource allocation in business processes using Event-B. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 - 753, ⟨10.1109/AINA.2016.126⟩. ⟨hal-01341653⟩
  • Monika Rakoczy, Amel Bouzeghoub, Katarzyna Wegrzyn-Wolska, Alda Lopes Gançarski. Users Views on Others - Analysis of Confused Relation-Based Terms in Social Network. OTM Conferences, 2016, Unknown, Unknown Region. pp.155--174. ⟨hal-01858278⟩
  • Sophie Chabridon, Denis Conan, Thierry Desprats, Mohamed Mbarki, Chantal Taconet, et al.. A framework for multiscale-, QoC- and privacy-aware context dissemination in the Internet of Things. 11th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing (COLLABORATECOM 2015), Nov 2015, Wuhan, China. pp.207 - 218, ⟨10.1007/978-3-319-28910-6_19⟩. ⟨hal-01270972⟩
  • Imed Abassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj Alouane. Genetic-based approach for ATS and SLA-aware web services composition. WISE 2015 : 16th International Conference Web Information Systems Engineering, Nov 2015, Miami, United States. pp.369 - 383, ⟨10.1007/978-3-319-26190-4_25⟩. ⟨hal-01282712⟩
  • Pei Li, Elisabeth Brunet, François Trahay, Christian Parrot, Gaël Thomas, et al.. Automatic OpenCL code generation for multi-device heterogeneous architectures. ICPP 2015 : 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.959 - 968, ⟨10.1109/ICPP.2015.105⟩. ⟨hal-01275482⟩
  • Longbiao Chen, Dingqi Yang, Jérémie Jakubowicz, Gang Pan, Daqing Zhang, et al.. Sensing the pulse of urban activity centers leveraging bike sharing open data. UIC 2015 : 12th IEEE International Conference on Ubiquitous Intelligence and Computing, Aug 2015, Beijing, China. pp.135 - 142, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.43⟩. ⟨hal-01348010⟩
  • Mohamed Saïd Mosli Bouksiaa, François Trahay, Gaël Thomas. Détection automatique d'anomalies de performance. COMPAS 2015 : Conférence en Parallélisme, Architecture et Système, Jun 2015, Lille, France. ⟨hal-01263470⟩
  • Rami Sellami, Michel Vedrine, Sami Bhiri, Bruno Defude. Automating resources discovery for multiple data stores cloud applications. CLOSER 2015 : 5th International Conference on Cloud Computing and Services Science, May 2015, Lisbon, Portugal. pp.397 - 405, ⟨10.5220/0005446103970405⟩. ⟨hal-01271353⟩
  • Haoyi Xiong, Daqing Zhang, Guanling Chen, Leye Wang, Vincent Gauthier. CrowdTasker : maximizing coverage quality in Piggyback Crowdsensing under budget constraint. PERCOM 2015 : International Conference on Pervasive Computing and Communications, Mar 2015, Saint Louis, United States. pp.55 - 62, ⟨10.1109/PERCOM.2015.7146509⟩. ⟨hal-01464645⟩
  • Di Wang, Budhitama Subagdja, Yilin Kang, Ah-Hwee Tan, Daqing Zhang. Towards intelligent caring agents for Aging-In-Place : issues and challenges. CIHLI 2014 : IEEE Symposium on Computational Intelligence for Human-like Intelligence, Dec 2014, Orlando, United States. pp.1 - 8, ⟨10.1109/CIHLI.2014.7013393⟩. ⟨hal-01286102⟩
  • Imen Ben Lahmar, Djamel Belaid. An autonomic container for the management of component-based applications in pervasive environments. ATC 2014 : 11th International Conference on Autonomic and Trusted Computing, Dec 2014, Bali, Indonesia. pp.548 - 555, ⟨10.1109/UIC-ATC-ScalCom.2014.22⟩. ⟨hal-01285777⟩
  • Pierrick Marie, Léon Lim, Atif Manzoor, Sophie Chabridon, Denis Conan, et al.. QoC-aware context data distribution in the Internet of Things. ACM Workshop on Middleware for Context-Aware Applications in the IoT @ Middleware 2014 - M4IOT, Dec 2014, Bordeaux, France. pp.13-18, ⟨10.1145/2676743.2676746⟩. ⟨hal-04080596⟩
  • Raja Boujbel, Sam Rottenberg, Sébastien Leriche, Chantal Taconet, Jean-Paul Arcangeli, et al.. MuScADeL: A Deployment DSL based on a Multiscale Characterization Framework. 38th Annual International Computers, Software & Applications Conference (COMPSAC 2014), Jul 2014, Vasteras, Sweden. pp.708--715, ⟨10.1109/COMPSACW.2014.120⟩. ⟨hal-01147250⟩
  • Tingzhi Zhao, Hongbo Ni, Xingshe Zhou, Qiang Lin, Daqing Zhang, et al.. Detecting abnormal patterns of daily activities for the elderly living alone. HIS 2014 : 3rd international conference on Health Information Science, Apr 2014, Shenzhen, China. pp.95 - 108, ⟨10.1007/978-3-319-06269-3_11⟩. ⟨hal-01298140⟩
  • Dingqi Yang, Daqing Zhang, Zhiyong Yu, Zhiwen Yu. Fine-grained preference-aware location search leveraging crowdsourced digital footprints from LBSNs. UbiComp 2013 : International Joint Conference on Pervasive and Ubiquitous Computing , Sep 2013, Zurich, Switzerland. pp.479 - 488, ⟨10.1145/2493432.2493464⟩. ⟨hal-01464839⟩
  • Saloua Zammali, Khedija Arour, Amel Bouzeghoub. GCAPM : a generic context-aware model in peer-to-peer environment. DEXA 2013 : 24th International Conference on Database and Expert Systems Applications, Aug 2013, Prague, Czech Republic. pp.364 - 371, ⟨10.1007/978-3-642-40173-2_29⟩. ⟨hal-01464853⟩
  • Sana Hamdi, Amel Bouzeghoub, Alda Lopes Gancarski, Sadok Ben Yahia. TISON: trust inference computation for online social networks. TRUSTCOM 2013 : 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. pp.210 - 217, ⟨10.1109/TrustCom.2013.240⟩. ⟨hal-01270146⟩
  • Kais Klai, Samir Tata. Formal modeling of elastic service-based business processes. SCC 2013 : 10th IEEE International Conference on Services Computing, Jun 2013, Santa Clara, United States. pp.424 - 431, ⟨10.1109/SCC.2013.75⟩. ⟨hal-01298740⟩
  • Kais Klai, Hanen Ochi, Samir Tata. Formal abstraction and compatibility checking of web services. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.163 - 170, ⟨10.1109/ICWS.2013.31⟩. ⟨hal-01275069⟩
  • Mohamed Graiet, Imed Abassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, et al.. Event-B based approach for verifying dynamic composite service transactional behavior. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.251 - 259, ⟨10.1109/ICWS.2013.42⟩. ⟨hal-00967037⟩
  • Nadia Masmoudi-Gargouri, Denis Conan. Contrats de contexte pour la gestion de contexte répartie. UbiMob 2013 : 9èmes journées francophones Mobilité et Ubiquité, Jun 2013, Nancy, France. pp.1 - 8. ⟨hal-01298719⟩
  • Mohamed Mohamed, Djamel Belaid, Samir Tata. Monitoring of SCA-based applications in the cloud. CLOSER 2013 : 3rd International Conference on Cloud Computing and Services Science, May 2013, Aachen, Germany. pp.47 - 57, ⟨10.5220/0004376500470057⟩. ⟨hal-01275076⟩
  • Qiang Lin, Daqing Zhang, Xiaodi Huang, Hongbo Ni, Xingshe Zhou. Detecting wandering behavior based on GPS traces for elders with dementia. ICARCV 2012: 12th International Conference on Control Automation Robotics & Vision, Dec 2012, Guangzhou, China. pp.672 - 677, ⟨10.1109/ICARCV.2012.6485238⟩. ⟨hal-01297724⟩
  • Rami Sellami, Walid Gaaloul, Samir Moalla. An ontology for workflow organizational model mining. WETICE 2012 : 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.199 - 204, ⟨10.1109/WETICE.2012.29⟩. ⟨hal-00751234⟩
  • Chao Chen, Daqing Zhang, Lin Sun, Mossaab Hariz, Yang Yuan. Does location help daily activity recognition ?. ICOST 2012 : 10th International Conference on Smart Homes and Health Telematics, Jun 2012, Artiminio, Italy. pp.83 - 90, ⟨10.1007/978-3-642-30779-9_11⟩. ⟨hal-00751311⟩
  • Isabela Gasparini, Amel Bouzeghoub, José Palazzo Moreira de Oliveira, Marcelo Pimenta. Improving adaptive approaches in e-learning : combining ontonlogies for cultural-aware user modeling. ICWI 2011 : IADIS International Conference WWW/Internet, Nov 2011, Rio De Janeiro, Brazil. pp.489 - 494. ⟨hal-01302360⟩
  • Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Profile UML2.0 for specification of the SCA architectures. SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩. ⟨hal-01354605⟩
  • Zhangbing Zhou, Mohamed Sellami, Walid Gaaloul, Bruno Defude. Clustering and managing data providing services using machine learning technique. IWCPS 2011 : 2nd International Workshop on Cyber-Physical Society, Oct 2011, Beijing, China. pp.225 - 232, ⟨10.1109/SKG.2011.9⟩. ⟨hal-01302449⟩
  • Amel Bouzeghoub, Alda Lopes Gancarski. An agent-based service architecture for user profiles dynamic share. SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.137 - 143, ⟨10.1109/SKG.2011.51⟩. ⟨hal-01347749⟩
  • Sana Hamdi, Alda Lopes Gancarski, Amel Bouzeghoub, Sadok Ben Yahia. Semantic clustering of users based on shared conceptualizations in folksonomies. CASoN 2011 : 3rd International Conference on Computational Aspects of Social Networks, Oct 2011, Salamanca, Spain. pp.201 - 206, ⟨10.1109/CASON.2011.6085944⟩. ⟨hal-01302227⟩
  • Dingqi Yang, Bin Guo, Daqing Zhang. Better organizing your contacts : an empirical study of an intelligent social contact management system. CPSCom 2011 : IEEE International Conference on Cyber, Physical, and Social Computing, Oct 2011, Dalian, China. pp.283 - 290, ⟨10.1109/iThings/CPSCom.2011.87⟩. ⟨hal-01301938⟩
  • Bin Guo, Daqing Zhang, Zhu Wang. Living with internet of things : the emergence of embedded intelligence. CPSCom 2011 : 4th IEEE International Conference on Cyber, Physical, and Social Computing, Oct 2011, Dalian, China. pp.297 - 304, ⟨10.1109/iThings/CPSCom.2011.11⟩. ⟨hal-01302013⟩
  • Daqing Zhang, Zhu Wang, Bin Guo, Xingshe Zhou. A dynamic community creation mechanism in opportunistic mobile social networks. SOCIALCOM 2011 : 3rd IEEE International Conference on Social Computing, Oct 2011, Boston, United States. pp.509 - 514, ⟨10.1109/PASSAT/SocialCom.2011.189⟩. ⟨hal-01302124⟩
  • Daqing Zhang, Nan Li, Zhi-Hua Zhou, Chao Chen, Lin Sun, et al.. iBAT : detecting anomalous taxi trajectories from GPS traces. UBICOMP 2011 : 13th ACM International Conference on Ubiquitous Computing, Sep 2011, Beijing, China. pp.99 - 108, ⟨10.1145/2030112.2030127⟩. ⟨hal-01302049⟩
  • Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Verifying composite service transactional behavior with EVENT-B. ECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 - 74, ⟨10.1007/978-3-642-23798-0_7⟩. ⟨hal-01354674⟩
  • Bin Guo, Daqing Zhang, Yang Dingqi. "Read" more from business cards : toward a smart social contact management system. WI 2011 : IEEE/WIC/ACM International Conference on Web Intelligence, Aug 2011, Lyon, France. pp.384 - 387, ⟨10.1109/WI-IAT.2011.22⟩. ⟨hal-01302158⟩
  • Ramzi Farhat, Bruno Defude, Mohamed Jemni. Towards a better understanding of learning objects content. ICALT 2011 : 11th IEEE International Conference on Advanced Learning Technologies, Jul 2011, Athens, Ga, United States. pp.536 - 540, ⟨10.1109/ICALT.2011.165⟩. ⟨hal-01303849⟩
  • Mohamed Sellami, Walid Gaaloul, Samir Tata. Implementation of communities of web service registries. ICWS 2011 : 9th IEEE International Conference on Web Services, Jul 2011, Washington, United States. pp.690 - 691, ⟨10.1109/ICWS.2011.69⟩. ⟨hal-01303860⟩
  • Mohamed Mohamed, Sami Yangui, Samir Moalla, Samir Tata. Web service micro-container for service-based applications in cloud environments. WETICE 2011 : 20th IEEE International Conference on Collaboration Technologies and Infrastructures, Jun 2011, Paris, France. pp.61 - 66, ⟨10.1109/WETICE.2011.51⟩. ⟨hal-01303055⟩
  • Kais Klai, Walid Gaaloul. Petri net modeling and verification of transactional workflows. WETICE 2011 : 20th IEEE International Conference on Collaboration Technologies and Infrastructures, Jun 2011, Paris, France. pp.176 - 184, ⟨10.1109/WETICE.2011.72⟩. ⟨hal-01303060⟩
  • Lin Sun, Daqing Zhang, Nan Li. Physical activity monitoring with mobile phones. ICOST 2011 : 9th International Conference on Smart Homes and Health Telematics, Jun 2011, Montreal, Canada. pp.104 - 111, ⟨10.1007/978-3-642-21535-3_14⟩. ⟨hal-01302042⟩
  • Sophie Chabridon, Cao Cuong Ngo, Zied Abid, Denis Conan, Chantal Taconet, et al.. Towards QoC-aware location-based services. 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.71 - 76, ⟨10.1007/978-3-642-21387-8_6⟩. ⟨hal-01303054⟩
  • Zhangbing Zhou, Walid Gaaloul, Samir Tata, Feng Gao, Lei Shu. Service protocol replaceability assessment in mediated service interactions. ICC 2011 : IEEE International Conference on Communications, Jun 2011, Kyoto, Japan. pp.1 - 5, ⟨10.1109/icc.2011.5963370⟩. ⟨hal-01303821⟩
  • Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel. Graph-based management of communities of web service registries. WEBIST 2011 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.61 - 70, ⟨10.5220/0003347400610070⟩. ⟨hal-01303855⟩
  • Isabela Gasparini, Ana Marilza Pernas, Amel Bouzeghoub, José Palazzo Moreira de Oliveira, José Valdeni de Lima, et al.. Taking rich context and situation in account for improving an adaptive e-learning system. CSEDU 2011 : 3rd International Conference on Computer Supported Education, May 2011, Noordwijkerhout, Netherlands. pp.165 - 172, ⟨10.5220/0003291001650172⟩. ⟨hal-01302229⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. A web service recommender system using vector space model and latent semantic indexing. AINA 2011 : 25th IEEE International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.602 - 609, ⟨10.1109/AINA.2011.99⟩. ⟨hal-01303862⟩
  • Zied Abid, Sophie Chabridon. A fine-grain approach for evaluating the quality of context. CoMoRea 2011 : 8th IEEE Workshop on Context Modeling and Reasoning, Mar 2011, Seattle, WA, United States. pp.444 - 449, ⟨10.1109/PERCOMW.2011.5766930⟩. ⟨hal-01304184⟩
  • Guande Qi, Xiaolong Li, Shijian Li, Gang Pan, Zonghui Wang, et al.. Measuring social functions of city regions from large-scale taxi behaviors. WIP of PERCOM 2011: Work in Progress workshop, Mar 2011, Seattle, United States. pp.384 - 388, ⟨10.1109/PERCOMW.2011.5766912⟩. ⟨hal-01301930⟩
  • Bin Li, Daqing Zhang, Lin Sun, Chao Chen, Shijian Li, et al.. Hunting or waiting ? Discovering passenger-finding strategies from a large-scale real-world taxi dataset. MUCS 2011 : 8th International Workshop on Managing Ubiquitous Communications and Services, Mar 2011, Seattle, United States. pp.63 - 68, ⟨10.1109/PERCOMW.2011.5766967⟩. ⟨hal-01301626⟩
  • Samir Moalla, Sana Hamdi, Bruno Defude. A new trust management model in P2P systems. SITIS 2010 : 6th International Conference on Signal-Image Technology & Internet-Based Systems, Dec 2010, Kuala Lumpur, Malaysia. pp.241 - 246, ⟨10.1109/SITIS.2010.48⟩. ⟨hal-01308289⟩
  • Yuanping Li, Ling Feng, Lin Qiao, Yiping Li, Shoubin Kong, et al.. FireGuide : a context-aware fire response guide for the building occupants. EUROSSC 2010 : 5th European Conference on Smart Sensing and Context, Nov 2010, Passau, Germany. pp.1 - 14, ⟨10.1007/978-3-642-16982-3_1⟩. ⟨hal-01305498⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Web services recommendation based on user's behavior. ICEBE 2010 : IEEE International Conference on e-Business Engineering, Nov 2010, Shanghai, China. pp.214 - 221, ⟨10.1109/ICEBE.2010.35⟩. ⟨hal-01308672⟩
  • Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. A session server architecture for mobile distributed virtual environments. ERPAS 2010 : @WAS Emerging Research Projects, Applications and Services, Nov 2010, Paris, France. pp.772 - 775, ⟨10.1145/1967486.1967611⟩. ⟨hal-01305762⟩
  • Sophie Chabridon, Denis Conan, Chantal Taconet, Cong Kinh Nguyen, Cao Cuong Ngo, et al.. MDE, DSL and tooling for effective context management in ubiquitous computing. WMSE 2010 : Workshop on Mobile Software Engineering, in conjunction with MobiCASE 2010, Oct 2010, Santa Clara, Ca, United States. ⟨hal-01305758⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Collaborative filtering technique for web service recommendation based on user-operation combination. CoopIS 2010 : 18th International Conference on Cooperative Information Systems, Oct 2010, Crete, Greece. pp.222 - 239, ⟨10.1007/978-3-642-16934-2_17⟩. ⟨hal-01308334⟩
  • Zhu Wang, Xingshe Zhou, Zhiwen Yu, Yanbin He, Daqing Zhang. Inferring user search intention based on situation analysis of the physical world. UIC 2010 : 7th International Conference on Ubiquitous Intelligence and Computing, Oct 2010, Xi'An, China. pp.35 - 51, ⟨10.1007/978-3-642-16355-5_6⟩. ⟨hal-01305166⟩
  • Lin Sun, Daqing Zhang, Bin Li, Bin Guo, Shijian Li. Activity recognition on an accelerometer embedded mobile phone with varying positions and orientations. UIC 2010 : 7th International Conference on Ubiquitous Intelligence and Computing, Oct 2010, Xi'An, China. pp.548 - 562, ⟨10.1007/978-3-642-16355-5_42⟩. ⟨hal-01305501⟩
  • Daqing Zhang, Bin Guo, Bin Li, Zhiwen Yu. Extracting social and community intelligence from digital footprints : an emerging research area. UIC 2010 : 7th International Conference on Ubiquitous Intelligence and Computing, Oct 2010, Xi'An, China. pp.4 - 18, ⟨10.1007/978-3-642-16355-5_4⟩. ⟨hal-01305503⟩
  • Hongbo Ni, Bessam Abdulrazak, Daqing Zhang, Shu Wu, Zhiwen Yu, et al.. Towards non-intrusive sleep pattern recognition in elder assistive environment. UIC 2010 : 7th International Conference on Ubiquitous Intelligence and Computing, Oct 2010, Xi'An, China. pp.96 - 109, ⟨10.1007/978-3-642-16355-5_10⟩. ⟨hal-01305173⟩
  • Mouna Makni, Samir Tata, Moez Yeddes, Nejib Ben Hadj Alouane. Satisfaction and coherence of deadline constraints in inter-organizational workflows. CoopIS 2010 : 18th International Conference on Cooperative Information Systems, Oct 2010, Crete, Greece. pp.523 - 539, ⟨10.1007/978-3-642-16934-2_39⟩. ⟨hal-01308081⟩
  • Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Towards an approach of formal verification of mediation protocol based on Web services. iiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩. ⟨hal-01308596⟩
  • Isabela Gasparini, Marcelo Pimenta, José Palazzo Moreira de Oliveira, Amel Bouzeghoub. Combining ontologies and scenarios for context-aware e-learning environments. ACM-SIGDOC 2010 : 28th ACM International Conference on Design of Communication , Sep 2010, São Carlos-São Paulo, Brazil. pp.229 - 236, ⟨10.1145/1878450.1878489⟩. ⟨hal-01305509⟩
  • Jiahui Wu, Gang Pan, Daqing Zhang, Shijian Li, Zhaohui Wu. MagicPhone : pointing & interacting. UBICOMP 2010 : 12th ACM International Conference on Ubiquitous Computing, Sep 2010, Copenhagen, Denmark. pp.451 - 452, ⟨10.1145/1864431.1864483⟩. ⟨hal-01305505⟩
  • Rim Mghirbi, Khedija Arour, Yahya Slimani, Bruno Defude. A profile-based aggregation model in a peer-to-peer information retrieval system. Globe 2010 : 3rd International Conference on Data Management in Grid and P2P Systems, Sep 2010, Bilbao, Spain. pp.148 - 159, ⟨10.1007/978-3-642-15108-8_13⟩. ⟨hal-01333421⟩
  • Amel Bouzeghoub, Ngoc Kien Do. Active sharing of contextual learning experiences among users in personal learning environments using a peer-to-peer network. ICALT 2010 : 10th IEEE International Conference on Advanced Learning Technologies, Jul 2010, Sousse, Tunisia. pp.78 - 82, ⟨10.1109/ICALT.2010.29⟩. ⟨hal-01308674⟩
  • Ana Marilza Pernas, José Palazzo Moreira de Oliveira, Amel Bouzeghoub. Modeling adaptive situations according with context and learning scenarios. ICALT 2010 : 10th IEEE International Conference on Advanced Learning Technologies, Jul 2010, Sousse, Tunisia. pp.435 - 437, ⟨10.1109/ICALT.2010.126⟩. ⟨hal-01308678⟩
  • Amel Bouzeghoub, Chantal Taconet, Amina Jarraya, Ngoc Kien Do, Denis Conan. Complementarity of process-oriented and ontology-based context managers to identify situations. ICDIM 2010 : 5th International Conference on Digital Information Management, Jul 2010, Thunder Bay, Canada. pp.222 - 229, ⟨10.1109/ICDIM.2010.5664620⟩. ⟨hal-01354807⟩
  • Ramzi Farhat, Mohamed Jemni, Bruno Defude. Checking semantic consistency of SCORM like learning objects. ICALT 2010 : 10th IEEE International Conference on Advanced Learning Technologies, Jul 2010, Sousse, Tunisia. pp.163 - 167, ⟨10.1109/ICALT.2010.52⟩. ⟨hal-01356678⟩
  • Mohamed Sellami, Walid Gaaloul, Samir Tata. Functionality-driven clustering of web service registries. SCC 2010 : 7th International Conference on Services Computing, Jul 2010, Miami, United States. pp.631 - 634, ⟨10.1109/SCC.2010.70⟩. ⟨hal-01356813⟩
  • Javier Enrique Rojas Moreno, Bruno Defude. Learning styles and teaching strategies to improve the SCORM learning objects quality. ICALT 2010 : 10th IEEE International Conference on Advanced Learning Technologies, Jul 2010, Sousse, Tunisia. ⟨10.1109/ICALT.2010.121⟩. ⟨hal-01356810⟩
  • Aung Aung Phyo Wail, Victor Siang Fook Foo, Maniyeri Jayachandran, Jit Biswas, Chris D. Nugent, et al.. Technical development and clinical evaluation of intelligent continence management system at nursing home. Healthcom 2010 : 12th IEEE International Conference on e-Health Networking Applications and Services, Jul 2010, Lyon, France. pp.345 - 352, ⟨10.1109/HEALTH.2010.5556544⟩. ⟨hal-01309475⟩
  • Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. A reusable component for communication and data synchronization in mobile distributed interactive applications. WCSI 2010 : 1st International Workshop on Component and Service Interoperability, in association with TOOLS 2010, Jun 2010, Malaga, Spain. pp.86 - 100, ⟨10.4204/EPTCS.37.7⟩. ⟨hal-01314811⟩
  • Isabela Gasparini, Amel Bouzeghoub, José Palazzo Moreira de Oliveira, Marcelo Pimenta. An adaptive e-learning environment based on user's context. CATS 2010 : 3rd International Workshop on Culturally-Aware Tutoring Systems, Jun 2010, Pittsburgh, United States. pp.1 - 12. ⟨hal-01305730⟩
  • Yuzhang Feng, Yang Liu, Yuan-Fang Li, Daqing Zhang. Discovering anomalies in semantic Web rules. SSIRI 2010 : 4th International Conference on Secure Software Integration and Reliability Improvement, Jun 2010, Singapore, Singapore. pp.33 - 42, ⟨10.1109/SSIRI.2010.26⟩. ⟨hal-01309481⟩
  • Imen Benzarti, Samir Tata, Zakaria Maamar, Nejib Ben Hadj Alouane, Moez Yeddes. Engineering process for capacity-driven Web services. ICEIS 2010 : 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.84 - 95, ⟨10.5220/0002976600840095⟩. ⟨hal-01304960⟩
  • Mouna Makni, Nejib Ben Hadj Alouane, Moez Yeddes, Samir Tata. Modeling time constraints in inter-organizational workflows. ICEIS 2010 : 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.221 - 229, ⟨10.5220/0002902202210229⟩. ⟨hal-01304939⟩
  • Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata. WSRD : a Web Services Registry Description. NOTERE 2010 : 10ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, May 2010, Tozeur, Tunisia. ⟨hal-00552969⟩
  • Rim Mghirbi, Khedija Arour, Yahya Slimani, Bruno Defude. Un modèle comportemental d'interclassement de résultats dans un système de recherche d'informations pair-à-pair. INFORSID 2010 : XXVIIIème congrès, May 2010, Marseille, France. pp.95 - 109. ⟨hal-01333415⟩
  • Yassin Chabeb, Samir Tata, Alain Ozanne. YASA-M : a semantic Web service matchmaker. 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010):, Apr 2010, Perth, Australia. pp.966 - 973, ⟨10.1109/AINA.2010.122⟩. ⟨hal-01356801⟩
  • Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel. Using recommendation to limit search space in Web services discovery. AINA 2010 : 24th IEEE International Conference on Advanced Information Networking and Applications, Apr 2010, Perth, Australia. pp.974 - 981, ⟨10.1109/AINA.2010.44⟩. ⟨hal-01354827⟩
  • Ana Marilza Pernas, Isabela Gasparini, Amel Bouzeghoub, Marcelo Pimenta, Leandro Krug Wives, et al.. From an e-learning to an u-learning environment. CSEDU 2010 : 2nd International Conference on Computer Supported Education, Apr 2010, Valence, Spain. pp.180 - 185, ⟨10.5220/0002774501800185⟩. ⟨hal-01305516⟩
  • Leandro Krug Wives, Zakaria Maamar, Samir Tata, Mohamed Sellami, José Palazzo Moreira de Oliveira. Web services & recommender systems : a research roadmap. WEBIST 2010 : 6th International Conference on Web Information Systems and Technologies, Apr 2010, Valencia, Spain. pp.119 - 124, ⟨10.5220/0002840601190124⟩. ⟨hal-01356337⟩
  • Bin Guo, Lin Sun, Daqing Zhang. The architecture design of a cross-domain context management system. PERCOM 2010 : 8th IEEE International Conference on Pervasive Computing and Communications, Mar 2010, Mannheim, Germany. pp.499 - 504, ⟨10.1109/PERCOMW.2010.5470618⟩. ⟨hal-01309484⟩
  • Lei Tang, Xingshe Zhou, Zhiwen Yu, Daqing Zhang, Hongbo Ni. Adaptive prompting based on petri net in a smart medication system. PERCOM 2010 : 8th IEEE International Conference on Pervasive Computing and Communications, Mar 2010, Mannheim, Germany. pp.328 - 333, ⟨10.1109/PERCOMW.2010.5470646⟩. ⟨hal-01309456⟩
  • Yassin Chabeb, Samir Tata. Publication and discovery of YASA web services. SAC 2010 : 25th Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.2493 - 2494, ⟨10.1145/1774088.1774604⟩. ⟨hal-01306831⟩
  • Aung Aung Phyo Wail, Victor Siang Fook Foo, Maniyeri Jayachandran, Jit Biswas, Chris D. Nugent, et al.. Towards developing effective continence management through wetness alert diaper : experiences, lessons learned, challenges and future directions. PervasiveHealth 2010 : 4th International Conference on Pervasive Computing Technologies for Healthcare, Mar 2010, Munich, Germany. pp.1 - 8, ⟨10.4108/ICST.PERVASIVEHEALTH2010.8832⟩. ⟨hal-01309477⟩
  • Ana Marilza Pernas, Leandro Krug Wives, José Palazzo Moreira de Oliveira, Amel Bouzeghoub. Modeling context adapted learning scenarios in the adaptweb® environment. ML 2010 : IADIS International Conference Mobile Learning , Mar 2010, Porto, Portugal. pp.165 - 172. ⟨hal-01308296⟩
  • Dorsaf Zekri, Bruno Defude, Thierry Delot. Summary of sensors data in vehicular ad hoc networks. COGIS 2009 : International Conference on COGnitive systems with Interactive Sensors, Nov 2009, Paris, France. ⟨hal-01368467⟩
  • Chantal Taconet, Zakia Imane Kazi-Aoul, Mehdi Zaier, Denis Conan. CA3M : a runtime model and a middleware for dynamic context management. DOA 2009 : 11th International Symposium on Distributed Objects, Middleware, and Applications, Nov 2009, Vilamoura, Algarve, Portugal. pp.513 - 530, ⟨10.1007/978-3-642-05148-7_39⟩. ⟨hal-00436669⟩
  • Amel Bouzeghoub, Marie Buffat, Alda Lopes Gancarski, Claire Lecocq, Abir Ben Jeema, et al.. Search and composition of learning objects in a visual environment. EC-TEL 2009 : 4th European Conference on Technology Enhanced Learning "Learning in the Synergy of Multiple Disciplines", Sep 2009, Nice, France. pp.763 - 768, ⟨10.1007/978-3-642-04636-0_81⟩. ⟨hal-01333033⟩
  • Djamel Belaid, Hamid Mukhtar, Alain Ozanne, Samir Tata. Dynamic component selection for SCA applications. I3E 2009 : 9th IFIP Conference on e-Business, e-Services, and e-Society, Sep 2009, Nancy, France. pp.272 - 286, ⟨10.1007/978-3-642-04280-5_22⟩. ⟨hal-01317602⟩
  • Zied Abid, Sophie Chabridon, Denis Conan. Cohérence et qualité des informations de contexte en environnement pervasif. CDUR 2009 : 3ème Workshop sur la Cohérence des Données en Univers Réparti, Sep 2009, Toulouse, France. pp.1 - 5. ⟨hal-01465761⟩
  • Daniela da Cruz, Flavio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gancarski, Bruno Defude. GuessXQ, an inference Web-engine for querying XML documents. INForum 2009 : Simpósio de Informática, Sep 2009, Lisbonne, Portugal. pp.322 - 325. ⟨hal-01347256⟩
  • Antoine Beugnard, Sophie Chabridon, Denis Conan, Chantal Taconet, Fabien Dagnat, et al.. Towards context-aware components. CASTA 2009 : Workshop on Context-Aware Software Technology and Applications - Co-located with ESEC/FSE 2009, Aug 2009, Amsterdam, Netherlands. pp.1 - 4, ⟨10.1145/1595768.1595770⟩. ⟨hal-01315821⟩
  • Amel Bouzeghoub, Mouna Selmi. Authoring tool for structural and semantic coherence validation of composed learning objects. ICALT 2009 : 9th IEEE International Conference on Advanced Learning Technologies, Jul 2009, Riga, Latvia. pp.175 - 177, ⟨10.1109/ICALT.2009.197⟩. ⟨hal-01360920⟩
  • Ramzi Farhat, Bruno Defude, Mohamed Jemni. Authoring by reuse for SCORM like learning objects. ICALT 2009 : 9th IEEE International Conference on Advanced Learning Technologies, Jul 2009, Riga, Latvia. pp.2161 - 3761 ⟨10.1109/ICALT.2009.76⟩. ⟨hal-01315043⟩
  • Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, et al.. From workflow models to executable Web service interfaces. ICWS 2009 : IEEE 7th International Conference on Web Services, Jul 2009, Los Angeles, Ca, United States. pp.131 - 140, ⟨10.1109/ICWS.2009.51⟩. ⟨hal-00441503⟩
  • Zied Abid, Sophie Chabridon, Denis Conan. A framework for quality of context management. QuaCon 2009 : 1st International Workshop on Quality of Context, Jun 2009, Stuttgart, Germany. pp.120 - 131, ⟨10.1007/978-3-642-04559-2_11⟩. ⟨hal-01317618⟩
  • Amel Bouzeghoub, Ngoc Kien Do, Leandro Krug Wives. Situation-aware adaptive recommendation to assist mobile users in a campus environment. AINA 2009 : IEEE 23rd International Conference on Advanced Information Networking and Applications, May 2009, Bradford, United Kingdom. pp.503 - 509, ⟨10.1109/AINA.2009.120⟩. ⟨hal-01368571⟩
  • Yassin Chabeb, Samir Tata, Djamel Belaid. Toward an integrated ontology for Web services. ICIW 2009 : 4th International Conference on Internet and Web Applications and Services, May 2009, Venice/Mestre, Italy. pp.462 - 467, ⟨10.1109/ICIW.2009.74⟩. ⟨hal-01366441⟩
  • Mohamed Sellami, Samir Tata, Zakaria Maamar, Bruno Defude. A recommender system for Web services discovery in a distributed registry environment. ICIW 2009 : 4th International Conference on Internet and Web Applications and Services, May 2009, Venice-Mestre, Italy. pp.418 - 423, ⟨10.1109/ICIW.2009.68⟩. ⟨hal-01315773⟩
  • Zakaria Maamar, Mohamed Sellami, Samir Tata, Quan Z. Sheng. A P2P implementation for the high availability of web services. ICEIS 2009 : 11th International Conference on Enterprise Information Systems, May 2009, Milan, Italy. pp.19 - 24, ⟨10.5220/0001855500190024⟩. ⟨hal-01315766⟩
  • Kejun Du, Daqing Zhang, Muzaaliff W. Musa, Mounir Mokhtari, Xingshe Zhou. Handling activity conflicts in reminding system for elders with dementia. SH 2008 : 3rd International Symposium on Smart Home, Dec 2008, Sanya, Hainan Island, China. pp.416 - 421, ⟨10.1109/FGCN.2008.117⟩. ⟨hal-01327251⟩
  • Chantal Taconet, Zakia Imane Kazi-Aoul. Context-awareness and model driven engineering : illustration by an e-commerce application scenario. ICDIM 2008 : 3rd International Conference on Digital Information Management, Nov 2008, London, United Kingdom. pp.864 - 869, ⟨10.1109/ICDIM.2008.4746829⟩. ⟨hal-01378652⟩
  • Ngoc Kien Do, Amel Bouzeghoub. Délivrer et adapter des ressources pédagogiques dans un système pervasif en fonction de la situation de l'utilisateur. EMAP 2008 : Environnements Mobiles et Apprentissage Pervasif, Oct 2008, Paris, France. ⟨hal-01396643⟩
  • Yassin Chabeb, Samir Tata. Yet another semantic annotation for WSDL. WWW/Internet 2008 : IADIS International Conference, Oct 2008, Freiburg, Germany. pp.437 - 441. ⟨hal-01380984⟩
  • Amel Bouzeghoub, Ngoc Kien Do. A situation based metadata for describing pervasive learning objects. mLearn 2008 : 1st International Conference on Mobile Learning, Oct 2008, Wolverhampton, United Kingdom. ⟨hal-01374607⟩
  • Mohamed Sellami, Samir Tata, Bruno Defude. Service discovery in ubiquitous environments : approaches and requirements for context-awareness. SEMANTICS4WS 2008 : 3rd International Workshop in Advances in Semantics for Web Services, Sep 2008, Milan, Italy. pp.516 - 522, ⟨10.1007/978-3-642-00328-8_52⟩. ⟨hal-01380993⟩
  • Sébastien Jourdain, Julien Forest, Christophe Mouton, Bernard Nouailhas, Gérard Moniot, et al.. ShareX3D, a scientific collaborative 3D viewer over HTTP. WEB3D 2008 : 13th International Symposium on 3D Web Technology, Aug 2008, Los Angeles, California, United States. pp.35 - 41, ⟨10.1145/1394209.1394220⟩. ⟨hal-01327149⟩
  • Javier Enrique Rojas Moreno, Bruno Defude. Improving learning objects quality with learning styles. ICALT 2008 : 8th IEEE International Conference on Advanced Learning Technologies, Jul 2008, Santander, Spain. pp.496 - 497, ⟨10.1109/ICALT.2008.279⟩. ⟨hal-01393502⟩
  • Jit Biswas, Aung Aung Phyo Wai, Victor Siang Fook Foo, Chris D. Nugent, Maurice Mulvenna, et al.. Design of a smart continence management system based on initial user requirement assessment. ICOST 2008 : 6th International Conference on Smart Homes and Health Telematics, Jun 2008, Ames, United States. pp.62 - 72, ⟨10.1007/978-3-540-69916-3_8⟩. ⟨hal-01373170⟩
  • Weijun Qin, Daqing Zhang, Yuanchun Shi, Kejun Du. Combining user profiles and situation contexts for spontaneous service provision in smart assistive environments. UIC 2008 : 5th International Conference on Ubiquitous Intelligence and Computing, Jun 2008, Oslo, Norway. pp.187 - 200, ⟨10.1007/978-3-540-69293-5_16⟩. ⟨hal-01327181⟩
  • Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. A dynamic approach to consistency management for mobile multiplayer games. CDUR 2008 : 2nd Workshop sur la Cohérence Des Données en Univers Réparti, Jun 2008, Lyon, France. pp.1 - 6, ⟨10.1145/1416729.1416783⟩. ⟨hal-01327154⟩
  • Bruno Defude, Thierry Delot, Sergio Illari, Jose Luis Zechinelli Martini, Nicolas Cenerario. Data aggregation in VANETs : the VESPA approach. IWCTS 2008 : 1st International Workshop on Computational Transportation Science, Jun 2008, Dublin, Ireland. pp.Article No. 13 - ⟨10.4108/ICST.MOBIQUITOUS2008.3897⟩. ⟨hal-01375483⟩
  • Kejun Du, Daqing Zhang, Xingshe Zhou, Mounir Mokhtari, Mossaab Hariz, et al.. HYCARE : a hybrid context-aware reminding framework for elders with mild dementia. ICOST 2008 : 6th International Conference on Smart Homes and Health Telematics, Jun 2008, Ames, United States. pp.9 - 17, ⟨10.1007/978-3-540-69916-3_2⟩. ⟨hal-01327186⟩
  • Bruno Defude, Thierry Delot, Jose Luis Zechinelli Martini, Nicolas Cenerario, Sergio Illari. Extraction de connaissances dans les réseaux ad hoc inter-véhicules. UbiMob 2008 : Mobilité et Ubiquité 2008 : quatrièmes journées francophones, May 2008, Saint Malo, France. pp.17 - 20, ⟨10.1145/1376971.1376975⟩. ⟨hal-01393510⟩
  • Tao Gu, Hung Keng Pung, Daqing Zhang. Peer-to-peer context reasoning in pervasive computing environments. CoMoRea 2008 : 5th IEEE Workshop on Context Modeling and Reasoning, Mar 2008, Hong Kong, Hong Kong SAR China. pp.406 - 411, ⟨10.1109/PERCOM.2008.37⟩. ⟨hal-01394725⟩
  • Daqing Zhang, Mossaab Hariz, Mounir Mokhtari. Assisting elders with mild dementia staying at home. PerCare 2008 : 1st International Workshop on Pervasive Digital Healthcare, Mar 2008, Hong Kong, Hong Kong SAR China. pp.692 - 697, ⟨10.1109/PERCOM.2008.119⟩. ⟨hal-01395307⟩
  • Nomane Ould Ahmed M'Barek, Samir Tata. Services Web : revue des approches de description sémantique. SIIE 2008 : Système d'Information et Intelligence Economique, Feb 2008, Hammamet, Tunisie. pp.1 - 7. ⟨hal-01378724⟩
  • Najoua Bouaka, Samir Tata. L'importance de l'analyse des besoins informationnels dans la démarche de l'intelligence économique. SIIE 2008 : Système d'Information et Intelligence Economique, Feb 2008, Hammamet, Tunisie. pp.1 - 11. ⟨hal-01381000⟩
  • Kaijian Xu, Manli Zhu, Daqing Zhang, Tao Gu. Context-aware content filtering & presentation for pervasive & mobile information systems. Ambi-sys 2008 : 1st International Conference on Ambient Media and Systems, Feb 2008, Quebec, Canada. ⟨hal-01376583⟩
  • Issam Chebbi, Samir Tata. Workflow abstraction for privacy preservation. WISE 2007 : Workshop of the 8th International Conference on Web Information Systems Engineering, Dec 2007, Nancy, France. pp.166 - 177, ⟨10.1007/978-3-540-77010-7_17⟩. ⟨hal-01328163⟩
  • Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. Synchronization medium : a consistency maintenance component for mobile multiplayer games. NetGames 2007 : 6th Annual Workshop on Network and Systems Support for Games 2007, Sep 2007, Melbourne, Australia. pp.99 - 104, ⟨10.1145/1326257.1326275⟩. ⟨hal-01328165⟩
  • Tuan Dung Nguyen, Denis Conan. Gestion de groupes tolérant les défaillances et les déconnexions en environnement mobile. NOTERE 2006 : 6ème Conférence Internationale sur les Nouvelles Technologies de la Répartition, Jun 2006, Toulouse, France. ⟨hal-01333299⟩

Poster communications

  • Tung-Chun Chang, Georgios Bouloukakis, Chia-Ying Hsieh, Cheng-Hsin Hsu, Nalini Venkatasubramanian. Demo abstract: SmartParcels: a what-if analysis and planning tool for IoT-enabled smart communities. IoTDI 2021: 6th ACM/IEEE International Conference on Internet-of-Things Design and Implementation, May 2021, Charlottesville (online), United States. ACM, IoTDI '21: Proceedings of the International Conference on Internet-of-Things Design and Implementation, pp.267-268, 2021, ⟨10.1145/3450268.3453514⟩. ⟨hal-03171363⟩
  • Yan Liu, Bin Guo, He Du, Zhiwen Yu, Daqing Zhang, et al.. FooDNet: optimized on demand take-out food delivery using spatial crowdsourcing. MOBICOM 2017 : 23rd Annual International Conference on Mobile Computing and Networking, Oct 2017, Snowbird, United States. ACM, pp.564 - 566 2017, ⟨10.1145/3117811.3131268⟩. ⟨hal-01643213⟩

Proceedings

  • Mohamed Sellami, Maria-Esther Vidal, Boudewijn van Dongen, Walid Gaaloul, Hervé Panetto. Cooperative information systems. 14353, Springer Nature Switzerland, pp.505, 2023, Lecture Notes in Computer Science, 978-3-031-46846-9. ⟨10.1007/978-3-031-46846-9⟩. ⟨hal-04257462⟩
  • Natalia Kushik, Frédéric Mallet. Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23. pp.60, 2023, Journées AFADL. ⟨hal-04179353v2⟩
  • Catherine Dubois, Pierluigi San Pietro. Formal methods teaching, 5th international workshop, FMTea 2023. 5th International Workshop (FMTea), 13962, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-27534-0⟩. ⟨hal-04343457⟩
  • Catherine Dubois, Manfred Kerber. Intelligent computer mathematics. Intelligent Computer Mathematics 16th International Conference (CICM ), 14101, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, 978-3-031-42752-7. ⟨10.1007/978-3-031-42753-4⟩. ⟨hal-04343372⟩
  • Paolo Ceravolo, Hajo A. Reijers, Hervé Panetto, Mohamed Sellami, Walid Gaaloul. Cooperative information systems: 28th international conference , CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, proceedings. Lecture Notes in Computer Science, LNCS 13591, Springer, pp.333, 2022, Lecture Notes in Computer Science, 978-3-031-17833-7. ⟨10.1007/978-3-031-17834-4⟩. ⟨hal-03782208⟩
  • David Clark, Héctor D. Menéndez, Ana R Cavalli. Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings. IFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩. ⟨hal-04478239⟩
  • Andrea Marrella, Raimundas Matulevičius, Renata Gabryelczyk, Bernhard Axmann, Vesna Bosilj Vukšić, et al.. Business process management: blockchain, robotic process automation, and central and eastern europe forum. 459, Springer International Publishing, 2022, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-031-16168-1⟩. ⟨hal-03992697⟩
  • Catherine Dubois, Julien Cohen. STAF 2022 workshop proceedings: 10th international workshop on bidirectional transformations (BX 2022), 2nd international workshop on foundations and practice of visual modeling (FPVM 2022) and 2nd international workshop on MDE for smart IoT systems (MeSS 2022). Software Technologies: Applications and Foundations federation of conferences (STAF 2022), 3250, 2022. ⟨hal-04344127⟩
  • Catherine Dubois, Steffen Zschaler. 17 th educators symposium at MODELS 2021. 17th Educators Symposium at MODELS 2021, IEEE, 2021, ⟨10.1109/MODELS-C53483.2021.00112⟩. ⟨hal-04343448⟩
  • Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, et al.. Service-oriented computing : ICSOC 2019 workshops : WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, revised selected papers. ICSOC 2019: 17th International Conference on Service-Oriented Computing, Oct 2019, Toulouse, France. 12019, Springer, pp.314, 2020, Lecture Notes in Computer Science book series (LNCS), 978-3-030-45988-8. ⟨10.1007/978-3-030-45989-5⟩. ⟨hal-03122701⟩
  • David Bermbach, Everton Cavalcante, Stéphane Delbruel, David Eyers, Danny Hughes, et al.. M4IoT ’19: proceedings of the 6th international workshop on Middleware and Applications for the Internet of Things. M4IoT 2019 :6th international workshop on Middleware and Applications for the Internet of Things, Dec 2019, Davis, CA, United States. Association for Computing Machinery (ACM), 27 p., 2019, 978-1-4503-7028-8. ⟨10.1145/3366610⟩. ⟨hal-02449622⟩
  • Catherine Dubois, Burkhart Wolff. Tests and proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. International Conference on Tests and Proofs (TAP), 10889, Springer International Publishing, 2018, Lecture Notes in Computer Science, 978-3-319-92994-1. ⟨10.1007/978-3-319-92994-1⟩. ⟨hal-04489926⟩
  • Gérôme Canals, Nadine Couture, Laurence Nigay, Philippe Roose, Chantal Taconet. Actes des 11èmes Journées Francophones Mobilité et Ubiquité. Ubimob'2016, dblp computer science bibliography, 2016. ⟨hal-01913206⟩

Special issue

  • Abderrahim Ait Wakrime, Mohamed Sellami, Riadh Ben Halima. Future internet services and applications. Concurrency and Computation: Practice and Experience, 35 (11), 2023, ⟨10.1002/cpe.7329⟩. ⟨hal-04112577⟩
  • Ricardo Perez-Castillo, Ana Paiva, Ana Rosa Cavalli. Special issue on information systems quality for digital transformation. Software Quality Journal, 30 (4), pp.953-954, 2022, ⟨10.1007/s11219-022-09608-y⟩. ⟨hal-04476915⟩
  • Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al.. On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II. Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Oct 2017, Rhodes, Greece. Lecture Notes in Computer Science, LNCS 10574, pp.515, 2017, 978-3-319-69459-7. ⟨10.1007/978-3-319-69459-7⟩. ⟨hal-01673487⟩

Books

  • Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, et al. (Dir.). 33èmes journées francophones des langages applicatifs. Chantal Keller; Timothy Bourke. , pp.1-292, 2022. ⟨hal-03689075⟩
  • David Bermbach, Everton Cavalcante, Stéphane Delbruel, David Eyers, Danny Hugues, et al. (Dir.). M4IoT'18: proceedings of the 5th workshop on Middleware and Applications for the Internet of Things. ACM, pp.47, 2018, 978-1-4503-6118-7. ⟨hal-01991108⟩
  • Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al. (Dir.). On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I. , LNCS 10573, pp.767, 2017, ⟨10.1007/978-3-319-69462-7⟩. ⟨hal-01673485⟩
  • Thais Batista, Stéphane Delbruel, David Bermbach, David Eyers, Danny Hugues, et al. (Dir.). M4IoT '17: December 11-15, 2017, Las Vegas, NV, USA, Proceedings of the 2017 Workshop on Middleware and Applications for the Internet of Things Fourth edition and second federated event with the MoTA workshop. ACM, pp.27, 2017, 978-1-4503-5170-6. ⟨hal-01670253⟩
  • Didier El Baz, Julien Bourgeois, Bruno Defude, Zhangbing Zhou, Guangjie Han, et al. (Dir.). ATC 2016 : 13th Annual International Conference on Advanced and Trusted Computing. IEEE Computer Society, pp.1242, 2016, 978-1-5090-2770-5. ⟨hal-01449669⟩
  • Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam (Dir.). Service-oriented computing : ICSOC 2015 workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, revised selected papers. Springer, 9586, pp.255, 2016, Lecture notes in computer science, Lecture notes in computer science, 978-3-662-50538-0. ⟨hal-01455706⟩
  • Danny Hugues, Chantal Taconet, Sébastien Leriche, Thais Batista (Dir.). Proceedings of the 3rd ACM workshop on middleware for context-aware applications in the IoT : in conjunction with ACM/IFIP/USENIX ACM international middleware conference : December 12-13 2016, Trento Italy. ACM, pp.22, 2016, 978-1-4503-4663-4. ⟨hal-01425973⟩
  • Gordon Blair, Douglas Schmidt, Chantal Taconet (Dir.). Middleware for Internet distribution in the context of cloud computing and the Internet of Things (special issue). Springer, 71, issue 3-4, pp.64, 2016. ⟨hal-01298014⟩
  • Sumitra Reddy, Walid Gaaloul (Dir.). 25th IEEE international conference on enabling technologies: infrastructure for collaborative enterprises : WETICE 2016. IEEE Computer Society, pp.270, 2016, 978-1-5090-1663-1. ⟨hal-01455719⟩
  • Quan Z Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri (Dir.). Service-oriented computing 14th international conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, proceedings. Springer international publishing, 9936, pp.849, 2016, Lecture notes in computer science, Lecture notes in computer science, 978-3-319-46294-3. ⟨hal-01451167⟩

Book sections

  • Tiphaine Henry, Julien Hatin, Léo Kazmierczak, Nassim Laga, Walid Gaaloul. Random-value payment tokens for on-chain privacy-preserving payments. Cooperative Information Systems, 13591, Springer International Publishing, pp.223-241, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-17834-4_13⟩. ⟨hal-03836450⟩
  • Nathanaël Denis, Maryline Laurent, Sophie Chabridon. Bringing privacy, security and performance to the internet of things through usage control and blockchains. Privacy and Identity Management. Between Data Protection and Security, 644, Springer International Publishing, pp.57-72, 2022, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-99100-5_6⟩. ⟨hal-03754051⟩
  • Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R Cavalli, Edgardo Montes De Oca. 5Greplay: a 5G network traffic fuzzer - application to attack injection. ARES '21 : Actes de la 16e Conférence internationale sur la disponibilité, la fiabilité et la sécurité, ACM, pp.1-8, 2021, 9781450390514. ⟨10.1145/3465481.3470079⟩. ⟨hal-04478392⟩
  • Aleš Zamuda, Vincenzo Crescimanna, Juan Burguillo, Joana Matos Dias, Katarzyna Wegrzyn-Wolska, et al.. Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era. High-Performance Modelling and Simulation for Big Data Applications, 11400, Springer International Publishing, pp.325-349, 2019, Lecture Notes in Computer Science, 978-3-030-16271-9. ⟨10.1007/978-3-030-16272-6_12⟩. ⟨hal-03812707⟩
  • Marc Shapiro, Pierre Sutra. Database Consistency Models. Sherif Sakr; Albert Zomaya. Encyclopedia of Big Data Technologies, Springer, 2019, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_203-1⟩. ⟨hal-01756780⟩
  • Rami Sellami, Bruno Defude. Big data integration in cloud environments: requirements, solutions and challenges. NoSQL data models: trends and challenges, 1, ISTE, pp.93 - 134, 2018, Computer engineering series: databases and big data set, 978-1-78630-364-6. ⟨10.1002/9781119528227.ch4⟩. ⟨hal-02006414⟩
  • Eve-Lise Kern, François Trahay, Kévin Zanin. Exploration visuelle des traces de calcul haute performance. Datalogie : formes et imaginaires du numérique, Editions Loco, pp.152 - 165, 2016, 978-2-919507-53-5. ⟨hal-01399023⟩
  • Samir Tata. Processus interentreprises. Les processus métiers : concepts, modèles et systèmes, Hermes Science publication - Lavoisier, pp.227 - 257, 2009, IC2, Traité Informatique et systèmes d'information, 978-2-7462-2300-4. ⟨hal-00472880⟩
  • Walid Gaaloul, Daniela Grigori. Intelligence des processus. Les 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. ⟨hal-00441531⟩
  • Walid Gaaloul, Daniela Grigori. Découverte de la logique des processus. Les 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. ⟨hal-00441528⟩
  • Daqing Zhang, Tao Gu, Manli Zhu. Middleware for smart spaces. The engineering handbook of smart technology for aging, disability, and independence, John Wiley & Sons, pp.607 - 618, 2008, 978-0-471-711551 ⟨10.1002/9780470379424.ch32⟩. ⟨hal-01372696⟩

Preprints, Working Papers

  • Tiphaine Henry, Julien Hatin, Eloi Besnard, Nassim Laga, Walid Gaaloul. Towards trustworthy and privacy-preserving decentralized auctions. 2023. ⟨hal-04145599⟩
  • Angela Bonifati, Stefania Dumbrava, Haridimos Kondylakis. Graph summarization. 2020. ⟨hal-03128573⟩
  • Nicolas Aussel, Sophie Chabridon, Yohan Petetin. Combining federated and active learning for communication-efficient distributed failure prediction in aeronautics. 2019. ⟨hal-02446200⟩
  • Ajay Singh, Marc Shapiro, Gaël Thomas. Persistent Memory Programming Abstractions in Context of Concurrent Applications. 2017. ⟨hal-01667772⟩

Reports

  • Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. EDICT: simulation of edge interactions across IoT-enhanced environments. Telecom SudParis. 2023. ⟨hal-04078497⟩
  • Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R Cavalli, Joaquin Garcia‐alfaro. Cyber-resilience approaches for cyber-physical systems. Télécom SudParis (Institut Mines-Télécom). 2023. ⟨hal-04495662⟩
  • Amina Guermouche, Anne-Cécile Orgerie. Experimental analysis of vectorized instructions impact on energy and power consumption under thermal design power constraints. [Research Report] Télécom Sud Paris. 2019. ⟨hal-02167083v2⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Gancarski Lopes, Katarzyna Wegrzyn-Wolska. Influence model based on actions and reactions in social networks. [Research Report] Telecom SudParis. 2018. ⟨hal-01865770⟩
  • Mohamed Saïd Mosli Bouksiaa, François Trahay, Alexis Lescouet, Gauthier Voron, Amina Guermouche, et al.. Identifying thread interference with performance variation. [Research Report] Dept. Informatique (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); Laboratoire Informatique Paris VI (Université Pierre et Marie Curie - Paris VI). 2017, pp.14. ⟨hal-01784556⟩
  • Jean-Paul Arcangeli, Amel Bouzeghoub, Valérie Camps, Sophie Chabridon, Denis Conan, et al.. Méthodes et outils intergiciels de gestion de contexte multiéchelle pour l'Internet des objets : rapport de fin du projet ANR INCOME. [Rapport de recherche] IRIT. 2016. ⟨hal-03165033⟩

Theses

  • Meriana Kobeissi. A conversational AI Framework for Cognitive Process Analysis. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris; Université libanaise, 2023. English. ⟨NNT : 2023IPPAS025⟩. ⟨tel-04419928⟩
  • Rémi Dulong. Towards new memory paradigms : Integrating non-volatile main memory and remote direct memory access in modern systems. Computer science. Institut Polytechnique de Paris; Université de Neuchâtel, 2023. English. ⟨NNT : 2023IPPAS027⟩. ⟨tel-04426035⟩
  • Pedro Victor Borges Caldas da Silva. Middleware support for energy awareness in the Internet of Things (IoT). Computer science. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAS016⟩. ⟨tel-03937453⟩
  • Alexis Colin. De la collecte de trace à la prédiction du comportement d'applications parallèles. Informatique. Institut Polytechnique de Paris, 2022. Français. ⟨NNT : 2022IPPAS020⟩. ⟨tel-03954260⟩
  • Tiphaine Henry. Towards trustworthy, flexible, and privacy-preserving peer-to-peer business process management systems. Computer science. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAS024⟩. ⟨tel-03931346⟩
  • Yuwei Wang. Evolution of microservice-based applications : Modelling and safe dynamic updating. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAS009⟩. ⟨tel-03937239⟩
  • Nour El Houda Ben Chaabene. Détection d'utilisateurs violents et de menaces dans les réseaux sociaux. Réseaux sociaux et d'information [cs.SI]. Institut Polytechnique de Paris; École Nationale des Sciences de l'Informatique (La Manouba, Tunisie), 2022. Français. ⟨NNT : 2022IPPAS001⟩. ⟨tel-03642041⟩
  • Marwa Elleuch. Business process discovery from emails, a first step towards business process management in less structured information systems. Software Engineering [cs.SE]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAS014⟩. ⟨tel-03526151⟩
  • Tuanir Franca Rezende. Leaderless state-machine replication : from fail-stop to Byzantine failures. Distributed, Parallel, and Cluster Computing [cs.DC]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAS016⟩. ⟨tel-03584254⟩
  • Mohamed Ahmed Mohamed. Enhancing the traceability of B2B logistic chains using blockchain, IoT and Deep Learning. Software Engineering [cs.SE]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAS013⟩. ⟨tel-03529645⟩
  • Alexis Lescouet. Memory management for operating systems and runtimes. Distributed, Parallel, and Cluster Computing [cs.DC]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAS008⟩. ⟨tel-03358288⟩
  • Katleen Blanchet. Au coeur de l’interaction humain-robot collaboratif : comment concevoir une assistance personnalisée au profil utilisateur ?. Interface homme-machine [cs.HC]. Institut Polytechnique de Paris, 2021. Français. ⟨NNT : 2021IPPAS001⟩. ⟨tel-03145245⟩
  • Wassim Sellil Atoui. Toward auto-configuration in software networks. Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAS015⟩. ⟨tel-02988169⟩
  • Rania Ben Halima Kchaou. Cost optimization of business processes based on time constraints on cloud resources. Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAS014⟩. ⟨tel-02969494⟩
  • David Oudart. Application de l'ingénierie dirigée par les modèles à la conception de Smart Grids : approche par cosimulation avec FMI. Modélisation et simulation. Institut Polytechnique de Paris, 2020. Français. ⟨NNT : 2020IPPAS002⟩. ⟨tel-03064950⟩
  • Hayet Brabra. Supporting management and orchestration of cloud resources in a multi-cloud environment. Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris; Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion, 2020. English. ⟨NNT : 2020IPPAS003⟩. ⟨tel-02798770⟩
  • Amina Jarraya. Raisonnement distribué dans un environnement ambiant. Réseaux et télécommunications [cs.NI]. Université Paris Saclay (COmUE); Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie), 2019. Français. ⟨NNT : 2019SACLL011⟩. ⟨tel-02360245⟩
  • Hela Sfar. Real time intelligent decision making from heterogeneous and imperfect data. Ubiquitous Computing. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLL013⟩. ⟨tel-02386039v2⟩
  • Aicha Ben Jrad. Description and evaluation of elasticity strategies for business processes in the Cloud. Modeling and Simulation. Université Paris Saclay (COmUE); École nationale d'ingénieurs de Tunis (Tunisie), 2019. English. ⟨NNT : 2019SACLL012⟩. ⟨tel-02388507⟩
  • Nicolas Aussel. Real-time anomaly detection with in-flight data : streaming anomaly detection with heterogeneous communicating agents. Networking and Internet Architecture [cs.NI]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLL007⟩. ⟨tel-02191646⟩
  • Monika Rakoczy. Exploration des interactions humaines pour la modélisation de l'influence dans les réseaux sociaux. Social and Information Networks [cs.SI]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLL010⟩. ⟨tel-02437279⟩
  • Leila Hadded. Optimization of autonomic resources for the management of service-based business processes in the Cloud. Networking and Internet Architecture [cs.NI]. Université Paris Saclay (COmUE); Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie), 2018. English. ⟨NNT : 2018SACLL006⟩. ⟨tel-01901781⟩
  • Gauthier Voron. Virtualisation efficace d'architectures NUMA. Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩. ⟨tel-01947560v2⟩

HDR thesis

  • Natalia Kushik. Contributions to model based test generation and monitoring strategies and their networking applications. Computer Science [cs]. Institut Polytechnique de Paris, 2022. ⟨tel-03952742⟩
  • François Trahay. Contribution to automatic performance analysis of parallel applications. Operating Systems [cs.OS]. Institut Polytechnique de Paris, 2021. ⟨tel-03278305⟩