Publications

649 documents

Journal articles150 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⟩
Nathanaël Denis, Sophie Chabridon, Maryline Laurent. Bringing privacy, security and performance to the Internet of Things using IOTA and usage control. Annals of Telecommunications - annales des télécommunications, 2024, ⟨10.1007/s12243-023-01005-1⟩. ⟨hal-04383612⟩
Amel Mammar, Meriem Belguidoum, Saddam Hocine. A Formal approach for the correct deployment of cloud applications. Science of Computer Programming, 2024, ⟨10.1016/j.scico.2023.103048⟩. ⟨hal-04344435⟩
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⟩
Leyla Moctar M’baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne. Process mining for artifact-centric blockchain applications. Simulation Modelling Practice and Theory, 2023, 127, pp.102779. ⟨10.1016/j.simpat.2023.102779⟩. ⟨hal-04112603⟩
Xiaocui Li, Zhangbing Zhou, Qiang He, Zhensheng Shi, Walid Gaaloul, et al.. Re-scheduling IoT services in edge networks. IEEE Transactions on Network and Service Management, 2023, 20 (3), pp.3233-3246. ⟨10.1109/TNSM.2023.3242937⟩. ⟨hal-04376906⟩
Dympna O’sullivan, Emma Murphy, Andrea Curley, John Gilligan, Damian Gordon, et al.. Inclusion4EU: co-designing a framework for inclusive software design and development. Studies in Health Technology and Informatics, 2023, Studies in Health Technology and Informatics, 306, pp.497-502. ⟨10.3233/SHTI230668⟩. ⟨hal-04197001⟩
Nathanaël Denis, Maryline Laurent, Sophie Chabridon. Integrating usage control into distributed ledger technology for internet of things privacy. IEEE Internet of Things Journal, 2023, pp.1-1. ⟨10.1109/JIOT.2023.3283300⟩. ⟨hal-04121481⟩
Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, et al.. Natural language querying of process execution data. Information Systems, 2023, 116, pp.102227:1-102227:16. ⟨10.1016/J.IS.2023.102227⟩. ⟨hal-04376914⟩
Deng Zhao, Zhangbing Zhou, Patrick Hung, Shuiguang Deng, Xiao Xue, et al.. CTL-based adaptive service composition in edge networks. IEEE Transactions on Services Computing, 2023, 16 (2), pp.1051-1065. ⟨10.1109/TSC.2022.3184013⟩. ⟨hal-04376902⟩
Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Everton Cavalcante, et al.. Taming internet of things application development with the IoTvar middleware. ACM Transactions on Internet Technology, 2023, 2, pp.1533-5399. ⟨10.1145/3586010⟩. ⟨hal-04033054⟩
Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Everton Cavalcante, et al.. Energy awareness and energy efficiency in internet of things middleware: a systematic literature review. Annals of Telecommunications - annales des télécommunications, 2022, 78 (1-2), pp.115-131. ⟨10.1007/s12243-022-00936-5⟩. ⟨hal-03901655⟩
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⟩
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⟩
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⟩
Emil Hagström, P. Gabriel Steg, Michael Szarek, Deepak Bhatt, Vera Bittner, et al.. Apolipoprotein B, Residual Cardiovascular Risk After Acute Coronary Syndrome, and Effects of Alirocumab. Circulation, 2022, 146 (9), pp.657-672. ⟨10.1161/CIRCULATIONAHA.121.057807⟩. ⟨hal-04012895⟩
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⟩
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⟩
Ioannis Stavrakakis, Damian Gordon, Brendan Tierney, Anna Becevel, Emma Murphy, et al.. The teaching of computer ethics on computer science and related degree programmes: a European survey. International Journal of Ethics Education, 2022, 7 (1), pp.101-129. ⟨10.1007/s40889-021-00135-1⟩. ⟨hal-03377525⟩
Roberto Yus, Georgios Bouloukakis, Sharad Mehrotra, Nalini Venkatasubramanian. The semIoTic ecosystem: a semantic bridge between IoT devices and smart spaces. ACM Transactions on Internet Technology, 2022, 22 (3), pp.1-33. ⟨10.1145/3527241⟩. ⟨hal-03636539⟩
Damian Gordon, Ioannis Stavrakakis, John Paul Gibson, Brendan Tierney, Anna Becevel, et al.. Perspectives on computing ethics: a multi-stakeholder analysis. Journal of Information, Communication and Ethics in Society, 2022, 20 (1), pp.72-90. ⟨10.1108/jices-12-2020-0127⟩. ⟨hal-03377560⟩
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⟩
Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Valerie Issarny. Timed protocol analysis of interconnected mobile IoT devices. Journal of Internet Services and Applications, 2021, 12, pp.12:1-12:31. ⟨10.1186/s13174-021-00143-w⟩. ⟨hal-03465847⟩
Fitsum Meshesha Kifetew, Anna Perini, Angelo Susi, Aberto Siena, Denisse Muñante, et al.. Automating user-feedback driven requirements prioritization. Information and Software Technology, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩. ⟨hal-03277970⟩
Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul. Multi‐perspective business process discovery from messaging systems: state‐of‐the art. Concurrency and Computation: Practice and Experience, 2021, 35 (11), ⟨10.1002/CPE.6642⟩. ⟨hal-04376915⟩
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⟩
Gregory Schwartz, Michael Szarek, Vera Bittner, Rafael Diaz, Shaun Goodman, et al.. Lipoprotein(a) and Benefit of PCSK9 Inhibition in Patients With Nominally Controlled LDL Cholesterol. Journal of the American College of Cardiology, 2021, 78 (5), pp.421-433. ⟨10.1016/j.jacc.2021.04.102⟩. ⟨hal-03650902⟩
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul. A Formal model for configurable business process with optimal cloud resource allocation. Journal of Universal Computer Science, 2021, 27 (7), pp.693-713. ⟨10.3897/jucs.70978⟩. ⟨hal-04490808⟩
Georgios Bouloukakis, Kyle Benson, Luca Scalzotto, Paolo Bellavista, Casey Grant, et al.. PrioDeX: a Data Exchange middleware for efficient event prioritization in SDN-based IoT systems. ACM Transactions on Internet of Things, 2021, 2 (3), pp.1-32, Article No.: 19. ⟨10.1145/3456301⟩. ⟨hal-03171358⟩
Mark Mcclanahan, Michael Dempsey, Helen Colhoun, Isabelle Zobouyan, Patrick Picault, et al.. Relation of Lipoprotein(a) Levels to Incident Type 2 Diabetes and Modification by Alirocumab Treatment. Diabetes Care, 2021, 44 (5), pp.1219-1227. ⟨10.2337/dc20-2842⟩. ⟨hal-03672072⟩
Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, et al.. Restriction‐based fragmentation of business processes over the cloud. Concurrency and Computation: Practice and Experience, 2021, 33 (7), pp.1-20. ⟨10.1002/cpe.5445⟩. ⟨hal-02998183⟩
Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas, Valérie Issarny. Performance analysis of Internet of Things interactions via simulation-based queueing models. Future internet, 2021, 13 (4), pp.87:1-87:13. ⟨10.3390/fi13040087⟩. ⟨hal-03184939⟩
Mohamed Ahmed, Chantal Taconet, Mohamed Ould, Sophie Chabridon, Amel Bouzeghoub. IoT data qualification for a logistic chain traceability smart contract. Sensors, 2021, 21 (6), pp.2239:1-2239:25. ⟨10.3390/s21062239⟩. ⟨hal-03219609⟩
Zakaria Maamar, Mohamed Sellami, Fatma Masmoudi, Muhammad Asim, Abdul Haseeb, et al.. A Plug&Play approach for modeling and simulating applications in the era of internet of social things. IET Smart Cities, 2021, 3 (1), pp.29-40. ⟨10.1049/smc2.12005⟩. ⟨hal-03359921⟩
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⟩
Dave Archer, Michael A August, Georgios Bouloukakis, Christopher Davison, Mamadou Diallo, et al.. Transitioning from testbeds to ships: an experience study in deploying the TIPPERS Internet of Things platform to the US Navy. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 2020, pp.154851292095638. ⟨10.1177/1548512920956383⟩. ⟨hal-03039540⟩
Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul. Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks. Personal and Ubiquitous Computing, 2020, 27 (3), pp.581-598. ⟨10.1007/S00779-020-01443-X⟩. ⟨hal-04376912⟩
Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul. Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks. Personal and Ubiquitous Computing, 2020, 27 (3), pp.581 - 598. ⟨10.1007/s00779-020-01443-x⟩. ⟨hal-04490562⟩
Farah Bellaaj Elloumi, Mohamed Sellami, Sami Bhiri. Avoiding resource misallocations in business processes. Concurrency and Computation: Practice and Experience, 2020, 32 (15), ⟨10.1002/cpe.4888⟩. ⟨hal-03359856⟩
Walid Gaaloul, Zhangbing Zhou, Hervé Panetto, Liang Zhang. Special issue on fog and cloud computing for cooperative information system management: challenges and opportunities. Future Generation Computer Systems, 2020, 109, pp.704-705. ⟨10.1016/j.future.2020.02.060⟩. ⟨hal-02888680⟩
Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faiez Gargouri. Cloud SLA negotiation and re‐negotiation: an ontology‐based context‐aware approach. Concurrency and Computation: Practice and Experience, 2020, 32 (15), pp.e5315. ⟨10.1002/cpe.5315⟩. ⟨hal-03122790⟩
Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. Configurable deployment descriptor model in NFV. Journal of Network and Systems Management, 2020, 28 (3), pp.693-718. ⟨10.1007/s10922-020-09531-2⟩. ⟨hal-03122714⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Porfírio Gomes, Everton Cavalcante, Thais Batista, Chantal Taconet, Denis Conan, et al.. A semantic-based discovery service for the Internet of Things. Journal of Internet Services and Applications, 2019, 10 (1), ⟨10.1186/s13174-019-0109-8⟩. ⟨hal-02147177⟩
Georgios Bouloukakis, Nikolaos Georgantas, Patient Ntumba, Valérie Issarny. Automated synthesis of mediators for middleware-layer protocol interoperability in the IoT. Future Generation Computer Systems, 2019, 101, pp.1271-1294. ⟨10.1016/j.future.2019.05.064⟩. ⟨hal-02304074⟩
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⟩
Olivier Berger, Stéphanie Ortial, Sharon Wein, Séverine Denoyelle, Françoise Bressolle, et al.. Evaluation of amidoxime derivatives as prodrug candidates of potent bis-cationic antimalarials. Bioorganic and Medicinal Chemistry Letters, 2019, 29, pp.2203 - 2207. ⟨10.1016/j.bmcl.2019.06.045⟩. ⟨hal-03488325⟩
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⟩
Kausik Ray, Helen Colhoun, Michael Szarek, Marie Baccara-Dinet, Deepak Bhatt, et al.. Effects of alirocumab on cardiovascular and metabolic outcomes after acute coronary syndrome in patients with or without diabetes: a prespecified analysis of the ODYSSEY OUTCOMES randomised controlled trial. The Lancet. Diabetes & Endocrinology , 2019, 7 (8), pp.618-628. ⟨10.1016/S2213-8587(19)30158-5⟩. ⟨hal-04012703⟩
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⟩
Fátima Castro-Jul, Rebeca P. Díaz-Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan. Fog architectures and sensor location certification in distributed event-based systems. Sensors, 2018, 19 (1), pp.104. ⟨10.3390/s19010104⟩. ⟨hal-01975724⟩
Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanene Ben-Abdallah. Optimal deployment of configurable business processes in cloud federations. IEEE Transactions on Network and Service Management, 2018, 15 (4), pp.1692 - 1705. ⟨10.1109/TNSM.2018.2880195⟩. ⟨hal-01996051⟩
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⟩
Sibylle Vogt, Marcus Krueger, Astrid Pechmann, Bianca Rippberger, Matthias Eckenweiler, et al.. Nusinersen versus Sham Control in Later-Onset Spinal Muscular Atrophy. New England Journal of Medicine, 2018, 378 (7), pp.625-635. ⟨10.1056/NEJMoa1710504⟩. ⟨hal-03604455⟩
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⟩
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⟩
Leye Wang, Daqing Zhang, Haoyi Xiong, John Paul Gibson, Chao Chen, et al.. ecoSense: minimize participants' total 3G data cost in mobile crowdsensing using opportunistic relays. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (6), pp.965 - 978. ⟨10.1109/TSMC.2016.2523902⟩. ⟨hal-01534510⟩
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⟩
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⟩
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⟩
Mohamed Mohamed, Djamel Belaid, Samir Tata. Extending OCCI for autonomic management in the cloud. Journal of Systems and Software, 2016, 122, pp.416 - 429. ⟨10.1016/j.jss.2016.01.002⟩. ⟨hal-01438804⟩
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⟩
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⟩
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⟩
John Paul Gibson, Vanessa Teague, Robert Krimmer, Julia Pomares. A review of E-voting: the past, present and future. Annals of Telecommunications - annales des télécommunications, 2016, 71 (7), pp.279 - 286. ⟨10.1007/s12243-016-0525-8⟩. ⟨hal-01364859⟩
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⟩
Gordon Blair, Douglas Schmidt, Chantal Taconet. Middleware for Internet distribution in the context of cloud computing and the Internet of Things. Annals of Telecommunications - annales des télécommunications, 2016, 71 (3), pp.87 - 92. ⟨10.1007/s12243-016-0493-z⟩. ⟨hal-01298015⟩
Léon Lim, Pierrick Marie, Denis Conan, Sophie Chabridon, Thierry Desprats, et al.. Enhancing context data distribution for the internet of things using QoC-awareness and attribute-based access control. Annals of Telecommunications - annales des télécommunications, 2016, 71 (3/4), pp.121 - 132. ⟨10.1007/s12243-015-0480-9⟩. ⟨hal-01298025⟩
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⟩
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⟩
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⟩
Haoyi Xiong, Daqing Zhang, Leye Wang, John Paul Gibson, Jie Zhu. A EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants ACM Reference Format. ACM Transactions on Intelligent Systems and Technology, 2015, pp.1-23. ⟨10.1145/2644827⟩. ⟨hal-01078238⟩
Mohamed S. A. Mohamed, Mourad Amziani, Djamel Belaïd, Samir Tata, Tarek Melliti. An autonomic approach to manage elasticity of business processes in the Cloud. Future Generation Computer Systems, 2015, 50, pp.49--61. ⟨10.1016/j.future.2014.10.017⟩. ⟨hal-01120908⟩
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⟩
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla, Chantal Taconet. From ambient sensing to IoT-based context computing: an open framework for end to end QoC management. Sensors, 2015, Special Issue: Select Papers from UCAmI & IWAAL 2014, 15 (6), pp.14180-14206. ⟨10.3390/s150614180⟩. ⟨hal-01262395⟩
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⟩
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⟩
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⟩
Atifa Sarwar, Hamid Mukhtar, Maajid Maqbool, Djamel Belaïd. SmartFit: a step count based mobile application for engagement in physical activities. International journal of advanced computer science and applications (IJACSA), 2015, 6 (8), pp.271 - 278. ⟨10.14569/IJACSA.2015.060836⟩. ⟨hal-01263293⟩
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⟩
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⟩
Fabien Gelat, Claire Lacomme, Olivier Berger, Laurent Gavara, J.-L. Montchamp. Synthesis of (phosphonomethyl)phosphinate pyrophosphate analogues via the phospha-Claisen condensation. Organic & Biomolecular Chemistry, 2015, 13 (3), pp.825-833. ⟨10.1039/C4OB02007C⟩. ⟨hal-03563973⟩
Damien Mac Namara, John Paul Gibson, Ken Oakley. The ideal voting interface: classifying usability. JeDEM - eJournal of eDemocracy and Open Government, 2014, 6 (2), pp.182-196. ⟨10.29379/jedem.v6i2.306⟩. ⟨hal-03377805⟩
Léon Lim, Denis Conan. Partitionable group membership for Mobile Ad hoc Networks. Journal of Parallel and Distributed Computing, 2014, 74 (8), pp.2708 - 2721. ⟨10.1016/j.jpdc.2014.03.003⟩. ⟨hal-01263090⟩
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⟩
Sophie Chabridon, Denis Conan, Zied Abid, Chantal Taconet. Building ubiquitous QoC-aware applications through model-driven software engineering. Science of Computer Programming, 2013, 78 (10), pp.1912 - 1929. ⟨10.1016/j.scico.2012.07.019⟩. ⟨hal-00848041⟩
Sophie Chabridon, Romain Laborde, Thierry Desprats, Arnaud Oglaza, Pierrick Marie, et al.. A survey on addressing privacy together with quality of context for context management in the Internet of Things. Annals of Telecommunications - annales des télécommunications, 2013, 69 (1-2), pp.47-62. ⟨10.1007/s12243-013-0387-2⟩. ⟨hal-01285786⟩
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⟩
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⟩
Imen Ben Lahmar, Djamel Belaïd, Hamid Mukhtar. Middleware for task resolution and adaptation in pervasive environments. Evolving Systems, 2012, 3 (4), pp.221-233. ⟨10.1007/s12530-012-9057-2⟩. ⟨hal-00770679⟩
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⟩
John Paul Gibson, Isabelle Perseil. Introduction to UML and formal methods. Software Engineering Notes, 2012, 37 (4), pp.32-33. ⟨10.1145/2237796.2237825⟩. ⟨hal-00728167⟩
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⟩
Isabelle Perseil, John Paul Gibson. Introduction to special issue : papers from UML&FM'2011. Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.225-226. ⟨10.1007/s11334-011-0173-0⟩. ⟨hal-00677755⟩
John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Formal object-oriented development of a voting system test oracle. Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩. ⟨hal-00670282⟩
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⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. Dynamic user task composition based on user preferences. ACM Transactions on Autonomous and Adaptive Systems, 2011, 6 (1), pp.1 - 17. ⟨10.1145/1921641.1921645⟩. ⟨hal-01354776⟩
Delphine Margout, Florence Gattaccec, Georges Moarbess, Sharon Wein, Christophe Tran van Ba, et al.. Pharmacokinetic properties and metabolism of a new potent antimalarial N-alkylamidine compound, M64, and its corresponding bioprecursors. European Journal of Pharmaceutical Sciences, 2011, 42, pp.81-90. ⟨10.1016/j.ejps.2010.10.012⟩. ⟨hal-00570553⟩
Imen Ben Lahmar, Djamel Belaïd, Hamid Mukhtar. A pattern-based adaptation for abstract applications in pervasive environments. International Journal On Advances in Software, 2011, 4 (3 & 4), pp.367-377. ⟨hal-00770630⟩
Djamel Belaid, Imen Ben Lahmar, Hamid Mukhtar. A framework for monitoring and reconfiguration of components using dynamic transformation. International Journal On Advances in Software, 2010, 3 (3-4), pp.371 - 384. ⟨hal-01354771⟩
Samir Tata, Zakaria Maamar, Djamel Belaïd, Khouloud Boukadi. Capacity-driven Web services : concepts, definitions, issues, and solutions. International journal of systems and service-oriented engineering (IJSSOE), 2010, 1 (4), pp.65-88. ⟨10.4018/jssoe.2010100105⟩. ⟨hal-00550321⟩
Olivier Berger, Sharon Wein, Jean-Frédéric Duckert, Marjorie Maynadier, Siham El Fangour, et al.. Reverse-benzamidine antimalarial agents : Design, synthesis, and biological evaluation. Bioorganic and Medicinal Chemistry Letters, 2010, 20 (19), pp.5815-5817. ⟨10.1016/j.bmcl.2010.07.124⟩. ⟨hal-00517092⟩
Chantal Taconet, Zakia Imane Kazi-Aoul. Building context-awareness models for mobile applications. Journal of Digital Information Management, 2010, 8 (2), pp.78 - 87. ⟨hal-00470405⟩
Stéphanie Ortial, Severine Denoyelle, Sharon Wein, Olivier Berger, Thierry Durand, et al.. Synthesis and evaluation of hybrid bis-cationic salts as antimalarial drugs. ChemMedChem, 2010, 5 (1), pp.52-55. ⟨10.1002/cmdc.200900427⟩. ⟨hal-00448020⟩
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⟩
Olivier Berger, Ion Valentin Vlasceanu, Christian Bac, Quang Vu Dang, Stéphane Lauriere. Weaving a semantic web across OSS repositories : unleashing a new potential for academia and practice. International journal of open source software & processes, 2010, 2 (2), pp.29 - 40. ⟨10.4018/jossp.2010040103⟩. ⟨hal-00509206⟩
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⟩
John Paul Gibson. Software reuse and plagiarism : a code of practice. Sigcse Bulletin, 2009, 41 (3), pp.55 - 59. ⟨10.1145/1595496.1562900⟩. ⟨hal-01357442⟩
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⟩
Dhouha Ayed, Chantal Taconet, Guy Bernard, Yolande Berbers. CADeComp : context-aware deployment of component-based applications. Journal of Network and Computer Applications (JNCA), 2008, 31 (3), pp.224-257. ⟨10.1016/j.jnca.2006.12.002⟩. ⟨hal-00569143⟩
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⟩
Damien Woods, John Paul Gibson. Lower bounds on the computational power of an optical model of computation. Natural Computing, 2008, 7 (1), pp.95 - 108. ⟨10.1007/s11047-007-9039-7⟩. ⟨hal-01354830⟩
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⟩
Denis Conan, Romain Rouvoy, Lionel Seinturier. COSMOS : composition de noeuds de contexte. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (9-10), pp.1189-1224. ⟨inria-00330574⟩
Dominique Cansell, Paul Gibson, Dominique Méry. Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electronic Notes in Theoretical Computer Science, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩. ⟨inria-00594892⟩
Romain Rouvoy, Denis Conan, Lionel Seinturier. Software Architecture Patterns for a Context-Processing Middleware Framework. IEEE Distributed Systems Online, 2008, 9 (6), pp.1-13. ⟨10.1109/MDSO.2008.17⟩. ⟨inria-00286616⟩
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⟩
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⟩
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⟩

