DIEGO

 Data IntElliGence and knOwledge

Publications

 


625 documents

Journal articles141 document

  • 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⟩
  • 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⟩
  • Tiphaine Henry, Julien Hatin, Eloi Besnard, Nassim Laga, Walid Gaaloul. Towards trustworthy and privacy-preserving decentralized auctions. Journal of Banking and Financial Technology, In press, ⟨10.1007/s42786-024-00051-0⟩. ⟨hal-04145599⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, et al.. Natural language querying of process execution data. Information Systems, 2023, 116 (C), pp.102227. ⟨10.1016/j.is.2023.102227⟩. ⟨hal-04490513⟩
  • 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⟩
  • 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⟩
  • Simona Grama-Vigouroux, Sana Saidi, Anne Berthinier-Poncet, Albert Lwango, Mohamed Sellami. Influence of entrepreneurial ecosystems on innovation ecosystems in peripheral regions: the case of the Champagne-Ardenne region. Industry and Innovation, 2022, 29 (9), pp.1045-1074. ⟨10.1080/13662716.2022.2068998⟩. ⟨hal-03981105⟩
  • Amel Mammar, Meryem Afendi, Régine Laleau. Modeling and proving hybrid programs with event-B: an approach by generalization and instantiation. Science of Computer Programming, 2022, 222 (102856), ⟨10.1016/j.scico.2022.102856⟩. ⟨hal-03916799⟩
  • 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⟩
  • Imed Abbassi, Amel Mammar, Mohamed Graiet. A Correct-by-construction model for verifying transactional composite services configuration. IEEE Transactions on Services Computing, 2022, 15 (5), pp.2511 - 2525. ⟨10.1109/TSC.2021.3072327⟩. ⟨hal-03545911⟩
  • 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⟩
  • Dahmane Hadou El Hadj, Sihem Tellah, Kenza Goumeida, Sara Aitouakli, Chamseddine Tifest, et al.. Evaluation of Adaptability of Different Faba Bean Landraces under Mediterranean Field Conditions of Central-Northern Algeria. Agronomy, 2022, 12 (7), pp.1660. ⟨10.3390/agronomy12071660⟩. ⟨hal-03860583⟩
  • 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⟩
  • 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, 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⟩
  • Mohamed Houssemeddine Sellami, Rossella Albrizio, Milica Čolović, Mohamad Hamze, Vito Cantore, et al.. Selection of Hyperspectral Vegetation Indices for Monitoring Yield and Physiological Response in Sweet Maize under Different Water and Nitrogen Availability. Agronomy, 2022, 12 (2), pp.489. ⟨10.3390/agronomy12020489⟩. ⟨hal-03623501⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Amel Mammar, Lazhar Hamel, Mohamed Graiet. An Event-B-based approach to model and verify behaviors for component-based applications. The Computer Journal, 2021, 65 (10), pp.2780-2800. ⟨10.1093/comjnl/bxab115⟩. ⟨hal-03545928⟩
  • 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⟩
  • 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⟩
  • Benjamin Vedel, Inés Gabarret, Mohamed Sellami, Sana Saidi. Comprendre la croissance des nouvelles entreprises : la complexe relation entre capital humain, chômage et motivation. Management international = International management = Gestión internacional, 2021, 25 (1), pp.106-130. ⟨10.7202/1076020ar⟩. ⟨hal-04462230⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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-04490562⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Walid Gaaloul, Zhangbing Zhou, Hervé Panetto, Liang Zhang. Special issue on fog and cloud computing for cooperative information system management. Future Generation Computer Systems, 2020, 109, pp.704-705. ⟨10.1016/j.future.2020.02.060⟩. ⟨hal-02888680⟩
  • 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⟩
  • Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩. ⟨hal-02975774⟩
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer, 2020, 22 (3), pp.349-363. ⟨10.1007/s10009-019-00542-2⟩. ⟨hal-02975778⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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-04428701⟩
  • Nina Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a multi-layered access control model with conflict resolution strategy. The Computer Journal, 2019, 62 (12), pp.1707-1733. ⟨10.1093/comjnl/bxz039⟩. ⟨hal-02403976⟩
  • 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⟩
  • 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⟩
  • Lionel Tidjon, Marc Frappier, Amel Mammar. Intrusion detection systems: a cross-domain overview. Communications Surveys and Tutorials, IEEE Communications Society, 2019, 21 (4), pp.3639 - 3681. ⟨10.1109/COMST.2019.2922584⟩. ⟨hal-02403911⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Jlassi Sindyana, Amel Mammar, Imed Abbassi, Mohamed Graiet. Towards correct cloud resource allocation in FOSS applications. Future Generation Computer Systems, 2019, 91 (392-406), ⟨10.1016/j.future.2018.08.030⟩. ⟨hal-02403919⟩
  • Jannet Kamoun, Renaud Rahier, Mohamed Sellami, Imed Koubaa, Pascal Mansuelle, et al.. Identification of a new natural gastric lipase inhibitor from star anise. Food and Function, 2019, 10 (1), pp.469-478. ⟨10.1039/c8fo02009d⟩. ⟨hal-04669840⟩
  • Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui. Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR, 2019, abs/1903.08452. ⟨hal-02134342⟩
  • 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 Gançarski, 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⟩
  • 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⟩
  • Raphael Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel. Parameterized verification of monotone information systems. Formal Aspects of Computing, 2018, 30 (3-4), pp.463 - 489. ⟨10.1007/s00165-018-0460-8⟩. ⟨hal-01847131⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Thar Baker, Emir Ugljanin, Noura Faci, Mohamed Sellami, Zakaria Maamar, et al.. Everything as a resource: foundations and illustration through Internet-of-things. Computers in Industry, 2018, 94, pp.62 - 74. ⟨10.1016/j.compind.2017.10.001⟩. ⟨hal-01636978⟩
  • 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⟩
  • 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⟩
  • Amel Mammar, Thi Mai Nguyen, Régine Laleau. A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Information and Software Technology, 2017, 92, pp.158 - 178. ⟨10.1016/j.infsof.2017.08.001⟩. ⟨hal-01692569⟩
  • Zakaria Maamar, Noura Faci, Mohamed Sellami, Khouloud Boukadi, Fadwa Yahya, et al.. On business process monitoring using cross-flow coordination. Service Oriented Computing and Applications, 2017, 11 (2), pp.203 - 215. ⟨10.1007/s11761-017-0206-0⟩. ⟨hal-01636954⟩
  • Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.167 - 186. ⟨10.1007/s10009-015-0391-0⟩. ⟨hal-01254980⟩
  • 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⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs. Quantifying Conflicts in Propositional Logic Through Prime Implicates. International Journal of Approximate Reasoning, 2017, 89, pp.27-40. ⟨10.1016/j.ijar.2016.12.017⟩. ⟨hal-01483475⟩
  • Zakaria Maamar, Vanislson Arruda Burégio, Mohamed Sellami, Nelson Souto, Zhengshuai Peng, et al.. Bridging the Gap Between the Business and Social Worlds: A Data Artifact-Driven Approach. Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2017, 35, pp.27-49. ⟨hal-01857472⟩
  • Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui. On an MCS-based inconsistency measure. International Journal of Approximate Reasoning, 2017, 80, pp.443 - 459. ⟨10.1016/j.ijar.2016.06.004⟩. ⟨hal-01696100⟩
  • 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⟩
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, 2016, 131, pp.76 - 93. ⟨10.1016/j.scico.2016.04.011⟩. ⟨hal-01390991⟩
  • Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. An automated approach for merging business process fragments. Computers in Industry, 2016, 82, pp.104 - 118. ⟨10.1016/j.compind.2016.05.002⟩. ⟨hal-01346029⟩
  • Vanilson Buregio, Ejub Kajan, Mohamed Sellami, Noura Faci, Zakaria Maamar, et al.. Revisiting Software Engineering in the Social Era. In International Journal of Systems and Service-Oriented Engineering, 2016, 6 (4), pp.36 - 46. ⟨10.4018/IJSSOE.2016100103⟩. ⟨hal-01636905⟩
  • 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⟩
  • Sana Hamdi, Alda Lopes Gançarski, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Ngoc Chan Nguyen, Nattawat Nonsung, Walid Gaaloul. Service Querying to Support Process Variant Development. Journal of Systems and Software, 2015, ⟨10.1016/j.jss.2015.07.050⟩. ⟨hal-01253069⟩
  • Mohamed Sellami, Walid Gaaloul, Bruno Defude. A decentralized and service-based solution for data mediation: the case for data providing service compositions. Concurrency and Computation: Practice and Experience, 2015, 27 (6), pp.1427 - 1444. ⟨10.1002/cpe.3048⟩. ⟨hal-01255062⟩
  • Amel Mammar, Marc Frappier. Proof-based verification approaches for dynamic properties : application to the information system domain. Formal Aspects of Computing, 2015, 27 (2), pp.335 - 374. ⟨10.1007/s00165-014-0323-x⟩. ⟨hal-01200474⟩
  • Zahra Movahedi, Walid Gaaloul, Sami Bhiri, Bruno Defude. Assisting sensor-based application design and instantiation using activity recommendation. The Computer Journal, 2015, 58 (3), pp.368 - 384. ⟨10.1093/comjnl/bxu076⟩. ⟨hal-01262436⟩
  • Khedija Arour, Saloua Zammali, Amel Bouzeghoub. Test-bed building process for context-aware peer-to-peer information retrieval evaluation. International Journal of Space-Based and Situated Computing, 2015, 5 (1), pp.23 - 38. ⟨10.1504/IJSSC.2015.067980⟩. ⟨hal-01254985⟩
  • 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⟩
  • Philippe Besnard, Éric Grégoire, Badran Raddaoui. Un système argumentatif pour le raisonnement sur des ressources limitées. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, 29. ⟨hal-03206580⟩
  • Zhangbing Zhou, Riliang Xing, Walid Gaaloul, Yongping Xiong. A three-dimensional sub-region query processing mechanism in underwater WSNs. Personal and Ubiquitous Computing, 2015, 19 (7), pp.1075 - 1086. ⟨10.1007/s00779-015-0875-7⟩. ⟨hal-01255076⟩
  • Nadia Kharrat, Imen Aissa, Manel Sghaier, Mohamed Bouaziz, Mohamed Sellami, et al.. Lipophilization of ascorbic acid: a monolayer study and biological and antileishmanial activities.. Journal of Agricultural and Food Chemistry, 2014, 62 (37), pp.9118-27. ⟨10.1021/jf5029398⟩. ⟨pasteur-01375059⟩
  • 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⟩
  • Nour Assy, Ngoc Chan Nguyen, Walid Gaaloul, Bruno Defude. Deriving configurable fragments for process design. International Journal of Business Process Integration and Management, 2014, 7 (1), pp.2 - 21. ⟨10.1504/IJBPIM.2014.060602⟩. ⟨hal-01263079⟩
  • 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⟩
  • Djamal Benslimane, Mahmoud Barhamgi, Frédéric Cuppens, Franck Morvan, Bruno Defude, et al.. PAIRSE: A Privacy-Preserving Service-Oriented Data Integration System. SIGMOD record, 2013, vol. 42 (n° 3), pp. 42-47. ⟨10.1145/2536669.2536677⟩. ⟨hal-01124429⟩
  • Rami Sellami, Walid Gaaloul, Bruno Defude. Process socio space discovery based on semantic logs. Journal of internet technology (JIT), 2013, 14 (3), pp.401-412. ⟨10.6138/JIT.2013.14.3.05⟩. ⟨hal-00840291⟩
  • Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata. Communities of web service registries : construction and management. Journal of Systems and Software, 2013, 86 (3), pp.835-853. ⟨10.1016/j.jss.2012.11.019⟩. ⟨hal-00806916⟩
  • Imen Ben Sassi, Chiraz Trabelsi, Amel Bouzeghoub, Sadok Ben Yahia. Recherche d'information contextuelle basée sur la prédiction des intérêts des utilisateurs et leurs relations sociales. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013, 18 (1), pp.59-84. ⟨10.3166/isi.18.1.59-84⟩. ⟨hal-00831457⟩
  • Zhangbing Zhou, Walid Gaaloul, Lei Shu, Samir Tata, Sami Bhiri. Assessing the replaceability of service protocols in mediated service interactions. Future Generation Computer Systems, 2013, 29 (1), pp.287-299. ⟨10.1016/j.future.2011.08.007⟩. ⟨hal-00746974⟩
  • Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Willy Ronald Jimenez Freitez, et al.. A SPIN-based approach for detecting vulnerabilities in C programs. Automatic control and computer sciences, 2012, 46 (7), pp.379-386. ⟨10.3103/S0146411612070115⟩. ⟨hal-00772243⟩
  • Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana Rosa Cavalli, et al.. An advanced approach for modeling and detecting software vulnerabilities. Information and Software Technology, 2012, 54 (9), pp.997-1013. ⟨10.1016/j.infsof.2012.03.004⟩. ⟨hal-00739075⟩
  • Zhangbing Zhou, Sami Bhiri, Hai Zhuge, Walid Gaaloul. Assessment of service protocol adaptability based on novel walk computation. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42 (5), pp.1109-1140. ⟨10.1109/TSMCA.2012.2183362⟩. ⟨hal-00751236⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. A recommender system based on historical usage data for web service discovery. Service Oriented Computing and Applications, 2012, 6 (1), pp.51-63. ⟨10.1007/s11761-011-0099-2⟩. ⟨hal-00748206⟩
  • Amel Mammar, Wissam Mallouli, Ana Rosa Cavalli. A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Information and Software Technology, 2012, 54 (1), pp.87-98. ⟨10.1016/j.infsof.2011.07.004⟩. ⟨hal-00711778⟩
  • 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⟩
  • Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui. Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2012, 26 (3), pp.209-224. ⟨hal-00869764⟩
  • Mohamed Amin Sakka, Bruno Defude. Towards a scalable semantic provenance management system. Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2012, pp.96-127. ⟨10.1007/978-3-642-35332-1_4⟩. ⟨hal-00754977⟩
  • Taoufik Yeferny, Amel Bouzeghoub, Khedija Arour. A query learning routing approach based on semantic clusters. International journal of advanced information technology (IJAIT), 2011, 1 (6), ⟨10.5121/ijait.2011.1601⟩. ⟨hal-00667792⟩
  • Ebrahim Nageba, Bruno Defude, Franck Morvan, Chirine Ghedira, Jocelyne Fayn. Data Privacy Preservation in Telemedicine: The PAIRSE Project. Studies in Health Technology and Informatics, 2011, 169, pp.661-665. ⟨hal-01354515⟩
  • Mohamed Graiet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems, 2011. ⟨hal-04547233⟩
  • Sami Bhiri, Walid Gaaloul, Claude Godart, Olivier Perrin, Maciej Zaremba, et al.. Ensuring customised transactional reliability of composite services. Journal of Database Management, 2011, 22 (2), pp.64-92. ⟨10.4018/jdm.2011040103⟩. ⟨hal-00603143⟩
  • Dorsaf Zekri, Bruno Defude, Thierry Delot. Summarizing sensors data in vehicular ad hoc networks. RAIRO - Operations Research, 2010, 44 (4), pp.345-364. ⟨10.1051/ro/2010020⟩. ⟨hal-00567298⟩
  • 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, Sami Bhiri, Mohsen Rouached. Event-based design and runtime verification of composite service transactional behavior. IEEE Transactions on Services Computing, 2010, 3 (1), pp.32-45. ⟨10.1109/TSC.2010.1⟩. ⟨hal-00564322⟩
  • Claude Godart, Karim Baïna, Walid Gaaloul. Fouille de workflow Découverte de patrons de workflows par l'analyse des traces d'exécution. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (10). ⟨inria-00540884⟩
  • Amel Mammar. A systematic approach to generate B preconditions : application to the database domain. Software and Systems Modeling, 2009, 8 (3), pp.385-401. ⟨10.1007/s10270-008-0098-8⟩. ⟨hal-00566987⟩
  • 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⟩
  • Zakaria Maamar, Quan Z. Sheng, Samir Tata, Djamal Benslimane, Mohamed Sellami. Towards an approach to sustain web services high-availability using communities of web services. International Journal of web information systems, 2009, 5 (1), pp.32-55. ⟨10.1108/17440080910947303⟩. ⟨hal-00472851⟩
  • Walid Gaaloul, Karim Baïna, Claude Godart. Log-based Mining Techniques Applied to Web Service Composition Reengineering. Service Oriented Computing and Applications, 2008, 2 (2-3), pp.93-110. ⟨10.1007/s11761-008-0023-6⟩. ⟨inria-00438429⟩
  • Sami Bhiri, Walid Gaaloul, Claude Godart. Mining and Improving Composite Web Services Recovery Mechanisms. International Journal of Web Services Research, 2008, 3 (2). ⟨inria-00438424⟩
  • Amel Mammar, Régine Laleau. Implémentation JAVA d'une spécification B: Application aux bases de données. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (5), pp.537--570. ⟨hal-01224657⟩
  • Amel Mammar, Régine Laleau. A formal approach based on UML and B for the specification and development of database applications. Automated Software Engineering, 2006, 13 (4), pp.497-528. ⟨hal-00147056⟩
  • Amel Mammar, Régine Laleau. From a B formal specification to an executable code: application to the relational database domain. Information and Software Technology, 2006, 28 (4), pp.253-279. ⟨hal-00145868⟩
  • Alda Lopes Gançarski, Anne Doucet, Pedro Rangel Henriques. Attribute grammar-based interactive system to retrieve information from XML documents. IEE Proceedings Software, 2006, 153 (2), pp.51-60. ⟨10.1049/ip-sen:20050042⟩. ⟨hal-01185433⟩
  • Amel Bouzeghoub, Abdelatif Elbyed. Ontology Mapping for Web-Based Educational Systems Interoperability. Ibis, 2006, 1, pp.73-84. ⟨hal-00341917⟩
  • Amel Mammar, Régine Laleau. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.. Journal of Database Management, 2006, 17 (4), pp.70-89. ⟨hal-01224665⟩
  • Amel Bouzeghoub, Bruno Defude, John-Freddy Duitama, Claire Lecocq. Un modèle de description sémantique de ressources pédagogiques basé sur une ontologie de domaine. STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2005, 12, 17 p. ⟨hal-00696337⟩
  • Jean-Michel Adam, Marie-Noelle Bessagnet, Amel Bouzeghoub, Pierre-Andre Caron, Thibault Carron, et al.. Contributions de l'Action Spécifique "Conception d'une Plateforme pour la recherche en EIAH" à l'ingénierie des Environnements Informatiques pour l'Apprentissage Humain.. STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2005, 12, pp.343-360. ⟨hal-00696401⟩
  • Guy Bernard, Jalel Ben-Othman, Luc Bouganim, Gérôme Canals, Sophie Chabridon, et al.. Mobile Databases: a Selection of Open Issues and Research Directions. SIGMOD record, 2004, Special Issue : Data engineering for life sciences, 33 (2), pp.78-83. ⟨10.1145/1024694.1024708⟩. ⟨inria-00320861⟩
  • Sami Bhiri, Olivier Perrin, Walid Gaaloul, Claude Godart. An Object-Oriented Metamodel For Inter-Enterprises Cooperative Processes Based on Web Services. Journal of Integrated Design and Process Science, 2004, 8 (2), pp.37--55. ⟨inria-00099953⟩
  • 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. 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⟩
  • Guy Bernard, Jalel Ben-Othman, Luc Bouganim, Gérôme Canals, Bruno Defude, et al.. Mobilité et bases de données : Etat de l'art et perspectives. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2003, 22 (3), pp.351-377. ⟨10.3166/tsi.22.351-377⟩. ⟨hal-00415089⟩
  • Chantal Morley, Bruno Defude, Franck Butelle, Daniel Lang. Les outils du commerce électronique. Annals of Telecommunications - annales des télécommunications, 2003, 58 (1-2), pp.8--58. ⟨10.1007/BF03001003⟩. ⟨hal-00082531⟩

Conference papers429 document

  • Samuel Girard, Jill-Jênn Vie, Françoise Tort, Amel Bouzeghoub. Optimizing human learning using reinforcement learning. Educational Data Mining 2024, Jul 2024, Atlanta (USA), United States. ⟨hal-04637464⟩
  • Saïd Jabbour, Yue Ma, Badran Raddaoui. Towards a principle-based framework for repair selection in inconsistent knowledge bases. The 23rd international conference on autonomous agents and multiagent systems (AAMAS '24), May 2024, Auckland, New Zealand. pp.907-915, ⟨10.5555/3635637.3662945⟩. ⟨hal-04406211⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet. A non-overlapping community detection approach based on α-structural similarity. The 25th International Conference on Big Data Analytics and Knowledge Discovery (DAWAK), Aug 2023, Penang, Malaysia. pp.197-211, ⟨10.1007/978-3-031-39831-5_19⟩. ⟨hal-04602731⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. A Declarative Framework for Maximal k-plex Enumeration Problems. 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS, May 2022, Auckland, New Zealand. ⟨hal-03962716⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Meryem Afendi, Amel Mammar, Régine Laleau. Building correct hybrid systems using Event-B and sagemath: Illustration by the hybrid smart heating system case study. 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. ⟨10.1109/ICECCS54210.2022.00019⟩. ⟨hal-03916803⟩
  • 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⟩
  • 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 Service-Oriented Computing (ICSOC 2021), Nov 2021, Dubai (on line), United Arab Emirates. ⟨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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Amel Mammar, Marc Frappier, Régine Laleau. An Event-B model of an automotive adaptive exterior light system. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩. ⟨hal-02975783⟩
  • Amel Mammar, Marc Frappier. Modeling of a speed control system using Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.367-381, ⟨10.1007/978-3-030-48077-6_29⟩. ⟨hal-02975785⟩
  • Meryem Afendi, Régine Laleau, Amel Mammar. Modelling hybrid programs with Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, ULM, Germany. pp.139-154, ⟨10.1007/978-3-030-48077-6_10⟩. ⟨hal-02975782⟩
  • 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⟩
  • 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, 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⟩
  • 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⟩
  • Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar. Intrusion detection using ASTDs. AINA 2020: 34th international conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1397-1411, ⟨10.1007/978-3-030-44041-1_118⟩. ⟨hal-02975779⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, et al.. Assessment of a formal requirements modeling approach on a transportation system. ICFEM 2019: 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.470-486, ⟨10.1007/978-3-030-32409-4_29⟩. ⟨hal-02386946⟩
  • 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⟩
  • 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⟩
  • Steve Jeffrey Tueno Fotso, Régine Laleau, Hector Ruiz Barradas, Marc Frappier, Amel Mammar. A formal requirements modeling approach: application to rail communication. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.170-177, ⟨10.5220/0007809701700177⟩. ⟨hal-02403931⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Lionel Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar. Extended algebraic state-transition diagrams. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.146 - 155, ⟨10.1109/ICECCS2018.2018.00023⟩. ⟨hal-01963140⟩
  • Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar. Back propagating B system updates on SysML/KAOS domain models. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.160 - 169, ⟨10.1109/ICECCS2018.2018.00025⟩. ⟨hal-01963152⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Lopes Gançarski, 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⟩
  • 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⟩
  • Zakaria Maamar, Mohamed Sellami, Noura Faci, Emir Ugljanin, Quan Z Sheng. Storytelling integration of the Internet of Things into business processes. BPM 2018: International Conference on Business Process Management, Sep 2018, Sidney, Australia. pp.127-142, ⟨10.1007/978-3-319-98651-7_8⟩. ⟨hal-01865733⟩
  • Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel. Formalisation of SysML/KAOS goal assignments with B system component decompositions. IFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.377 - 397, ⟨10.1007/978-3-319-98938-9_22⟩. ⟨hal-01885098⟩
  • 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⟩
  • 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⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Lopes Gançarski, 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⟩
  • Noura Faci, Zakaria Maamar, Thar Baker, Emir Ugljanin, Mohamed Sellami. In Situ mutation for active things in the IoT context. ICSOFT 2018: 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.725-732, ⟨10.5220/0006840607590766⟩. ⟨hal-01865732⟩
  • Zakaria Maamar, Noura Faci, Mohamed Sellami, Emir Ugljanin, Ejub Kajan. Everything-as-a-Thing for abstracting the Internet-of-Things. ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.733-740, ⟨10.5220/0006869907670774⟩. ⟨hal-01865730⟩
  • Zakaria Maamar, Thar Baker, Noura Faci, Emir Ugljanin, Yacine Atif, et al.. Cognitive computing meets the Internet of Things. ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.741-746, ⟨10.5220/0006877507410746⟩. ⟨hal-01865729⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications. ABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70, ⟨10.1007/978-3-319-91271-4_5⟩. ⟨hal-01797812⟩
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.262-276, ⟨10.1007/978-3-319-91271-4_18⟩. ⟨hal-01797811⟩
  • Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. An Event-B model of the hybrid ERTMS/ETCS level 3 standard. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.353-366, ⟨10.1007/978-3-319-91271-4_24⟩. ⟨hal-01797810⟩
  • 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⟩
  • Zakaria Maamar, Noura Faci, Khouloud Boukadi, Emir Ugljanin, Mohamed Sellami, et al.. How to agentify the Internet-of-Things?. RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1-6, ⟨10.1109/RCIS.2018.8406665⟩. ⟨hal-01865726⟩
  • Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), May 2018, Krakow, France. pp.437-444, ⟨10.1109/AINA.2018.00072⟩. ⟨hal-03700076⟩
  • 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⟩
  • 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⟩
  • Jorge Daniel Caldas, Alda Lopes Gançarski, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Towards a formal verification approach for service component architecture. SOMET 2017: 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Sep 2017, Kitakyushu, Japan. pp.466 - 479, ⟨10.3233/978-1-61499-800-6-466⟩. ⟨hal-01702712⟩
  • Ayach Amal, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui. Towards a formal verification approach for cloud software architecture. SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques, Sep 2017, Kitakyushu, Japan. pp.490 - 502, ⟨10.3233/978-1-61499-800-6-490⟩. ⟨hal-01816411⟩
  • Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier. Towards using ontologies for domain modeling within the SysML/KAOS approach. REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. pp.1 - 5, ⟨10.1109/REW.2017.22⟩. ⟨hal-01692857⟩
  • Amel Bouzeghoub, Said Jabbour, Yue Ma, Badran Raddaoui. 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 Gançarski, 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 Gançarski, 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⟩
  • 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⟩
  • André Lara, Pedro Rangel Henriques, Alda Lopes Gançarski. Visualization of ontology evolution using OntoDiffGraph. SLATE 2017: 6th Symposium on Languages, Applications and Technologies, Jun 2017, Vila Do Conde, Portugal. pp.14:1 - 14:8, ⟨10.4230/OASIcs.SLATE.2017.14⟩. ⟨hal-01661134⟩
  • Jorge Daniel Caldas, Alda Lopes Gançarski, Pedro Rangel Henriques. Socii: a tool to analyze and visualize dynamic Social Networks. SLATE 2017: 6th Symposium on Languages, Applications and Technologies, Jun 2017, Vila Do Conde, Portugal. pp.15:1 - 15:7, ⟨10.4230/OASIcs.SLATE.2017.15⟩. ⟨hal-01661147⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Tarcisio Malheiro, Pedro Rangel Henriques, Alda Lopes Gançarski. 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⟩
  • Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Behavioral verification of Service Component Architecture. WETICE 2017: 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.239 - 241, ⟨10.1109/WETICE.2017.65⟩. ⟨hal-01702725⟩
  • 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⟩
  • 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⟩
  • Hela Sfar, Amel Bouzeghoub, Nathan Ramoly. Activity recognition for anomalous situation detection. Journées d'Etude sur la TéléSANté, 6ème edition, Pôle Capteurs, Université d'Orléans, May 2017, Bourges, France. ⟨hal-01565008⟩
  • 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⟩
  • Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. A SAT-based framework for overlapping community detection in networks. PAKDD 2017 : Pacific-Asia Conference on Knowledge Discovery and Data Mining, May 2017, Jeju, South Korea. pp.786 - 798, ⟨10.1007/978-3-319-57529-2_61⟩. ⟨hal-01696118⟩
  • Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. Finding overlapping communities in networks using propositional satisfiability. EDA 2017 : Journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, Business Intelligence & Big Data, May 2017, Lyon, France. pp.67 - 80. ⟨hal-01696134⟩
  • 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⟩
  • Zakaria Maamar, Mohamed Sellami, Noura Faci, Sylvain Lefebvre. Detecting and Tackling Run-Time Obstacles in Social Business Processes. International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Tapei, Taiwan. pp.371-378. ⟨hal-01636945⟩
  • 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, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Feb 2017, Porto, Portugal. pp.487-495, ⟨10.5220/0006210504870495⟩. ⟨hal-01474906⟩
  • 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⟩
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau. Verification of SGAC Access Control Policies Using Alloy and ProB. 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. pp.120 - 123, ⟨10.1109/HASE.2017.24⟩. ⟨hal-01574899⟩
  • 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, Hela Sfar, Amel Bouzeghoub, Béatrice Finance. LEAF: Using Semantic Based Experience to Prevent Task Failures. Proceedings of the 11th Conference on Field and Service Robotics (FSR 2017), 2017, Zurich, Switzerland. ⟨hal-01586456⟩
  • Hela Sfar, Nathan Ramoly, Amel Bouzeghoub, Béatrice Finance. CAREDAS: Context and Activity Recognition Enabling Detection of Anomalous Situation. Proceeding of 16th Conference on Artificial Intelligence in Medicine (AIME 2017), 2017, Vienne, Austria. ⟨10.1007/978-3-319-59758-4_3⟩. ⟨hal-01586455⟩
  • 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⟩
  • 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 Gançarski. 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Amel Mammar, Régine Laleau. On the use of domain and system knowledge modeling in goal-based Event-B specifications. ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, Oct 2016, Corfu, Greece. pp.325 - 339, ⟨10.1007/978-3-319-47166-2_23⟩. ⟨hal-01425977⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faiez Gargouri. Semantic Web Technologies in Cloud Computing: A Systematic Literature Review. 2016 IEEE International Conference on Services Computing (SCC), Jun 2016, San Francisco, France. pp.744-751, ⟨10.1109/SCC.2016.102⟩. ⟨hal-03781633⟩
  • 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⟩
  • Ahmed Samet, Badran Raddaoui, Tien Tuan Dao, Allel Hadjali. Argumentation Framework based on Evidence Theory. Proc. International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Jun 2016, Eindhoven,The, Netherlands. ⟨10.1007/978-3-319-40581-0_21⟩. ⟨hal-04150835⟩
  • 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⟩
  • Emir Ugljanin, Noura Faci, Mohamed Sellami, Zakaria Maamar. Tracking Users' Actions over Social Media: Application to Facebook. Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Demo paper, Jun 2016, Paris, France. pp.255-256. ⟨hal-01636864⟩
  • Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a patient-centered access control method. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549286⟩. ⟨hal-01359877⟩
  • 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⟩
  • Thi Mai Nguyen, Amel Mammar, Régine Laleau, Samir Hameg. A tool for the generation of a secure access control filter. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549285⟩. ⟨hal-01359879⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi. A MIS Partition Based Framework for Measuring Inconsistency. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Apr 2016, Cape Town, South Africa. ⟨hal-01262615⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Said Jabbour, Badran Raddaoui, Lakhdar Saïs. Knowledge Base Compilation for Inconsistency Measures. Proc. International Conference on Agents and Artificial Intelligence (ICAART), Feb 2016, Rome, Italy. ⟨10.5220/0005824305320539⟩. ⟨hal-04150829⟩
  • Badran Raddaoui, Ahmed Samet. Mining Frequent Patterns from Correlated Incomplete Databases. Proc. International Conference on Agents and Artificial Intelligence (ICAART), Feb 2016, Rome, Italy. ⟨hal-04150828⟩
  • Amel Mammar, Thi Mai Nguyen, Régine Laleau. Formal development of a secure access control filter. HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩. ⟨hal-01298113⟩
  • 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⟩
  • Jean-François Condotta, Badran Raddaoui, Yakoub Salhi. Quantifying Conflicts for Spatial and Temporal Information. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 2016, Cape Town, South Africa. pp.443-452. ⟨hal-03300298⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Abstract Accountability Language: Translation, Compliance and Application. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India. ⟨hal-01214365⟩
  • Said Jabbour, Badran Raddaoui, Lakhdar Sais. Conflict-Based Ranking of Propostional Knowledge Bases. Proc. 24th French Conference on Fuzzy Logic and its Applications (LFA 2015), Nov 2015, Poitiers, France. ⟨hal-04195598⟩
  • 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⟩
  • Fethi Belghaouti, Amel Bouzeghoub, Zakia Imane Kazi-Aoul, Raja Chiky. Graph-oriented load-shedding for semantic Data Stream processing. IWCIM 2015 : International Workshop on Computational Intelligence for Multimedia Understanding, Oct 2015, Prague, Czech Republic. pp.1 - 5, ⟨10.1109/IWCIM.2015.7347064⟩. ⟨hal-01263309⟩
  • Nour Assy, Walid Gaaloul. Extracting configuration guidance models from business process repositories. BPM 2015 : 13th International Conference on Business Process Management, Aug 2015, Innsbruck, Autriche. pp.198 - 206, ⟨10.1007/978-3-319-23063-4_14⟩. ⟨hal-01255063⟩
  • Saloua Zammali, Khedija Arour, Amel Bouzeghoub. Fuzzy aggregation for results merging in information retrieval: an application of Choquet integral. FUZZ 2015 : IEEE International Conference on Fuzzy Systems, Aug 2015, Istanboul, Turkey. pp.1 - 8, ⟨10.1109/FUZZ-IEEE.2015.7337970⟩. ⟨hal-01263308⟩
  • Saloua Zammali, Khedija Arour, Amel Bouzeghoub. A context features selecting and weighting methods for context-aware recommendation. COMPSAC 2015 : IEEE 39th Annual Computer Software and Applications Conference, Jul 2015, Taichung, Taiwan. pp.575 - 584, ⟨10.1109/COMPSAC.2015.104⟩. ⟨hal-01255027⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Checking Accountability with a Prover. 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩. ⟨hal-01214360⟩
  • Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. Semantic process fragments matching to assist the development of process variants. SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.712 - 719 ⟨10.1109/SCC.2015.101⟩. ⟨hal-01255078⟩
  • Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj Alouane. Event-B based approach for verifying cloud resource allocation in business process. SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.538 - 545, ⟨10.1109/SCC.2015.79⟩. ⟨hal-01255087⟩
  • Sérgio Maia Dias, Alda Lopes Gançarski, Pedro Rangel Henriques. Automatic generation of CVs from online social networks. SLATE 2015 : Symposium on Languages, Applications and Technologies, Jun 2015, Madrid, Spain. pp.23 - 28. ⟨hal-01255045⟩
  • 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⟩
  • Saloua Zammali, Khedija Arour, Amel Bouzeghoub. Personalization mobile P2P network using FCA based multidimensional aggregation. RCIS 2015 : IEEE 9th International Conference on Research Challenges in Information Science, May 2015, Athens, Greece. pp.217 - 228, ⟨10.1109/RCIS.2015.7128883⟩. ⟨hal-01255043⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), May 2015, Istanbul, Turkey. ⟨hal-01139015⟩
  • Emna Hachicha, Walid Gaaloul. Towards resource-aware business process development in the cloud. AINA 2015 : 29th IEEE International Conference onAdvanced Information Networking and Applications, Mar 2015, Gwangiu, South Korea. pp.761 - 768, ⟨10.1109/AINA.2015.265⟩. ⟨hal-01255060⟩
  • Sana Hamdi, Alda Lopes Gançarski, Amel Bouzeghoub, Sadok Ben Yahia. Linking trust in social networks with the semantic web: FOAF case. MLDAS 2015 : International Machine Learning and Data Analytics Symposium (MLDAS 2015), Mar 2015, Doha, Qatar. ⟨hal-01255044⟩
  • Said Jabbour, Badran Raddaoui, Lakhdar Saïs. Inconsistency-based Ranking of Knowledge Bases. Proc. International Conference on Agents and Artificial Intelligence (ICAART), Jan 2015, Lisbonne, Portugal. ⟨10.5220/0005210704140419⟩. ⟨hal-04195597⟩
  • Karn Yongsiriwit, Chan Nguyen, Walid Gaaloul. Log-Based Process Fragment Querying to Support Process Desig. 2015 48th Hawaii International Conference on System Sciences (HICSS), Jan 2015, Kauai, HI, United States. ⟨10.1109/HICSS.2015.493⟩. ⟨hal-01253062⟩
  • Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha. On Measuring Inconsistency Using Maximal Consistent Sets. 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15), 2015, Compiègne, France. pp.267-276, ⟨10.1007/978-3-319-20807-7_24⟩. ⟨hal-03301180⟩
  • Mohamed Walid Ben Ghezala, Amel Bouzeghoub, Christophe Leroux. RSAW : a situation awareness system for autonomous robots. ICARCV 2014 : 13th International Conference on Control, Automation, Robotics and Vision, Dec 2014, Singapour, Singapore. pp.450 - 455, ⟨10.1109/ICARCV.2014.7064347⟩. ⟨hal-01262817⟩
  • Amel Mammar, Régine Laleau. A proved approach for building correct instances of UML associations : multiplicities satisfaction. APSEC 2014 : 21st Asia-Pacific Software Engineering Conference, Dec 2014, Jeju, South Korea. pp.438 - 445, ⟨10.1109/APSEC.2014.103⟩. ⟨hal-01257892⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs. On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework. International Conference on Tools with Artificial Intelligence(ICTAI'14), Nov 2014, Limassol, Cyprus. ⟨hal-01139031⟩
  • Nour Assy, Walid Gaaloul. Configuration rule mining for variability analysis in configurable process models. ICSOC 2014 : 12th International Conference on Service Oriented Computing, Nov 2014, Paris, France. pp.1 - 15, ⟨10.1007/978-3-662-45391-9_1⟩. ⟨hal-01263085⟩
  • Mohamed Sellami, Jean-Claude Royer, Walid Benghabrit. Accountability for Data Protection. International Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France. ⟨hal-01084890⟩
  • Mohamed-Anis Zemni, Nejib Ben Hadj Alouane, Amel Mammar. Business process fragments behavioral merge. COOPIS 2014 : International Conference on Cooperative Information Systems, Oct 2014, Amantea, Italy. pp.112 - 129, ⟨10.1007/978-3-662-45563-0_7⟩. ⟨hal-01263178⟩
  • Said Jabbour, Badran Raddaoui, Lakhdar Saïs. A Logical Characterization of Inconsistency Measures. Proc. National Conference on Fuzzy Logic and its Applications (LFA 2014), Oct 2014, Cargèse, France. ⟨hal-04205820⟩
  • Fama Diagne, Amel Mammar, Marc Frappier. A tool for verifying dynamic properties in B. SEFM 2014 : 12th International Conference on Software Engineering and Formal Methods, Sep 2014, Grenoble, France. pp.290 - 295, ⟨10.1007/978-3-319-10431-7_23⟩. ⟨hal-01264805⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Accountability for Abstract Component Design. EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩. ⟨hal-00987165⟩
  • Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. A behavior-aware systematic approach for merging business process fragments. ICECCS 2014 : 19th International Conference on Engineering of Complex Computer Systems, Aug 2014, Tianjin, China. pp.194 - 197, ⟨10.1109/ICECCS.2014.35⟩. ⟨hal-01264795⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui. Prime Implicates Based Inconsistency Characterization. European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic. ⟨hal-01139219⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, et al.. Abstract Accountability Language. IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236. ⟨hal-00973399⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, et al.. Abstract Accountability Language. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.229-236, ⟨10.1007/978-3-662-43813-8_17⟩. ⟨hal-01381692⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui. Inconsistency Measure for Distributive Inconsistency Handling. Proc. Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA), Jun 2014, Rouen, France. ⟨hal-04205821⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui. MUS-Based Partitioning for Inconsistency Measures. Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France. ⟨hal-00989202⟩
  • Imed Abassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj Alouane. A formal approach for enforcing transactional requirements in web service compositions. SCC 2014 : 11th IEEE International Conference on Services Computing, Jun 2014, Anchorage, Ak, United States. pp.637 - 644, ⟨10.1109/SCC.2014.89⟩. ⟨hal-01263087⟩
  • Rami Sellami, Sami Bhiri, Bruno Defude. ODBAPI : a unified REST API for relational and NoSQL data stores. BIGDATA 2015 : 3rd International Congress on Big Data, Jun 2014, Anchorage, Ak, United States. pp.653 - 660 ⟨10.1109/BigData.Congress.2014.98⟩. ⟨hal-01262561⟩
  • Ngoc Chan Nguyen, Walid Gaaloul. Querying Services Based on Composition Context. 23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Jun 2014, Parma, Italy. pp.44 - 49, ⟨10.1109/WETICE.2014.34⟩. ⟨hal-01113536⟩
  • Imed Abassi, Mourad Kmimech, Nejib Ben Hadj Alouane, Walid Gaaloul. Modeling and verifying the transactional and QoS-aware services composition using Event-B. WETICE 2014 : IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2014, Parme, Italy. pp.313 - 318, ⟨10.1109/WETICE.2014.85⟩. ⟨hal-01263084⟩
  • Ngoc Chan Nguyen, Karn Yongsiriwit, Walid Gaaloul, Jan Mendling. Mining Event Logs to Assist the Development of Executable Process Variants. 26th International Conference on Advanced Information Systems Engineering, Jun 2014, Thessaloniki, Greece. pp.548 - 563, ⟨10.1007/978-3-319-07881-6_37⟩. ⟨hal-01113532⟩
  • Jean-Paul Arcangeli, Valérie Camps, Thierry Desprats, Romain Laborde, Emmanuel Lavinal, et al.. Projet INCOME : INfrastructure de gestion de COntexte Multi-Echelle pour l'Internet des Objets. Conférence Francophone sur les Architectures Logicielles (CAL), Jun 2014, Paris, France. pp. 1-2. ⟨hal-01133334⟩
  • Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.80 - 94, ⟨10.1007/978-3-319-07512-9_6⟩. ⟨hal-01254981⟩
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. Validating the RBAC ANSI 2012 standard using B. ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.255 - 270, ⟨10.1007/978-3-662-43652-3_22⟩. ⟨hal-01264810⟩
  • Nour Assy, Walid Gaaloul, Bruno Defude. Mining configurable process fragments for business process design. DESRIST 2014 : 9th International Conference on Design Science Research in Information Systems and Technology , May 2014, Miami, United States. pp.209 - 224, ⟨10.1007/978-3-319-06701-8_14⟩. ⟨hal-01263086⟩
  • Said Jabbour, Yue Ma, Badran Raddaoui. Inconsistency Measurement Thanks to MUS Decomposition. 2014 international conference on Autonomous agents and multi-agent systems (AAMAS'14), May 2014, Paris, France. ⟨hal-01139215⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, et al.. A Cloud Accountability Policy Representation Framework. CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain. ⟨hal-00941872⟩
  • Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela da Cruz, Alda Lopes Gançarski, et al.. Partial correctness and continuous integration in computer supported education. CSEDU 2014 : 6th International Conference on Computer Supported Education, Apr 2014, Barcelona, Spain. pp.205 - 212, ⟨10.5220/0004848802050212⟩. ⟨hal-01264796⟩
  • Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. Formal approach for generating privacy preserving user requirements-based business process fragments. ACSC 2014 : 37th Australasian Computer Science Conference , Jan 2014, Auckland, New Zealand. pp.89 - 98. ⟨hal-01290711⟩
  • Amel Mammar, Marc Frappier. Verifying the precedence property pattern using the B Method. HASE 2014 : 15th International Symposium on High Assurance System Engineering, Jan 2014, Miami, United States. ⟨10.1109/HASE.2014.40⟩. ⟨hal-00958505⟩
  • Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira. PASCS 2014: Privacy and Accountability for Software and Cloud Services. 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332. ⟨hal-01206892⟩
  • Mohamed-Anis Zemni, Nejib Ben Hadj Alouane, Amel Mammar. Process decomposition based on semantics and privacy-aware requirements-driven approach. IIWAS 2013 : 15 th International Conference on Information Integration and Web-based Applications & Services, Dec 2013, Vienna, Austria. pp.654 - 657, ⟨10.1145/2539150.2539258⟩. ⟨hal-01263179⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. Contextual bandits for context-based information retrieval. ICONIP 2013 : 20th International Conference on Neural Information Processing, Nov 2013, Daegu, South Korea. pp.35 - 42, ⟨10.1007/978-3-642-42042-9_5⟩. ⟨hal-01258059⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. Risk-Aware recommender systems. ICONIP 2013 : 20th International Conference on Neural Information Processing, Nov 2013, Daegu, South Korea. pp.57 - 65, ⟨10.1007/978-3-642-42054-2_8⟩. ⟨hal-01257882⟩
  • Philippe Besnard, Éric Grégoire, Badran Raddaoui. A Conditional Logic-Based Argumentation Framework. International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, D.C., United States. pp.44-56, ⟨10.1007/978-3-642-40381-1_4⟩. ⟨hal-04083369⟩
  • 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 Gançarski, 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⟩
  • Mohamed Sellami, Sami Yangui, Mohamed S. A. Mohamed, Samir Tata. PaaS-independent provisioning and management of applications in the cloud. CLOUD 2013 : IEEE 6th International Conference on Cloud Computing, Jun 2013, Santa Clara, United States. pp.693 - 700, ⟨10.1109/CLOUD.2013.105⟩. ⟨hal-01262053⟩
  • Nour Assy, Ngoc Chan Nguyen, Walid Gaaloul. Assisting business process design with configurable process fragments. IEEE SCC 2013 : 10th International Conference on Services Computing, Jun 2013, Santa Clara C.A., United States. pp.535-542, ⟨10.1109/SCC.2013.97⟩. ⟨hal-00970457⟩
  • 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⟩
  • Daniela Fonte, Daniela da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques. A flexible dynamic system for automatic grading of programming exercises. SLATE '13 : Symposium on Languages, Applications and Technologies, Jun 2013, Porto, Portugal. pp.129-144, ⟨10.4230/OASIcs.SLATE.2013.129⟩. ⟨hal-00841203⟩
  • Zahra Movahedi, Bruno Defude. A high-level service composition model for building applications on sensor networks. WETICE '13 : 22nd IEEE International Conference on Enabling Technologies : Infrastructures for Collaborative Enterprises, Jun 2013, Hammamet, Tunisia. pp.202-207, ⟨10.1109/WETICE.2013.18⟩. ⟨hal-00850174⟩
  • Michael Mrissa, Mohamed Sellami, Pierre de Vettor, Djamal Benslimane, Bruno Defude. A decentralized mediation-as-a-service architecture for service composition. WETICE '13 : 22nd IEEE International Conference on Enabling Technologies : Infrastructures for Collaborative Enterprises, Jun 2013, Hammamet, Tunisia. pp.80-85, ⟨10.1109/WETICE.2013.13⟩. ⟨hal-00850169⟩
  • Philippe Besnard, Éric Grégoire, Badran Raddaoui. Système d’argumentation basé sur les logiques conditionnelles. Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France. ⟨hal-04192580⟩
  • Said Jabbour, Badran Raddaoui. Mesure d'incohérences en logique classique. Proc. Journées de l'Intelligence Artificielle Fondamentale (JIAF), Jun 2013, Aix-en-Provence, France. ⟨hal-04192581⟩
  • Taoufik Yeferny, Khedija Arour, Amel Bouzeghoub. An efficient peer-to-peer semantic overlay network for learning query routing. AINA '13 : The 27th IEEE International Conference on Advanced Information Networking and Applications, Mar 2013, Barcelona, Spain. pp.1025-1032, ⟨10.1109/AINA.2013.129⟩. ⟨hal-00843531⟩
  • Saloua Zammali, Khedija Arour, Amel Bouzeghoub. Using ontologies to build testbed for peer-to-peer information retrieval systems. AINA '13 : The 27th IEEE International Conference on Advanced Information Networking and Applications, Mar 2013, Barcelona, Spain. pp.1033 -1040, ⟨10.1109/AINA.2013.143⟩. ⟨hal-00843568⟩
  • Said Jabbour, Badran Raddaoui. Mesure des incohérences en logique propositionnelle. 7ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, France. ⟨hal-00871841⟩
  • Philippe Besnard, Éric Grégoire, Badran Raddaoui. Un cadre argumentatif pour le raisonnement sur des ressources limitées. 11èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'13), 2013, Lille, France. ⟨hal-03300588⟩
  • Said Jabbour, Badran Raddaoui. Measuring Inconsistency Through Minimal Proofs. 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13), 2013, Utrecht, Netherlands. pp.290-301. ⟨hal-00866348⟩
  • Philippe Besnard, Éric Grégoire, Badran Raddaoui. Système d'argumentation basé sur les logiques conditionnelles. 7ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, France. ⟨hal-00873278⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. Exploration/exploitation trade-off in mobile context-aware recommender systems. AI '12 : The Twenty-Fifth Australasian Joint Conferences on Artificial Intelligence, Dec 2012, Sydney, Australia. pp.591-601, ⟨10.1007/978-3-642-35101-3_50⟩. ⟨hal-00766969⟩
  • Marc Frappier, Amel Mammar. An assertions-based approach to verifying the absence property pattern. 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE'12), Nov 2012, Dallas, TX, United States. pp.361-370, ⟨10.1109/ISSRE.2012.11⟩. ⟨hal-00816403⟩
  • Jean-Paul Arcangeli, Amel Bouzeghoub, Valérie Camps, Marie-Françoise Canut, Sophie Chabridon, et al.. INCOME - Multi-scale context management for the internet of things. 3rd International Joint Conference on Ambient Intelligence (AML 2012), Nov 2012, Pise, Italy. pp.338-347, ⟨10.1007/978-3-642-34898-3_25⟩. ⟨hal-00753360⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Assisting business process design by activity neighborhood context matching. ICSOC '12 : 10th International Conference on Service Oriented Computing, Nov 2012, Shanghai, China. pp.541-549, ⟨10.1007/978-3-642-34321-6_38⟩. ⟨hal-00748524⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. A contextual-bandit algorithm for mobile context-aware recommender system. ICONIP '12 : The 19th International Conference on Neural Information Processing, Nov 2012, Doha, Qatar. pp.324-331, ⟨10.1007/978-3-642-34487-9_40⟩. ⟨hal-00753401⟩
  • Balkis Abidi, Sadok Ben Yahia, Amel Bouzeghoub. A new algorithm for fuzzy clustering able to find the optimal number of clusters. ICTAI '12 : The IEEE 24th International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.806-813, ⟨10.1109/ICTAI.2012.174⟩. ⟨hal-00831437⟩
  • Taoufik Yeferny, Amel Bouzeghoub, Khedija Arour. Context-aware routing method for P2P file sharing systems over MANET. IMMoA '12 : 2nd International Workshop on Information Management for Mobile Applications, Oct 2012, Istanbul, Turkey. pp.21-25. ⟨hal-00767148⟩
  • Amel Mammar, Marc Frappier, Raphael Chane-Yack-Fa. Proving the absence property pattern using the B method. HASE 2012 : 14th IEEE International High Assurance Systems Engineering Symposium, Oct 2012, Omaha, United States. pp.167-170, ⟨10.1109/HASE.2012.26⟩. ⟨hal-00767744⟩
  • Balkis Abidi, Sadok Ben Yahia, Amel Bouzeghoub. Fuzzy-MSOM : a new fuzzy clustering approach based on neural network. SKG '12 : The 8th International Conference on Semantics, Knowledge & Grids, Oct 2012, Beijing, China. pp.165-172, ⟨10.1109/SKG.2012.34⟩. ⟨hal-00805662⟩
  • Mohamed Amin Sakka, Bruno Defude. Scalability issues in designing and implementing semantic provenance management systems. Globe '12 : 5th International Conference on Data Management in Cloud, Grid and P2P Systems, Sep 2012, Vienne, Austria. pp.49-61, ⟨10.1007/978-3-642-32344-7_5⟩. ⟨hal-00737723⟩
  • Imen Ben Sassi, Chiraz Trabelsi, Amel Bouzeghoub, Sadok Ben Yahia. Situation-aware user's interests prediction for query enrichment. DEXA '12 : 23rd International Conference on Database and Expert Systems Applications, Sep 2012, Vienna, Austria. pp.191-205, ⟨10.1007/978-3-642-32600-4_15⟩. ⟨hal-00766123⟩
  • Mohamed Amin Sakka, Bruno Defude. A mediator-based system for distributed semantic provenance management systems. IDEAS '12 : 16th International Database Engineering & Applications Symposium, Aug 2012, Prague, Czech Republic. pp.193-198, ⟨10.1145/2351476.2351499⟩. ⟨hal-00737601⟩
  • Dorsaf Zekri, Bruno Defude, Thierry Delot. A cooperative scheme to aggregate spatio-temporal events in VANETs. IDEAS '12 : 16th International Database Engineering & Applications Symposium, Aug 2012, Prague, Czech Republic. pp.100-109, ⟨10.1145/2351476.2351488⟩. ⟨hal-00737675⟩
  • Sana Hamdi, Alda Lopes Gançarski, Amel Bouzeghoub, Sadok Ben Yahia. Enriching the DBpedia ontology with shared conceptualizations from folksonomies. COMPSAC '12 : The IEEE Signature Conference on Computer Software & Applications, Jul 2012, Izmir, Turkey. pp.551-556, ⟨10.1109/COMPSAC.2012.74⟩. ⟨hal-00752782⟩
  • Sana Hamdi, Alda Lopes Gançarski, Amel Bouzeghoub, Sadok Ben Yahia. Enriching ontologies from folksonomies for elearning : DBpedia case. ICALT '12 : 12th IEEE International Conference on Advanced Learning Technologies, Jul 2012, Rome, Italy. pp.293-297, ⟨10.1109/ICALT.2012.197⟩. ⟨hal-00744446⟩
  • Daniela da Cruz, Ismael Vilas Boas, Daniela Fonte, Alda Lopes Gançarski, Pedro Rangel Henriques. Program analysis and evaluation using quimera. ICEIS '12 : 14th International Conference on Enterprise Information Systems, Jun 2012, Wroclaw, Poland. pp.209-219. ⟨hal-00744264⟩
  • Zhangbing Zhou, Walid Gaaloul, Tan Wei, Daqiang Zhang. CPS track report : 2nd track on cyber physical society with SOA, BPM and sensor networks. WETICE ' 12 : IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.315-317, ⟨10.1109/WETICE.2012.23⟩. ⟨hal-00751232⟩
  • 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⟩
  • Sana Hamdi, Alda Lopes Gançarski, Amel Bouzeghoub, Sadok Ben Yahia. IRIS : a novel method of direct trust computation for generating trusted social networks. TrustCom '12 : The 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jun 2012, Liverpool, United Kingdom. pp.616-623, ⟨10.1109/TrustCom.2012.191⟩. ⟨hal-00744420⟩
  • Mohamed Sellami, Walid Gaaloul, Bruno Defude. Data mapping web services for composite DaaS mediation. WETICE ' 12 : IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.36-41, ⟨10.1109/WETICE.2012.19⟩. ⟨hal-00751230⟩
  • Nuno Oliveira, Maria João Varanda Pereira, Alda Lopes Gançarski, Pedro Rangel Henriques. Learning spaces for knowledge generation. SLATE '12 : 1st Symposium on Languages, Applications and Technologies, Jun 2012, Braga, Portugal. pp.175-184, ⟨10.4230/OASIcs.SLATE.2012.175⟩. ⟨hal-00744386⟩
  • Jean-Paul Arcangeli, Amel Bouzeghoub, Valérie Camps, Marie-Françoise Canut, Sophie Chabridon, et al.. Projet INCOME : INfrastructure de gestion de COntexte Multi-Échelle pour l'Internet des Objets. Ubimob 2012 : 8èmes journées francophones Mobilité et Ubiquité, Jun 2012, Anglet, France. pp.46-48. ⟨hal-00724429⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. Hybrid-epsilon-greedy for mobile context-aware recommender system. PAKDD '12 : The 16th Pacific-Asia Conference Advances in Knowledge Discovery and Data Mining, May 2012, Kuala Lumpur, Malaysia. pp.468-479, ⟨10.1007/978-3-642-30217-6_39⟩. ⟨hal-00744492⟩
  • Mohamed Sellami, Walid Gaaloul, Bruno Defude, Samir Tata. Towards a unified marketplace for functionality-based cloud service discovery. CLOSER '12 : 2nd International Conference on Cloud Computing and Services Science, Apr 2012, Porto, Portugal. pp.252-257. ⟨hal-00748645⟩
  • Mohamed Amin Sakka, Bruno Defude, Jorge Tellez. A semantic framework for the management of enriched provenance logs. AINA '12 : The 26th IEEE International Conference on Advanced Information Networking and Applications, Mar 2012, Fukuoka-Shi, Japan. pp.352-359, ⟨10.1109/AINA.2012.9⟩. ⟨hal-00737565⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. Following the user's interests in mobile context-aware recommender systems : the hybrid-epsilon-greedy algorithm. HWISE '12 : The Eighth International Workshop on Heterogeneous Wireless Networks, Mar 2012, Fukuoka, Japan. pp.657-662, ⟨10.1109/WAINA.2012.200⟩. ⟨hal-00744587⟩
  • Philippe Besnard, Éric Grégoire, Badran Raddaoui. An Argumentation Framework for Reasoning about Bounded Resources. 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.540-547. ⟨hal-00866523⟩
  • Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. MDE approach for the generation and verification of SCA model. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩. ⟨hal-00751241⟩
  • Mohamed Sellami, Walid Gaaloul, Samir Tata. An implicit approach for building communities of web service registries. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.230-237, ⟨10.1145/2095536.2095575⟩. ⟨hal-00751240⟩
  • Marc Frappier, Amel Mammar. Proving non-interference on reachability properties : a refinement approach. APSEC 2011 : 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.25 - 32, ⟨10.1109/APSEC.2011.35⟩. ⟨hal-01302414⟩
  • Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, et al.. Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩. ⟨hal-00751243⟩
  • Amel Mammar, Ana Rosa Cavalli, Willy Ronald Jimenez Freitez, Wissam Mallouli, Edgardo Montes de Oca. Using testing techniques for vulnerability detection in C programs. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩. ⟨hal-01303013⟩
  • 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⟩
  • 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 Gançarski. 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⟩
  • 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⟩
  • Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. ATL transformation for the generation of SCA model. SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩. ⟨hal-00751248⟩
  • Sana Hamdi, Alda Lopes Gançarski, 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⟩
  • W. Ben Abid, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Walid Gaaloul, et al.. UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures. The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain. ⟨hal-00648911⟩
  • Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frédéric Cuppens, et al.. Using requirements engineering in an automatic security policy derivation process. DPM - SETOP 2011 : 6th International Workshop on Data Privacy Management and 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. pp.155-172, ⟨10.1007/978-3-642-28879-1_11⟩. ⟨hal-00738844⟩
  • 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⟩
  • Djallel Bouneffouf, Amel Bouzeghoub, Alda Lopes Gançarski. Considering the high level critical situations in context-aware recommender systems. IMMoA '12 : 2nd International Workshop on Information Management for Mobile Applications, Aug 2011, Istanbul, Turkey. pp.26-32. ⟨hal-00766995⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Context-based service recommendation for assisting business process design. EC-Web '11 : 12th International Conference on Electronic Commerce and Web Technologies, Aug 2011, Toulouse, France. pp.39-51, ⟨10.1007/978-3-642⟩. ⟨hal-00660119⟩
  • Amel Mammar, Pengfei Liu. A proof-based approach to detect vulnerabilities in C programs. SERP 2011 : International Conference on Software Engineering Research and Practice, Jul 2011, Las Vegas, United States. pp.464 - 470. ⟨hal-01302477⟩
  • 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⟩
  • Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Composition Context Matching for Web Service Recommendation. SCC '11 : The 8th International Conference on Services Computing, Jul 2011, Washington, United States. pp.624-631, ⟨10.1109/SCC.2011.68⟩. ⟨hal-00748846⟩
  • 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⟩
  • Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Edgardo Montes de Oca. A SPIN-based approach for detecting vulnerabilities in C programs. PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143. ⟨hal-01465027⟩
  • 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⟩
  • Sana Saidi, Mohamed Sellami. Communications publicitaires des cabinets d'audit et d'expertise comptable en France : Une étude exploratoire. Comptabilités, économie et société, May 2011, Montpellier, France. pp.cd-rom. ⟨hal-00650569⟩
  • Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel. Modeling and managing communities of web service registries. WEBIST '11 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.88-102, ⟨10.1007/978-3-642-28082-5_7⟩. ⟨hal-00751245⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Mahmoud Barhamgi, Djamal Benslimane, Chirine Ghedira, Alda Lopes Gançarski. Privacy-preserving data mashup. AINA 2011 : 25th IEEE International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.467 - 474, ⟨10.1109/AINA.2011.47⟩. ⟨hal-01301935⟩
  • Amel Mammar, Marc Frappier, Fama Diagne. A proof-based approach to verifying reachability properties. SAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1651 - 1657, ⟨10.1145/1982185.1982531⟩. ⟨hal-01303017⟩
  • Amel Mammar. An overview of a proof-based approach to detecting C vulnerabilities. SAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1343 - 1344, ⟨10.1145/1982185.1982476⟩. ⟨hal-01303015⟩
  • Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui. Génération d'arguments et contre-arguments par calcul de MUS. 10ièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'11), 2011, Chambéry, France. pp.827-840. ⟨hal-00869856⟩
  • 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⟩
  • 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⟩
  • Amel Mammar, Fama Diagne, Marc Frappier. A proof-based approach to verifying reachability properties. WOBD 2010 : Workshop on B Dissemination, Nov 2010, Natal, Brazil. ⟨hal-01306183⟩
  • Marc Frappier, Fama Diagne, Amel Mammar. Proving reachability in B using substitution refinement. WOBD 2010 : Workshop on B Dissemination, Nov 2010, Natal, Brazil. ⟨hal-01306195⟩
  • 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⟩
  • Amel Bouzeghoub, Serge Garlatti, Kien Ngoc Do, Cuong Pham Nguyen. A mixed learning strategy for pervasive learning systems at workplace. Mlearn 2010 : 9th world conference on mobile and contextual learning, Oct 2010, Malta, Malta. pp.224-231. ⟨hal-01058694⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Mohamed Amin Sakka, Bruno Defude, Jorge Tellez. Document Provenance in the Cloud: Constraints and Challenges. 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.107-117, ⟨10.1007/978-3-642-13971-0_11⟩. ⟨hal-01056506⟩
  • 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⟩
  • 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⟩
  • Daniela Fonte, Pedro Carvalho, Daniela da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques. XML archive for testing : a benchmark for GuessXQ. XATA '10 : XML, Applications and Associated Technologies, May 2010, Vila Do Conde, Portugal. pp.127-138. ⟨hal-00746915⟩
  • 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⟩
  • 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⟩
  • Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui. MUS-Based Generation of Arguments and Counter-arguments. 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI'10), 2010, Las Vegas, United States. pp.239-244. ⟨hal-00873095⟩
  • Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. A formal framework to integrate timed security rules within a TEFSM-based system specification. APSEC 2009 : 16th AsiaPacific Software Engineering Conference, Dec 2009, Batu Ferringhi, Malaysia. pp.489 - 496, ⟨10.1109/APSEC.2009.52⟩. ⟨hal-00444089⟩
  • 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⟩
  • Wissam Mallouli, Amel Mammar, Ana Cavalli. Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système. CFIP'2009, Oct 2009, Strasbourg, France. ⟨inria-00419463⟩
  • Amel Bouzeghoub, Marie Buffat, Alda Lopes Gançarski, 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⟩
  • Daniela da Cruz, Flavio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gançarski, 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⟩
  • 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⟩
  • 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⟩
  • Bruno Defude, Thierry Delot, Dorsaf Zekri. Résumé de flux d'événements dans les réseaux inter-véhiculaires. UbiMob '09 : 5èmes Journées Fancophones Mbilité et Uiquité, Jul 2009, Lille, France. pp.53-60, ⟨10.1145/1739268.1739279⟩. ⟨hal-00795089⟩
  • 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⟩
  • Willy Ronald Jimenez Freitez, Amel Mammar, Ana Rosa Cavalli. Software vulnerabilities, prevention and detection methods : a review. SEC-MDA 2009 : Security in Model Driven Architecture , Jun 2009, Enschede, Netherlands. pp.1 - 11. ⟨hal-01367445⟩
  • Amel Mammar, Ana Rosa Cavalli, Edgardo Montes de Oca, Shanai Ardi, David Byers, et al.. Modélisation et détection formelles de vulnérabilités logicielles par le test passif. SAR-SSI 2009 : 4eme Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information , Jun 2009, Luchon, France. ⟨hal-00444066⟩
  • Flavio Xavier Ferreira, Daniela da Cruz, Pedro Rangel Henriques, Alda Lopes Gançarski, Bruno Defude. A query by example approach for XML querying. WISA '09 : Workshop on Intelligent Systems and Applications, Jun 2009, Povoa De Varzim, Portugal. pp.611-614. ⟨hal-00807142⟩
  • 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⟩
  • 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⟩
  • Flavio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gançarski. Information access from XML using semantics and context: application to the Portuguese Emigration Museum. CAPSI 2008 : 8a Conferência da Associação Portuguesa Sistemas de Informação, Oct 2008, Setubal, Portugal. ⟨hal-01391738⟩
  • 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⟩
  • Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. Modeling system security rules with time constraints using timed extended finite state machines. DS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩. ⟨hal-01380237⟩
  • 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⟩
  • Salimeh Behnia, Amel Mammar, Jean-Marc Mota, Nicolas Breton, Paul Caspi, et al.. Industrialising a proof-based verification approach of computerised interlocking systems. COMPRAIL '08 : Eleventh International Conference on Computer System Design and Operation in the Railway and Other Transit Systems, Sep 2008, Toledo, Spain. ⟨10.2495/CR080151⟩. ⟨hal-00796378⟩
  • 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⟩
  • 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⟩
  • Ana Lidia Franzoni Franzoni Velázquez, Saïd Assar, Bruno Defude, Javier Rojas. Student learning styles adaptation method based on teaching strategies and electronic media. ICALT '08 : 8th IEEE International Conference on Advanced Learning Technologies, Jul 2008, Santander, Spain. pp.778-782, ⟨10.1109/ICALT.2008.149⟩. ⟨hal-00467410⟩
  • Amel Bouzeghoub, Abdelatif Elbyed, Fariza Tahi. Un système interactif et extensible pour le mapping d'ontologies. Journées Ouvertes Biologie Informatique Mathématiques (JOBIM 2008), Jun 2008, Lille, France. (elec. proc). ⟨hal-00341922⟩
  • Amel Bouzeghoub, Abdelatif Elbyed, Fariza Tahi. OMIE: Ontology Mapping within an Interactive and Extensible environment. International Workshop of Data Integration in Life Sciences (DILS 2008), Jun 2008, Evry, France. pp.161--168, ⟨10.1007/978-3-540-69828-9_16⟩. ⟨hal-00341921⟩
  • 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⟩
  • Flavio Xavier Ferreira, Alda Lopes Gançarski, Pedro Rangel Henriques. Iterative XML search based on data and associated semantics. ICEIS 2008 : 10th International Conference on Enterprise Information Systems, Jun 2008, Barcelona, Spain. pp.479 - 484, ⟨10.5220/0001706504790484⟩. ⟨hal-01393845⟩
  • 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⟩
  • Sarra Kaddouci, Amel Bouzeghoub, Pierre-André Caron, C. Lecoq, Xavier Le Pallec, et al.. Experiments in ubiquitous computing for communities of practice using learning resources. International Conference and Exhibition on Next Generation Mobile Applications, Services, and Technologies (NGMAST 2008), 2008, Cardiff, Wales, UK, France. ⟨hal-00731376⟩
  • Amel Bouzeghoub, Pierre-André Caron, C. Lecoq, Xavier Le Pallec, José Rouillard. L'informatique omniprésente pour les communautés de pratique autour de contenus pédagogiques. 4èmes journées Francophones Mobilité et Ubiquité (UBIMOB 2008), 2008, Saint Malo, France, France. ⟨hal-00731379⟩
  • L. K. Wives, Bruno Defude, J. P. M. de Oliveira, J. V. de Lima, Yvan Peter. Providing Information in an Augmented Campus. Advanced Learning Technologies, 2008. ICALT '08. Eighth IEEE International Conference on, 2008, undef, France. pp.712--716, ⟨10.1109/ICALT.2008.15⟩. ⟨hal-00731404⟩
  • Stéphane Gançarski, Cécile Le Pape, Alda Lopes Gançarski. Freshness Control of XML Documents for Query Load Balancing. XANTEC, Sep 2007, Regensburg, Germany. pp.35-39, ⟨10.1109/DEXA.2007.37⟩. ⟨hal-01308106⟩
  • Sami Bhiri, Walid Gaaloul, Claude Godart. Discovering and Improving Recovery Mechanisms of Composite Web Services. IEEE International Conference on Web Services - ICWS'06, Sep 2006, Chicago, USA, pp.99-110, ⟨10.1109/ICWS.2006.52⟩. ⟨inria-00114835⟩
  • Walid Gaaloul, Claude Godart. A workflow mining tool based on logs statistical analysis. The Eighteenth International Conference on Software Engineering and Knowledge Engineering SEKE'06, Jul 2006, San Francisco, California, USA. ⟨inria-00114832⟩
  • Amel Bouzeghoub, Abdelatif Elbyed. Ontology Mapping for Learning Objects Repositories Interoperability. 8th International Conference Intelligent Tutoring Systems (ITS 2006), Jun 2006, Taipei, Taiwan. pp.794-797, ⟨10.1007/11774303_103⟩. ⟨hal-00341916⟩
  • Walid Gaaloul, Karim Baïna, Claude Godart. A bottom-up workflow mining approach for workflow applications analysis. 2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS'06, Jun 2006, San Francisco, California, USA. ⟨inria-00114831⟩
  • Walid Gaaloul, Karim Baïna, Reda El Khattabi, Abdellah Mouhou. Workflowminer: A new workflow patterns and performance analysis tool. 18th Conference on Advanced Information Systems Engineering - CAiSE'06 Forum and Tools Demonstrations, Jun 2006, Luxembourg, Luxembourg. ⟨inria-00114828⟩
  • Mohamed Sellami. Typologie des déterminants comptables de la valeur : Apports de l'approche économique de l'information dans la mesure de la valeur. COMPTABILITE, CONTROLE, AUDIT ET INSTITUTION(S), May 2006, Tunis, Tunisie. pp.CD-Rom. ⟨halshs-00558252⟩
  • Alda Lopes Gançarski, Pedro Rangel Henriques. Extensao do XQuery com operaçoes de selecao para a construçao interactiva das perguntas. XML: Aplicaçoes e Tecnologias Associadas (XATA06), Feb 2006, Portalegre, Portugal. pp.36-47. ⟨hal-01337174⟩
  • Amel Mammar, Frédéric Gervais, Régine Laleau. Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID'06, Hammamet, Tunisie, Jan 2006, X, France. pp.595-610. ⟨hal-01125172⟩
  • Walid Gaaloul, Claude Godart. Mining Workflow Recovery From Event Based Logs. Third International Conference on Business Process Management - BPM'05, Sep 2005, Nancy, France., pp.169-185, ⟨10.1007/11538394_12⟩. ⟨inria-00000482⟩
  • Walid Gaaloul, Karim Baïna, Claude Godart. Towards Mining Structural Workflow Patterns. 16th International Conference on Database and Expert Systems Applications DEXA'05, Aug 2005, Copenhagen, Denmark. pp.24-33, ⟨10.1007/11546924_3⟩. ⟨inria-00000483⟩
  • Alda Lopes Gançarski, Pedro Rangel Henriques. IXQuery: Interactive and Information Retrieval XQuery. ELPUB 2005 - 9th ICCC International Conference on Electronic Publishing, Jun 2005, Leuven, Belgium. pp.211-216. ⟨hal-01489739⟩
  • Alda Lopes Gançarski, Pedro Rangel Henriques. A processing environment for the IXDIRQL XML query language. IADIS Virtual Multi Conference on Computer Science and Information Systems (MCCSIS 2005), Apr 2005, Virtual conference, France. ⟨hal-01489741⟩
  • Walid Gaaloul. Business Process Intelligence : Discovering and Improving Transactional behavior of Composite Services From Logs. Doctoral symposium in INTEROP-ESA'05 - First International Conference on Interoperability of Enterprise Software and Applications, Feb 2005, Geneva/Switzerland. ⟨inria-00000485⟩
  • Alda Lopes Gançarski, Pedro Rangel Henriques. Construçao e utilizaçao de um prototipo para o processamento da linguagem de interrogaçao IXDIRQL. XML: Aplicaçoes e Tecnologias Associadas (XATA05), Feb 2005, Braga, Portugal. pp.130-143. ⟨hal-01489743⟩
  • Walid Gaaloul, Sadek Alaoui, Karim Baïna, Claude Godart. Mining Workflow Patterns through Event-data Analysis. International Symposium on Applications and the Internet - SAINT 2005. Workshop 6: Teamware: Supporting Scalebable Virtual Teams in Multi-organizational Settings, Jan 2005, Trento, Italy, pp.226- 229, ⟨10.1109/SAINTW.2005.1620017⟩. ⟨inria-00000484⟩
  • Walid Gaaloul, Sami Bhiri, Claude Godart. Discovering Workflow Transactional Behaviour from Event-based Log. 12th International Conference on Cooperative Information Systems - CoopIS 2004 ; On The Move Federated Conferences - OTM 2004, Oct 2004, Agia Napa/Cyprus., pp.3-18, ⟨10.1007/b102173⟩. ⟨inria-00000486⟩
  • Nicolas Lumineau, Anne Doucet, Bruno Defude. VENISE: Content-based Clustering for Data Sharing in Peer-to-Peer Architecture. 20èmes Journées Bases de Données Avancées, BDA, Oct 2004, Montpellier, France. pp.339-342. ⟨hal-02533921⟩
  • Walid Gaaloul, Sadek Alaoui, Karim Baïna, Claude Godart. WorkflowMiner : An infrastructure for Mining Workflow Patterns. 3èmes Journées Nationales sur les Systèmes Intelligents : Théories et Applications - SITA'04, Oct 2004, Rabat, Maroc. ⟨inria-00000488⟩
  • Walid Gaaloul, Sami Bhiri, Claude Godart. Discovering Workflow Patterns from Timed Logs. Information Systems in E-Business and E-Government - EMISA 2004, Oct 2004, Luxembourg/Luxembourg. ⟨inria-00000487⟩
  • Alda Lopes Gançarski, Pedro Rangel Henriques. Presenting the Results of Relevance-Oriented Search over XML Documents. ACM Symposium on Document Engineering (DocEng04), Oct 2004, Milwaukee, Wisconsin, United States. pp.31-33, ⟨10.1145/1030397.1030402⟩. ⟨hal-01520573⟩
  • Nicolas Lumineau, Anne Doucet, Bruno Defude. Cluster Entries for Semantic Organization of Peer-to-Peer Network. ICSNW 2004 - First International IFIP Conference on Semantics of a Networked World, Jun 2004, Paris, France. pp.319-320, ⟨10.1007/978-3-540-30145-5_23⟩. ⟨hal-01520406⟩
  • Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart. A Pattern for Interconnecting Distributed Components. 6th International Conference on Enterprise Information Systems - ICEIS 2004, Apr 2004, Porto/Portugal, pp.430-434. ⟨inria-00000489⟩
  • Amel Mammar, Régine Laleau. UML2SQL: Un environment intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML. AFADL'04, Jan 2004, X, France. ⟨hal-01124911⟩
  • Amel Mammar, Régine Laleau. Génération de code à partir d'une spécification B: application aux bases de données. AFADL'04, Jan 2004, X, France. ⟨hal-01124909⟩
  • Amel Mammar, Régine Laleau. Génération de code exécutable à partir d'une spécification B : applications aux bases de données. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.77--91. ⟨hal-01224671⟩
  • Amel Mammar, Régine Laleau. UML2SQL : un environnement intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.333--336. ⟨hal-01224669⟩
  • Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart. Un patron pour l'interconnexion des composants distribués. 1ère Conférence Plénière STIC - CoPSTIC'03, Dec 2003, Rabat/Maroc. ⟨inria-00000490⟩
  • Amel Mammar, Régine Laleau. Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FM'2003, Springer-Verlag, LNCS n° 2805, pp 834-854, Pise,Italy, Jan 2003, X, France. ⟨hal-01124709⟩
  • Sami Bhiri, Olivier Perrin, Walid Gaaloul, Claude Godart. An Object Oriented Metamodel for Inter-entreprises Cooperative Processes based on Web Services. 7th World Conference on Integrated Design and Process Technology 2003 - IDPT'2003, 2003, Austin, Texas, Etats Unis. ⟨inria-00099591⟩
  • Amel Mammar. Une approche formelle par raffinement pour le développement d'applications bases de données sûres. 19ème congrés INFORSID, Genève, Suisse, Jan 2001, X, France. ⟨hal-01124663⟩
  • Régine Laleau, Amel Mammar. An Automatic Generation of B Specifications from Well-defined UML Notations for Database Applications. Int. Symp. on Programming Systems, Alger, Algérie, Jan 2001, X, France. ⟨hal-01124660⟩
  • Régine Laleau, Amel Mammar. An Overview of a Method and its support Tool for Generating B Specifications from UML Notations. 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, Jan 2000, X, France. ⟨hal-01124519⟩
  • Régine Laleau, Amel Mammar. A Generic Process to Refine a B Specification into a Relational Database Implementation. First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS n° 1878, York, UK, Jan 2000, X, France. ⟨hal-01124529⟩
  • Yves Chiaramella, Bruno Defude, Marie-France Bruandet, Dalila Kerkouba. IOTA: a full test information retrieval system. ACM conference on research and development in information retrieval., 1986, Pisa, Italy. pp.207--213. ⟨hal-00953982⟩