Conference papers419 document

Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. CCDUIT: a software overlay for cross-federation collaboration between data spaces. 21st IEEE International Conference on Software Architecture (ICSA), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04514045⟩
Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Houssam Hajj Hassan, Valérie Issarny. Automating the evaluation of interoperability effectiveness in heterogeneous IoT systems. 21st IEEE International Conference on Software Architecture (ICSA 2024), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04482364⟩
Houssam Hajj Hassan, Georgios Bouloukakis, Luca Scalzotto, Nirmine Khaled, Denis Conan, et al.. A message broker architecture for adaptive data exchange in the IoT. 21st IEEE International Conference on Software Architecture (ICSA), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04514047⟩
Jun Ma, Dimitrije Panic, Roberto Yus, Georgios Bouloukakis. Artifact: Co-zyBench: a thermal comfort provision benchmark for smart buildings. PerCom Workshops - 22nd International Conference on Pervasive Computing and Communications (PerCom 2024), IEEE, Mar 2024, Biarritz, France. ⟨hal-04514009⟩
Jun Ma, Dimitrije Panic, Roberto Yus, Georgios Bouloukakis. Co-zyBench: using co-simulation and digital twins to benchmark thermal comfort provision in smart buildings. 22nd International Conference on Pervasive Computing and Communications (PerCom), IEEE, Mar 2024, Biarritz, France. ⟨hal-04514006⟩
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⟩
Jun Ma, Georgios Bouloukakis, Ajay Kattepur, Roberto Yus, Denis Conan. DEMSA: a DT-enabled middleware for self-adaptive smart spaces. 1st International Workshop on Middleware for Digital Twin (Midd4DT '23), ACM/IFIP, Dec 2023, Bologna, Italy. pp.1-6, ⟨10.1145/3631319.3632303⟩. ⟨hal-04514015⟩
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⟩
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⟩
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⟩
Denisse Muñante, Anna Perini, Angelo Susi. Exploiting goal-oriented requirements models for increasing energy awareness: a research preview. The 16th International i* Workshop (iStar’23), Sep 2023, Hannover, Germany. ⟨hal-04425021⟩
Meryem Afendi, Amel Mammar, Régine Laleau. A tool-supported approach for modeling and verifying hybrid systems using EVENT-B and the differential equation solver SAGEMATH. 18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, Italy. pp.71-83, ⟨10.5220/0012080900003538⟩. ⟨hal-04344606⟩
Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, et al.. A novel logic-based adaptive monitoring for composite edge services. 2023 IEEE International Conference on Web Services (ICWS), Jul 2023, Chicago, France. pp.310-317, ⟨10.1109/ICWS60048.2023.00050⟩. ⟨hal-04376886⟩
Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. Demo: comDeX unveiled demonstrating the future of IoT-Enhanced communities. 17th ACM International Conference on Distributed and Event‐Based Systems (DEBS), Jun 2023, Neuchatel, Switzerland. ⟨10.1145/3583678.3603279⟩. ⟨hal-04125998⟩
Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. ComDeX: a context-aware federated platform for IoT-enhanced communities. 17th ACM International Conference on Distributed and Event‐Based Systems (DEBS), Jun 2023, Neuchatel, Switzerland. ⟨10.1145/3583678.3596890⟩. ⟨hal-04125991⟩
Georgios Bouloukakis, Ajay Kattepur. DONNA: a data model for enabling extensible and efficient metaverse applications. 2023 IEEE International Conference on Metaverse Computing, Networking and Applications (MetaCom), Jun 2023, Kyoto, Japan. ⟨10.1109/MetaCom57706.2023.00143⟩. ⟨hal-04122938⟩
Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. EDICT: simulation of edge interactions across IoT-enhanced environments. 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT), Jun 2023, Pafos, Cyprus. ⟨10.1109/DCOSS-IoT58021.2023.00037⟩. ⟨hal-04125134⟩
Houssam Hajj Hassan, Georgios Bouloukakis, Denis Conan, Ajay Kattepur, Mahdi Trabolsi, et al.. (DEMO) EDICT: A simulation tool for performance metrics datasets in IoT environments. 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT), Jun 2023, Pafos, Cyprus. ⟨10.1109/DCOSS-IoT58021.2023.00020⟩. ⟨hal-04125135⟩
Imen Jerbi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, et al.. Request relaxation based-on provider constraints for a capability-based NaaS services discovery. 35th International Conference on Advanced Information Systems Engineering (CAiSE), Jun 2023, ZARAGOZA, Spain. pp.611-627, ⟨10.1007/978-3-031-34560-9_36⟩. ⟨hal-04198824⟩
Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Everton Cavalcante. A middleware architecture for mastering energy consumption in internet of things applications. 2023 International Conference on ICT for Sustainability (ICT4S), IEEE, Jun 2023, Rennes, France. ⟨10.1109/ICT4S58814.2023.00016⟩. ⟨hal-04127201⟩
Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. Artifact: implementation of an adaptive flow management framework for IoT spaces. 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS ), May 2023, Melbourne, Australia. ⟨10.1109/SEAMS59076.2023.00032⟩. ⟨hal-04125130⟩
Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. PlanIoT: a framework for adaptive data flow management in IoT-enhanced spaces. 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS ), May 2023, Melbourbe, Australia. ⟨10.1109/SEAMS59076.2023.00029⟩. ⟨hal-04125131⟩
Georgios Bouloukakis, Chrysostomos Zeginis, Nikolaos Papadakis, Kostas Magoutis, George Christodoulou, et al.. SmartCityBus -A platform for smart transportation systems. The ACM Web Search and Data Mining (WSDM), Feb 2023, Singapore, Singapore. ⟨10.1145/3539597.3575781⟩. ⟨hal-03935540⟩
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⟩
Georgios Bouloukakis, Chrysostomos Zeginis, Nikolaos Papadakis, Panagiotis Zervakis, Dimitris Plexousakis, et al.. Enabling IOT-enhanced transportation systems using the NGSI protocol. The 12th International Conference on the Internet of Things(IoT 2022), Faculté de génie du design industriel (IDE), Nov 2022, Delft, Netherlands. pp.33-40, ⟨10.1145/3567445.3567460⟩. ⟨hal-03854196⟩
Abdessalam Elhabbash, Yehia Elkhatib, Georgios Bouloukakis, Maria Salama. A middleware for automatic composition and mediation in IOT systems. The 12th International Conference on the Internet of Things(IoT 2022), Nov 2022, Delft, Netherlands. pp.127-134, ⟨10.1145/3567445.3567451⟩. ⟨hal-03854171⟩
Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. Enabling dynamic smart spaces using IoT-enhanced NGSI-LD data models. CWSI 2022 - 3rd IoT Connected World/Web Semantic Interoperability Workshop, Nov 2022, Delft, Netherlands. ⟨hal-03854302⟩
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul. Automatic processing of planning problems: application on representative case studies. Advances in Computational Collective Intelligence - 14th International(ICCCI), Sep 2022, Hammamet, Tunisia. pp.436-445, ⟨10.1007/978-3-031-16210-7_36⟩. ⟨hal-03992678⟩
Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, et al.. A trustworthy decentralized change propagation mechanism for declarative choreographies. 20th International Conference on Business Process Management, Sep 2022, Munster, Germany. pp.418-435, ⟨10.1007/978-3-031-16103-2_27⟩. ⟨hal-04295596⟩
Alexis Colin, François Trahay, Denis Conan. PYTHIA: an oracle to guide runtime system decisions. 2022 IEEE International Conference on Cluster Computing (CLUSTER), Sep 2022, Heidelberg, Germany. pp.106-116, ⟨10.1109/CLUSTER51413.2022.00025⟩. ⟨hal-03750441⟩
Ioannis Stavrakakis, Damian Gordon, John Paul Gibson, Dympna O’sullivan, Anna Becevel. Minding the gap: computing ethics and the political economy of big tech. ETHICOMP2022: "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?", Jul 2022, Turku, Finland. pp.546-550, ⟨10.21427/T0YQ-VP49⟩. ⟨hal-03787335⟩
John Paul Gibson, Massamaesso Narouwa, Damian Gordon, Dympna O'Sullivan, Jonathan Turner, et al.. Technical debt is an ethical issue. ETHICOMP 2022: Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?, Jul 2022, Turku, Finland. pp.258-266, ⟨10.21427/Y73Z-6P82⟩. ⟨hal-03782691⟩
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⟩
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⟩
Alexis Colin, François Trahay, Denis Conan. PYTHIA : un oracle pour guider les décisions des runtimes. COMPAS 2022: Conférence francophone d'informatique en Parallélisme Architecture et Système (Compas), MIS - Laboratoire Modélisation, Informatique et Système - de l’Université de Picardie Jules Verne., Jul 2022, Amiens, France. ⟨hal-03754168⟩
Rodrigo Canek, Pedro Borges, Chantal Taconet. Analysis of the impact of interaction patterns and IoT protocols on energy consumption of IoT consumer applications. DAIS 2022: 17th International Conference on Distributed Applications and Interoperable Systems, Jun 2022, Lucca, Italy. pp.1-17. ⟨hal-03710735⟩
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.316-325, ⟨10.1145/3477314.3507309⟩. ⟨hal-03992692⟩
Amel Benna, Fatma Masmoudi, Mohamed Sellami, Zakaria Maamar, Rachid Hadjidj. On modelling and analyzing composite resources’ consumption cycles using Time Petri-Nets. ENASE 2022: 17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online, France. pp.243-250, ⟨10.5220/0010971900003176⟩. ⟨hal-03657309⟩
Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, John Paul Gibson, et al.. The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. 14th International Conference on Computer Supported Education, Apr 2022, Online Streaming, Czech Republic. pp.297-303, ⟨10.5220/0011075900003182⟩. ⟨hal-03729234⟩
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⟩
Andrew Chio, Daokun Jiang, Peeyush Gupta, Georgios Bouloukakis, Roberto Yus, et al.. Artifact: SmartSPEC: customizable smart space datasets via event-driven simulations. PERCOM 2022: 20th International Conference on Pervasive Computing and Communications, Mar 2022, Pisa, Italy. pp.183-184, ⟨10.1109/PerComWorkshops53856.2022.9767264⟩. ⟨hal-03613965⟩
Andrew Chio, Daokun Jiang, Peeyush Gupta, Georgios Bouloukakis, Roberto Yus, et al.. SmartSPEC: customizable smart space datasets via event-driven simulations. PERCOM 2022: 20th International Conference on Pervasive Computing and Communications, Mar 2022, Pisa, Italy. pp.152-162, ⟨10.1109/PerCom53586.2022.9762405⟩. ⟨hal-03613959⟩
Damian Gordon, Michael Collins, John Paul Gibson, Dympna O'Sullivan. Measuring the longitudinal impact of teaching programming ethics to first years students. 16th International Technology, Education and Development Conference(INTED2022), IATED, Mar 2022, Online Conference, France. pp.844-847, ⟨10.21125/inted.2022.0273⟩. ⟨hal-03782518⟩
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⟩
Yuwei Wang, Denis Conan, Sophie Chabridon, Kavoos Bojnourdi, Jingxuan Ma. Runtime models and evolution graphs for the version management of microservice architectures. APSEC 2021: 28th Asia-Pacific Software Engineering Conference, Dec 2021, Taipei (online), Taiwan. pp.536-541, ⟨10.1109/APSEC53868.2021.00064⟩. ⟨hal-03419462⟩
Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul. Migration-based service allocation optimization in dynamic IoT networks. ICSOC 2021: 19th International Conference on Service-Oriented Computing, Nov 2021, Dubai (online), United Arab Emirates. pp.385-399, ⟨10.1007/978-3-030-91431-8_24⟩. ⟨hal-03520017⟩
Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, et al.. Trustworthy cross-organizational collaborations with hybrid on/off-chain declarative choreographies. 19th International Conference on Service-Oriented Computing (ICSOC), Nov 2021, Dubai (Virtual Event), United Arab Emirates. pp.81-96, ⟨10.1007/978-3-030-91431-8_6⟩. ⟨hal-03468040⟩
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model checking of solidity smart contracts adopted for business processes. ICSOC 2021: 19th International Conference on Service-Oriented Computing, Nov 2021, Dubai (online), United Arab Emirates. pp.116-132, ⟨10.1007/978-3-030-91431-8_8⟩. ⟨hal-03520013⟩
Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul. Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE 2021: 17th International Conference on e-Business Engineering, Nov 2021, Guangzhou (online), China. pp.1-8, ⟨10.1109/ICEBE52470.2021.00014⟩. ⟨hal-03641853⟩
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⟩
Denisse Muñante, Anna Perini, Fitsum Meshesha Kifetew, Angelo Susi. Combining risk and variability modelling for requirements analysis in SAS engineering. RE 2021: 29th International Requirements Engineering Conference, Sep 2021, Notre Dame, United States. pp.396-401, ⟨10.1109/RE51729.2021.00044⟩. ⟨hal-03533987⟩
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⟩
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⟩
Andrea Curley, Damian Gordon, Ioannis Stavrakakis, Anna J Becevel, John Paul Gibson, et al.. Adaptable and reusable educational 'bricks' for teaching computer science ethics. EDULEARN 2021: 13th International Conference on Education and New Learning Technologies, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125/edulearn.2021.0456⟩. ⟨hal-03377576⟩
John Paul Gibson, Yael Jacob, Damian Gordon, Dympna O'Sullivan. Developing an educational brick for digital ethics: a case study-driven approach. ETHICOMP 2021: 19th International Conference on the Ethical and Social Impact of ICT, Jun 2021, Logroño, Spain. pp.29-37. ⟨hal-03377665⟩
Tung-Chun Chang, Georgios Bouloukakis, Chia-Ying Hsieh, Cheng-Hsin Hsu, Nalini Venkatasubramanian. SmartParcels: cross-Layer IoT planning for smart communities. IoTDI 2021: 6th ACM/IEEE nternational Conference on Internet- of-Things Design and Implementation, May 2021, Charlottesville (virtual), United States. pp.195-207, ⟨10.1145/3450268.3453526⟩. ⟨hal-03171372⟩
Zakaria Maamar, Mohamed Sellami, Fatma Masmoudi. A transactional approach to enforce resource availabilities: application to the cloud. RCIS 2021: 15th international conference on Research Challenges in Information Science, May 2021, Limassol (online), Cyprus. pp.249-264, ⟨10.1007/978-3-030-75018-3_16⟩. ⟨hal-03226493⟩
Mengyu Sun, Zhangbing Zhou, Walid Gaaloul. Adaptive IoT service configuration optimization in edge networks. INFOCOM 2021: IEEE Conference on Computer Communications Workshops, May 2021, Vancouver (online), Canada. pp.1-2, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484465⟩. ⟨hal-03520023⟩
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⟩
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⟩
Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Nour Assy, Walid Gaaloul. Discovery of activities’ actor perspective from emails based on speech acts detection. ICPM 2020: 2nd International Conference on Process Mining, Oct 2020, Padua (online), Italy. pp.73-80, ⟨10.1109/ICPM49681.2020.00021⟩. ⟨hal-03122728⟩
Mohamed Ahmed, Chantal Taconet, Mohamed Ould, Sophie Chabridon, Amel Bouzeghoub. Enhancing B2B supply chain traceability using smart contracts and IoT. HICL 2020: Hamburg International Conference of Logistics, Sep 2020, Hamburg, Germany. pp.559-589. ⟨hal-03030238⟩
Nelly Condori-Fernandez, Franci Suni-Lopez, Denisse Muñante, Maya Daneva. How can personality influence perception on security of context-aware applications?. STAST 2020: International Workshop on Socio-Technical Aspects in Security and Trust, Sep 2020, Guilford (online), United Kingdom. pp.3-22, ⟨10.1007/978-3-030-79318-0_1⟩. ⟨hal-03277990⟩
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⟩
Nathanaël Denis, Pierre Chaffardon, Denis Conan, Maryline Laurent, Sophie Chabridon, et al.. Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting. SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩. ⟨hal-02910407⟩
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⟩
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⟩
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⟩
Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. Learning a configurable deployment descriptors model in NFV. NOMS 2020: IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS47738.2020.9110328⟩. ⟨hal-03122769⟩
Zakaria Maamar, Mohamed Sellami, Nanjangud Narendra, Ikbel Guidara, Emir Ugljanin, et al.. Towards an approach for validating the Internet-of-Transactional-Things. AINA 2020: 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1176-1188, ⟨10.1007/978-3-030-44041-1_101⟩. ⟨hal-02525733⟩
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⟩
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. The smart grid simulation framework: model-driven engineering applied to cyber-physical systems. MODELSWARD 2020: 8th international conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.3-25, ⟨10.1007/978-3-030-67445-8_1⟩. ⟨hal-03216723⟩
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. A model based toolchain for the cosimulation of cyber-physical systems with FMI. MODELSWARD 2020: 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.15-25, ⟨10.5220/0008875400150025⟩. ⟨hal-02530289⟩
Andrew Chio, Georgios Bouloukakis, Cheng-Hsin Hsu, Sharad Mehrotra, Nalini Venkatasubramanian. Adaptive Mediation for Data Exchange in IoT Systems. ARM 2019 - 18th Workshop on Adaptive and Reflexive Middleware, Dec 2019, Davis, United States. ⟨10.1145/3366612.3368122⟩. ⟨hal-02319447⟩
Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Thais Batista, et al.. Mastering interactions with Internet of Things platforms through the IoTVar middleware. UCAMI 2019: 13th International Conference on Ubiquitous Computing and Ambient ‪Intelligence, Dec 2019, Tolède, Spain. pp.78, ⟨10.3390/proceedings2019031078⟩. ⟨hal-02373839⟩
Roberto Yus, Georgios Bouloukakis, Sharad Mehrotra, Nalini Venkatasubramanian. Abstracting Interactions with IoT Devices Towards a Semantic Vision of Smart Spaces. BuildSys 2019 - 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Nov 2019, New York, United States. ⟨10.1145/3360322.3360859⟩. ⟨hal-02298615⟩
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⟩
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⟩
Pierre Rolin, Denis Moalic, Remi Badonnel, Olivier Berger, Jihane Fouzai. A collection of MOOCs to create digital programs. Proceedings of the International Conference on Open, Online, Flexible Higher Education, Oct 2019, Madrid, Spain. ⟨hal-03655417⟩
Pierre Rolin, Denis Moalic, Rémi Badonnel, Olivier Berger, Jihane Fouzai. A collection of MOOCs to create digital programs. OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99. ⟨hal-02398007⟩
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⟩
Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Benatallah Boualem, Faiez Gargouri. Model-driven orchestration for cloud resources. CLOUD 2019: 12th IEEE International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.422-429, ⟨10.1109/CLOUD.2019.00074⟩. ⟨hal-02482813⟩
Farah Bellaaj Elloumi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri. A transactional approach for reliable elastic cloud resources. SCC 2019: 16th IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.154-161, ⟨10.1109/SCC.2019.00035⟩. ⟨hal-02280891⟩
Valérie Issarny, Benjamin Billet, Georgios Bouloukakis, Daniela Florescu, Cristian Toma. LATTICE: A Framework for Optimizing IoT System Configurations at the Edge. ICDCS 2019 - 39th IEEE International Conference on Distributed Computing Systems, Jul 2019, Dallas, Texas, United States. ⟨hal-02161795⟩
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⟩
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⟩
Mohamed Ahmed Mohamed, Chantal Taconet, Mohamed Ould Mohamed Lemine. La traçabilité dans les chaînes logistiques en utilisant l'IoT et la Blockchain. Evolution des SI : vers des SI Pervasifs ?, Université Paris 1 Panthéon-Sorbonne, Jun 2019, Paris, France. pp.1-10. ⟨hal-02152725⟩
Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas. Probabilistic Event Dropping for Intermittently Connected Subscribers over Pub/Sub Systems. ICC 2019 - IEEE International Conference on Communications, May 2019, Shanghai, China. ⟨hal-02058417⟩
Maryline Laurent, Jean Leneutre, Sophie Chabridon, Imane Laaouane. Authenticated and Privacy-Preserving Consent Management in the Internet of Things. ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩. ⟨hal-02147191⟩
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul. On the verification of data encryption requirements in Internet of Things using Event-B. ICDEc 2019: 4th international conference on Digital Economy. Emerging Technologies and Business Innovation, Apr 2019, Beirut, Lebanon. pp.147-156, ⟨10.1007/978-3-030-30874-2_11⟩. ⟨hal-03123346⟩
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. An approach to design smart grids and their IT system by cosimulation. MODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.372 - 379, ⟨10.5220/0007407003720379⟩. ⟨hal-02070535⟩
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⟩
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⟩
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⟩
Stevan Coroller, Sophie Chabridon, Maryline Laurent, Denis Conan, Jean Leneutre. Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things. M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩. ⟨hal-01940866⟩
Kyle E Benson, Georgios Bouloukakis, Casey Grant, Valérie Issarny, Sharad Mehrotra, et al.. FireDeX: a Prioritized IoT Data Exchange Middleware for Emergency Response. ACM/IFIP/USENIX Middleware conference, Dec 2018, Rennes, France. ⟨10.1145/3274808.3274830⟩. ⟨hal-01877555⟩
Fábio M. Costa, Nikolaos Georgantas, Raphael Gomes, Ricardo da Rocha, Georgios Bouloukakis. Cross-layer QoS-Aware Resource Allocation for IoT-Enabled Service Choreographies. The 5th International Workshop on Middleware and Applications for the Internet of Things (M4IoT), Dec 2018, Rennes, France. ⟨hal-01943541⟩
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⟩
John Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock. Cyber-physical systems engineering: an introduction. ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩. ⟨hal-01914210⟩
Georgios Bouloukakis, Ajay Kattepur, Nikolaos Georgantas, Valerie Issarny. Queueing Network Modeling Patterns for Reliable and Unreliable Publish/Subscribe Protocols. MobiQuitous 2018 - 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Nov 2018, New York, United States. ⟨hal-01893926⟩
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⟩
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⟩
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⟩
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⟩
Nicolas Aussel, Yohan Petetin, Sophie Chabridon. Improving performances of log mining for anomaly prediction through NLP-based log parsing. MASCOTS 2018: 26th International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Sep 2018, Milwaukee, United States. pp.237 - 243, ⟨10.1109/MASCOTS.2018.00031⟩. ⟨hal-01919820⟩
Valerie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Françoise Sailhan, Géraldine Texier. When Service-oriented Computing Meets the IoT: A Use Case in the Context of Urban Mobile Crowdsensing. ESOCC 2018 : 7th European Conference on Service-oriented and Cloud Computing, Sep 2018, Como, Italy. pp.1-16, ⟨10.1007/978-3-319-99819-0_1⟩. ⟨hal-01871515⟩
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⟩
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⟩
Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas, Valérie Issarny. Simulation-based Queueing Models for Performance Analysis of IoT Applications. 11th International Symposium on Communication Systems, Networks, and Digital Signal Processing (CSNDSP), Jul 2018, Budapest, Hungary. ⟨hal-01797930⟩
Nabila Belhaj, Djamel Belaid, Hamid Mukhtar. Framework for building self-adaptive component applications based on reinforcement learning. SCC 2018: IEEE International Conference on Services Computing, Jul 2018, San Francisco, Ca, United States. pp.17 - 24, ⟨10.1109/SCC.2018.00010⟩. ⟨hal-01975700⟩
Abderrahim Ait Wakrime, John Paul Gibson, Jean-Luc Raffy. Formalising the requirements of an e-voting software product line using event-B. WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩. ⟨hal-01914195⟩
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⟩
Raphael Gomes, Georgios Bouloukakis, Fabio Costa, Nikolaos Georgantas, Ricardo da Rocha. QoS-Aware Resource Allocation for Mobile IoT Pub/Sub Systems. 2018 International Conference on Internet of Things (ICIOT), Jun 2018, Seattle, United States. ⟨hal-01797933⟩
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⟩
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⟩
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation. CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.9-1 - 9-5. ⟨hal-01821675⟩
Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah. Model-driven elasticity for cloud resources. CAISE 2018: 30th International Conference on Advanced Information Systems Engineering, Jun 2018, Tallinn, Estonia. pp.187 - 202, ⟨10.1007/978-3-319-91563-0_12⟩. ⟨hal-01996104⟩
Patient Ntumba, Georgios Bouloukakis, Nikolaos Georgantas. Interconnecting and Monitoring Heterogeneous Things in IoT Applications. International Conference on Web Engineering (ICWE), Jun 2018, Caceres, Spain. ⟨hal-01771857⟩
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⟩
Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩. ⟨hal-01797538⟩
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⟩
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⟩
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⟩
Nicolas Aussel, Samuel Jaulin, Guillaume Gandon, Yohan Petetin, Eriza Fazli, et al.. Predictive models of hard drive failures based on operational data. ICMLA 2017 : 16th IEEE International Conference On Machine Learning And Applications, Dec 2017, Cancun, Mexico. pp.619 - 625, ⟨10.1109/ICMLA.2017.00-92⟩. ⟨hal-01703140⟩
Clément Courtais, Chantal Taconet, Denis Conan, Sophie Chabridon, Porfírio Gomes, et al.. IoTVar to transparently handle interactions between applications and IoT platforms. M4IOT 2017 : 4th Workshop on Middleware and Applications for the Internet of Things, Dec 2017, Las Vegas, United States. pp.7 - 10, ⟨10.1145/3152141.3152390⟩. ⟨hal-01670173⟩
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⟩
John Paul Gibson, Dominique Méry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩
Fátima Castro-Jul, Denis Conan, Sophie Chabridon, Rebeca P. Díaz Redondo, Ana Fernández Vilas, et al.. Combining fog architectures and distributed event-based systems for mobile sensor location certification. UCAmI 2017 : 11th International Conference on Ubiquitous Computing and Ambient Intelligence, Nov 2017, Philadelphia, United States. pp.27 - 33, ⟨10.1007/978-3-319-67585-5_3⟩. ⟨hal-01634002⟩
Denis Conan, Léon Lim, Chantal Taconet, Sophie Chabridon, Claire Lecocq. A multiscale approach for a distributed event-based Internet of Things. PICOM 2017 : 15th International Conference on Pervasive Intelligence and Computing, Nov 2017, Orlando, United States. pp.844 - 852, ⟨10.1109/DASC-PICom-DataCom-CyberSciTec.2017.142⟩. ⟨hal-01766251⟩
Nabila Belhaj, Djamel Belaid, Hamid Mukhtar. Self-adaptive decision making for the management of component-based applications. COOPIS 2017 : 25th OTM International Conference on Cooperative Information Systems, Oct 2017, Rhodes, Greece. pp.570 - 588, ⟨10.1007/978-3-319-69462-7_36⟩. ⟨hal-01681177⟩
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⟩
Elie Rachkidi, Djamel Belaïd, Nazim Agoulmine, Nada Chendeb. Cloud of things modeling for efficient and coordinated resources provisioning. Confederated International Conference On the Move to Meaningful Internet Systems (OTM 2017) held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2017, Sep 2017, Rhodes, Greece. pp.175--193, ⟨10.1007/978-3-319-69462-7_12⟩. ⟨hal-01637145⟩
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⟩
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⟩
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⟩
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Optimal cost for time-aware cloud resource allocation in business process. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.314 - 321, ⟨10.1109/SCC.2017.47⟩. ⟨hal-01696637⟩
Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul. Simulation of configurable resource allocation for cloud-based business processes. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.305 - 313, ⟨10.1109/SCC.2017.46⟩. ⟨hal-01696560⟩
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⟩
Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata. OCCI-compliant cloud configuration simulation. EDGE 2017 : 1st International Conference on Edge Computing , Jun 2017, Honolulu, United States. pp.73 - 81, ⟨10.1109/IEEE.EDGE.2017.18⟩. ⟨hal-01696667⟩
Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faiez Gargouri. Cloud SLA modeling and monitoring. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.338 - 345, ⟨10.1109/SCC.2017.50⟩. ⟨hal-01696649⟩
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⟩
Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sébastien Gérard. Semantic framework for Internet of Things-aware business process development. WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.214 - 219, ⟨10.1109/WETICE.2017.54⟩. ⟨hal-01698458⟩
Sophie Chabridon, Amel Bouzeghoub, Anis Ahmed Nacer, Pierrick Marie, Thierry Desprats. Unified modeling of quality of context and quality of situation for context-aware applications in the internet of things. CONTEXT 2017 : 10th International and Interdisciplinary Conference on Modeling and Using Context, Jun 2017, Paris, France. pp.370 - 374, ⟨10.1007/978-3-319-57837-8_30⟩. ⟨hal-01614541⟩
Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling. A configurable resource allocation for multi-tenant process development in the cloud. CAiSE 2016 : 28th International Conference on Advanced Information Systems Engineering, Jun 2017, Ljubljana, Slovenia. pp.558 - 574, ⟨10.1007/978-3-319-39696-5_34⟩. ⟨hal-01455485⟩
Elie Rachkidi, Nazim Agoulmine, Nada Chendeb, Djamel Belaid. Resources optimization and efficient distribution of shared virtual sensors in sensor-cloud. 2017 IEEE International Conference on Communications (ICC 2017), May 2017, Paris, France. (elec. proc.), ⟨10.1109/ICC.2017.7996643⟩. ⟨hal-01584961⟩
Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas, Valérie Issarny. Performance Modeling of the Middleware Overlay Infrastructure of Mobile Things. IEEE International Conference on Communications, May 2017, Paris, France. ⟨hal-01470328⟩
Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Valérie Issarny. Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems. ICPE 2017 - 8th ACM/SPEC International Conference on Performance Engineering, Apr 2017, L'Aquila, Italy. ⟨hal-01415893v2⟩
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, 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⟩
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⟩
Elie Rachkidi, Nazim Agoulmine, Djamel Belaïd, Nada Chendeb Taher. Towards an Efficient Service Provisioning in Cloud of Things (CoT). 59th IEEE Global Communications Conference (GLOBECOM 2016), Dec 2016, Washington DC, United States. (elec. proc.), ⟨10.1109/GLOCOM.2016.7842340⟩. ⟨hal-01396391⟩
Porfírio Gomes, Everton Cavalcante, Thais Batista, Chantal Taconet, Sophie Chabridon, et al.. A QoC-aware discovery service for the Internet of Things. UCAmI 2016 : 10th International Conference on Ubiquitous Computing & Ambient Intelligence, Nov 2016, Las Palmas, Gran Canaria, Spain. pp.344 - 355, ⟨10.1007/978-3-319-48799-1_39⟩. ⟨hal-01405742⟩
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⟩
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul. A global SLA-aware approach for aggregating services in the cloud. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.363 - 380, ⟨10.1007/978-3-319-48472-3_21⟩. ⟨hal-01455652⟩
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel. Formal verification of time-aware cloud resource allocation in business process. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.400 - 417, ⟨10.1007/978-3-319-48472-3_23⟩. ⟨hal-01455664⟩
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⟩
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. A formal guidance approach for correct process configuration. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 - 498, ⟨10.1007/978-3-319-46295-0_30⟩. ⟨hal-01425991⟩
Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faiez Gargouri, et al.. Detecting cloud (anti)patterns: OCCI perspective. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.202 - 218, ⟨10.1007/978-3-319-46295-0_13⟩. ⟨hal-01455521⟩
Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. ⟨hal-01430628⟩
Valérie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Benjamin Billet. Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective. 14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada. ⟨hal-01358399⟩
Georgios Bouloukakis, Nikolaos Georgantas, Siddhartha Dutta, Valérie Issarny. Integration of Heterogeneous Services and Things into Choreographies. 14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada. ⟨hal-01358043⟩
Tarek Amhed-Nacer, Pierre Sutra, Denis Conan. The convoy effect in atomic multicast. SRDSW 2016 : 35th IEEE Symposium on Reliable Distributed Systems Workshops , Sep 2016, Budapest, Hungary. pp.67 - 72, ⟨10.1109/SRDSW.2016.22⟩. ⟨hal-01582009⟩
Garvita Bajaj, Rachit Agarwal, Georgios Bouloukakis, Pushpendra Singh, Nikolaos Georgantas, et al.. Towards Building Real-Time, Convenient Route Recommendation System for Public Transit. IEEE International Smart Cities Conference, Sep 2016, Trento, Italy. ⟨10.1109/ISC2.2016.7580779⟩. ⟨hal-01351068⟩
Hania Aslam, Hamid Mukhtar, Farhana Seemi, Djamel Belaid. Harnessing smartphones as a personal informatics tool towards self-awareness and behavior improvement. PICOM 2016 : 14th International Conference on Pervasive, Intelligence and Computing, Aug 2016, Auckland, New Zealand. pp.467 - 474, ⟨10.1109/DASC-PICom-DataCom-CyberSciTec.2016.92⟩. ⟨hal-01450653⟩
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla. Enabling self-configuration of QoC-centric fog computing entities. 13th IEEE International Conference on Advanced and Trusted Computing (ATC 2016), Jul 2016, Toulouse, France. pp. 526-533, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0092⟩. ⟨hal-01737033⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Sophie Chabridon, Denis Conan, Thierry Desprats, Mohamed Mbarki, Chantal Taconet, et al.. A framework for multiscale-, QoC- and privacy-aware context dissemination in the Internet of Things. 11th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing (COLLABORATECOM 2015), Nov 2015, Wuhan, China. pp.207 - 218, ⟨10.1007/978-3-319-28910-6_19⟩. ⟨hal-01270972⟩
Imed Abassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj Alouane. Genetic-based approach for ATS and SLA-aware web services composition. WISE 2015 : 16th International Conference Web Information Systems Engineering, Nov 2015, Miami, United States. pp.369 - 383, ⟨10.1007/978-3-319-26190-4_25⟩. ⟨hal-01282712⟩
Nabila Belhaj, Imen Ben Lahmar, Mohamed Mohamed, Djamel Belaïd. Collaborative autonomic management of distributed component-based applications. COOPIS 2015 : 23rd International Conference on Cooperative Information Systems, Oct 2015, Rhodes, Greece. pp.3 - 18, ⟨10.1007/978-3-319-26148-5_1⟩. ⟨hal-01263715⟩
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⟩
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⟩
Nabila Belhaj, Imen Ben Lahmar, Mohamed Mohamed, Djamel Belaïd. Collaborative autonomic container for the management of component-based aplications. WETICE 2015 : 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2015, Larnaca, Cyprus. pp.41 - 43, ⟨10.1109/WETICE.2015.25⟩. ⟨hal-01263462⟩
Olivier Berger, John Paul Gibson, Claire Lecocq, Christian Bac. Designing a virtual laboratory for a relational database MOOC. CSEDU 2015 : 7th International Conference on Computer Supported Education, May 2015, Lisbonne, Portugal. pp.260 - 268, ⟨10.5220/0005439702600268⟩. ⟨hal-01255058⟩
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⟩
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⟩
Denisse Muñante Arzapalo, Vanea Chiprianov, Laurent Gallon, Philippe Aniorte. A Model-Driven Security Requirements Approach to Deduce Security Policies Based on OrBAC. Information Security and Cryptology - 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers, Dec 2014, Beijing, China. pp.150--169, ⟨10.1007/978-3-319-16745-9_9⟩. ⟨hal-01908073⟩
Imen Ben Lahmar, Djamel Belaid. An autonomic container for the management of component-based applications in pervasive environments. ATC 2014 : 11th International Conference on Autonomic and Trusted Computing, Dec 2014, Bali, Indonesia. pp.548 - 555, ⟨10.1109/UIC-ATC-ScalCom.2014.22⟩. ⟨hal-01285777⟩
Léon Lim, Denis Conan. Distributed event-based system with multiscoping for multiscalability. MW4NG 2014 : 9th Workshop on Middleware for Next Generation Internet Computing, Dec 2014, Bordeaux, France. ⟨10.1145/2676733.2676736⟩. ⟨hal-01263089⟩
Pierrick Marie, Léon Lim, Atif Manzoor, Sophie Chabridon, Denis Conan, et al.. QoC-aware context data distribution in the Internet of Things. ACM Workshop on Middleware for Context-Aware Applications in the IoT @ Middleware 2014 - M4IOT, Dec 2014, Bordeaux, France. pp.13-18, ⟨10.1145/2676743.2676746⟩. ⟨hal-04080596⟩
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla. Extending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management. International Conference on Ubiquitous Computing and Ambient Intelligence - UCAmI 2014, Dec 2014, Belfast, United Kingdom. pp. 224-231. ⟨hal-01148836⟩
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⟩
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⟩
Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩. ⟨hal-01103304⟩
Yamine Aït-Ameur, John Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩. ⟨hal-01097624⟩
Sam Rottenberg, Sébastien Leriche, Chantal Taconet, Claire Lecocq, Thierry Desprats. MuSCa : a multiscale characterization framework for complex distributed systems. FEDCSIS 2014 : Federated Conference on Computer Science and Information Systems, Sep 2014, Varsovie, Poland. pp.1657 - 1665, ⟨10.15439/2014F131⟩. ⟨hal-01263328⟩
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⟩
Raja Boujbel, Sam Rottenberg, Sébastien Leriche, Chantal Taconet, Jean-Paul Arcangeli, et al.. MuScADeL: A Deployment DSL based on a Multiscale Characterization Framework. 38th Annual International Computers, Software & Applications Conference (COMPSAC 2014), Jul 2014, Vasteras, Sweden. pp.708--715, ⟨10.1109/COMPSACW.2014.120⟩. ⟨hal-01147250⟩
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⟩
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⟩
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, 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⟩
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⟩
Jean-Paul Arcangeli, Sophie Chabridon, Denis Conan, Thierry Desprats, Romain Laborde, et al.. Gestion de contexte multi-échelle pour l'Internet des objets. 10èmes Journées francophones Mobilité et Ubiquité (UBIMOB 2014), Jun 2014, Sophia Antipolis, France. pp.1-8. ⟨hal-03665340⟩
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⟩
Damien Macnamara, John Paul Gibson, Ken Oakley. Just Like Paper : a baseline for classifying e-voting usability. CEDEM 2014 : International Conference for E-Democracy and Open Government, May 2014, Krems, Austria. pp.113 - 127. ⟨hal-01263326⟩
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⟩
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⟩
Samer Machara Marquez, Sophie Chabridon, Chantal Taconet. Trust-based context contract models for the Internet of Things. UIC/ATC 2013 : 10th International Conference on Ubiquitous Intelligence and Computing and 10th International Conference on Autonomic and Trusted Computing, Dec 2013, Vietri Sul Mare, Italy. pp.557 - 562, ⟨10.1109/UIC-ATC.2013.73⟩. ⟨hal-01257890⟩
Hamid Mukhtar, Djamel Belaïd. Using adaptive feedback for promoting awareness about physical activeness in adults. UIC/ATC 2013 : 10th IEEE International Conference on Ubiquitous Intelligence & Computing & 10th International Conference on Autonomic and Trusted Computing , Dec 2013, Vietri Sul Mare, Italy. pp.638 - 643, ⟨10.1109/UIC-ATC.2013.99⟩. ⟨hal-01258075⟩
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⟩
Mohamed Mohamed, Djamel Belaïd, Samir Tata. Monitoring and reconfiguration for OCCI resources. CLOUDCOM 2013 : 5th IEEE International Conference on Cloud Computing Technology and Science, Dec 2013, Bristol, United Kingdom. pp.539 - 546, ⟨10.1109/CloudCom.2013.78⟩. ⟨hal-01261671⟩
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla. QoCIM : A Meta-model for Quality of Context. 8th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2013), Oct 2013, Annecy, France. pp.PP. 302-3015. ⟨hal-01212943⟩
Mohamed Sellami, Sami Yangui, Mohamed 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⟩
Olivier Berger, Christian Bac. Authoritative linked data descriptions of debian source packages using ADMS.SW. 9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.168-181, ⟨10.1007/978-3-642-38928-3_12⟩. ⟨hal-00830799⟩
Mohamed Mohamed, Djamel Belaïd, Samir Tata. Self-managed micro-containers for service-based applications in the cloud. WETICE '13 : 22nd IEEE International Conference on Enabling Technologies : Infrastructures for Collaborative Enterprises, Jun 2013, Hammamet, Tunisia. pp.140-145, ⟨10.1109/WETICE.2013.59⟩. ⟨hal-00850180⟩
Imen Ben Lahmar, Djamel Belaïd. Developing adapters for structural adaptation of component-based applications. WETICE '13 : 22nd IEEE International Conference on Enabling Technologies : Infrastructures for Collaborative Enterprises, Jun 2013, Hammamet, Tunisia. pp.92-97, ⟨10.1109/WETICE.2013.40⟩. ⟨hal-00850156⟩
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⟩
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla. QoCIM : un méta-modèle de qualité de contexte. 9èmes journées francophones Mobilité et Ubiquité (UbiMob 2013), CNRS : Groupe de Travail « Mobilité et Ubiquité » du GDR I3, Jun 2013, Nancy, France. ⟨hal-00850292⟩
Nadia Masmoudi-Gargouri, Denis Conan. Contrats de contexte pour la gestion de contexte répartie. UbiMob 2013 : 9èmes journées francophones Mobilité et Ubiquité, Jun 2013, Nancy, France. pp.1 - 8. ⟨hal-01298719⟩
Hamid Mukhtar, Djamel Belaïd. User-centric personalisation in next-generation persuasive healthcare systems. JPT '13 : Journées Thématiques de l'ADRIPS : De la PERSUASION à la PERSUASION TECHNOLOGIQUE, May 2013, Metz, France. pp.15-17. ⟨hal-00850191⟩
Damien Macnamara, John Paul Gibson, Ken Oakley. Just like paper : a classification system for eVoting machines. CeDEM13 : Conference for e-Democracy and Open Government, May 2013, Krems, Austria. pp.351 - 356. ⟨hal-01335739⟩
Mohamed Mohamed, Djamel Belaid, Samir Tata. Monitoring of SCA-based applications in the cloud. CLOSER 2013 : 3rd International Conference on Cloud Computing and Services Science, May 2013, Aachen, Germany. pp.47 - 57, ⟨10.5220/0004376500470057⟩. ⟨hal-01275076⟩
Mohamed Mohamed, Djamel Belaïd, Samir Tata. Adding monitoring and reconfiguration facilities for service-based applications in the cloud. AINA '13 : The 27th IEEE International Conference on Advanced Information Networking and Applications, Mar 2013, Barcelona, Spain. pp.756-763, ⟨10.1109/AINA.2013.46⟩. ⟨hal-00839096⟩
Olivier Berger. Linked data descriptions of Debian source packages using ADMS.SW. SWESE '12 : 8th International Workshop on Semantic Web Enabled Software Engineering, Dec 2012, Nara, Japan. pp.43-55. ⟨hal-00820259⟩
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⟩
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⟩
John Paul Gibson. Teaching graph algorithms to children of all ages. ITiCSE '12 : 17th Annual Conference on Innovation and Technology in Computer Science Education, Jul 2012, Haifa, Israel. pp.34-39, ⟨10.1145/2325296.2325308⟩. ⟨hal-00728212⟩
Hamid Mukhtar, Arshad Ali, Djamel Belaïd, Sungyoung Lee. Persuasive Healthcare Self-Management in Intelligent Environments. IE '12 : The 8th International Conference on Intelligent Environments, Jun 2012, Guanajuato, Mexico. pp.190-197, ⟨10.1109/IE.2012.51⟩. ⟨hal-00767749⟩
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⟩
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⟩
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⟩
Hamid Mukhtar, Arshad Ali, Sungyoung Lee, Djamel Belaïd. Personalized healthcare self-management using social persuasion. ICOST '12 : 10th International Conference On Smart homes and health Telematics, Jun 2012, Artimino, Italy. pp.66-73, ⟨10.1007/978-3-642-30779-9_9⟩. ⟨hal-00724961⟩
Sophie Chabridon, Denis Conan, Zied Abid, Chantal Taconet. Ingénierie dirigée par les modèles pour la construction d'applications ubiquitaires sensibles à la qualité du contexte. Ubimob '12 : 8èmes journées francophones Mobilité et Ubiquité, Jun 2012, Anglet, France. pp.167-176. ⟨hal-00718128⟩
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⟩
Sam Rottenberg, Sébastien Leriche, Claire Lecocq, Chantal Taconet. Vers une définition d'un système réparti multi-échelle. Ubimob '12 : 8èmes journées francophones Mobilité et Ubiquité, Jun 2012, Anglet, France. pp.178-183. ⟨hal-00724426⟩
Léon Lim, Denis Conan. An eventual alpha partition-participant detector for MANETs. EDCC '12 : Ninth European Dependable Computing Conference, May 2012, Sibiu, Romania. pp.25-36, ⟨10.1109/EDCC.2012.15⟩. ⟨hal-00738320⟩
Damien Mac Namara, John Paul Gibson, Ken Oakley. A preliminary study on a DualVote and Prêt à Voter hybrid system. CeDEM 2012: International Conference for E-Democracy and Open Government, May 2012, Krems, Austria. pp.77-89. ⟨hal-03377886⟩
Mohamed Mohamed, Djamel Belaïd, Samir Tata. How to provide monitoring facilities to services when they are deployed in the cloud ?. CLOSER '12 : 2nd International Conference on Cloud Computing and Services Science, Apr 2012, Porto, Portugal. pp.258-263. ⟨hal-00748592⟩
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⟩
Léon Lim, Denis Conan. Toward a solution to partitionable group membership for MANETs. OPODIS '11 : 15th International Conference On Principles Of Distributed Systems, Dec 2011, Toulouse, France. ⟨hal-00816818⟩
Léon Lim, Denis Conan. Toward a Solution to Partitionable Group Membership for MANETs. DYNAM: 1st International Workshop on Dynamicity, Dec 2011, Toulouse, France. pp.2. ⟨hal-00725091⟩
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⟩
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⟩
Sophie Chabridon, Zied Abid, Chantal Taconet, Denis Conan. A model driven approach for the QoC-awareness of ubiquitous applications. UCAml '11 : 5th International Symposium on Ubiquitous Computing and Ambient Intelligence, Dec 2011, Riviera Maya, Mexico. ⟨hal-00816827⟩
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⟩
Olivier Berger, Sabri Labbene, Madhumita Dhar, Christian Bac. Introducing OSLC, an open standard for interoperability of open source development tools. ICSSEA 2011, Nov 2011, Paris, France. pp.ISSN-0295-6322. ⟨hal-00679487⟩
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⟩
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⟩
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⟩
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⟩
John Paul Gibson, Jean-Luc Raffy. A "future-proof" postgraduate software engineering programme : maintainability issues. ICSEA '11 : The Sixth International Conference on Software Engineering Advances, Oct 2011, Barcelona, Spain. pp.471-476. ⟨hal-00641386⟩
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⟩
Imen Ben Lahmar, Djamel Belaid, Hamid Mukhtar, Sami Ullah Chaudhary. Automatic task resolution and adaptation in pervasive environments. ICAIS 2011 : International Conference on Adaptive and Intelligent Systems, Sep 2011, Klagenfurt, Austria. pp.131 - 144, ⟨10.1007/978-3-642-23857-4_16⟩. ⟨hal-01303703⟩
M. Ejaz Ahmed, Hamid Mukhtar, Djamel Belaid, Ju Bin Song. QoS-aware device selection using user preferences for tasks in ubiquitous environments. ICET 2011 : IEEE International Conference on Emerging Technologies, Sep 2011, Islamabad, Pakistan. pp.1 - 6, ⟨10.1109/ICET.2011.6048484⟩. ⟨hal-01303622⟩
John Paul Gibson, Damien Macnamara, Ken Oakley. Just like paper and the 3-colour protocol : a voting interface requirements engineering case study. REVOTE '11 : International Workshop on Requirements Engineering for Electronic Voting Systems, Aug 2011, Trento, Italy. pp.66-75, ⟨10.1109/REVOTE.2011.6045917⟩. ⟨hal-00641415⟩
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⟩
Blagica Jovanova, Ivica Arsov, Denis Conan, Tuan Anh Doan, Alain Ozanne, et al.. Mobile mixed reality games creator based on MPEG-4 BIFS. ICME '11 : IEEE International Conference on Multimedia and Expo, Jul 2011, Barcelona, Spain. pp.1-4, ⟨10.1109/ICME.2011.6012095⟩. ⟨hal-00727691⟩
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⟩
Sophie Chabridon, Cao Cuong Ngo, Zied Abid, Denis Conan, Chantal Taconet, et al.. Towards QoC-aware location-based services. 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.71 - 76, ⟨10.1007/978-3-642-21387-8_6⟩. ⟨hal-01303054⟩
Zhangbing Zhou, Walid Gaaloul, Samir Tata, Feng Gao, Lei Shu. Service protocol replaceability assessment in mediated service interactions. ICC 2011 : IEEE International Conference on Communications, Jun 2011, Kyoto, Japan. pp.1 - 5, ⟨10.1109/icc.2011.5963370⟩. ⟨hal-01303821⟩
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. 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⟩
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⟩
Damien Macnamara, Ted Scully, John Paul Gibson, Ken Oakley, Francis Carmody, et al.. DualVote : addressing usability and verifiability issues in electronic voting systems. CeDEM '11 : Conference for E-Democracy and Open Government, May 2011, Krems, Austria. pp.313-322. ⟨hal-00641404⟩
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⟩
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⟩
Zied Abid, Sophie Chabridon. A fine-grain approach for evaluating the quality of context. CoMoRea 2011 : 8th IEEE Workshop on Context Modeling and Reasoning, Mar 2011, Seattle, WA, United States. pp.444 - 449, ⟨10.1109/PERCOMW.2011.5766930⟩. ⟨hal-01304184⟩
Kevin Casey, John Paul Gibson. (m)Oodles of data : mining Moodle to understand student behaviour. ICEP 2010 : International Conference on Engaging Pedagogy, Jan 2011, Maynooth, Ireland. pp.61 - 71. ⟨hal-01354792⟩
Imen Ben Lahmar, Djamel Belaid, Hamid Mukhtar. Adapting abstract component applications using adaptation patterns. ADAPTIVE 2010 : 2nd International Conference on Adaptive and Self-adaptive Systems and Applications, Nov 2010, Lisbon, Portugal. pp.170 - 175. ⟨hal-01306232⟩
Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Web services recommendation based on user's behavior. ICEBE 2010 : IEEE International Conference on e-Business Engineering, Nov 2010, Shanghai, China. pp.214 - 221, ⟨10.1109/ICEBE.2010.35⟩. ⟨hal-01308672⟩
Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. A session server architecture for mobile distributed virtual environments. ERPAS 2010 : @WAS Emerging Research Projects, Applications and Services, Nov 2010, Paris, France. pp.772 - 775, ⟨10.1145/1967486.1967611⟩. ⟨hal-01305762⟩
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⟩
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⟩
Sophie Chabridon, Denis Conan, Chantal Taconet, Cong Kinh Nguyen, Cao Cuong Ngo, et al.. MDE, DSL and tooling for effective context management in ubiquitous computing. WMSE 2010 : Workshop on Mobile Software Engineering, in conjunction with MobiCASE 2010, Oct 2010, Santa Clara, Ca, United States. ⟨hal-01305758⟩
Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Collaborative filtering technique for web service recommendation based on user-operation combination. CoopIS 2010 : 18th International Conference on Cooperative Information Systems, Oct 2010, Crete, Greece. pp.222 - 239, ⟨10.1007/978-3-642-16934-2_17⟩. ⟨hal-01308334⟩
Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. Dynamic reduction of rollbacks in wireless multi-user virtual environments. MobiCASE 2010: The Second International Conference on Mobile Computing, Applications, and Services Mobile Computing, Applications, and Services Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Oct 2010, Santa Clara, Ca, United States. pp.100-116, ⟨10.1007/978-3-642-29336-8_6⟩. ⟨hal-00786937⟩
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⟩
Damien Macnamara, Francis Carmody, Ted Scully, Ken Oakley, Elizabeth Quane, et al.. Dual vote : a novel user interface for e-voting systems. IHCI 2010 : IADIS International Conference Interfaces and Human Computer Interaction, Jul 2010, Freiburg, Germany. pp.129 - 138. ⟨hal-01354800⟩
Luciana Arantes, Pierre Sens, Gaël Thomas, Denis Conan, Léon Lim. Partition Participant Detector with Dynamic Paths in Mobile Networks. IEEE International Symposium on Networking Computing and Applications (NCA 2010), IEEE, Jul 2010, Cambridge, MA, United States. pp.224-228, ⟨10.1109/NCA.2010.40⟩. ⟨hal-01293847⟩
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⟩
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⟩
Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. A reusable component for communication and data synchronization in mobile distributed interactive applications. WCSI 2010 : 1st International Workshop on Component and Service Interoperability, in association with TOOLS 2010, Jun 2010, Malaga, Spain. pp.86 - 100, ⟨10.4204/EPTCS.37.7⟩. ⟨hal-01314811⟩
John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Engineering a distributed e-voting system architecture : meeting critical requirements. ISARCS '10 :1rst International Symposium on Architecting Critical Systems, Jun 2010, Prague, Czech Republic. pp.89-108, ⟨10.1007/978-3-642-13556-9_6⟩. ⟨hal-00817746⟩
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⟩
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⟩
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⟩
Judicaël Ribault, Olivier Dalle, Denis Conan, Sébastien Leriche. OSIF: A Framework To Instrument, Validate, and Analyze Simulations. SIMUTools2010, Mar 2010, Torremolinos, Spain. ⟨inria-00465141⟩
Abdul Malik Khan, Ivica Arsov, Marius Preda, Sophie Chabridon, Antoine Beugnard. Adaptable client-server architecture for mobile multi-player games. DISIO '10 : DIstributed SImulation & Online gaming, Mar 2010, Torremolinos, Malaga, Spain. pp.1-7. ⟨hal-00470423⟩
Imen Ben Lahmar, Hamid Mukhtar, Djamel Belaid. Monitoring of non-functional requirements using dynamic transformation of components. ICNS 2010 : 6th International Conference on Networking and Services, Mar 2010, Cancun, Mexico. pp.61 - 66 ⟨10.1109/ICNS.2010.17⟩. ⟨hal-01309509⟩
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⟩
Quang Vu Dang, Christian Bac, Olivier Berger, Ion Valentin Vlasceanu. Supporting situation awareness in FLOSS projects by semantical aggregation of tools feeds. SITIS'09 : The 5th International Conference on Signal Image Technology and Internet Based Systems, Nov 2009, Marrakech, Morocco. ⟨hal-00441467⟩
Chantal Taconet, Zakia Imane Kazi-Aoul, Mehdi Zaier, Denis Conan. CA3M : a runtime model and a middleware for dynamic context management. DOA 2009 : 11th International Symposium on Distributed Objects, Middleware, and Applications, Nov 2009, Vilamoura, Algarve, Portugal. pp.513 - 530, ⟨10.1007/978-3-642-05148-7_39⟩. ⟨hal-00436669⟩
Wissam Mallouli, Amel Mammar, Ana Cavalli. Prise en Compte de Règles de Sécurité Temporelles dans une Spéciﬁcation TEFSM d'un Système. CFIP'2009, Oct 2009, Strasbourg, France. ⟨inria-00419463⟩
Djamel Belaid, Hamid Mukhtar, Alain Ozanne, Samir Tata. Dynamic component selection for SCA applications. I3E 2009 : 9th IFIP Conference on e-Business, e-Services, and e-Society, Sep 2009, Nancy, France. pp.272 - 286, ⟨10.1007/978-3-642-04280-5_22⟩. ⟨hal-01317602⟩
Zied Abid, Sophie Chabridon, Denis Conan. Cohérence et qualité des informations de contexte en environnement pervasif. CDUR 2009 : 3ème Workshop sur la Cohérence des Données en Univers Réparti, Sep 2009, Toulouse, France. pp.1 - 5. ⟨hal-01465761⟩
John Paul Gibson. Challenging the lecturer : learning from the teacher's mistakes. ICEP 2009 : 2nd Irish Conference on Engaging Pedagogy, Sep 2009, Dublin, Ireland. pp.1 - 10. ⟨hal-01367813⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. Session continuity and splitting of multimedia applications using qualitative user preferences. ACM Mobility 2009 : 6th International Conference on Mobile Technology, Applications and Systems , Sep 2009, Nice, France. ⟨10.1145/1710035.1710087⟩. ⟨hal-01316427⟩
Antoine Beugnard, Sophie Chabridon, Denis Conan, Chantal Taconet, Fabien Dagnat, et al.. Towards context-aware components. CASTA 2009 : Workshop on Context-Aware Software Technology and Applications - Co-located with ESEC/FSE 2009, Aug 2009, Amsterdam, Netherlands. pp.1 - 4, ⟨10.1145/1595768.1595770⟩. ⟨hal-01315821⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. A quantitative model for user preferences based on qualitative specifications. ICPS 2009 : ACM International Conference on Pervasive Services, Jul 2009, London, United Kingdom. pp.179 - 188, ⟨10.1145/1568199.1568231⟩. ⟨hal-01317595⟩
Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, et al.. From workflow models to executable Web service interfaces. ICWS 2009 : IEEE 7th International Conference on Web Services, Jul 2009, Los Angeles, Ca, United States. pp.131 - 140, ⟨10.1109/ICWS.2009.51⟩. ⟨hal-00441503⟩
Zied Abid, Sophie Chabridon, Denis Conan. A framework for quality of context management. QuaCon 2009 : 1st International Workshop on Quality of Context, Jun 2009, Stuttgart, Germany. pp.120 - 131, ⟨10.1007/978-3-642-04559-2_11⟩. ⟨hal-01317618⟩
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⟩
John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Feature interactions in a software product line for e-voting. ICFI '09 : 10th International Conference on Feature Interactions in Telecommunications and Software Systems, Jun 2009, Lisbon, Portugal. pp.91-106, ⟨10.3233/978-1-60750-014-8-91⟩. ⟨hal-00817774⟩
John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Sculpturing event-B models with RODIN : 'Holes and Lumps' in teaching refinement through problem-based learning. TFM B'2009 : From Research to Teaching Formal Methods - The B Method, Jun 2009, Nantes, France. pp.7 - 21. ⟨hal-01367811⟩
Olivier Berger, Ion Valentin Vlasceanu, Christian Bac, Stéphane Lauriere. Weaving a semantic web across OSS repositories : a spotlight on bts-link, UDD, SWIM. WoPDaSD 2009 : 4th International Workshop on Public Data about Software Development, co-located with the OSS 2009 Conference, Jun 2009, Skövde, Sweden. ⟨hal-01369815⟩
Yassin Chabeb, Samir Tata, Djamel Belaid. Toward an integrated ontology for Web services. ICIW 2009 : 4th International Conference on Internet and Web Applications and Services, May 2009, Venice/Mestre, Italy. pp.462 - 467, ⟨10.1109/ICIW.2009.74⟩. ⟨hal-01366441⟩
Mohamed Sellami, Samir Tata, Zakaria Maamar, Bruno Defude. A recommender system for Web services discovery in a distributed registry environment. ICIW 2009 : 4th International Conference on Internet and Web Applications and Services, May 2009, Venice-Mestre, Italy. pp.418 - 423, ⟨10.1109/ICIW.2009.68⟩. ⟨hal-01315773⟩
Zakaria Maamar, Mohamed Sellami, Samir Tata, Quan Z. Sheng. A P2P implementation for the high availability of web services. ICEIS 2009 : 11th International Conference on Enterprise Information Systems, May 2009, Milan, Italy. pp.19 - 24, ⟨10.5220/0001855500190024⟩. ⟨hal-01315766⟩
Djamel Belaid, Hamid Mukhtar, Alain Ozanne. Service composition based on functional and non-functional descriptions in SCA. AT4WS 2009 : 1st International Workshop on Advanced Techniques for Web Services, May 2009, Milan, Italy. ⟨hal-01316436⟩
Zakaria Maamar, Samir Tata, Djamel Belaïd, Khouloud Boukadi. Towards An Approach to Defining Capacity-DrivenWeb Service. 2009 International Conference on Advanced Information Networking and Applications, May 2009, Bradford, United Kingdom. ⟨10.1109/AINA.2009.42⟩. ⟨emse-00662580⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. User preferences-based automatic device selection for multimedia user tasks in pervasive environments. ICNS 2009 : 5th International Conference on Networks and Services, Apr 2009, Valencia, Spain. pp.43 - 48, ⟨10.1109/ICNS.2009.56⟩. ⟨hal-01316789⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. A graph-based approach for Ad hoc task composition considering user preferences and device capabilities. SUPE 2008 : 2nd IEEE Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments, Nov 2008, New Orleans, United States. pp.1 - 6, ⟨10.1109/GLOCOMW.2008.ECP.48⟩. ⟨hal-01327377⟩
Chantal Taconet, Zakia Imane Kazi-Aoul. Context-awareness and model driven engineering : illustration by an e-commerce application scenario. ICDIM 2008 : 3rd International Conference on Digital Information Management, Nov 2008, London, United Kingdom. pp.864 - 869, ⟨10.1109/ICDIM.2008.4746829⟩. ⟨hal-01378652⟩
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⟩
John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Analysis of a distributed e-voting system architecture against quality of service requirements. ICSEA 2008 : 3rd International Conference on Software Engineering Advances, Oct 2008, Sliema, Malta. pp.58 - 64, ⟨10.1109/ICSEA.2008.18⟩. ⟨hal-01354806⟩
John Paul Gibson. Weaving a formal methods education with problem-based learning. ISoLA 2008 : 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2008, Porto Sani, Greece. pp.460 - 472, ⟨10.1007/978-3-540-88479-8_32⟩. ⟨hal-01354847⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. A policy-based approach for resource specification in small devices. UBICOMM 2008 : 2nd International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Sep 2008, Valencia, Spain. pp.239 - 244, ⟨10.1109/UBICOMM.2008.34⟩. ⟨hal-01327159⟩
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⟩
Quang Vu Dang, Christian Bac, Olivier Berger, Xuan Sang Dao. Improving community awareness in software forges by semantical aggregation of tools feeds. WoPDaSD 2008 : 3rd International Workshop on Public Data about Software Development, Sep 2008, Milan, Italy. pp.1 - 6. ⟨hal-01396655⟩
Mohamed Sellami, Samir Tata, Bruno Defude. Service discovery in ubiquitous environments : approaches and requirements for context-awareness. SEMANTICS4WS 2008 : 3rd International Workshop in Advances in Semantics for Web Services, Sep 2008, Milan, Italy. pp.516 - 522, ⟨10.1007/978-3-642-00328-8_52⟩. ⟨hal-01380993⟩
Sébastien Jourdain, Julien Forest, Christophe Mouton, Bernard Nouailhas, Gérard Moniot, et al.. ShareX3D, a scientific collaborative 3D viewer over HTTP. WEB3D 2008 : 13th International Symposium on 3D Web Technology, Aug 2008, Los Angeles, California, United States. pp.35 - 41, ⟨10.1145/1394209.1394220⟩. ⟨hal-01327149⟩
John Paul Gibson, Margaret Mcgaley. Verification and maintenance of e-voting systems and standards. ECEG 2008 : 8th European Conference on e-Government, Jul 2008, Lausanne, Switzerland. pp.283 - 290. ⟨hal-01354839⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. A model for resource specification in mobile services. SIPE 2008 : 3rd ACM International Workshop on Services Integration in Pervasive Environments, Jul 2008, Sorrento, Italy. pp.37 - 42, ⟨10.1145/1387309.1387318⟩. ⟨hal-01327158⟩
Denis Conan, Pierre Sens, Luciana Arantes, Mathieu Bouillaguet. Failure, Disconnection and Partition Detection in Mobile Environment. 7th IEEE International Symposium on Network Computing and Application (IEEE NCA08), Jul 2008, Cambridge, United States. pp.119-127, ⟨10.1109/NCA.2008.18⟩. ⟨hal-01305075⟩
Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. A dynamic approach to consistency management for mobile multiplayer games. CDUR 2008 : 2nd Workshop sur la Cohérence Des Données en Univers Réparti, Jun 2008, Lyon, France. pp.1 - 6, ⟨10.1145/1416729.1416783⟩. ⟨hal-01327154⟩
John Paul Gibson, Eric Lallet, Jean-Luc Raffy. How do I know if my design is correct ?. FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.59 - 68. ⟨hal-01355087⟩
John Paul Gibson. Formal methods : never too young to start. FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.149 - 158. ⟨hal-01354846⟩
Hamid Mukhtar, Djamel Belaid, Guy Bernard. Session mobility of multimedia applications in home networks using UPnP. INMIC 2007 : 11th IEEE International Multitopic Conference, Dec 2007, Lahore, Pakistan. pp.1 - 6, ⟨10.1109/INMIC.2007.4557717⟩. ⟨hal-01327897⟩
Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard. Synchronization medium : a consistency maintenance component for mobile multiplayer games. NetGames 2007 : 6th Annual Workshop on Network and Systems Support for Games 2007, Sep 2007, Melbourne, Australia. pp.99 - 104, ⟨10.1145/1326257.1326275⟩. ⟨hal-01328165⟩
Dominique Cansell, Paul Gibson, Dominique Méry. Formal verification of tamper-evident storage for e-voting. 5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩. ⟨inria-00184833⟩
Mikael Beauvois, Djamel Belaid, Guy Bernard. A planning framework for dynamic configuration in mobile environments. SSMO 2007 : 1st Seamless Service MObility Workshop, Jul 2007, Marrakech, Morocco. ⟨hal-01328080⟩
Denis Conan, Romain Rouvoy, Lionel Seinturier. Scalable Processing of Context Information with COSMOS. 7th IFIP International Conference on Distributed Applications and Interoperable Systems, 2007, Paphos, Cyprus. pp.210-224. ⟨inria-00155045⟩
Lydialle Chateigner, Sophie Chabridon, Guy Bernard. RIMoCoW, a reconciliation infrastructure for CORBA component-based applications in mobile environments. DOA 2006 : 8th International Symposium on Distributed Objects and Applications, Oct 2006, Montpellier, France. pp.1668 - 1685, ⟨10.1007/11914952_44⟩. ⟨hal-01329428⟩
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⟩
Mejdi Kaddour, Djamel Belaid, Guy Bernard. Un modèle haut niveau de composition sensible au contexte pour les applications pervasives. Ubimob 2006 : 3e Journées Francophones Mobilité et Ubiquité, Sep 2006, Paris, France. pp.139 - 142. ⟨hal-01329430⟩
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⟩
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⟩
Tuan Dung Nguyen, Denis Conan. Gestion de groupes tolérant les défaillances et les déconnexions en environnement mobile. NOTERE 2006 : 6ème Conférence Internationale sur les Nouvelles Technologies de la Répartition, Jun 2006, Toulouse, France. ⟨hal-01333299⟩
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⟩
Mejdi Kaddour, Djamel Belaid, Guy Bernard. SIP-based multimedia service continuity across various hosts and networks. MediaWiN 2006 : 1st Workshop on multiMedia Applications over Wireless Networks, Apr 2006, Athens, Greece. pp.51 - 57. ⟨hal-01329653⟩
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⟩
Christian Bac, Olivier Berger, Benoit Hamet. Intégration d'applications logicielles libres pour la réalisation d'une plate-forme de travail collaboratif destinée aux enseignants/chercheurs du GET. JRES 2005 : 6ème Journées Réseaux, Dec 2005, Marseille, France. pp.151 - 160. ⟨hal-01342915⟩
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⟩
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⟩
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⟩
Christian Bac, Olivier Berger, Véronique Deborde, Benoît Hamet. Why and how-to contribute to libre software when you integrate them into an in-house application?. 1st International Conference on Open Source Systems, 2005, Genova, Italy. pp.113-118. ⟨hal-00008513⟩
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⟩
Dominique Bouillet, Denis Conan, Marie-Christine Monget. Un dispositif d'apprentissage innovant pour débuter avec GNU/Linux. Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie, Oct 2004, Compiègne, France. pp.502-506. ⟨edutice-00000745⟩
Dominique Bouillet, Denis Conan, Marie-Christine Monget. Un dispositif d'apprentissage innovant pour débuter avec GNU/Linux. Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie, Oct 2004, Compiègne, France. pp.502-506. ⟨edutice-00000682⟩
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⟩
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⟩
Michel Simatic, S. Craipeau, Antoine Beugnard, Sophie Chabridon, Mc. Legout, et al.. Technical and Usage Issues for Mobile Multiplayer Games.. 5th Int. Conf. on Computer Games: Artificial Intelligence, Design and Education, CGAID, Jan 2004, X, France. pp.134-138. ⟨hal-01125031⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Paul Gibson, Geoff Hamilton, Dominique Méry. A taxonomy for triggered interactions using fair object semantics. Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p. ⟨inria-00099267⟩
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⟩
Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari. Animating formal specifications : a telephone simulation case study. 13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145. ⟨inria-00108114⟩
John Paul Gibson, Geoff Hamilton, Dominique Méry. Integration Problems in Telephone Feature requirements. Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p. ⟨inria-00098882⟩
Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179. ⟨inria-00098998⟩
Jean-Paul Gibson, Dominique Méry. Always and Eventually in Object Requirements. Rigorous Object Oriented Methods, 1998, none, 20 p. ⟨inria-00098617⟩
Dominique Méry, Jean-Paul Gibson. Fair Objects. Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p. ⟨inria-00098620⟩
Jean-Paul Gibson, Dominique Méry. Teaching Formal Methods: Lessons to learn. Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p. ⟨inria-00098616⟩