Poster communications1 document

  • Fethi Belghaouti, Amel Bouzeghoub, Zakia Imane Kazi-Aoul, Raja Chiky. Échantillonnage de flux de données sémantiques : une approche orientée graphe. EGC 2015 : 15ème conférence internationale sur l'extraction et la gestion des connaissances, Jan 2015, Luxembourg, Luxembourg. RNTI, pp.485 - 486, 2015. ⟨hal-01255029⟩

Proceedings4 document

  • 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⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩

Special issue3 document

  • 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⟩
  • Christelle Perrin, Manel Benzerafa, Annie Bartoli, Sylvie Yung, Quentin Bedard, et al.. Les cahiers de recherche du LAREQUOI Vol. 2019/2. Les cahiers de recherche du LAREQUOI, 2, 2019. ⟨hal-04647945⟩
  • 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, 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⟩

Books5 document

  • A.-P Claudio, Dominique Bechmann, P. Richard, H. Yamaguchi, L. Lars, et al.. Computer vision, imaging and computer graphics – theory and applications. Springer, 1691, 2023, 978-3-031-25477-2. ⟨10.1007/978-3-031-25477-2⟩. ⟨hal-02042875⟩
  • Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al. (Dir.). On the Move to Meaningful Internet Systems. OTM 2017 Conferences. , LNCS 10573, pp.767, 2017, ⟨10.1007/978-3-319-69462-7⟩. ⟨hal-01673485⟩
  • 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⟩
  • 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⟩
  • 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⟩