Poster communications4 document

Tung-Chun Chang, Georgios Bouloukakis, Chia-Ying Hsieh, Cheng-Hsin Hsu, Nalini Venkatasubramanian. Demo abstract: SmartParcels: a what-if analysis and planning tool for IoT-enabled smart communities. IoTDI 2021: 6th ACM/IEEE International Conference on Internet-of-Things Design and Implementation, May 2021, Charlottesville (online), United States. ACM, IoTDI '21: Proceedings of the International Conference on Internet-of-Things Design and Implementation, pp.267-268, 2021, ⟨10.1145/3450268.3453514⟩. ⟨hal-03171363⟩
Sumaya Almanee, Georgios Bouloukakis, Daokun Jiang, Sameera Ghayyur, Dhrubajyoti Ghosh, et al.. Demo Abstract: SemIoTic: Bridging the Semantic Gap in IoT Spaces. BuildSys 2019 - 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Nov 2019, New York, United States. ⟨10.1145/3360322.3360996⟩. ⟨hal-02298610⟩
Luca Scalzotto, Kyle E Benson, Georgios Bouloukakis, Paolo Bellavista, Valérie Issarny, et al.. An Implementation Experience with SDN-enabled IoT Data Exchange Middleware. Middleware 2018 - ACM/IFIP/USENIX Middleware conference, Dec 2018, Rennes, France. ⟨hal-01895274⟩
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. 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Feb 2017, Porto, Portugal. , 2017. ⟨hal-01474906⟩

Proceedings6 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⟩
David Bermbach, Everton Cavalcante, Stéphane Delbruel, David Eyers, Danny Hughes, et al.. M4IoT ’19: proceedings of the 6th international workshop on Middleware and Applications for the Internet of Things. M4IoT 2019 :6th international workshop on Middleware and Applications for the Internet of Things, Dec 2019, Davis, CA, United States. Association for Computing Machinery (ACM), 27 p., 2019, 978-1-4503-7028-8. ⟨10.1145/3366610⟩. ⟨hal-02449622⟩
Gérôme Canals, Nadine Couture, Laurence Nigay, Philippe Roose, Chantal Taconet. Actes des 11èmes Journées Francophones Mobilité et Ubiquité. Ubimob'2016, dblp computer science bibliography, 2016. ⟨hal-01913206⟩

Special issue2 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⟩
Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al.. On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II. Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Oct 2017, Rhodes, Greece. Lecture Notes in Computer Science, LNCS 10574, pp.515, 2017, 978-3-319-69459-7. ⟨10.1007/978-3-319-69459-7⟩. ⟨hal-01673487⟩

Books11 document

David Bermbach, Everton Cavalcante, Stéphane Delbruel, David Eyers, Danny Hugues, et al. (Dir.). M4IoT'18: proceedings of the 5th workshop on Middleware and Applications for the Internet of Things. ACM, pp.47, 2018, 978-1-4503-6118-7. ⟨hal-01991108⟩
Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al. (Dir.). On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I. , LNCS 10573, pp.767, 2017, ⟨10.1007/978-3-319-69462-7⟩. ⟨hal-01673485⟩
Thais Batista, Stéphane Delbruel, David Bermbach, David Eyers, Danny Hugues, et al. (Dir.). M4IoT '17: December 11-15, 2017, Las Vegas, NV, USA, Proceedings of the 2017 Workshop on Middleware and Applications for the Internet of Things Fourth edition and second federated event with the MoTA workshop. ACM, pp.27, 2017, 978-1-4503-5170-6. ⟨hal-01670253⟩
Gordon Blair, Douglas Schmidt, Chantal Taconet (Dir.). Middleware for Internet distribution in the context of cloud computing and the Internet of Things (special issue). Springer, 71, issue 3-4, pp.64, 2016. ⟨hal-01298014⟩
Sumitra Reddy, Walid Gaaloul (Dir.). 25th IEEE international conference on enabling technologies: infrastructure for collaborative enterprises : WETICE 2016. IEEE Computer Society, pp.270, 2016, 978-1-5090-1663-1. ⟨hal-01455719⟩
Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam (Dir.). Service-oriented computing : ICSOC 2015 workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, revised selected papers. Springer, 9586, pp.255, 2016, Lecture notes in computer science, Lecture notes in computer science, 978-3-662-50538-0. ⟨hal-01455706⟩
Danny Hugues, Chantal Taconet, Sébastien Leriche, Thais Batista (Dir.). Proceedings of the 3rd ACM workshop on middleware for context-aware applications in the IoT : in conjunction with ACM/IFIP/USENIX ACM international middleware conference : December 12-13 2016, Trento Italy. ACM, pp.22, 2016, 978-1-4503-4663-4. ⟨hal-01425973⟩
John Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares (Dir.). The role of telecommunications in electronic voting. Springer-Verlag, 71, n°7/8, pp.422, 2016, 0003-4347. ⟨hal-01466195⟩
Danny Hugues, Chantal Taconet, Sébastien Leriche (Dir.). Proceedings of the 2nd ACM workshop on middleware for context-aware applications in the IoT : In conjunction with ACM/IFIP/USENIX ACM international middleware conference : December 8 2015 : Vancouver, Canada. ACM, pp.38, 2015, 978-1-4503-3731-1. ⟨hal-01263310⟩
Danny Hugues, Chantal Taconet, Sébastien Leriche (Dir.). M4IOT '14 : proceedings of the 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT : In conjunction with ACM/IFIP/USENIX ACM International Middleware Conference December 9, 2014 Bordeaux, France. ACM, pp.36, 2014, 978-1-4503-3234-7. ⟨hal-01263077⟩
Jérôme Grévy (Dir.). Sortir de crise : Les mécanismes de résolution de crises politiques (XVIe-XXe siècles). Presses universitaires de Rennes. 2010, Histoire, 978-2-7535-1127-9. ⟨10.4000/books.pur.130377⟩. ⟨hal-04015877⟩