Book sections20 document

  • 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⟩
  • Steve Jeffrey Tueno Fotso, Régine Laleau, Amel Mammar, Marc Frappier. Integrating domain modeling within a formal requirements engineering method. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.39-58, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_3⟩. ⟨hal-03545897⟩
  • 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⟩
  • Alencar Machado, Daniel Lichtnow, Ana Marilza Pernas, Amel Bouzeghoub, Iara Augustin, et al.. A framework reactive and proactive for pervasive homecare environments. Enterprise Information Systems, 227 Springer, pp.320 - 338, 2015, Lecture Notes in Business Information Processing, 978-3-319-22347-6. ⟨10.1007/978-3-319-22348-3_18⟩. ⟨hal-01255001⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, et al.. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015. ⟨hal-01214387⟩
  • Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Nicolas Breton, et al.. Safety demonstration for a rail signaling application in nominal and degraded modes using formal proof. Formal methods applied to complex systems, ISTE-Wiley, pp.71 - 113, 2014, Computer Engineering Series, 978-1-84821-632-7. ⟨10.1002/9781119004707.ch4⟩. ⟨hal-01464432⟩
  • Taoufik Yeferny, Khedija Arour, Amel Bouzeghoub. LRS : a novel learning routing scheme for query routing on unstructured P2P systems. Transactions on large-scale data- and knowledge-centered systems XII, 8320, Springer pp.54 - 82, 2013, Lecture Notes in Computer Science, 978-3-642-45314-4. ⟨10.1007/978-3-642-45315-1_3⟩. ⟨hal-01263474⟩
  • Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Salimeh Behnia, et al.. Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle. Techniques industrielles de modélisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3. ⟨hal-00766909⟩
  • Flavio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gançarski. Using semantics in XML information access : application to the portuguese emigration museum. Innovations in XML applications and metadata management : advancing technologies, IGI Global, pp.198-215, 2012, 9781466626690. ⟨10.4018/978-1-4666-2669-0.ch011⟩. ⟨hal-00767176⟩
  • Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Salimeh Behnia, et al.. Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle. Techniques industrielles de modélisation formelle pour le transport, Hermès-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3. ⟨hal-00796381⟩
  • Daniela Fonte, Daniela da Cruz, Pedro Rangel Henriques, Alda Lopes Gançarski. GuessXQ : a query-by-example approach for XML querying. Innovations in XML applications and metadata management : advancing technologies, IGI Global, pp.57-76, 2012, 9781466626690. ⟨10.4018/978-1-4666-2669-0.ch004⟩. ⟨hal-00767165⟩
  • Amel Bouzeghoub, Serge Garlatti, Ngoc Kien Do, Cuong Pham-Nguyen. Situation-based and activity-based learning strategies for pervasive learning systems at workplace. Models for interdisciplinary mobile learning : delivering information to students, IGI Global, pp.87-102, 2011, ⟨10.4018/978-1-60960-511-7.ch005⟩. ⟨hal-00678951⟩
  • Daniel Lichtnow, Isabela Gasparini, Amel Bouzeghoub, José Palazzo Moreira de Oliveira, Marcelo Pimenta. Recommendation of learning material through students' collaboration and user modeling in an adaptive e-learning environment. Technology-enhanced systems and tools for collaborative learning scaffolding, Springer, pp.257-278, 2011, Studies in Computational Intelligence, ⟨10.1007/978-3-642-19814-4_12⟩. ⟨hal-00667811⟩
  • Claude Godart, Sami Bhiri, Walid Gaaloul. A reengineering approach for ensuring transactional reliability of composite services. Information Science reference. Web Services Research for Emerging Applications: Discoveries and Trends, IGI Global, pp.290-316, 2010, 978-1-61520-684-1. ⟨10.4018/978-1-61520-684-1.ch013⟩. ⟨inria-00540865⟩
  • Wissam Mallouli, Mounir Lallali, Amel Mammar, Gerardo Morales, Ana Rosa Cavalli. Modeling and testing secure web applications. Web-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩. ⟨hal-00673835⟩
  • 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⟩
  • Amel Mammar, Régine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. Database technologies : concepts, methodologies, tools, and applications, IGI Global, pp.1168-1188, 2009, ⟨10.4018/978-1-60566-058-5.ch067⟩. ⟨hal-00597321⟩
  • Amel Mammar, Régine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. Advanced principles for improving database design, systems modeling, and software development, Information Science Publishing, pp.111 - 131, 2008, Advances in Database Research, 978-1-60566-172-8. ⟨10.4018/978-1-60566-172-8.ch007⟩. ⟨hal-01326381⟩
  • Régine Laleau, Amel Mammar. From UML Diagrams to B Specifications. Henri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006. ⟨hal-00145958⟩