Book sections25 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⟩
Chantal Taconet, Thais Batista, Pedro Victor Borges, Georgios Bouloukakis, Everton Cavalcante, et al.. Middleware supporting PIS : requirements, solutions, and challenges. Manuele Kirsch Pinheiro; Carine Souveyet; Philippe Roose; Luiz Angelo Steffenel. The Evolution of Pervasive Information Systems, Springer International Publishing, pp.65-97, 2022, 978-3-031-18175-7. ⟨10.1007/978-3-031-18176-4_4⟩. ⟨hal-03920430⟩
Dympna O’sullivan, John Paul Gibson, Yael Jacob, Ioannis Stavrakakis, Damian Gordon. The future of medicine is digital: exploring the ethics of digital pills. MEDINFO 2021: One world, one health – global partnership for digital innovation, 290, IOS Press, pp.1120 - 1121, 2022, Studies in Health Technology and Informatics, 978-1-64368-264-8. ⟨10.3233/SHTI220297⟩. ⟨hal-03729314⟩
Nathanaël Denis, Maryline Laurent, Sophie Chabridon. Bringing privacy, security and performance to the internet of things through usage control and blockchains. Privacy and Identity Management. Between Data Protection and Security, 644, Springer International Publishing, pp.57-72, 2022, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-99100-5_6⟩. ⟨hal-03754051⟩
Damian Gordon, John Paul Gibson, Brendan Tierney, Dympna O'Sullivan, Ioannis Stavrakakis. You must have your webcam on for the entire duration of the examination: the trade-off between the integrity of on-line assessments and the privacy rights of students. Moving technology ethics at the forefront of society, organisations and governments, Universidad de La Rioja, pp.65-75, 2021, 978-84-09-28672-0. ⟨hal-03377716⟩
John Paul Gibson, Jean-Luc Raffy. Modelling an e-voting domain for the formal development of a Software Product Line: when the implicit should be made explicit. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩. ⟨hal-02941575⟩
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⟩
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⟩
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla. The QoCIM framework : concepts and tools for quality of context management. Brézillon, Patrick; Gonzalez, Avelino J. Context in computing : a cross-disciplinary approach for modeling the real world, Chapter 11, Springer, pp.155-172, 2014, 978-1-4939-1886-7. ⟨10.1007/978-1-4939-1887-4_11⟩. ⟨hal-01263078⟩
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⟩
Mohamed Mohamed, Djamel Belaïd, Samir Tata. An approach for monitoring components generation and deployment for SCA applications. Cloud Computing and Services Science : Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers, 453, Springer international publishing, pp.86 - 102, 2014, Communications in Computer and Information Science, 978-3-319-11560-3. ⟨10.1007/978-3-319-11561-0_6⟩. ⟨hal-01262792⟩
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⟩
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⟩
Imen Ben Lahmar, Hamid Mukhtar, Djamel Belaid. Interoperability in pervasive environments. Pervasive communications handbook, CRC Press, pp.12.1 - 12.16, 2011, 978-1-4200-5109-4. ⟨hal-01303046⟩
Hamid Mukhtar, Djamel Belaid. Using universal plug-n-play for device communication in ad hoc pervasive environments. Pervasive communications handbook, CRC Press, pp.14.1 - 14.16, 2011, 978-1-4200-5109-4. ⟨hal-01303043⟩
Daniel Romero, Romain Rouvoy, Lionel Seinturier, Sophie Chabridon, Denis Conan, et al.. Enabling Context-Aware Web Services: A Middleware Approach for Ubiquitous Environments. Michael Sheng and Jian Yu and Schahram Dustdar. Enabling Context-Aware Web Services: Methods, Architectures, and Technologies, Chapman and Hall/CRC, pp.113-135, 2010, 9781439809853. ⟨inria-00414070⟩
Carlos Parra, Xavier Blanc, Laurence Duchien, Nicolas Pessemier, Rafael Leaño, et al.. Dynamic Software Product Lines for Context-Aware Web Services. Michael Sheng and Jian Yu and and Schahram Dustdar. Enabling Context-Aware Web Services: Methods, Architectures, and Technologies, Chapman and Hall/CRC, pp.53-80, 2010. ⟨inria-00425565⟩
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⟩
John Paul Gibson, Dominique Méry. Fair Objects. H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering. ⟨inria-00099324⟩

Preprints, Working Papers6 document

Tiphaine Henry, Julien Hatin, Eloi Besnard, Nassim Laga, Walid Gaaloul. Towards trustworthy and privacy-preserving decentralized auctions. 2023. ⟨hal-04145599⟩
Nicolas Aussel, Sophie Chabridon, Yohan Petetin. Combining federated and active learning for communication-efficient distributed failure prediction in aeronautics. 2019. ⟨hal-02446200⟩
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⟩
Benjamin Billet, Georgios Bouloukakis, Nikolaos Georgantas, Sara Hachem, Valérie Issarny, et al.. Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE. 2013. ⟨hal-00912869⟩

Reports19 document

Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd. EDICT: simulation of edge interactions across IoT-enhanced environments. Telecom SudParis. 2023. ⟨hal-04078497⟩
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⟩
Olivier Berger. A review of Virtual Labs virtualization solutions for MOOCs: From Virtual Machines running locally or on IaaS, to containers on a PaaS, up to hypothetical ports of tools to WebAssembly for serverless execution in the Web browser. [Technical Report] Telecom SudParis. 2018. ⟨hal-01705686⟩
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⟩
Denis Conan, Sophie Chabridon, Daniel Romero, Romain Rouvoy. Modèle de répartition cohérente et fiable des informations de contexte. [Rapport Technique] 2009. ⟨hal-00669792⟩
Denis Conan, Sophie Chabridon, Romain Rouvoy, Lionel Seinturier. Modèle d'architecture générique de gestion du contexte. [Rapport Technique] 2009. ⟨hal-00669791⟩
Stéphane Drapeau, Gaël Blondelle, Damien Fournier, Philippe Merle, Marc Pantel, et al.. Conception and Development Tools for SCOrWare - Version 2.0. [Research Report] Télécom SudParis. 2009. ⟨inria-00595503v2⟩
Damien Fournier, Philippe Merle, Gaël Blondelle, Lionel Seinturier, Nicolas Dolet, et al.. SCA Platform Specifications - Version 2.0. [Research Report] INRIA. 2009. ⟨inria-00595502⟩
Luciana Arantes, Pierre Sens, Gaël Thomas, Denis Conan, Léon Lim. Partition Participant Detector with Dynamic Paths in MANETs. [Research Report] RR-7002, INRIA. 2009, pp.18. ⟨inria-00407685⟩
Denis Conan, Pierre Sens, Luciana Arantes, Mathieu Bouillaguet. Failure, Disconnection and Partition Detection in Mobile Environment. [Research Report] RR-6184, INRIA. 2007, pp.21. ⟨inria-00144801v2⟩
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. 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. 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. 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, Fiona Polack. Formal Specification of the UML Metamodel for Building Rigorous Caise Tools. [Research Report] CEDRIC-99-91, CEDRIC Lab/CNAM. 1999. ⟨hal-01124520⟩
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⟩
Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013 || gibson98b, 1998, 27 p. ⟨inria-00098729⟩
Jean-Paul Gibson. An Object Oriented Requirements Capture and Analysis Environment. [Intern report] 98-R-010 || gibson98g, 1998, 33 p. ⟨inria-00098728⟩