Other publications2 document

  • Fariza Tahi, Boubacar Benziane, Amel Bouzeghoub, Didier Courtaud, Abdeltif Elbyed, et al.. Vers un physiome XML pour le Physiome rénal. 2008. ⟨hal-00361262⟩
  • Fariza Tahi, Benziane Boubacar, Amel Bouzeghoub, Didier Courtaud, Abdeltif Elbyed, et al.. Vers un entrepôt de données XML pour le Physiome rénal. 2008. ⟨hal-00361263⟩

Preprints, Working Papers5 document

  • Grzegorz P. Mika, Amel Bouzeghoub, Katarzyna Wegrzyn-Wolska, Yessin M Neggaz. HGExplainer: Explainable Heterogeneous Graph Neural Network. 2023. ⟨hal-04220962v2⟩
  • Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. 2017. ⟨hal-01525209⟩
  • Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata. OCCI-Compliant Cloud Configuration Simulation. 2017. ⟨hal-01523933⟩
  • Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul. Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. 2017. ⟨hal-01523939⟩
  • Amel Bouzeghoub, Claire Lecocq. Cas d'utilisation d'ontologies hétérogènes dans les EIAH. 2005. ⟨hal-00005670⟩

Reports11 document

  • Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Formal representation of SysML/KAOS domain model. [Research Report] LACL, Université Paris-Est/Créteil. 2019. ⟨hal-02874826⟩
  • Monika Rakoczy, Amel Bouzeghoub, Alda Lopes Gançarski, Katarzyna Wegrzyn-Wolska. Influence model based on actions and reactions in social networks. [Research Report] Telecom SudParis. 2018. ⟨hal-01865770⟩
  • 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⟩
  • 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 : programme scientifique du projet ANR INCOME. [Rapport de recherche] RR–2014–11–FR, IRIT : Institut de recherche en Informatique de toulouse. 2014, pp.1-29. ⟨hal-03266928⟩
  • Mohamed Walid Ben Ghezala, Philippe Morignot, Amel Bouzeghoub, Christophe Leroux. Framework for context analysis and planning of an assistive robot. [Rapport de recherche] Télécom SudParis. 2012. ⟨cea-00679955⟩
  • Régine Laleau, Amel Mammar. UML2SQL: An Integrated Environment for the Development of UML and SQL Specifications. [Research Report] CEDRIC-04-643, CEDRIC Lab/CNAM. 2004. ⟨hal-01124913⟩
  • Régine Laleau, Amel Mammar. Réutilisation des preuves dans le processus de raffinement B. [Research Report] CEDRIC-01-377, CEDRIC Lab/CNAM. 2001. ⟨hal-01124730⟩
  • Régine Laleau, Amel Mammar. Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B. [Research Report] CEDRIC-01-368, CEDRIC Lab/CNAM. 2001. ⟨hal-01124723⟩
  • Régine Laleau, Amel Mammar. Using a Formal Refinement to Derive Relational Database Implementations from B Specifications. [Research Report] CEDRIC-00-86, CEDRIC Lab/CNAM. 2000. ⟨hal-01124516⟩
  • Philippe Facon, Régine Laleau, Amel Mammar. Combining UML with the B Formal Method for the Specification of Database Applications. [Research Report] CEDRIC-99-87, CEDRIC Lab/CNAM. 1999. ⟨hal-01124517⟩
  • Philippe Facon, Régine Laleau, Amel Mammar, Fiona Polack. Formal Specification of the UML Metamodel for Building Rigorous Caise Tools. [Research Report] CEDRIC-99-91, CEDRIC Lab/CNAM. 1999. ⟨hal-01124520⟩

Theses3 document

  • Mohamed Sellami. Découverte d'annuaires de services web dans un environnement distribué. Autre [cs.OH]. Institut National des Télécommunications, 2011. Français. ⟨NNT : 2011TELE0022⟩. ⟨tel-00697126⟩
  • Walid Gaaloul. La Découverte de Workflow
    Transactionnel pour la Fiabilisation des
    Exécutions. Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10130⟩. ⟨tel-01746856v2⟩
  • Bruno Defude. Étude et réalisation d'un système intelligent de recherche d'informations : le prototype IOTA. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1986. Français. ⟨NNT : ⟩. ⟨tel-00321461⟩

HDR thesis1 document

  • Walid Gaaloul. Supporting service consumption : advanced discovery and recommendation techniques. Software Engineering [cs.SE]. Télécom Ecole de Management, 2014. ⟨tel-01266701⟩

Powered by HAL logo

Other news

Jobs

Telecom SudParis
Institut Polytechnique de Paris

9, rue Charles Fourier
F-91011 Evry Cedex France

19, Place Marguerite Perey
F-91120 Palaiseau Cedex France

Ⓒ 2020–2024 Télécom SudParis