Theses4 document

Georgios Bouloukakis. Enabling emergent mobile systems in the IoT : from middleware-layer communication interoperability to associated QoS analysis. Hardware Architecture [cs.AR]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066234⟩. ⟨tel-01592623v4⟩
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⟩
Djamel Belaïd. Progiciel INDA pour l'analyse des données : INtelligent Data Analysis. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1985. Français. ⟨NNT : ⟩. ⟨tel-00318680⟩

HDR thesis3 document

Denis Conan. Contributions aux systèmes répartis en environnements ubiquitaires : adaptation, sensibilité au contexte et tolérance aux fautes. Calcul parallèle, distribué et partagé [cs.DC]. Télécom SudParis, 2015. ⟨tel-01255040⟩
Walid Gaaloul. Supporting service consumption : advanced discovery and recommendation techniques. Software Engineering [cs.SE]. Télécom Ecole de Management, 2014. ⟨tel-01266701⟩
John Paul Gibson. Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). Software Engineering [cs.SE]. Télécom Sud Paris, 2011. ⟨tel-01363179⟩

Distributed Systems, Software Engineering and Middleware - DiSSEM group

Publications

Contact

Domains

Keywords

Authors

Affiliated authors

Journals

Year of production

Institutions

Laboratories

Departments

Research team

Journal articles150 document

Conference papers419 document

Poster communications4 document

Proceedings6 document

Special issue2 document

Books11 document

Book sections25 document

Preprints, Working Papers6 document

Reports19 document

Theses4 document

HDR thesis3 document

Other news

Jobs