Search:
By Type:
Books
| 2023 | |
| [25] | Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022, (Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel, eds.), CEUR-WS.org, volume 3333, 2023. [bibtex] [pdf] |
| 2022 | |
| [24] | Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2022. [bibtex] [pdf] |
| [23] | Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, (Bo Luo, Mohamed Mosbah, Frédéric Cuppens, Lotfi Ben Othmane, Nora Cuppens, Slim Kallel, eds.), Springer, volume 13204, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [22] | Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019, (Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai, eds.), Éditions RNTI, volume L-9, 2021. [bibtex] [pdf] |
| 2020 | |
| [21] | , The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24--26, 2020, Proceedings, Springer Nature, 2020. [bibtex] |
| [20] | Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, (Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem, eds.), Springer, volume 12026, 2020. [bibtex] [doi] |
| 2019 | |
| [19] | Service-Oriented Computing - 17th International Conference, ICSOC Toulouse, France, October 28-31, 2019, Proceedings, (Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari, eds.), Springer, volume 11895, 2019. [bibtex] [pdf] [doi] |
| 2017 | |
| [18] | , Modélisation et alignement des politiques de sécurité des Services Web: Approche sémantique basée sur le standard WS-SecurityPolicy, Editions universitaires europ ennes, 2017. [bibtex] |
| 2016 | |
| [17] | , Proceedings of the 14th International Conference on Inclusive Smart Cities and Digital Health-Volume 9677, Springer-Verlag, 2016. [bibtex] |
| [16] | Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, (Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, Ernesto Exposito, eds.), Hermann-Éditions, volume L-8, 2016. [bibtex] |
| [15] | , Special issue Editorial: New technologies of distributed systems, volume 28, 2016. [bibtex] [doi] |
| 2015 | |
| [14] | , Mobilit Des Sessions Dans Les Communications Multim dias Etude se ma Mobilit ses Sessions bas es sur le Protocole SIP avant, durant et apr s l' tablissement des communications., 2015. [bibtex] |
| [13] | , Inclusive Smart Cities and E-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings, Springer, 2015. [bibtex] |
| [12] | , Special issue: provisioning and management of cloud computing services, International Journal of Cloud Computing, volume 4, 2015. [bibtex] |
| 2013 | |
| [11] | , Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] |
| [10] | , Special Issue: Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems, Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] |
| [9] | , Radio Link Quality Estimation in Low-Power Wireless Networks, Springer, 2013. [bibtex] |
| 2010 | |
| [8] | , Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), IEEE, 2010. [bibtex] |
| 2009 | |
| [7] | , Ontology Based Context-Aware Adaptation Approach, 2009. [bibtex] |
| [6] | , Special Issue: The International Conference on Risks and Security of Internet And Systems, International Journal of Information and Computer Security, InderScience Publisher, volume 3/4, 2009. [bibtex] |
| 2008 | |
| [5] | , Proceedings of the Third International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE, 2008. [bibtex] |
| [4] | , Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2008. [bibtex] |
| 2007 | |
| [3] | , Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2007. [bibtex] |
| 2006 | |
| [2] | , Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2006. [bibtex] |
| 2004 | |
| [1] | , Génie Logiciel et Intelligence Artificielle, Centre de Publication Universitaire, 2004. [bibtex] |
Book Chapters
| 2021 | |
| [14] | , A Scoping Review of the Literature on the Current Mental Health Status of Developers, Chapter in , Springer International Publishing, 2021. [bibtex] [doi] |
| 2020 | |
| [13] | , Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities, Chapter in Smart Infrastructure and Applications, Springer, Cham, 2020. [bibtex] |
| [12] | , Security Testing of Internet of Things for Smart City Applications: A Formal Approach, Chapter in Smart Infrastructure and Applications, Springer, Cham, 2020. [bibtex] |
| 2018 | |
| [11] | , Composite Event Handling over a Distributed Event-Based System, Chapter in (Roger Lee, ed.), Springer International Publishing, 2018. [bibtex] [doi] |
| 2014 | |
| [10] | , Handbook of Research on Architectural Trends in Service-Driven Computing, Chapter in Discovering Services in Mobile Environments: Discussion and Evaluation of Trends, IGI Global, volume 2, 2014. [bibtex] [doi] |
| [9] | , DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services., Chapter in (Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, eds.), Springer, 2014. [bibtex] [doi] |
| [8] | , EasyLoc: Plug-and-Play RSS-Based Localization in Wireless Sensor Networks, Chapter in (Anis Koubâa, Abdelmajid Khelil, eds.), Springer Berlin Heidelberg, volume 507, 2014. [bibtex] [doi] |
| 2013 | |
| [7] | , Modélisation et analyse de systèmes embarqués, Chapter in Génération de code partir du modèle (Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, eds.), Hermes Science, 2013. [bibtex] |
| [6] | , Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Chapter in Model-Based Code Generation (Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, eds.), Wiley-ISTE, 2013. [bibtex] |
| 2012 | |
| [5] | , A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures, Chapter in Business System Management and Engineering - From Open Issues to Applications [partially an outcome of the International Workshop on Business System Management and Engineering (BSME), Springer, volume 7350, 2012. [bibtex] [doi] |
| 2011 | |
| [4] | , State-of-the-art assistive technology for people with dementia, Chapter in Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives, IGI Global, 2011. [bibtex] |
| [3] | , Methodologies for Non-functional Requirements in Service-oriented Architecture, Chapter in A Unified Deployment and Management Model for Dynamic and Distributed Software Architectures (N. Milanovic (Ed.), ed.), IGI Global, volume ch010, 2011. [bibtex] [doi] |
| [2] | , Mission-aware adaptive communication for collaborative mobile entities, Chapter in , IGI Global, 2011. [bibtex] [doi] |
| [1] | , Modern Software Engineering Concepts and Practices: Advanced Approaches, Chapter in Description, classification and discovery approaches for software components: a comparative study (Ali H. Dogru, Veli Biçer, eds.), IGI Global, 2011. [bibtex] [doi] |
Refereed Articles
| 2023 | |
| [249] | , NFT-IoT Pharma Chain: IoT Drug traceability system based on Blockchain and Non Fungible Tokens (NFTs), In Journal of King Saud University-Computer and Information Sciences, Elsevier, 2023. [bibtex] |
| [248] | , Personalized, Context-Aware, and Adaptable Persuasive Approach for Encouraging Physical Activity among Older Adults, In Entertainment Computing, Elsevier, 2023. [bibtex] |
| [247] | , Introduction to the special issue on new trends in autonomous systems engineering, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [246] | , MAPE-K patterns for self-adaptation in cyber-physical systems, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [245] | , A core IoT ontology for automation support in edge computing, In Serv. Oriented Comput. Appl., volume 17, 2023. [bibtex] [pdf] [doi] |
| [244] | , Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications, In J. Syst. Softw., volume 195, 2023. [bibtex] [pdf] [doi] |
| [243] | , UML design for access control architecture in smart building application, In Concurr. Comput. Pract. Exp., volume 35, 2023. [bibtex] [pdf] [doi] |
| 2022 | |
| [242] | , EPMA: Elastic Platform for Microservices-based Applications: Towards Optimal Resource Elasticity, In Journal of Grid Computing, Springer Science and Business Media LLC, volume 20, 2022. [bibtex] [pdf] [doi] |
| [241] | , A Smart Contract-Based Access Control Framework For Smart Healthcare Systems, In The Computer Journal, 2022. (bxac183) [bibtex] [pdf] [doi] |
| [240] | , Decision-Making Approach for an IoRT-Aware Business Process Outsourcing, In Digital, MDPI, volume 2, 2022. [bibtex] |
| [239] | , Multi-objective approach for scheduling time-aware business processes in cloud-fog environment, In The Journal of Supercomputing, Springer, 2022. [bibtex] |
| [238] | , Lorachaincare: An iot architecture integrating blockchain and lora network for personal health care data monitoring, In Sensors, MDPI, volume 22, 2022. [bibtex] |
| [237] | , Long Gaps Missing IoT Sensors Time Series Data Imputation: A Bayesian Gaussian Approach, In IEEE Access, IEEE, volume 10, 2022. [bibtex] |
| [236] | , A model transformation approach for multiscale modeling of software architectures applied to smart cities, In Concurrency and Computation: Practice and Experience, volume 34, 2022. [bibtex] [pdf] [doi] |
| [235] | , SEALEA: Scalable and Energy Aware k-Leaders Election Algorithm in IoT Wireless Sensor Networks, In Wirel. Pers. Commun., volume 125, 2022. [bibtex] [pdf] [doi] |
| [234] | , Performance evaluation of the Over-The-Air activation procedure in a large scale LoRaWAN, In Wireless Networks, volume 28, 2022. [bibtex] [pdf] [doi] |
| [233] | , Modeling Autonomic Systems: Review, Classification, and Research Challenges, In International Journal of Software Innovation (IJSI), volume 10, 2022. [bibtex] [pdf] |
| [232] | , A time interval-based approach for business process fragmentation over cloud and edge resources, In Serv. Oriented Comput. Appl., volume 16, 2022. [bibtex] [pdf] [doi] |
| [231] | , Wake-Up Receiver-Based Routing for Clustered Multihop Wireless Sensor Networks, In Sensors, volume 22, 2022. [bibtex] [pdf] [doi] |
| [230] | , Cybersecurity attacks on CAN bus based vehicles: a review and open challenges, In Libr. Hi Tech, volume 40, 2022. [bibtex] [pdf] [doi] |
| [229] | , Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems, In Innov. Syst. Softw. Eng., volume 18, 2022. [bibtex] [pdf] [doi] |
| [228] | , Model-Driven Simulation of Elastic OCCI Cloud Resources, In Comput. J., volume 65, 2022. [bibtex] [pdf] [doi] |
| [227] | , NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates, In Software: Practice and Experience, volume 52, 2022. [bibtex] [pdf] [doi] |
| [226] | , Personalized attention-based EEG channel selection for epileptic seizure prediction, In Expert Systems with Applications, volume 206, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [225] | , Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario, In J. Inf. Secur. Appl., volume 58, 2021. [bibtex] [pdf] [doi] |
| [224] | , A Formal Testing Model for Operating Room Control System Using Internet of Things, In Computers, Materials & Continua, volume 66, 2021. [bibtex] [pdf] [doi] |
| [223] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [doi] |
| [222] | , Guest editorial: Selected papers from the International Conference on Smart Living and Public Health, In IET Smart Cities, volume 3, 2021. [bibtex] |
| [221] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Software, volume 15, 2021. [bibtex] [pdf] [doi] |
| [220] | , A new deep learning-based distance and position estimation model for range-based indoor localization systems, In Ad Hoc Networks, volume 114, 2021. [bibtex] [pdf] [doi] |
| [219] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [pdf] [doi] |
| [218] | , A survey on runtime testing of dynamically adaptable and distributed systems, In Softw. Qual. J., volume 29, 2021. [bibtex] [pdf] [doi] |
| [217] | , A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [216] | , Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [215] | , Special issue on risk and security of smart systems, In J. Inf. Secur. Appl., volume 61, 2021. [bibtex] [pdf] [doi] |
| [214] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Softw., volume 15, 2021. [bibtex] [pdf] [doi] |
| [213] | , Restriction-based fragmentation of business processes over the cloud, In Concurr. Comput. Pract. Exp., volume 33, 2021. [bibtex] [pdf] [doi] |
| [212] | , Fog computing and Internet of Things in one building block: a survey and an overview of interacting technologies, In Clust. Comput., volume 24, 2021. [bibtex] [pdf] [doi] |
| 2020 | |
| [211] | , Docker-C2A : Cost-Aware Autoscaler of Docker Containers for Microservices-based Applications, In Advances in Science, Technology and Engineering Systems Journal, ASTES Journal, volume 5, 2020. [bibtex] [pdf] [doi] |
| [210] | , A formal approach to AADL model-based software engineering, In International Journal on Software Tools for Technology Transfer, volume 22, 2020. [bibtex] [doi] |
| [209] | , Towards a Formal Specification for an AADL Behavioural Subset Using the LNT Language, In International Journal of Business and Systems Research, volume 14, 2020. [bibtex] [doi] |
| [208] | , Do digital students show an inclination toward continuous use of academic library applications? A case study, In The Journal of Academic Librarianship, Elsevier, 2020. [bibtex] |
| [207] | , Efficient Depth Features for Age-Group Classification, In International Journal Of Science and Technoledge, volume 8, 2020. [bibtex] [doi] |
| [206] | , A decision system for computational authors profiling: From machine learning to deep learning, In Concurrency and Computation: Practice and Experience, Wiley Online Library, 2020. [bibtex] |
| [205] | , A co-training-based approach for the hierarchical multi-label classification of research papers, In Expert Systems, Wiley Online Library, 2020. [bibtex] |
| [204] | , Hybrid Deep Neural Network-Based Text Representation Model to Improve Microblog Retrieval, In Cybernetics and Systems, Taylor & Francis, volume 51, 2020. [bibtex] |
| [203] | , Dynamic VNF Forwarding Graph Extension Algorithms, In IEEE Transactions on Network and Service Management, IEEE, 2020. [bibtex] |
| [202] | , Modeling and proving distributed algorithms for dynamic graphs, In Future Generation Computer Systems, Elsevier, 2020. [bibtex] |
| [201] | , Pilot Site Deployment of an IoT Solution for Older Adults’ Early Behavior Change Detection, In Sensors, Multidisciplinary Digital Publishing Institute, volume 20, 2020. [bibtex] |
| [200] | , Extension and adaptation of an aspect oriented programming language for real-time systems, In International Journal of Business and Systems Research (IJBSR), volume 14, 2020. [bibtex] [pdf] [doi] |
| [199] | , A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems, In Distributed Parallel Databases, volume 38, 2020. [bibtex] [pdf] [doi] |
| [198] | , Toward a correct and optimal time-aware cloud resource allocation to business processes, In Future Gener. Comput. Syst., volume 112, 2020. [bibtex] [doi] |
| [197] | , Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi] |
| [196] | , A Framework for Detecting and Analyzing Behavior Changes of Elderly People over Time Using Learning Techniques, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [195] | , Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi] |
| [194] | , Automatic Age Estimation: a survey, In Journal Computación y Sistemas, volume 24, 2020. [bibtex] [pdf] |
| [193] | , A Guiding Framework for Vetting the Internet of Things, In J. Inf. Secur. Appl., volume 55, 2020. [bibtex] [doi] |
| [192] | , Time-aware selection approach for service composition based on pruning and improvement techniques, In Softw. Qual. J., volume 28, 2020. [bibtex] [pdf] [doi] |
| [191] | , A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi] |
| [190] | , Vehicle Platooning Systems: Review, Classification and Validation Strategies, In Int. J. Networked Distributed Comput., volume 8, 2020. [bibtex] [pdf] [doi] |
| [189] | , New trends in adaptive smart systems, services, and architectures, In Concurr. Comput. Pract. Exp., volume 32, 2020. [bibtex] [pdf] [doi] |
| [188] | , Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [187] | , DHPV: a distributed algorithm for large-scale graph partitioning, In J. Big Data, volume 7, 2020. [bibtex] [pdf] [doi] |
| [186] | , Business process specification, verification, and deployment in a mono-cloud, multi-edge context, In Comput. Sci. Inf. Syst., volume 17, 2020. [bibtex] [doi] |
| [185] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Syst. J. Knowl. Eng., volume 37, 2020. [bibtex] [pdf] [doi] |
| [184] | , Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy, In IEEE Journal of Biomedical and Health Informatics, volume 24, 2020. [bibtex] [doi] |
| 2019 | |
| [183] | , Vehicular cloud networking: evolutionary game with reinforcement learning-based access approach, In International Journal of Bio-Inspired Computation, Inderscience Publishers (IEL), volume 13, 2019. [bibtex] |
| [182] | , TEPaaS: test execution platform as-a-service applied in the context of e-health, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers (IEL), volume 12, 2019. [bibtex] |
| [181] | , Improving formal verification and testing techniques for internet of things and smart cities, In Mobile Networks and Applications, Springer, 2019. [bibtex] |
| [180] | , Vehicular fog gateways selection on the internet of vehicles: A fuzzy logic with ant colony optimization based approach, In Ad Hoc Networks, Elsevier, volume 91, 2019. [bibtex] |
| [179] | , A Deep Learning-based Ranking Approach for Microblog Retrieval, In Procedia Computer Science, Elsevier, volume 159, 2019. [bibtex] |
| [178] | , Energy-efficient on-demand indoor localization platform based on wireless sensor networks using low power wake up receiver, In Ad Hoc Networks, Elsevier, volume 93, 2019. [bibtex] |
| [177] | , An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, Springer US, volume 12, 2019. [bibtex] |
| [176] | , Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks, In Computación y Sistemas, volume 23, 2019. [bibtex] |
| [175] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Systems, volume , 2019. [bibtex] [doi] |
| [174] | , An overview of a novel analysis approach for enhancing context awareness in smart environments, In Information and Software Technology, volume 111, 2019. [bibtex] [pdf] [doi] |
| [173] | , Feature models as service contracts in service oriented architecture, In International Journal of Services Technology and Management, volume 25, 2019. [bibtex] [pdf] [doi] |
| [172] | , Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi] |
| [171] | , Executing bigraphical reactive systems, In Discrete Applied Mathematics, volume 253, 2019. [bibtex] [doi] |
| [170] | , A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric, In Sci. Comput. Program., volume 184, 2019. [bibtex] [doi] |
| 2018 | |
| [169] | , Multi-objective design exploration approach for Ravenscar real-time systems, In Real-Time Systems, volume 54, 2018. [bibtex] [doi] |
| [168] | , Adaptive MBSFN subframe allocation scheme for VBR video streaming over LTE-A networks, In Transactions on Emerging Telecommunications Technologies, Wiley Online Library, 2018. [bibtex] |
| [167] | , Detection of dynamic and overlapping communities in social networks, In Int. J. Appl. Eng. Res, volume 13, 2018. [bibtex] |
| [166] | , Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex] |
| [165] | , Long-term behavior change detection approach through objective technological observations toward better adaptation of services for elderly people, In Health and Technology, Springer Berlin Heidelberg, volume 8, 2018. [bibtex] |
| [164] | , A Semantic Approach for Tweet Categorization, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [163] | , Impacts of Temperature and Humidity variations on RSSI in indoor Wireless Sensor Networks, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [162] | , Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex] |
| [161] | , Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi] |
| [160] | , A performance analysis of Orchestra scheduling for time-slotted channel hopping networks, In Internet Technology Letters, 2018. [bibtex] |
| [159] | , Autonomous and traffic-aware scheduling for TSCH networks, In Computer Networks, volume 135, 2018. [bibtex] [doi] |
| [158] | , Video-processing-based system for automated pedestrian data collection and analysis when crossing the street, In Journal of Electronic Imaging, volume 27, 2018. [bibtex] [doi] |
| [157] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBS, volume 8, 2018. [bibtex] [doi] |
| [156] | , IT Governance in Higher Education Institutions: A Systematic Literature Review, In IJHCITP, volume 9, 2018. [bibtex] [doi] |
| [155] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBSaaa, volume 8, 2018. [bibtex] |
| [154] | , An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, 2018. [bibtex] [doi] |
| [153] | , Avoiding resource misallocations in business processes, In Concurrency and Computation: Practice and Experience, 2018. [bibtex] [doi] |
| [152] | , MF-Re-Rank: A modality feature-based Re-Ranking model for medical image retrieval, In JASIST, volume 69, 2018. [bibtex] [doi] |
| [151] | , Data accuracy aware mobile healthcare applications, In Computers in Industry, volume 97, 2018. [bibtex] [doi] |
| [150] | , Performance efficiency of a predictive scheme into publish/subscribe, In Int. J. Commun. Networks Distributed Syst., volume 21, 2018. [bibtex] [pdf] [doi] |
| [149] | , A novel adaptation approach for collaborative ubiquitous applications, In IJAACS, volume 11, 2018. [bibtex] [doi] |
| 2017 | |
| [148] | , A novel analysis approach for the design and the development of context-aware applications, In Journal of Systems and Software, volume 133, 2017. [bibtex] |
| [147] | , A Multi-scale Modeling Approach for Systems of Systems Architectures, In SIGAPP Applied Computing Review, ACM, volume 17, 2017. [bibtex] [pdf] [doi] |
| [146] | , A context change detection approach for ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, volume 10, 2017. [bibtex] |
| [145] | , Recognition of Learner’s Personality Traits through Digital Annotations in Distance Learning, In International Journal of Distance Education Technologies, volume Volume 15, 2017. [bibtex] |
| [144] | , Generating reusable, searchable and executable “architecture constraints as services, In Journal of Systems and Software, Elsevier, volume 127, 2017. [bibtex] |
| [143] | , Privacy in cloud computing environments: a survey and research challenges, In The Journal of Supercomputing, Springer, volume 73, 2017. [bibtex] |
| [142] | , A bigraphical multi-scale modeling methodology for system of systems, In Computers & Electrical Engineering, volume 58, 2017. [bibtex] [doi] |
| [141] | , Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms, In JSW, volume 12, 2017. [bibtex] [pdf] [doi] |
| [140] | , Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms, In Wireless Personal Communications, volume 95, 2017. [bibtex] [doi] |
| [139] | , Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning, In IJDET, volume 15, 2017. [bibtex] [doi] |
| [138] | , CEP4HFP: Complex Event Processing for Heart Failure Prediction, In IEEE Transactions on NanoBioscience, volume 16, 2017. [bibtex] [doi] |
| [137] | , Accountability management for multi-tenant cloud services, In International Journal of Grid and Utility Computing, volume 8, 2017. [bibtex] |
| [136] | , Software Agents meet Internet of Things, In Internet Technology Letters, Willey, volume , 2017. [bibtex] [doi] |
| [135] | , Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents, In IJSSC, volume 7, 2017. [bibtex] [doi] |
| [134] | , Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations, In RAIRO-Theor. Inf. Appl., volume 51, 2017. [bibtex] [doi] |
| [133] | , Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [132] | , A semantic-based representation and analysis of monitoring data for self-adaptive systems, In Int. J. Auton. Comp., volume 2, 2017. [bibtex] [doi] |
| [131] | , Gait features fusion for efficient automatic age classificationl, In IET Computer vision, 2017. [bibtex] [doi] |
| [130] | , Gait-based human age classification using a silhouette model, In IET Biometrics, 2017. [bibtex] [doi] |
| [129] | , Describing correct deployment architectures based on a bigraphical multi-scale modeling approach, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [128] | , Automated and flexible composition based on abstract services for a better adaptation to user intentions, In Future Gener. Comput. Syst., volume 68, 2017. [bibtex] [pdf] [doi] |
| [127] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In J. Supercomput., volume 73, 2017. [bibtex] [pdf] [doi] |
| [126] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, volume 68, 2017. [bibtex] |
| [125] | , Proving Distributed Coloring of Forests in Dynamic Networks, In Computación y Sistemas, volume 21, 2017. [bibtex] [pdf] [doi] |
| [124] | , Reactive Performance Monitoring of Cloud Computing Environments, In Cluster Computing, volume 20, 2017. [bibtex] |
| [123] | , Special issue on advanced technologies enabling adaptive and collaborative smart systems, In Future Generation Computer Systems, 2017. [bibtex] |
| [122] | , Mining correlations between medically dependent features and image retrieval models for query classification, In JASIST, volume 68, 2017. [bibtex] |
| [121] | , A Design Guideline for Adaptation Decisions in the Autonomic Loop, In Procedia Computer Science, volume 112, 2017. (Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference, KES-20176-8 September 2017, Marseille, France) [bibtex] [doi] |
| [120] | , Towards an Optimized Scheme for Mobile Subscribers Based on Cloud Computing, In Procedia Computer Science, volume 112, 2017. [bibtex] [doi] |
| [119] | , An Evaluative Review and Research Challenges of the Simulation in Cloud Environment, In Int. J. Softw. Innov., volume 5, 2017. [bibtex] [pdf] [doi] |
| [118] | , Vehicular cloud networks: Challenges, architectures, and future directions, In Vehicular Communications, Elsevier, volume 9, 2017. [bibtex] |
| 2016 | |
| [117] | , Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex] |
| [116] | , Processus pour la génération automatique de composants exécutables partir de contraintes d'architecture, In Revue des Nouvelles Technologies de l'Information, volume Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, RNTI-L-8, 2016. [bibtex] |
| [115] | , Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex] |
| [114] | , An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex] |
| [113] | , A Development Process for the Design, Implementation and Code Generation of Fault Tolerant Reconfigurable Real Time Systems, In International Journal of Autonomous and Adaptive Communications Systems, IJAACS, Inderscience Publishers, volume (3/4), 2016. [bibtex] |
| [112] | , From Event-B specifications to programs for distributed algorithms, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS),, volume 9, 2016. [bibtex] [doi] |
| [111] | , Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi] |
| [110] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi] |
| [109] | , Analytical decisional model for latency aware publish/subscribe systems on \MANET\, In Journal of Systems and Software, 2016. () [bibtex] [doi] |
| [108] | , Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, In Science of Computer Programming (SCP), Elsevier, volume 122, 2016. [bibtex] |
| [107] | , Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex] |
| [106] | , Comparative study of web annotation systems used by learners to enhance educational practices: features and services, In International Journal of Technology Enhanced Learning, Inderscience, volume 8, 2016. [bibtex] [doi] |
| [105] | , Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview, In International Journal of Emerging Technologies in Learning, volume 11, 2016. [bibtex] [doi] |
| [104] | , Vers une modélisation formelle basée sur le rafinnement des systèmes multi-agents auto-organisateurs, In Revue d'Intelligence Artificielle, volume 30, 2016. [bibtex] [doi] |
| [103] | , A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In International Journal of Agent-Oriented Software Engineering, 2016. [bibtex] |
| [102] | , A Distributed and Flexible Architecture for Internet of Things, In Procedia Computer Science, 2016. [bibtex] [doi] |
| [101] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi] |
| [100] | , The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA, In Service Oriented Computing and Applications, Springer, 2016. [bibtex] |
| [99] | , Developing correct adapters for software architectural dynamic reconfiguration, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS), volume 9, 2016. [bibtex] |
| [98] | , Mining correlations between medically dependent features and image retrieval models for query classification, In Journal of the Association for Information Science Technology (JASIST 2016), Wiley-Blackwell, 2016. [bibtex] |
| [97] | , SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex] |
| 2015 | |
| [96] | , Uncertainty handling in semantic reasoning for accurate context understanding, In Knowledge-Based Systems, Elsevier, volume 77, 2015. [bibtex] |
| [95] | , Semantic web service discovery in a mobile environment, In International Journal of Internet Manufacturing and Services, volume 4, 2015. [bibtex] [doi] |
| [94] | , A comparative evaluation of state-of-the-art load and stress testing approaches, In IJCAT, volume 51, 2015. [bibtex] [doi] |
| [93] | , Study on the Limitations of WS-BPEL Compositions Under Load Conditions, In Comput. J., volume 58, 2015. [bibtex] [doi] |
| [92] | , A bottleneck-free tree-based name resolution system for Information-Centric Networking, In Computer Networks, volume 91, 2015. [bibtex] [doi] |
| [91] | , Latency-aware publish/subscribe systems on MANET, In International Journal of Wireless and Mobile Computing (IJWMC), volume 8, 2015. [bibtex] [doi] |
| [90] | , Runtime testing approach of structural adaptations for dynamic and distributed systems, In Journal of Computer Applications in Technology, volume 51, 2015. [bibtex] [doi] |
| [89] | , A Context Change Detection Approach For Ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers, 2015. [bibtex] |
| [88] | , Context analysis approach for context aware applications deployed on pervasive environments, In EAI Endorsed Trans. Context-aware Syst. & Appl., volume 2, 2015. [bibtex] [doi] |
| [87] | , Threshold-based context analysis approach for ubiquitous systems, In Concurrency and Computation: Practice and Experience (CPE 2013), Wiley, volume 27, 2015. [bibtex] [doi] |
| [86] | , Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [doi] |
| [85] | , CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, 2015. [bibtex] [doi] |
| [84] | , Middleware for Internet of Things: a study, In , IEEE, 2015. [bibtex] [doi] |
| [83] | , Time-Dependent QoS Aware Best Service Combination Selection, In Int. J. Web Service Res., volume 12, 2015. [bibtex] [doi] |
| [82] | , A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [doi] |
| [81] | , Reliable link quality estimation in low-power wireless networks and its impact on tree-routing, In Ad Hoc Networks, volume 27, 2015. [bibtex] [pdf] [doi] |
| [80] | , The temporal perspective in business process modeling: a survey and research challenges, In Service Oriented Computing and Applications, volume 9, 2015. [bibtex] [doi] |
| [79] | , A game approach to determinize timed automata, In Formal Methods in System Design, volume 46, 2015. [bibtex] [doi] |
| 2014 | |
| [78] | , Interoperability for medical information systems: an overview, In Health and Technology, Springer Berlin Heidelberg, volume 4, 2014. [bibtex] [doi] |
| [77] | , D-CEP4CMA: A Dynamic Architecture for Cloud Performance Monitoring and Analysis via Complex Event Processing, In International Journal of Big Data Intelligence, Inderscience Publishers, volume 1, 2014. [bibtex] |
| [76] | , Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publisher, Inderscience Publishers, 2014. [bibtex] |
| [75] | , Vers une architecture d’auto-réparation sur le Cloud Computing, In Revue des Nouvelles Technologies de l'Information, volume 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, 2014. [bibtex] |
| [74] | , A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus, In Procedia Computer Science, volume 32, 2014. (The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)) [bibtex] [doi] |
| [73] | , A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services, In IJMSO, volume 9, 2014. [bibtex] [doi] |
| [72] | , A New Annotation System based on a Semantic Analysis of Learnerís Annotative Activity to Invoke Web Services, In International Journal of Metadata, Semantics and Ontologies, Inderscience, volume 9, 2014. [bibtex] [doi] |
| 2013 | |
| [71] | , Handling Nodes Mobility and Failure During Bootstrapping in Randomly Deployed Ring-based Wireless Sensor Networks, In International Journal of Recent Contributions from Engineering, Science & IT (iJES), IJES, volume 1, 2013. [bibtex] [doi] |
| [70] | , Distributed Hash table-based routing and data management in wireless sensor networks: a survey, In ACM/Springer Wireless Networks (WINET):The Journal of Mobile Communication, Computation and Information, ACM/Springer, volume 19, 2013. [bibtex] [doi] |
| [69] | , Hierarchical neural networks based prediction and control of dynamic reconfiguration for multilevel embedded systems, In ELSEVIER, journal of Systems Architecture, ELSEVIER, volume 59, 2013. [bibtex] [doi] |
| [68] | , Deployment of assistive living technology in a nursing home environment: methods and lessons learned, In BMC Medical Informatics and Decision Making, BioMed Central, volume 13, 2013. [bibtex] |
| [67] | , An adaptable and flexible framework for assistive living of cognitively impaired people, In IEEE journal of biomedical and health informatics, IEEE, volume 18, 2013. [bibtex] |
| [66] | , A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi] |
| [65] | , Communities of Web service registries: Construction and management, In Journal of Systems and Software, volume 86, 2013. [bibtex] [doi] |
| [64] | , AO4AADL: Aspect oriented extension for AADL, In Central European Journal of Computer Science, Versita, Springer, volume 3, 2013. [bibtex] [doi] |
| [63] | , Towards error-handling-aware choreography to orchestration transformation approach, In Intnational Journal of Collaborative Enterprise, volume 3, 2013. [bibtex] |
| [62] | , Towards an approach for managing dynamic deployment in distributed service oriented architectures, In International Journal of Collaborative Enterprise, volume Vol.3, 2013. [bibtex] [doi] |
| [61] | , A policy-based approach for strong mobility of composed Web services, In Service Oriented Computing and Applications, Springer-Verlag, volume 7, 2013. [bibtex] [doi] |
| [60] | , Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi] |
| [59] | , Taxonomy of Fundamental Concepts of Localization in Cyber-Physical and Sensor Networks, In Wireless Personal Communications, volume 72, 2013. [bibtex] [doi] |
| [58] | , An Approach of Assistance of Learner's Annotative Activity through Web Services, In Australian Journal of Intelligent Information Processing Systems (AJIIPS), volume 13, 2013. [bibtex] |
| [57] | , Experimental Performance Evaluation and Frame Aggregation Enhancement in IEEE 802.11n WLANs, In International Journal of Communication Networks and Information Security, volume 5, 2013. [bibtex] |
| [56] | , Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach, In Concurrency and Computation:Practice and Experience, Wiley, 2013. [bibtex] |
| [55] | , Investigating the document structure as a source of evidence for multimedia fragment retrieval, In Inf. Process. Manage., volume 49, 2013. [bibtex] [doi] |
| [54] | , Randomized broadcasting in wireless mobile sensor networks, In Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] [doi] |
| [53] | , Towards a semantic-driven and scalable publish/subscribe framework, In International Journal of Internet Protocol Technology, volume 7, 2013. [bibtex] [doi] |
| [52] | , Mobility Management in Publish/Subscribe Middleware., In Mobility Management in Publish/Subscribe Middleware, IGI, volume 4, 2013. [bibtex] [doi] |
| 2012 | |
| [51] | , Radio link quality estimation in wireless sensor networks: A survey, In ACM Trans. Sen. Netw., ACM, volume 8, 2012. [bibtex] [doi] |
| [50] | , New trends to support independence in persons with mild dementia--a mini-review, In Gerontology, Karger Publishers, volume 58, 2012. [bibtex] |
| [49] | , A formal framework for black-box conformance testing of distributed real-time systems, In IJCCBS, volume 3, 2012. [bibtex] [doi] |
| [48] | , Off-line test selection with test purposes for non-deterministic timed automata, In Logical Methods in Computer Science, volume 8, 2012. [bibtex] [doi] |
| [47] | , A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In In the Journal of New technologies of Information (RNTI), CAL'2011, 2012. [bibtex] |
| [46] | , Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi] |
| [45] | , A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex] |
| [44] | , Combination of document structure and links for multimedia object retrieval, In Journal of Information Science, volume 38, 2012. [bibtex] [doi] |
| 2011 | |
| [43] | , RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks, In Ad Hoc Netw., Elsevier Science Publishers B. V., volume 9, 2011. [bibtex] [doi] |
| [42] | , Object-based Video compression using neural networks, In , 2011. [bibtex] |
| [41] | , Research Article Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices, In , Hindawi Publishing Corporation, 2011. [bibtex] [doi] |
| [40] | , From context to micro-context--Issues and challenges in sensorizing smart spaces for assistive living, In Procedia Computer Science, Elsevier, volume 5, 2011. [bibtex] |
| [39] | , A Survey on Software Checkpointing and Mobility Techniques in Distributed Systems, In Concurrency and Computation: Practice and Experience, Wiley, volume 23, 2011. [bibtex] [doi] |
| 2010 | |
| [38] | , Energy-aware Virtual Ring Routing in Wireless Sensor Networks , In Network Protocols and Algorithms, Macrothink Institute, volume 2, 2010. [bibtex] [doi] |
| [37] | , A large-scale monitoring and measurement campaign for web services-based applications, In Concurrency and Computation: Practice and Experience, Wiley, volume 22, 2010. [bibtex] [doi] |
| [36] | , P/S-CoM: Building Correct by Design Publish/Subscribe Architectural Styles with Safe Reconfiguration, In Journal of Systems and Software, volume 83, 2010. [bibtex] [doi] |
| [35] | , Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs, In revue des nouvelles technologies RNTI L5 CAL 2010, Cépaduès, 2010. [bibtex] |
| [34] | , ODACE SLA: Ontology Driven Approach for automatic Establishment of Service Level Agreements, In International Journal of Systems and Service-Oriented Engineering 2010, IGI global, volume 1, 2010. [bibtex] |
| [33] | , An integration ontology for components composition, In International Journal of Web Portals (IJWP), IGI Global, volume 2, 2010. [bibtex] [doi] |
| [32] | , Satellite image restoration in the context of a spatially varying point spread function, In Journal of The Optical Society of America A-optics Image Science and Vision, volume 27, 2010. [bibtex] [doi] |
| [31] | , A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars, In International Journal of Autonomic Computing, volume 1, 2010. [bibtex] [doi] |
| [30] | , Graph grammar-based transformation for context-aware architectures supporting group communication, In Revue des Nouvelles Technologies de l'Information, volume L, 2010. [bibtex] |
| [29] | , An architectural refinement model for group-wide communications with priorities applied to the ROSACE project senario, In International Tarnsactions on Systems Science and Applications, volume 6, 2010. [bibtex] |
| 2009 | |
| [28] | , Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 7, 2009. [bibtex] |
| [27] | , QoS Aware Publish/Subscribe System Deployed on a Mobile Ad-hoc Network, In Communications of SIWN - The Systemics and Informatics World Network, volume 7, 2009. [bibtex] |
| [26] | , Dynamic security framework for mobile agent systems: specification, verification and enforcement, In International Journal of Information and Computer Security, Inderscience Publishers, volume 3, 2009. [bibtex] [doi] |
| [25] | , Conformance testing for real-time systems, In Formal Methods in System Design, volume 34, 2009. [bibtex] [doi] |
| [24] | , Semantic Enabled Framework for SLA Monitoring, In International Journal on Advances in Software, IARIA Journal, volume 2, 2009. [bibtex] |
| [23] | , A Holistic Approach for Access Control Policies: from Formal Specification to Aspect-Based Enforcement, In International Journal of Information and Computer Security, Inderscience publishers, volume 3, 2009. [bibtex] [doi] |
| [22] | , Experimental measurements of host identity protocol for mobile nodes networks, In Journal of Computer Systems, Networks, and Communications), 2009. [bibtex] |
| [21] | , A new approach to services differentiation between mobile terminals of a wireless LAN , In International Journal of Computer Science and Information Security, volume 3, 2009. [bibtex] |
| [20] | , A Distributed Computational Model for Mobile Agents, In International Journal of Grid Computing and Multi Agent Systems (GCMAS), volume 1, 2009. [bibtex] |
| 2008 | |
| [19] | , An experimental evaluation of SEC+, an enhanced search engine for component-based software development, In SIGSOFT Softw. Eng. Notes, ACM, volume 33, 2008. [bibtex] [doi] |
| [18] | , Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008. [bibtex] [doi] |
| [17] | , Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Communications of SIWN, volume 4, 2008. [bibtex] |
| [16] | , Providing predictive self-healing for web services: a QoS monitoring and analysis-based approach, In Journal of Information Assurance and Security (JIAS), volume 3, 2008. [bibtex] |
| 2007 | |
| [15] | , Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 5, 2007. [bibtex] |
| [14] | , From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex] |
| [13] | , ForMAAD: A Formal Method For Agent-Based Application Design, In Journal of Web Intelligence and Agent Systems, volume 5, 2007. [bibtex] |
| [12] | , SEC+: an enhanced search engine for component-based software development, In SIGSOFT Software Engineering Notes, ACM Press, volume 32, 2007. [bibtex] [doi] |
| [11] | , Context-Aware Adaptation for Group Communication Support Applications with Dynamic Architecture, In -System and Information Sciences Notes, volume 2, 2007. [bibtex] |
| 2006 | |
| [10] | , ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex] |
| 2005 | |
| [9] | , Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Information Sciences for Decision Making, Special Issue of The 8th MCSEAI'04, 2005. (Electronic Journal) [bibtex] |
| [8] | , Algebraic elimination of epsilon-transitions, In Discrete Mathematics and Theoretical Computer Science, volume 7, 2005. [bibtex] |
| 2003 | |
| [7] | , An Approach to the Formal Specification of Lingware, In Natural Language Engineering, Cambridge University Press, volume 9, 2003. [bibtex] [doi] |
| [6] | , Development of Communication Protocols Using Algebraic and Temporal Specifications, In Computer Networks Journal, Elsevier Science Publisher, volume 42, 2003. [bibtex] [doi] |
| 2002 | |
| [5] | , Guest editorial, In Journal of Systems and Software, volume 60, 2002. [bibtex] [doi] |
| [4] | , Guest editorial, In Journal of Systems and Software, , Special Issue on Artificial and Computational Intelligence for Decision Control, and Automation in Engineering and Industrial Applications, volume 60, 2002. [bibtex] |
| 2001 | |
| [3] | , A Belief-Goal-Role theory for multiagent systems, In International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing Company, volume 15, 2001. [bibtex] |
| 1996 | |
| [2] | , Specification of Communication Protocols using Temporal Logic, In Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems, Elsevier Science Inc., volume 33, 1996. [bibtex] [doi] |
| [1] | , A handshake algorithm for scheduling communications in wireless sensor networks, In Concurrency and Computation: Practice and Experience, volume . [bibtex] [doi] |
Refereed Conference Papers
| 2023 | |
| [598] | , A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning, In 2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA), volume , 2023. [bibtex] [doi] |
| [597] | , A Comparative Study of GAN Methods for Physiological Signal Generation, In Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods - ICPRAM,, SciTePress, 2023. [bibtex] [doi] |
| [596] | , InsectDSOT: A Neural Network for Insect Detection in Olive Trees, SciTePress, 2023. [bibtex] [doi] |
| [595] | , Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023 (Slim Kallel, Zakaria Benzadri, Ahmed Hadj Kacem, eds.), CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] |
| [594] | , Fault Diagnosis and Prognosis Modeling Methods in Predictive Maintenance: A Systematic Review, In 25th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2023 Summer, Taiyuan, Taiwan, July 5-7, 2023 (Wenai Song, Qiuxiang Yang, Simon Xu, Lizhen Fu, eds.), IEEE, 2023. [bibtex] [pdf] [doi] |
| [593] | , A Comparative Analysis of Time Series Prediction Techniques a Systematic Literature Review (SLR), In Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings (Mohamed Mosbah, M. Tahar Kechadi, Ladjel Bellatreche, Faïez Gargouri, eds.), Springer, volume 14396, 2023. [bibtex] [pdf] [doi] |
| [592] | , Proposal Generation Process for Ensuring the Negotiation within the Cloud Environment, In 19th International Wireless Communications & Mobile Computing Conference, IWCMC 2023, Marrakesh, Morocco, May 19-23, 2023, IEEE, 2023. [bibtex] |
| [591] | , InsectDSOT: A Neural Network for Insect Detection in Olive Trees, In Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 2, Lisbon, Portugal, February 22-24, 2023 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2023. [bibtex] [pdf] [doi] |
| [590] | , Prediction in Smart Environments and Administration: Systematic Literature Review, In Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3 (Leonard Barolli, ed.), Springer, volume 655, 2023. [bibtex] [pdf] [doi] |
| 2022 | |
| [589] | , Predicting Patient's Waiting Times in Emergency Department: A Retrospective Study in the CHIC Hospital Since 2019, In MEDI 2022 - International Conference on Model and Data Engineering, Springer Nature Switzerland, volume 1751, 2022. [bibtex] [pdf] [doi] |
| [588] | , A Systematic Literature Review on Insect Detection in Images, In 8th International Conference on Signal, Image Processing and Embedded Systems (SIGEM 2022), 2022. [bibtex] [pdf] |
| [587] | , Wake-up Receiver based routing protocol for indoor Wireless Sensor Networks, In 2022 18th International Conference on Network and Service Management (CNSM), 2022. [bibtex] |
| [586] | , Annotation Systems in the Medical Domain: A Literature Review, In Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27--30, 2022, Proceedings, 2022. [bibtex] |
| [585] | , Virtual Private Network Blockchain-based Dynamic Access control solution for inter-organisational large scale IoT networks, In 2022 17th International Conference on Risks and Security of Internet and Systems, 2022. [bibtex] |
| [584] | , Air Quality System in Smart City: Systematic Literature Review, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022 (Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel, eds.), CEUR-WS.org, volume 3333, 2022. [bibtex] [pdf] |
| [583] | , Formal Methods for the Verification of Smart Contracts: A Review, In 15th International Conference on Security of Information and Networks, SIN 2022, Sousse, Tunisia, November 11-13, 2022, IEEE, 2022. [bibtex] [pdf] [doi] |
| [582] | , Implementation of RSSI Module in Omnet++ for Investigation of WSN Simulations based on Real Environmental Conditions, In Proceedings of the 11th International Conference on Sensor Networks, SENSORNETS 2022, Online Streaming, February 7-8, 2022 (Rangarao Venkatesha Prasad, Dirk Pesch, Nirwan Ansari, César Benavente-Peces, eds.), SCITEPRESS, 2022. [bibtex] [pdf] [doi] |
| [581] | , Predicting Patient's Waiting Times in Emergency Department: A Retrospective Study in the CHIC Hospital Since 2019, In Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings, Springer, volume 1751, 2022. [bibtex] [pdf] [doi] |
| [580] | , Overview of Blockchain-based Seafood Supply Chain Management, In Intelligent Systems Design and Applications - 21th International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held in Delhi, India, December 12-14, 2022 (Ajith Abraham, Pranab Kumar Muhuri, Azah Kamilah Muda, Niketa Gandhi, eds.), Springer, 2022. [bibtex] |
| [579] | , Modeling IoT Design Patterns Proven Correct by Construction, In Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, Springer, volume 13287, 2022. [bibtex] [pdf] [doi] |
| [578] | , Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients, In Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, Springer, volume 13287, 2022. [bibtex] [pdf] [doi] |
| [577] | , A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes, In Proceedings of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022, volume 30, 2022. [bibtex] [pdf] [doi] |
| [576] | , A Comprehensive Review of Testing Blockchain Oriented Software, In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022 (Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek, eds.), SCITEPRESS, 2022. [bibtex] [pdf] [doi] |
| [575] | , Towards A Meta-Modeling Approach For An IoRT-Aware Business Process, In Proceedings of the 36th ECMS International Conference on Modelling and Simulation, ECMS 2022, Ålesund, Norway, May 30 - June 3, 2022 (Ibrahim A. Hameed, Agus Hasan, Saleh Abdel-Afou Alaliyat, eds.), European Council for Modeling and Simulation, 2022. [bibtex] [pdf] [doi] |
| [574] | , Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum, In 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022, IEEE, 2022. [bibtex] [pdf] [doi] |
| [573] | , Limitations of static autonomous scheduling for TSCH protocol and advances in adaptive scheduling, In 12th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2022, Las Vegas, NV, USA, January 26-29, 2022, IEEE, 2022. [bibtex] [pdf] [doi] |
| [572] | , How to Automatically Prove a Time Series Convergence to the Gumbel Distribution?, In Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Sydney, NSW, Australia, 13-15 April 2022, Volume 1 (Leonard Barolli, Farookh Hussain, Tomoya Enokido, eds.), Springer, volume 449, 2022. [bibtex] [pdf] [doi] |
| [571] | , The cost of reliable uplink communication in large scale LoRaWAN, In 19th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2022, Abu Dhabi, United Arab Emirates, December 5-8, 2022, IEEE, 2022. [bibtex] [pdf] [doi] |
| [570] | , A Private Smart parking solution based on Blockchain and AI, In 2022 15th International Conference on Security of Information and Networks (SIN), volume , 2022. [bibtex] [doi] |
| [569] | , SWAF: A Smart Web Application Firewall Based on Convolutional Neural Network, In 2022 15th International Conference on Security of Information and Networks (SIN), volume , 2022. [bibtex] [doi] |
| [568] | , A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning, In 2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA), 2022. [bibtex] [doi] |
| [567] | , Speech Quality Evaluation for Large-Scale D2D (Device to Device) VoIP Conference, In Proceedings of the 7th International Conference on Information and Education Innovations, Association for Computing Machinery, 2022. [bibtex] [pdf] [doi] |
| [566] | , Disentangling Temporal and Amplitude Variations in ECG Synthesis Using Anchored GANs, In Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Association for Computing Machinery, 2022. [bibtex] [doi] |
| 2021 | |
| [565] | , Towards a Blockchain-based approach to fight drugs counterfeit., In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, 2021. [bibtex] |
| [564] | , A persuasive system to improve physical activities of older adults., In TACC, 2021. [bibtex] |
| [563] | , Towards modeling a Service-Oriented application managing a Smart City using UML 2.x, In 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2021, Bayonne, France, October 27-29, 2021, IEEE, 2021. [bibtex] [pdf] [doi] |
| [562] | , A Meta-Modeling Approach to Describe Internet of Things Architectures, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [561] | , Social media influence analysis Techniques Systematic Literature Review, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [560] | , TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [559] | , A comprehensive architecture for an IoRT-aware Business Process outsourcing into Fog and Cloud computing, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [558] | , A deployment approach for Smart Building applications, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [557] | , Arabic sign Language Recognition: Towards a Dual Way Communication System Between Deaf and Non-Deaf People, In 22nd IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2021, Taichung, Taiwan, November 24-26, 2021, IEEE, 2021. [bibtex] [pdf] [doi] |
| [556] | , Securing Software-Defined Vehicular Network Architecture against DDoS attack, In 46th IEEE Conference on Local Computer Networks, LCN 2021, Edmonton, AB, Canada, October 4-7, 2021, IEEE, 2021. [bibtex] [pdf] [doi] |
| [555] | , Systematic Literature Review on Service Oriented Architecture Modeling, In Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part III (Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blecic, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, eds.), Springer, volume 12951, 2021. [bibtex] [pdf] [doi] |
| [554] | , A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain, In IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021, Madrid, Spain, July 12-16, 2021, IEEE, 2021. [bibtex] [pdf] [doi] |
| [553] | , Gumbel Distribution Adjustment Improvement for Accurate Extreme Values Prediction, In 18th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2021, Tangier, Morocco, November 30 - Dec. 3, 2021, IEEE, 2021. [bibtex] [pdf] [doi] |
| [552] | , Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [551] | , A Review of Container level Autoscaling for Microservices-based Applications, In 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), volume , 2021. [bibtex] [doi] |
| [550] | , Smart Expiry Food Tracking System, In Advances on Smart and Soft Computing, Springer Singapore, 2021. [bibtex] |
| 2020 | |
| [549] | , M-CNN: A New Hybrid Deep Learning Model for Web Security, In 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, volume , 2020. [bibtex] [pdf] [doi] |
| [548] | , A Tool for Multi-scale Modeling of Software Architectures: Application to the Smart Home for Telemonitoring Elderly People at Home, In Digital Health in Focus of Predictive, Preventive and Personalised Medicine, Springer, volume Chapter 18, 2020. [bibtex] [pdf] [doi] |
| [547] | , Deep convolutional neural network based image spam classification, In 2020 6th Conference on Data Science and Machine Learning Applications (CDMA), 2020. [bibtex] |
| [546] | , Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [545] | , Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [544] | , Vehicular Fog Resource Allocation Scheme: A Multi-Objective Optimization based Approach, In 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC), 2020. [bibtex] |
| [543] | , A Survey on Vehicular Fog Computing: Motivation, Architectures, Taxonomy, and Issues, In Workshops of the International Conference on Advanced Information Networking and Applications, 2020. [bibtex] |
| [542] | , A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex] |
| [541] | , Driver drowsiness detection model using convolutional neural networks techniques for android application, In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 2020. [bibtex] |
| [540] | , Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity, In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 2020. [bibtex] |
| [539] | , Lookup Service for Fog-based Indoor Localization Platforms using Chord Protocol, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex] |
| [538] | , An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 12th International Conference on Computational Collective Intelligence (ICCCI), 2020. [bibtex] |
| [537] | , Augmented Reality and Autism Spectrum Disorder Rehabilitation: Scoping review, In IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Virtual Event, The Netherlands, December 14-18, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| [536] | , Personalized and Contextualized Persuasion System for Older Adults? Physical Activity Promoting, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [535] | , Malicious Http Request Detection Using Code-Level Convolutional Neural Network, In Risks and Security of Internet and Systems - 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers, Springer, volume 12528, 2020. [bibtex] [pdf] [doi] |
| [534] | , IoT-aware Business Process: comprehensive survey, discussion and challenges, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, 2020. [bibtex] [pdf] [doi] |
| [533] | , ABDA: An Automated Behavioral Disorder Assessment Framework, In Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VI, Springer, volume 12254, 2020. [bibtex] [pdf] [doi] |
| [532] | , Using Learning Techniques to Observe Elderly's Behavior Changes over Time in Smart Home, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020 Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [531] | , Resource Allocation in Fog Computing: A Systematic Mapping Study, In Fifth International Conference on Fog and Mobile Edge Computing, FMEC, IEEE, 2020. [bibtex] [pdf] [doi] |
| [530] | , Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [529] | , Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [528] | , Study of Middleware for Internet of Healthcare Things and Their Applications, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [527] | , Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| [526] | , Formal specification and verification of a broadcasting protocol: a refinement-based approach, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020 (Matteo Cristani, Carlos Toro, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, eds.), Elsevier, volume 176, 2020. [bibtex] [pdf] [doi] |
| [525] | , Application of Blockchain Technology in Healthcare: A Comprehensive Study, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, 2020. [bibtex] [pdf] [doi] |
| [524] | , Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [523] | , Resolving Multi-user Conflicts in a Smart Building using RBAC, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| [522] | , Age-group Classification Using 3DHOG Descriptor Applied to Depth Maps, In Proceedings of 35th International Conference on Computers and Their Applications (Gordon Lee, Ying Jin, eds.), EasyChair, volume 69, 2020. [bibtex] [pdf] [doi] |
| [521] | , How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract, In SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020 (Jin Nakazawa, Polly Huang, eds.), ACM, 2020. [bibtex] [doi] |
| [520] | , Blockchain for Internet of Medical Things: A Technical Review, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [519] | , Using Marker Based Augmented Reality to teach autistic eating skills, In IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Virtual Event, The Netherlands, December 14-18, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| 2019 | |
| [518] | , Improving Person Re-Identification by Combining Siamese Convolutional Neural Network and Re-Ranking Process, In 2019 16th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), volume , 2019. [bibtex] [doi] |
| [517] | , Cities for All Ages: Singapore Use Case, In International Conference on Human-Computer Interaction, 2019. [bibtex] |
| [516] | , Towards Optimizing the Placement of Security Testing Components for Internet of Things Architectures, In 2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA), 2019. [bibtex] |
| [515] | , Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains, In International Colloquium on Theoretical Aspects of Computing, 2019. [bibtex] |
| [514] | , A Graph Based Model for UAVs Group-Wide Collaboration Applied on an Anti-terrorism Scenario, In 14th International Conference on Risks and Security of Internet and Systems, Springer, volume 12026, 2019. [bibtex] [pdf] [doi] |
| [513] | , An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), 2019. [bibtex] |
| [512] | , A Comprehensive Survey on Broadcasting Emergency Messages, In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), 2019. [bibtex] |
| [511] | , Track Report of Future Internet Services and Applications (FISA'2019), In 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019 (Sumitra Reddy, ed.), IEEE, 2019. [bibtex] [pdf] [doi] |
| [510] | , Deployment of an IoT Solution for Early Behavior Change Detection, In International Conference on Smart Homes and Health Telematics, 2019. [bibtex] |
| [509] | , Formal Verification approaches of Self-adaptive Systems: A Survey, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019 (Imre J. Rudas, János Csirik, Carlos Toro, János Botzheim, Robert J. Howlett, Lakhmi C. Jain, eds.), Elsevier, volume 159, 2019. [bibtex] [pdf] [doi] |
| [508] | , Track Report of Future Internet Services and Applications (FISA'2019), In 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019 (Sumitra Reddy, ed.), IEEE, 2019. [bibtex] [pdf] [doi] |
| [507] | , Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment, In New Trends in Model and Data Engineering - MEDI International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings, Springer, 2019. [bibtex] |
| [506] | , A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates, In 6th International Conference on Software Defined Systems, SDS 2019, Rome, Italy, June 10-13, 2019, IEEE, 2019. [bibtex] [pdf] [doi] |
| [505] | , Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment, In New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France (J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout, eds.), Springer, volume 1085, 2019. [bibtex] [doi] |
| [504] | , A refinement-based approach for verifying dynamic changes on time-aware processes, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019, Elsevier, volume 159, 2019. [bibtex] |
| [503] | , An Uplink Synchronization scheme for LoRaWAN Class B, In 2019 International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2019, Barcelona, Spain, October 21-23, 2019, IEEE, 2019. [bibtex] [pdf] [doi] |
| [502] | , Leveraging the link quality awareness for body node coordinator (BNC) placement in WBANs, In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019 (Chih-Cheng Hung, George A. Papadopoulos, eds.), ACM, 2019. [bibtex] [pdf] [doi] |
| [501] | , Ftree-CDN: Hybrid CDN and P2P Architecture for Efficient Content Distribution, In 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2019, Pavia, Italy, February 13-15, 2019, IEEE, 2019. [bibtex] [pdf] [doi] |
| [500] | , Energy Efficient Handshake Algorithm for Wireless Sensor Networks, In Distributed Computing for Emerging Smart Networks - First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers (Imen Jemili, Mohamed Mosbah, eds.), Springer, volume 1130, 2019. [bibtex] [pdf] [doi] |
| [499] | , A Model-based Approach for the Modeling and the Verification of Railway Signaling System, In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 (Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, eds.), SciTePress, 2019. [bibtex] [doi] |
| [498] | , Une Approche de Test de Charge de Compositions de ServicesWeb, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019 (Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai, eds.), Éditions RNTI, volume L-9, 2019. [bibtex] [pdf] |
| [497] | , Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019 (Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai, eds.), Éditions RNTI, volume L-9, 2019. [bibtex] [pdf] |
| [496] | , A Transactional Approach for Reliable Elastic Cloud Resources, In 2019 IEEE International Conference on Services Computing, SCC, Milan, Italy, July 8-13, 2019, 2019. [bibtex] [pdf] [doi] |
| [495] | , Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment, In International Conference on Risks and Security of Internet and Systems, 2019. [bibtex] |
| [494] | , A Convolutional Gated Recurrent Neural Network for Epileptic Seizure Prediction, In How AI Impacts Urban Living and Public Health (José Pagán, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, María Fernanda Cabrera, eds.), Springer International Publishing, 2019. [bibtex] [doi] |
| [493] | , A SAT-Based Formal Approach for Verifying Business Process Configuration, In Big Data Innovations and Applications - 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings (Muhammad Younas, Irfan Awan, Salima Benbernou, eds.), Springer, volume 1054, 2019. [bibtex] [doi] |
| [492] | , Performance and Correctness of Mobile Cloud Computing Systems: Taxonomy and Open Challenges, In 15th International Wireless Communications & Mobile Computing Conference, IWCMC 2019, Tangier, Morocco, June 24-28, 2019, IEEE, 2019. [bibtex] |
| [491] | , DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker, In 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), volume , 2019. [bibtex] |
| 2018 | |
| [490] | 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, In (Layth Sliman, Ismael Bouassida Rodriguez, Kaori Yoshida, eds.), IEEE Computer Society, 2018. [bibtex] [pdf] [doi] |
| [489] | , Dynamic MBSFN Subframe Allocation Algorithm for Bursty Video Traffic in LTE-Advanced Network, In IEEE WCNC, 2018. [bibtex] |
| [488] | , A Low-Complexity Scheduling for Joint Unicast and Multicast Transmissions in LTE-A Network, In IEEE 14th International Wireless Communications and Mobile Computing Conference (IWCMC), 2018. [bibtex] |
| [487] | , Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications, In International Conference on Smart Cities, Infrastructure, Technologies and Applications, 2018. [bibtex] |
| [486] | , Towards Multi-Access Edge Based Vehicular Fog Computing Architecture, In 2018 IEEE Global Communications Conference (GLOBECOM), 2018. [bibtex] |
| [485] | , Distributed and Resource-Aware Load Testing of WS-BPEL Compositions., In ICEIS (2), 2018. [bibtex] |
| [484] | , Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models, In International Conference on Current Trends in Theory and Practice of Informatics, 2018. [bibtex] |
| [483] | , Technological approach for early and unobtrusive detection of possible health changes toward more effective treatment, In International Conference on Smart Homes and Health Telematics, 2018. [bibtex] |
| [482] | , Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation, In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", 2018. [bibtex] |
| [481] | , Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes, In 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), 2018. [bibtex] |
| [480] | , Geo-distributed bigdata processing for maximizing profit in federated clouds environment, In 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2018. [bibtex] |
| [479] | , Efficient distribution of mapreduce jobs for maximizing profit on federated cloud, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018. [bibtex] |
| [478] | , A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, ACM, 2018. [bibtex] |
| [477] | , Formalizing compound MAPE patterns for decentralized control in self-adaptive systems, In 12th International Conference on Research Challenges in Information Science, RCIS 2018, Nantes, France, May 29-31, 2018, 2018. [bibtex] [doi] |
| [476] | , Translation of UML models for self-adaptive systems into Event-B specifications, In Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017, 2018. [bibtex] |
| [475] | , Distributed Computations in Wireless Sensor Networks by Local Interactions, In 17th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now) , Springer, volume 11104, 2018. [bibtex] |
| [474] | , Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, IEEE Computer Society, 2018. [bibtex] |
| [473] | , A refinement-based approach for specifying multi-scale software architectures: application to SoS, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, ACM, 2018. [bibtex] [pdf] [doi] |
| [472] | , Optimal Evidence Collection for Accountability in the Cloud, In 15th International Conference on e-Business Engineering ICEBE, 2018. [bibtex] |
| [471] | , Distributed and Resource-Aware Load Testing of WS-BPEL Compositions, In Proceedings of the 20th International Conference on Enterprise Information Systems, ICEISa, SciTePress, 2018. [bibtex] [doi] |
| [470] | , A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks, In The 30th International Conference on Software Engineering and Knowledge Engineering, Redwood City, California, USA, July 1-3, 2018., 2018. [bibtex] |
| [469] | , Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud, In Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings (Marinos Themistocleous, Paulo Rupino da Cunha, eds.), Springer, volume 341, 2018. [bibtex] [pdf] [doi] |
| [468] | , Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex] |
| [467] | , Preserving the Correctness of Dynamic Workflows within a Cloud Environment, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex] |
| [466] | , Elastic Multi-Tenant Business Process Based on Temporal Constraints, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2018. [bibtex] [doi] |
| [465] | , Experiencing Low Power Wireless Links in Distribution Smart Grid Environments, In Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA, 2018. [bibtex] [doi] |
| [464] | , Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets, In New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI, 2018. [bibtex] [doi] |
| [463] | , Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, 2018. [bibtex] [doi] |
| [462] | , Building Contextual Implicit Links for Image Retrieval, In Proceedings of the 20th International Conference on Enterprise Information Systems, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Volume 1., 2018. [bibtex] [doi] |
| [461] | , Anomaly Detection and Diagnosis Scheme for Mobile Health Applications, In 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA, 2018. [bibtex] [doi] |
| [460] | , A decision approach for energy distribution management in smart cities, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC), 2018. [bibtex] [doi] |
| 2017 | |
| [459] | , Design and timed verification of self-adaptive systems, In 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] [doi] |
| [458] | , Feature model based on design pattern for the service provider in the service oriented architecture, In Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS'2017), 2017. [bibtex] |
| [457] | , Resource Management for Mobile Publish/Subscribe Systems, In 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), volume , 2017. [bibtex] [doi] |
| [456] | , Optimal MapReduce Job Scheduling algorithm across Cloud Federation, In Proceedings of 23rd Int'l Conf on Parallel and Distributed Processing Techniques and Applications (PDPTA), CSREA Press, 2017. [bibtex] |
| [455] | , Cognitive Computing for disease registry form validation: Application to tunisian Diabetes type-1 registry, In Proceedings of ESBM Conference, 2017. [bibtex] |
| [454] | , Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation, In Proceedings of 14th IEEE International Conference on Services Computing (SCC), IEEE, 2017. [bibtex] |
| [453] | , Designing Compound MAPE Patterns for Self-adaptive Systems, In Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017), 2017. [bibtex] [doi] |
| [452] | , PCA-based Multivariate Anomaly Detection in Mobile Healthcare Applications, In The 21th IEEE/ACM International Conference on Distributed Simulation and real time applications (DS-RT ), 2017. [bibtex] |
| [451] | , Proactive and hybrid wireless network access strategy for Vehicle Cloud networks: An evolutionary game approach, In Wireless Communications and Mobile Computing Conference (IWCMC), 2017 13th International, 2017. [bibtex] |
| [450] | , A Web-Based Knowledge Management System for Scientific Research Team, In Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017 IEEE 26th International Conference on, 2017. [bibtex] |
| [449] | , Unobtrusive technological approach for continuous behavior change detection toward better adaptation of clinical assessments and interventions for elderly people, In International Conference on Smart Homes and Health Telematics, 2017. [bibtex] |
| [448] | , Technological Approach for Behavior Change Detection toward Better Adaptation of Services for Elderly People., In HEALTHINF, 2017. [bibtex] |
| [447] | , An Adaptive Scrum Model for Developing Disease Registries, In Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 5: HEALTHINF, Porto, Portugal, February 21-23, 2017., 2017. [bibtex] |
| [446] | , PRIARMOR: An IaaS Solution for Low-Level Privacy Enforcement in the Cloud, In Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017 IEEE 26th International Conference on, 2017. [bibtex] |
| [445] | , A Hybrid Approach for Private Data Protection in the Cloud, In International Conference on Green, Pervasive, and Cloud Computing, 2017. [bibtex] |
| [444] | , Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] |
| [443] | , Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] |
| [442] | , A Formal Approach for Maintaining Forest Topologies in Dynamic Networks, In 16th International Conference on Computer and Information Science (ICIS), Springer, 2017. [bibtex] |
| [441] | , CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex] |
| [440] | , CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex] |
| [439] | , Algorithms for Finding Maximal and Maximum Cliques: A Survey, In Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) held in Delhi, India, December 14-16, 2017, 2017. [bibtex] |
| [438] | , System of systems software architecture description using the ISO/IEC/IEEE 42010 standard, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi] |
| [437] | , Experimental Frailty Model Towards an Adaptable Service Delivery for Aging People, In 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016, 2017. [bibtex] |
| [436] | , Activity Recognition Enhancement Based on Ground-Truth: Introducing a New Method Including Accuracy and Granularity Metrics, In International Conference on Smart Homes and Health Telematics, 2017. [bibtex] |
| [435] | , Development of a parser for the AADL error model annex, In 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017, 2017. [bibtex] [doi] |
| [434] | , Transformation of compound SOA Design Patterns, In The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017. [bibtex] [doi] |
| [433] | , Energy Consumption Adaptation Approach for Smart Buildings, In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), IEEE, 2017. [bibtex] |
| [432] | , Energy Consumption Adaptation Approach for Smart Buildings, In 14th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017, 2017. [bibtex] [doi] |
| [431] | , AROSA 2017: Summary Report, In Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017. [bibtex] |
| [430] | , Design and timed verification of self-adaptive systems, In 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017 (Guobin Zhu, Shaowen Yao, Xiaohui Cui, Simon Xu, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi] |
| [429] | , Towards Medical Image Re-ranking based on Convolutional Neural Networks, In Proceedings of the 3rd ESBM International Conference on Engineering Sciences in Biology and Medicine, 2017. [bibtex] |
| [428] | , From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability, In 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017, Taipei, Taiwan, March 27-29, 2017, 2017. [bibtex] [doi] |
| [427] | , WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions, In Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 2017. [bibtex] [doi] |
| [426] | , Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations, In The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017. [bibtex] [doi] |
| [425] | , A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems, In The 14th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2017), October 30th to November 3rd, 2017, Hammemet, Tunisia, 2017. [bibtex] |
| [424] | , A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study, In 14th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017, 2017. [bibtex] [doi] |
| [423] | , Track Report of Future Internet Services and Applications (FISA 2017), In 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017 (Sumitra Reddy, Wojciech Cellary, Mariagrazia Fugini, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi] |
| [422] | , IoT-based health monitoring via LoRaWAN, In IEEE EUROCON 2017 -17th International Conference on Smart Technologies, Ohrid, Macedonia, July 6-8, 2017, 2017. [bibtex] |
| [421] | , rMatcher: A Tool for Semantic Web Services Discovery & Publication, In 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017, 2017. [bibtex] [doi] |
| [420] | , Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems, In Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex] [doi] |
| [419] | , Modeling and verification of temporal properties in Cyber-Physical Systems, In Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex] |
| [418] | , A tool for modeling SoS architectures using bigraphs, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi] |
| [417] | , Qos-Driven Architectural Mining for Publish/Subscribe Systems Deployed on MANET, In Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Elsevier, volume 112, 2017. [bibtex] [pdf] [doi] |
| [416] | , Mining Approach for Software Architectures’ Description Discovery, In 14th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, Octobre 30 - November 3, 2017, 2017. [bibtex] |
| [415] | , Efficient composite event detection based on DHT protocol, In 15th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2017, London, United Kingdom, June 7-9, 2017, 2017. [bibtex] [doi] |
| [414] | , Proceedings of the IEEE International Conference on Services Computing (SCC), In Proceedings of the IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2017. [bibtex] [doi] |
| [413] | , Obstacle-Aware Resource Allocation in Business Processes, In Business Information Systems - 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings, 2017. [bibtex] [doi] |
| [412] | , Learning to Re-rank Medical Images Using a Bayesian Network-Based Thesaurus, In Advances in Information Retrieval - 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings, 2017. [bibtex] |
| [411] | , Resource Management for Mobile Publish/Subscribe Systems, In 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017 (Igor V. Kotenko, Yiannis Cotronis, Masoud Daneshtalab, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi] |
| [410] | , A utility-based approach for self-adaptive systems: application to a Smart Building, In Proceedings of The 14-th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2017. [bibtex] [doi] |
| 2016 | |
| [409] | , Feature model for the service provider in the service oriented architecture, In Proceedings of the IEEE 17th International Conference on Sciences and Techniques of Automatic control & computer engineering (STA'2017), 2016. [bibtex] |
| [408] | , Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex] |
| [407] | , Software architectures: multi-scale refinement, In Proceedings of the 14th IEEE/ACIS, International Conference on Software Engineering Research, Management and Applications (SERA'2016), IEEE Computer Society, 2016. [bibtex] |
| [406] | , A Novel Approach for Semantic Web Service Discovery, In 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi] |
| [405] | , Multiple Software Product Lines for Service Oriented Architecture., In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'2016), 2016. [bibtex] [doi] |
| [404] | , Energy-efficient model for indoor localization process based on wireless sensor networks, In 13th International Multi-Conference on Systems, Signals Devices (SSD), 2016. [bibtex] [doi] |
| [403] | , A Fault-Tolerant Handshake Algorithm for Local Computations, In 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2016. [bibtex] [doi] |
| [402] | , A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures, In Proceedings of the 10th International Workshop on Verification and Evaluation of Computer and Communication System (VECoS), CEUR-WS.org, volume 1689, 2016. [bibtex] |
| [401] | , Improving Students’ Reading Comprehension Achievement through Sharing Annotations in Peer Learning Environment, In the 20th Global Chinese Conference on Computers in Education 2016. Hong Kong, 2016. [bibtex] |
| [400] | , i-Read: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex] |
| [399] | , Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration, In Proceedings of the 27th International Symposium on Rapid System Prototyping (RSP), 2016. [bibtex] |
| [398] | , Agile framework for rapid deployment in ambient assisted living environments, In Proceedings of the 18th international conference on information integration and web-based applications and services, 2016. [bibtex] |
| [397] | , Simplifying installation and maintenance of ambient intelligent solutions toward large scale deployment, In Inclusive Smart Cities and Digital Health: 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings 14, 2016. [bibtex] |
| [396] | , Detecting inconsistencies in rule-based reasoning for ambient intelligence, In 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016. [bibtex] |
| [395] | , Towards Accurate Medical Data in Mobile Health Applications, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, 2016. [bibtex] [doi] |
| [394] | , An Adaptation Approach for Smart Buildings, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi] |
| [393] | , Holistic Link Quality Estimation-based Routing Metric for RPL Networks in Smart Grids, In 2016 IEEE 27th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC): Mobile and Wireless Networks (IEEE PIMRC2016 Mobile and Wireless), 2016. [bibtex] |
| [392] | , Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents, In Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA),, IEEE Computer Society, 2016. [bibtex] |
| [391] | , Optimized HOG Descriptor for on Road Cars Detection, In Proceedings of the 10th International Conference on Distributed Smart Camera, 2016. [bibtex] [doi] |
| [390] | , Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments, In Proceedings of The 30-th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 2016. [bibtex] |
| [389] | , OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems, In Proceedings of the International Conference on Internet of Things and Cloud Computing, ACM, 2016. [bibtex] [doi] |
| [388] | , Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex] |
| [387] | , BPMN4CPS: A BPMN Extension for modeling cyber-physical systems, In Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, volume , 2016. [bibtex] [doi] |
| [386] | , Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi] |
| [385] | , A Bigraphical Modeling Methodology for Multi-scale Reconfigurable Systems, In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi] |
| [384] | , Encoding Bigraphical Reactive Systems into Graph Transformation Systems, In Proceedings of the 14th Cologne Twente Workshop on Graphs and Combinatorial Optimization, (CTW), 2016. [bibtex] |
| [383] | , Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance, In Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, 2016. [bibtex] [doi] |
| [382] | , EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems, In 14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA, 2016. [bibtex] [doi] |
| [381] | , AspectAda: An aspect oriented extension of ada for real-time systems, In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2016. [bibtex] [doi] |
| [380] | , A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2016. [bibtex] [doi] |
| [379] | , Recursive and RollingWindows for Medical Time Series Forecasting : a Comparative Study, In 14th IEEE /IFIP International Conference on Embedded and Ubiquitous Computing, EUC, 2016. [bibtex] |
| [378] | , A correct by construction approach for modeling and formalizing self-adaptive systems, In 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, 2016. [bibtex] [doi] |
| [377] | , Dynamic Selection for Service Composition Based on Temporal and QoS Constraints, In IEEE International Conference on Services Computing, SCC, 2016. [bibtex] [doi] |
| [376] | , Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing, In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, 2016. [bibtex] [doi] |
| [375] | , Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions, In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016. Proceedings, 2016. [bibtex] |
| [374] | , Formal Verification of Time-Aware Cloud Resource Allocation in Business Process, In Proceedings of On the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, Springer, volume , 2016. [bibtex] [doi] |
| [373] | , An LDA Topic Model Adaptation for Context-Based Image Retrieval, In 16th International Conference on Electronic Commerce and Web Technologies, 2016. [bibtex] |
| [372] | , An overview of a decision approach for autonomic applications architectural adaptation, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi] |
| [371] | , DLBMS: A DYNAMIC LOAD BALANCING FOR MOBILE SUBSCRIBERS INTO PUBLISH/SUBSCRIBE SYSTEMS, In 13th International Conference Applied Computing 2016, IADIS AC 2016, MANNHEIM, GERMANY (Hans Weghorn, ed.), IADIS digital library, 2016. [bibtex] |
| [370] | , Towards ODRAH: an Ontology-based Data Reliability Assessment in mobile Health, In 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2016. [bibtex] |
| 2015 | |
| [369] | , A formal Approach for SOA Design Patterns Composition, In Proceedings of the ACS/IEEE 12th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, 2015. [bibtex] |
| [368] | , An Approach for SOA Design Patterns Composition, In Proceedings of the IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA), IEEE Computer Society, 2015. [bibtex] |
| [367] | , How to Use Ants for Data Stream Clustering, In Proceedings of the IEEE Congress on Evolutionary Computation (CEC) (IEEE CEC'2015), 2015. [bibtex] |
| [366] | , Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs, In Proceedings of the 14th International Conference on Software Engineering Research, Management and Applications (SERA'15), Hammamet, Tunisia, Springer, 2015. [bibtex] |
| [365] | , Traduction de spécifications de contraintes d’architecture en composants exécutables, In Proceedings of the 14th French Conference on Software Architecture (CAL'15), Hammamet, Tunisia, 2015. [bibtex] |
| [364] | , A UML-based Approach for Multi-scale Software Architectures., In Proceedings of the 17th International Conference on Enterprise Information Systems, (ICEIS'2015), SciTePress, volume 2, 2015. [bibtex] |
| [363] | , A real-time indoor localization platform based on wireless sensor networks, In 12th International Multi-Conference on Systems, Signals Devices (SSD), 2015. [bibtex] [doi] |
| [362] | , Measuring the impact of icts on the quality of life of ageing people with mild dementia, In Smart Homes and Health Telematics: 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers 12, 2015. [bibtex] |
| [361] | , Automatic Translation of Architecture Constraint Specifications into Components, In Proceedings of the European conference on Software Architecture (ECSA), Springer, 2015. [bibtex] |
| [360] | , Semantic Annotation of Images Extracted from the Web using RDF Patterns and a Domain Ontology, In ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015, 2015. [bibtex] |
| [359] | , Taking Contextual Parameters into Account and Using RDF Patterns for the Semantic Web Image Annotation, In Enterprise Information Systems - 17th International Conference, ICEIS, 2015. [bibtex] |
| [358] | , Automatic Translation of Architecture Constraint Specifications into Components, In Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings, volume 9278, 2015. [bibtex] |
| [357] | , Vers une annotation sémantique des images web fondée sur des patrons RDF, In CORIA 2015 - Conférence en Recherche d'Infomations et Applications - 12th French Information Retrieval Conference, Paris, France, March 18-20, 2015., 2015. [bibtex] |
| [356] | , Activity recognition in assisted living facilities with incremental, approximate ground truth, In Inclusive Smart Cities and e-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings 13, 2015. [bibtex] |
| [355] | , Technical challenges towards an aal large scale deployment, In Inclusive Smart Cities and e-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings 13, 2015. [bibtex] |
| [354] | , Low-Power Link Quality Estimation in Smart Grid Environments, In The 11th International Wireless Communications & Mobile Computing Conference (IWCMC 2015), 2015. [bibtex] |
| [353] | , CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [352] | , A service-oriented architecture (SOA) framework for choreography verification, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [doi] |
| [351] | , CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [350] | , Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT 2015, Hualien, Taiwan, July 6-9, 2015, 2015. [bibtex] [doi] |
| [349] | , Semantic-Based Approach to Improve the Description and the Discovery of Linguistic Web Services, In , Elsevier, 2015. [bibtex] |
| [348] | , Towards Patterns-based Linguistic Web Service Composition, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex] |
| [347] | , Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Dynamic Networks, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex] |
| [346] | , XPath translation to enhance the semantic matching of fine-grained Web service security policies, In 2015 12th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA), 2015. [bibtex] |
| [345] | , Clustering Of Binary Data Sets Using Artificial Ants Algorithm, In The 22th International Conference on Neural Information Processing (ICONIP2015), 2015. [bibtex] |
| [344] | , Analyzing Multi-Tenant Cloud Services’ Accountability, In 12th International Conference on e-Business Engineering, 2015. [bibtex] |
| [343] | , From AADL Model to LNT Specification, In Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Proceedings, 2015. [bibtex] [doi] |
| [342] | , Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization, In 20th International Conference on Engineering of Complex Computer Systems, ICECCS, 2015. [bibtex] [doi] |
| [341] | , Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations, In ICTSS, 2015. [bibtex] |
| [340] | , A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [339] | , Analysis Process for Context Aware Applications in Pervasive Environments, In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2015), IEEE, 2015. [bibtex] |
| [338] | , Graph-based Methods for Significant Concept Selection, In 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, KES 2015, Singapore, 7-9 September 2015, 2015. [bibtex] |
| [337] | , AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [336] | , An Interactive Annotation System to Support the Learner with Web Services Assistance, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT, 2015. [bibtex] [doi] |
| [335] | , How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations, In Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, 2015. [bibtex] [doi] |
| [334] | , FISA 2015 Track Report: Future Internet Services and Applications, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [333] | , From AADL Model to LNT Specification, In Reliable Software Technologies Ada-Europe 2015 (Juan Antonio de la Puente, Tullio Vardanega, eds.), Springer International Publishing, volume 9111, 2015. [bibtex] [doi] |
| [332] | , An Approach for Multiple-Instance Based Service Composition, In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015, 2015. [bibtex] [doi] |
| [331] | , A multi-scale modeling approach for software architecture deployment, In Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC), 2015. [bibtex] [doi] |
| [330] | , A Semantic Driven Approach for an Automated Composition Based on Abstract Services, In 12th IEEE International Conference on e-Business Engineering, ICEBE 2015, Beijing, China, October 23-25, 2015, 2015. [bibtex] [doi] |
| [329] | , Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE , Larnaca, Cyprus, June 15-17, 2015. [bibtex] |
| [328] | , Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs, In Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD, 2015. [bibtex] |
| [327] | , Automatic Recognition of Personality from Digital Annotations, In Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. [bibtex] [doi] |
| [326] | , Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL, In Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 [revised selected papers from SNPD 2015, Takamatsu, Japan, June 1-3, 2015], 2015. [bibtex] [doi] |
| [325] | , Heuristic Based Time-Aware Service Selection Approach, In 2015 IEEE International Conference on Web Services, ICWS 2015, 2015. [bibtex] [doi] |
| [324] | , A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes, In Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015. [bibtex] |
| [323] | , A formal pattern for dynamic networks through evolving graphs, In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015, IEEE Computer Society, 2015. [bibtex] [pdf] [doi] |
| [322] | , A Provisioning Approach of Cloud Resources for Dynamic Workflows, In 8th IEEE International Conference on Cloud Computing, CLOUD 2015, New York City, NY, USA, June 27 - July 2, 2015 (Calton Pu, Ajay Mohindra, eds.), IEEE Computer Society, 2015. [bibtex] [pdf] [doi] |
| [321] | , Controlling Elasticity Dependencies For Multi-tenant Business Process, In 12th International Conference on e-Business Engineering (ICEBE), Beijing, China, October 23-25, 2015, 2015. [bibtex] |
| [320] | , Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models, In Proceedings of the 15th International Conference on Computational Science and its Applications (ICCSA), 2015. [bibtex] [doi] |
| [319] | , An Autonomic Container for the Management of Component-based Applications in Pervasive Environments, In 11th IEEE International Conference on Autonomic and Trusted Computing, 2015. [bibtex] |
| [318] | , Collaborative Autonomic Management of Distributed Component-Based Applications, In On the Move to Meaningful Internet Systems: OTM 2015 Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, 2015. [bibtex] |
| [317] | , Requirement-based lexical web service generation, In Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, ISDA, 2015. [bibtex] [doi] |
| [316] | , Une étude de la décision pour l'adaptation autonomique des systèmes, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015. [bibtex] |
| [315] | , Towards a Decision Approach for Autonomic Systems Adaptation, In Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, MobiWac 2015, Cancun, Mexico, November 2-6, 2015, 2015. [bibtex] [doi] |
| [314] | , Designing energy efficient Smart Buildings in ubiquitous environments, In 15th International Conference on Intelligent Systems Design and Applications, ISDA 2015, Marrakech, Morocco, December 14-16, 2015, 2015. [bibtex] [doi] |
| 2014 | |
| [313] | , Q-learning-based Data Replication for Highly Dynamic Distributed Hash Tables, In Proceedings of the 5nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2014. [bibtex] |
| [312] | , Formal Security Framework For Agent Based Cloud Systems, In 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE'14), 2014. [bibtex] |
| [311] | , Interoperability of healthcare information systems, In Networks, Computers and Communications, The 2014 International Symposium on, 2014. [bibtex] [doi] |
| [310] | , G n ration de m ta-programmes Java partir de contraintes d'architecture OCL, In In proceedings of the French Speaking Conference on Software Engineering (CIEL'14), 2014. [bibtex] |
| [309] | , Pruning based Service Selection Approach under QoS and Temporal Constraints, In Proceedings of the 21th IEEE International Conference on Web Services (ICWS), IEEE Computer Society, 2014. [bibtex] |
| [308] | , Modes Generation of Reconfigurable Embedded Systems, In Conférence internationale francophone sur l'Architecture Logicielle, 2014. [bibtex] |
| [307] | , Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes, In Proceedings of the 11th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2014. [bibtex] |
| [306] | , CEP4Cloud: Complex Event Processing for Self-Healing Clouds, In the Proceedings of the 23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises (WETICE 2014), IEEE Computer Society Press, 2014. [bibtex] |
| [305] | , Prediction of Human Personality Traits From Annotation Activities, In Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), SciTePress, 2014. [bibtex] [doi] |
| [304] | , Apprentissage de classification des requêtes basée sur la confiance et la couverture, In 11ème Conférence en Recherche d'Infomations et Applications - 11th French Information Retrieval Conference (CORIA-CIFED 2014), ARIA-GRCE, 2014. [bibtex] |
| [303] | , The Annotation: A Track of Reader’s Personality Traits On Paper, In Proceedings of the 52nd Annual ACM Southeast Conference, ACM, 2014. [bibtex] [doi] |
| [302] | , CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing, In Proceedings of the 2nd International Conference on NETworked sYStems (NETYS), Springer, 2014. [bibtex] |
| [301] | , Q-learning-based Data Replication for Highly Dynamic Distributed Hash Tables, In Proceedings of the 5nd IEEE/IFIP International Conference on the Network of the Future (NoF 14), 2014. [bibtex] |
| [300] | , A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, In Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex] |
| [299] | , On Enabling Time-aware Consistency of Collaborative Cross-Organisational Business Processes, In Proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, Springer, 2014. [bibtex] |
| [298] | , Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [doi] |
| [297] | , Regularity Of Movement Based Approach for M2M Services Discovery, In Proceedings of the 2014 International Symposium on Networks, Computers and Communications, IEEE, 2014. [bibtex] [doi] |
| [296] | , Multi-tenant Services Monitoring for Accountability in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [doi] |
| [295] | , Incremental clustering of data stream using real ants behavior, In Proceedings of the 6th IEEE International Conference on Nature and Biologically Inspired Computing (NaBIC), 2014. [bibtex] |
| [294] | , A new strategy based on spatiogram similarity association for multi-pedestrian tracking, In 4th International Conference on Image Processing Theory, Tools and Applications, IPTA, 2014. [bibtex] [doi] |
| [293] | , Interest Lower Body Point’s Detection For Markerless Gait Analysis, In Proceedings of the 4th International Conference on Image Processing Theory, Tools and Applications (IPTA), 2014. [bibtex] |
| [292] | , Monitoring of Quality of Service in Dynamically Adaptive Systems, In Adaptive and Intelligent Systems, Springer International Publishing, volume 8779, 2014. [bibtex] [doi] |
| [291] | , Middleware for Dynamically Adaptive Systems, In Proceedingd of the 27th International Conference on Architecture of Computing Systems (ARCS), Springer, 2014. [bibtex] |
| [290] | , Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B, In Proceedings of the 12 th International Conference on Software Engineering and Formal Methods (SEFM), Springer Verlagkeywords=MAS, Formal, 2014. [bibtex] |
| [289] | , Threshold-based context change detection for ubiquitous environments, In Third International Conference on Context-Aware Systems and Applications (ICCASA 2014), ACM, 2014. [bibtex] [doi] |
| [288] | , Feature model for modeling compound SOA design patterns, In Proceedings of the 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2014. [bibtex] |
| [287] | , Energy Saving in WSN Using Monitoring Values Prediction, In , volume 32, 2014. (The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)) [bibtex] [doi] |
| [286] | , PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2014. [bibtex] |
| [285] | , Greedy Flooding in Redoubtable Sensor Networks, In The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2014. [bibtex] |
| [284] | , SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE, 2014. [bibtex] [doi] |
| [283] | , Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs, In Actes des 22 ème Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2014. [bibtex] |
| [282] | , A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B, In Proceedings of the 6 th International Conference on Agents and Artificial Intelligence (ICAART), INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 2014. [bibtex] |
| [281] | , A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In Proceedings of the the 2nd international workshop on Emgineering Multiagent Systems, 2014. [bibtex] |
| [280] | , A New Combination Method Based on Adaptive Genetic Algorithm for Medical Image Retrieval, In Information Retrieval Technology - 10th Asia Information Retrieval Societies Conference, AIRS 2014 Proceedings, 2014. [bibtex] [doi] |
| [279] | , An Efficient Service Selection Approach with Time-Dependent QoS, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex] |
| [278] | , Workflow Scheduling in Cloud Computing: A survey, In Proceedings of the 18th International conference on Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Ulm, Germany, September 01-05, 2014. [bibtex] |
| [277] | , SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28-30 April, 2014, 2014. [bibtex] [doi] |
| [276] | , OF-FL: QoS-aware fuzzy logic objective function for the RPL routing protocol, In 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2014, Hammamet, Tunisia, May 12-16, 2014, IEEE, 2014. [bibtex] [pdf] [doi] |
| [275] | , An Autonomic Container for the Management of Component-Based Applications in Pervasive Environments, In 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, Bali, Indonesia, December 9-12, 2014, 2014. [bibtex] |
| [274] | , Toward a Verification of Time-centric Business Process Models, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex] |
| [273] | , Service-oriented applications monitoring for the reconstruction of architectural interactions models, In Proceedings of the fourth International Symposium on Web Services (WSS), 2014. [bibtex] |
| [272] | , Construction de modËles d'interactions par Monitoring, In Deuxième conférence francophone sur les Systèmes Collaboratifs (SYSCO), 2014. [bibtex] |
| [271] | , Le monitoring pour la construction de la reprÈsentation graphique de l'architecture des applications orientÈes services, In HuitiËme Èdition de la ConfÈrence francophone sur l'Architecture Logicielle (CAL), 2014. [bibtex] |
| [270] | , Enhancing Proofs of Local Computations Through Formal Event-B Modularization, In 23rd IEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises, IEEE Computer Society, 2014. [bibtex] |
| [269] | , A Collaborative Process for Developing Secure Component based Applications, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex] |
| [268] | , Toward Antifragile Cloud Computing Infrastructures, In Proceedings of the 5th International Conference on Ambient Systems, Networks and Technologies (ANT 2014), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2014), 2014. [bibtex] [doi] |
| [267] | , A Selective Predictive Subscriber Mobility Using the Closest Criterion, In Proceedings of 11th International Conference on Mobile Web Information Systems, 2014. [bibtex] [doi] |
| [266] | , Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires, In 8 ème Conférence francophone sur les Architectures Logicielles (CAL 2014), 2014. [bibtex] |
| 2013 | |
| [265] | , A Formal Model of Learner's Annotations Dedicated to Web Services Invocation, In Proceedings of the 21st International Conference on Computers in Education (ICEE 2013), Asia-Pacific Society of Computers in Education (APSCE), 2013. [bibtex] |
| [264] | , Correlating Medical-dependent Query Features with Image Retrieval Models Using Association Rules, In Proceedings of the 22nd International ACM Conference on Information and Knowledge Management (CIKM'13), 2013. [bibtex] [doi] |
| [263] | , An Approach of Assistance of Learner’s Annotative Activity through Web Services, In Proceedings of the 8th International Conference on E-Learning and Games (Edutainment 2013), Springer, 2013. [bibtex] |
| [262] | , Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. [bibtex] [doi] |
| [261] | , Building Correct by Construction SOA Design Patterns: Modeling and Refinement, In Software Architecture: Proceedings of the 7th European Conference (ECSA), Springer, volume 7957, 2013. [bibtex] [doi] |
| [260] | , An Approach for Modeling and Formalizing SOA Design Patterns, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [259] | , Annotative Activity as a Potential Source of Web Service Invocation, In Proceedings of the 9th International Conference on Web Information Systems and Technologies (WEBIST 2013), SciTePress, 2013. [bibtex] |
| [258] | , Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex] |
| [257] | , Challenges, experiences and lessons learned from deploying patient monitoring and assistance system at Dementia Care Hostel, In Inclusive Society: Health and Wellbeing in the Community, and Care at Home: 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings 11, 2013. [bibtex] |
| [256] | , Implementation of Allen's interval logic with the semantic web, In Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013. [bibtex] |
| [255] | , Behavior recognition for elderly people in large-scale deployment, In Inclusive Society: Health and Wellbeing in the Community, and Care at Home: 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings 11, 2013. [bibtex] |
| [254] | , Accurate prediction of mobility into publish/subscribe, In Proceedings of the 11th ACM International Symposium on Mobility Management and Wireless Access, Barcelona, Spain (Sotiris E. Nikoletseas, Ángel Cuevas Rumín, eds.), ACM, 2013. [bibtex] [pdf] [doi] |
| [253] | , Towards Automated Deployment of Distributed Adaptation Systems, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi] |
| [252] | , An Aspect-Oriented Approach to Enforce Security Properties in Business Processes, In ICSOC Workshops - International Workshops on Service-Oriented Computing, Springer, volume 7759, 2013. [bibtex] [doi] |
| [251] | , Towards an Aspect Oriented Language Compliant with Real Time Constraints, In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, IEEE Computer Society, 2013. [bibtex] [doi] |
| [250] | , Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation, In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, IEEE Computer Society, 2013. [bibtex] [doi] |
| [249] | , Multi-Factor RDF Graph based Image Annotation -Application in Cinema Domain-, In Proceedings of the Fifth International Conference on Web and Information Technologies(ICWIT 2013), 2013. [bibtex] |
| [248] | , Position paper: Multi-tenants context-aware service composition in cloud computing, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex] |
| [247] | , PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [246] | , A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis, In IEEE 5th International Conference on Cloud Computing Technology and Science, 2013. [bibtex] [doi] |
| [245] | , Clustering using chemical and colonial odors of real ants, In Proceedings of the 5thd world congress on Nature and Biologically Inspired Computing(NaBIC), 2013. [bibtex] [doi] |
| [244] | , Comparative Study between Spatio/Temporal Descriptors for Pedestrians Recognition by Gait, In Proceedings of the 10th International Conference on Image Analysis and Recognition (ICIAR), 2013. [bibtex] |
| [243] | , A model driven methodology for enabling autonomic reconfiguration of service oriented architecture, In SAC, 2013. [bibtex] [doi] |
| [242] | , Runtime Adaptation of Component based Systems, In Proceedings of the first International Conference on Networked Systems (NETYS), Springer, volume 7853, 2013. [bibtex] |
| [241] | , Runtime testing framework for improving quality in dynamic service-based systems, In Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications (QASBA), 2013. [bibtex] [doi] |
| [240] | , Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2013. [bibtex] [doi] |
| [239] | , Automated Significant Load Testing for WS-BPEL Compositions, In Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE Computer Society, 2013. [bibtex] [doi] |
| [238] | , WSCLT: A Tool for WS-BPEL Compositions Load Testing, In Proceedings of the 22nd Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [237] | , WSCCT: A Tool for WS-BPEL Compositions Conformance Testing, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex] [doi] |
| [236] | , Conformance testing for quality assurance of clustering architectures, In Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, ACM, 2013. [bibtex] [doi] |
| [235] | , A QoS-driven Self-Adaptive Architecture for Wireless Sensor Networks, In Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2013. [bibtex] [doi] |
| [234] | , Analytical study of frame aggregation in error-prone channels, In Proceedings of the 9th International Wireless Communications and Mobile Computing Conference, 2013. [bibtex] [doi] |
| [233] | , GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching, In GbRPR, 2013. [bibtex] [doi] |
| [232] | , A Conceptual Model for Word Sense Disambiguation in Medical Image Retrieval, In Proceedings of the 9th Asia Information Retrieval Societies Conference (AIRS), 2013. [bibtex] [doi] |
| [231] | , Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi] |
| [230] | , Time Estimation of a Ring-based Bootstrapping Protocol in Wireless Sensor Networks, In Proceedings of the LiveCity Workshop on Smart and Pervasive Communications for Enhanced Communities (LiveCity) in conjunction with Saconet conference, IEEE, 2013. [bibtex] |
| [229] | , Energy-Aware Distributed Hash Table based Bootstrapping Protocol for Randomly Deployed Heterogeneous Wireless Sensor Networks, In Proceedings of the 28th International Symposium on Computer and Information Sciences (Iscis), Springer, volume 264, 2013. [bibtex] [doi] |
| [228] | , The optimal transmitting power in randomly deployed heterogeneous Wireless Sensor Networks for predetermined average node degree, In Proceedings of the 9th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC), IEEE, 2013. [bibtex] [doi] |
| [227] | , Mobility and fault tolerance management of the bootstrapping in randomly deployed Wireless Sensor Networks, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex] |
| [226] | , Consistent and Efficient Bootstrapping Ring-Based Protocol in Randomly Deployed Wireless Sensor Networks, In Proceedings of the International conference on Telecommunications (ICT), IEEE, 2013. [bibtex] |
| [225] | , AROSA Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [224] | , Surveying Collaborative and Content Management Platforms for Enterprise, In Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2013. [bibtex] [doi] |
| [223] | , Toward a Time-centric modeling of Business Processes in BPMN 2.0, In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), ACM, 2013. [bibtex] |
| [222] | , A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes, In Proceedings of the 14th International Conference on E-Commerce and Web Technologies (EC-Web), Springer, volume 152, 2013. [bibtex] [doi] |
| [221] | , Linguistic Web Services Discovery, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex] |
| [220] | , OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex] |
| [219] | , Models for multimedia conference between browsers based on WebRTC, In Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on, 2013. [bibtex] [doi] |
| [218] | , Time-aware Automatic Process View Generation Saoussen, In Proceedings of the International Conference on E-Business Engineering (ICEBE), IEEE Computer Society, 2013. [bibtex] |
| [217] | , Survey on Time-aware Business Process Modeling, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), ScitePress, 2013. [bibtex] |
| [216] | , An engineering process for security patterns application in component based models, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] |
| 2012 | |
| [215] | , Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi] |
| [214] | , Handling Chrun in DHT-based Publish/Subscribe Systems, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex] |
| [213] | , Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi] |
| [212] | , mhDHT: a Scalable DHT-based Name Resolution System for the Future Internet, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex] |
| [211] | , Analytical framework for QoS aware publish/subscribe system deployed on MANET, In Proceedings of The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), IEEE Computer Society, 2012. [bibtex] |
| [210] | , Towards a Verification Approach for Reconfigurable Embedded Systems, In Computers and Communications (ISCC), 2012 IEEE Symposium on, 2012. [bibtex] [doi] |
| [209] | , P/S-CoM+: a Formal Approach to Design Correct Publish/Subscribe Architectural Styles, In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, IEEE Computer Society, 2012. [bibtex] |
| [208] | , Towards self healing publish/subscribe system on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Collaborative Technology for Coordinating Crisis Management (CT2CM 2012), IEEE Computer Society, 2012. [bibtex] [doi] |
| [207] | , Design-Time Verification of Reconfigurable Real-Time Embedded Systems, In Proceedings of the 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), IEEE Computer Society, 2012. [bibtex] |
| [206] | , Failure Prediction for Publish/Subscribe System on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2012), IEEE Computer Society, 2012. [bibtex] [doi] |
| [205] | , Predictive schemes for QoS awareness of publish/subscribe systems on MANET, In Proceedings of the 11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), IEEE Computer Society, 2012. [bibtex] |
| [204] | , Towards an Ontology and DHT-based publish/subscribe scalable system, In 3rd IEEE International Workshop on SmArt COmmunications in NEtwork Technologies (ICC'12 WS - SaCoNet-III), 2012. [bibtex] |
| [203] | , QoS Monitoring and Analysis approach for publish/subscribe systems deployed on MANET, In Proceedings of The 20th Euromicro International Conference on Parallel Distributed and Network-Based Computing(PDP 2012), Conference Publishing Services (CPS), 2012. [bibtex] |
| [202] | , Adaptation Of "Bees Algorithm" for QOS-based Selection And Replacement of Web Services, In Proceedings of the seventh International Conference on Software Paradigm Trends(ICSOFT 2012), 2012. [bibtex] |
| [201] | , Semantic reasoning in context-aware assistive environments to support ageing with dementia, In The Semantic Web--ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II 11, 2012. [bibtex] |
| [200] | , MDA-Based Approach for Implementing Secure Mobile Agent Systems, In proceedings of the International Workshop on Agent-Oriented Software Engineering (AOSE), Springer, volume 7852, 2012. [bibtex] |
| [199] | , A semantic plug&play based framework for ambient assisted living, In Impact Analysis of Solutions for Chronic Disease Prevention and Management: 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings 10, 2012. [bibtex] |
| [198] | , The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange, In 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, volume 0, 2012. [bibtex] [doi] |
| [197] | , An Ontology-Based Approach for Linguistic Web Service Description, In WETICE IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, 2012. [bibtex] [doi] |
| [196] | , Towards a novel analysis approach for collaborative ubiquitous systems, In Second Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures in 21th IEEE International Conference Collaboration Technologies and Infrastructures (WETICE 2012), 2012. [bibtex] [doi] |
| [195] | , DRF4SOA: A Dynamic Reconfigurable Framework for Designing Autonomic Application Based on SOA, In Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2012. [bibtex] [doi] |
| [194] | , Towards Planning Policies for Self-Adaptive Orchestrated Web Services, In WETICE, 2012. [bibtex] [doi] |
| [193] | , Model-Based Conformance Testing of WS-BPEL Compositions, In COMPSAC Workshops, 2012. [bibtex] [doi] |
| [192] | , Conformance Testing of WS-BPEL Compositions under Various Load Conditions, In COMPSAC, 2012. [bibtex] [doi] |
| [191] | , Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In Proceedings of the 24th IFIP International Conference of Testing Software and Systems (ICTSS), 2012. [bibtex] [doi] |
| [190] | , Une approche de monitoring et d’analyse des systèmes publier/souscrire déployés sur MANET. Application: Les systèmes de gestion de crise, In 1ère Conférence francophone sur les Systèmes Collaboratifs (SysCo2012), 2012. [bibtex] |
| [189] | , Experimental study of IEEE 802.11n protocol, In Proceedings of the seventh ACM international workshop on Wireless network testbeds, experimental evaluation and characterization, 2012. [bibtex] [doi] |
| [188] | , On the performance of IEEE 802.11n protocol, In 5th joint IFIP Wireless and Mobile Networking Conference, 2012. [bibtex] [doi] |
| [187] | , A frame aggregation scheduler for QoS-sensitive applications in IEEE 802.11n WLANs, In International Conference on Communications and Information Technology, 2012. [bibtex] [doi] |
| [186] | , BPELVT: A tool for formal validation of web service orchestrations., In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex] |
| [185] | , Position paper: An integration approach of web service composition models: From choreography to orchestration, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex] |
| [184] | , A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex] |
| [183] | , A Comprehensive Survey on Intra and Inter Organizational Agreements, In Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi] |
| [182] | , Intention based semantic approach for service sourcing, In Proceedings of the ACM Symposium on Applied Computing(SAC), ACM, 2012. [bibtex] [doi] |
| [181] | , A Semantic Scoring Approach for Service Offers, In Proceedings of the 12th International Conference on Web Engineering (ICWE), Springer, volume 7387, 2012. [bibtex] [doi] |
| [180] | , Word Indexing Versus Conceptual Indexing in Medical Image Retrieval, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [179] | , A Middleware for Reconfigurable Distributed Real-Time Embedded Systems, In Software Engineering Research, Management and Applications, SERA'2012 (Roger Lee, ed.), Springer Berlin / Heidelberg, volume 430, 2012. [bibtex] [doi] |
| [178] | , Modélisation et vérification des systèmes embarqués temps réel reconfigurables, In 6ème Conférence Internationale Francophone sur les Architectures Logicielles, 2012. [bibtex] |
| [177] | , An MDE-Based Approach for Reconfigurable Embedded Systems, In 21st IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2012, IEEE Computer Society, 2012. [bibtex] [doi] |
| [176] | , A flexible approach for service composition using service patterns, In Proceedings of the 27th Annual ACM Symposium on Applied Computing, ACM, 2012. [bibtex] [doi] |
| [175] | , Handling Churn in DHT-based Publish/Subscribe Systems, In Proceeding of the 3rd IEEE/IFIP International Conference on the Network of the Future (NoF), 2012. [bibtex] [doi] |
| [174] | , Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe, In 6ème Conférence francophone sur les Architectures Logicielles (CAL 2012), 2012. [bibtex] |
| [173] | , Semantic matching of web services security policies, In Proceedings of the 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE Computer Society, 2012. [bibtex] [doi] |
| [172] | , Enhancing Linguistic Web Service Description with Non-functional NLP Properties, In ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, 2012. [bibtex] |
| [171] | , Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [170] | , Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [169] | , Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures, In Proceedings of the 21st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi] |
| [168] | , Modeling Secure Mobile Agent Systems, In Proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA), Springer, volume 7327, 2012. [bibtex] [doi] |
| 2011 | |
| [167] | , Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles, In Proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, SciTePress Digital Library, 2011. [bibtex] [doi] |
| [166] | , Placement of Hardware Tasks on FPGA Using the Bee Algorithm, In Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems, Copyright (c) SciTePress, 2011. [bibtex] [doi] |
| [165] | , A framework for managing composed multimedia delivery in personal networks, In Second International Conference on Multimedia Computing and Systems, ICMCS, IEEE digital library, 2011. [bibtex] [doi] |
| [164] | , Schedulers-Driven Approach for Dynamic Placement/Scheduling of multiple DAGs onto SoPCs, In IEEE International Symposium on Rapid System Prototyping (RSP), 2011. [bibtex] |
| [163] | , web services' discovery based on Bees Algorithm in a distributed environment, In Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management(IFIPTM 2011), 2011. [bibtex] |
| [162] | , Context-aware Reasoning Engine with High Level Knowledge for Smart Home, In 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), 2011. [bibtex] |
| [161] | , Handling User Interface Plasticity in Assistive Environment: UbiSMART Framework., In ICOST, 2011. [bibtex] |
| [160] | , Context-aware reasoning engine with high level knowledge for smart home, In 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), 2011. [bibtex] |
| [159] | , Vers une composition de services basée sur les patrons de services et dirigée par les intentions, In 5ème Conférence Internationale Francophone sur les Architectures Logicielles, 2011. [bibtex] |
| [158] | , AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring, In Proceedings of the 11th IEEE International Conference on Computer and Information Technology, IEEE Press, 2011. [bibtex] [doi] |
| [157] | , Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network, In , IEEE Computer Society, volume 0, 2011. [bibtex] [doi] |
| [156] | , Semantic matching of WS-SecurityPolicy Assertions, In Proceedings of the 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'11), Springer, 2011. [bibtex] |
| [155] | , A Comparative Study of the Current Cloud Computing Technologies and Offers, In Proceedings of the 2011 First International Symposium on Network Cloud Computing and Applications, IEEE Computer Society, 2011. [bibtex] [doi] |
| [154] | , A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In 5ème Conférence Francophone sur les architectures logicielles, 2011. [bibtex] |
| [153] | , Towards a Model-Based Approach for Reconfigurable DRE Systems, In Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings, Springer, volume 6903, 2011. [bibtex] [doi] |
| [152] | , A New Three-Level Strategy for Off-Line Placement of Hardware Tasks on Partially and Dynamically Reconfigurable Hardware, In Algorithm-Architecture Matching for Signal and Image Processing, Springer Netherlands, volume 73, 2011. (10.1007/978-90-481-9965-5_7) [bibtex] |
| [151] | , ForMAAD: Towards a Model Driven Approach for Agent Based Application Design, In Agent-Oriented Software Engineering XI (D. Weyns, M.-P. Gleizes (Eds.), eds.), Springer-Verlag Berlin Heidelberg, volume 6788, 2011. [bibtex] [doi] |
| [150] | , Modeling and Managing Communities of Web Service Registries, In Proceedings of the 7th International Conference on Web Information Systems and Technologies (WEBIST) - Revised Selected Papers, 2011. [bibtex] [doi] |
| [149] | , Graph-based Management of Communities of Web Service Registries, In WEBIST, 2011. [bibtex] |
| [148] | , A Game Approach to Determinize Timed Automata, In FOSSACS, 2011. [bibtex] [doi] |
| [147] | , Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, In TACAS, 2011. [bibtex] [doi] |
| [146] | , Equilibrage de charge sur une grille travers un modèle économique régulant l'offre et la demande de service, In 11éme édition annuelle de la Conférence Internationale sur les NOuvelles Technologies de la REpartition (NOTERE 2011), 2011. (8 p.) [bibtex] [doi] |
| [145] | , Adaptive Middleware Architecture for Group Communication Activities, In the 11th annual international conference on New Technologies of Distributed Systems (NOTERE), 2011. (7 p.) [bibtex] [doi] |
| [144] | , Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011, In Cross Language Evaluation Forum (Notebook Papers/Labs/Workshop), CLEF 2011 Labs and Workshop, Notebook Papers, 2011. [bibtex] |
| [143] | , Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011, In CLEF (Notebook Papers/Labs/Workshop), CLEF 2011 Labs and Workshop, Notebook Papers, 19-22 September 2011, Amsterdam, The Netherlands, 2011. [bibtex] |
| 2010 | |
| [142] | , Security Mapping To Enhance Matching Fine-Grained Security Policies, In Proceedings of the Second International Conference on Networked Digital Technologies (NDT 2010), Springer, 2010. [bibtex] [doi] |
| [141] | , Towards a user intention aware service composition, In New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, 2010. [bibtex] [doi] |
| [140] | , Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex] |
| [139] | , Position paper: Advances in Reconfigurable Distributed Real Time Embedded Systems, In International workshop on Distributed Architecture modeling for Novel component based Embedded systems (DANCE 2010), IEEE, 2010. [bibtex] |
| [138] | , Using "Bees ALGORITHM" for Qos-Based Selection of Web Services, In Proceedings of the 9th International Conference on Multiple Objective Programming and Goal Programming, 2010. [bibtex] |
| [137] | , Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems, In Proceedings of the International Conference on New Technologies of Distributed Systems (NOTERE), 2010. [bibtex] [doi] |
| [136] | , F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In 7th European Conference on Wireless Sensor Networks (EWSN 2010), Springer, 2010. [bibtex] |
| [135] | , Exploitation des liens pour la recherche d'images dans des documents XML, In Proceedings of the 7th French Information Retrieval Conference CORIA 2010 - COnférence en Recherche d'Infomations et Applications, 2010. [bibtex] |
| [134] | , Using Recommendation to Limit Search Space in Web Services Discovery, In 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010, 2010. [bibtex] [doi] |
| [133] | , WSRD: A Web Services Registry Description, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex] [doi] |
| [132] | , Toward an Aspect Oriented ADL for Embedded Systems, In Proccedings of the 4th European Conference on Software Architecture (ECSA), Springer, volume 6285, 2010. [bibtex] [doi] |
| [131] | , What about collaboration in ubiquitous environments, In 10th annual international conference on New Technologies of Distributed Systems (NOTERE'10), 2010. [bibtex] |
| [130] | , A TestBed for the Evaluation of Link Quality Estimators in Wireless Sensor Networks, In The IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN), IEEE Computer Society, 2010. [bibtex] [doi] |
| [129] | , Orchestrating Safe Behavioural Adaptations of Component-based Systems, In Proceedings of the 6th International Conference on Autonomic and Autonomous Systems, IEEE Computer Society, 2010. [bibtex] [doi] |
| [128] | , A Formal Approach to Enforcing Consistency in Self-adaptive Systems, In Proceedings of the 4th European Conference on Software Architecture, Springer, 2010. [bibtex] [doi] |
| [127] | , RDyMASS: Reliable and dynamic enforcement of security policies for mobile agent systems, In International workshop on autonomous and spontaneous security (SETOP 2009) at the 14th European Symposium on Research in Computer Security (ESORICS 2009), Springer-Verlag, volume LNCS 5939, 2010. [bibtex] |
| [126] | , Aspect-Oriented Checkpointing Approach of Composed Web Services, In ICWE Workshops, 2010. [bibtex] [doi] |
| [125] | , A demonstration paper. ODACE SLA : An efficient tool for the automatic SLA Establishment between service clients and providers, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex] |
| [124] | , Enhancing Client Intentions Analysis for Service Level Agreements Establishment Assistance, In First International Conference on Models and Ontology-based Design of Protocols, Architectures and Services, IEEE Computer Society, 2010. [bibtex] |
| [123] | , A generic process to build reliable distributed software components from early to late stages of software development, In Proceedings of the Sixth International Conference on Computer Engineering and Systems, ICCES 2010, 2010. [bibtex] |
| [122] | , A UML based deployment and management modeling for cooperative and distributed applications, In Proceedings of the 8th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2010) (Springer's Studies in Computational Intelligence (SCI), ed.), Springer, 2010. [bibtex] [doi] |
| [121] | , A Formal Framework for Conformance Testing of Distributed Real-Time Systems, In OPODIS, 2010. [bibtex] [doi] |
| [120] | , Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers, In AINA Workshops, IEEE Computer Society, 2010. [bibtex] [doi] |
| [119] | , Intention Driven Service Composition With Service Patterns, In 12th International Conference on Enterprise Information Systems (ICEIS 2010), 2010. [bibtex] |
| [118] | , Model-based engineering for dynamic reconfiguration in DRTES, In ECSA '10: Proceedings of the Fourth European Conference on Software Architecture. WORKSHOP SESSION: VIII Nordic Workshop on Model-Driven Software Engineering, ACM, 2010. [bibtex] [doi] |
| [117] | , A Demonstration of an Efficient Tool for Graph Matching and Transformation, In 10ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances (EGC 2010), 2010. [bibtex] |
| [116] | , Towards the reuse of lingware systems: a proposed approach with a practical experiment, In Proceedings of the 12th International Conference on Information Integration and Web-based Applications &\38; Services, ACM, 2010. [bibtex] [doi] |
| [115] | , Demo paper: A demonstration of GMTE: the Graph Matching and Transformation Engine, In The 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), 2010. [bibtex] |
| [114] | , A policy-driven dynamic reconfiguration for virtualized web services-based architectures, In the Business System Management and Engineering workshop (BSME 2010), 2010. (15 p.) [bibtex] |
| [113] | , Graph grammar-based transformation for context-aware architectures supporting group communication, In 4ème Conférence francophone sur les Architectures Logicielles (CAL 2010), 2010. [bibtex] |
| [112] | , Semantic Driven Self-Adaptation of Communications applied to ERCMS, In The 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010), 2010. [bibtex] [doi] |
| [111] | , Exploitation des liens pour la recherche d'images dans des documents XML, In Proceedings of the 7th French Information Retrieval Conference CORIA 2010 - COnférence en Recherche d'Infomations et Applications, 2010. [bibtex] |
| [110] | , A Runtime Performance Analysis for Web Service-Based Applications, In Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW) Held in conjunction With the 10th International Conference on Web Engineering (ICWE), Springer, volume 6385, 2010. [bibtex] [doi] |
| 2009 | |
| [109] | , Specifying and Monitoring Temporal Properties in Web services Compositions, In Proceedings of the 7th IEEE European Conference on Web Services (ECOWS), IEEE computer society, 2009. [bibtex] [doi] |
| [108] | , Experiments Results and Large Scale Measurement Data for Web Services Performance Assessment, In Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), IEEE Computer Society, 2009. [bibtex] [doi] |
| [107] | , Fault Tolerant Distributed Algorithms for Mobile Agents, In 9ème Conférence Internationale sur les Nouvelles Technologies de REpartition (NOTERE'09), 2009. [bibtex] |
| [106] | , Making Sound Policies for Self-healing Systems, In 9ème Conférence Internationale sur les Nouvelles Technologies de lREpartition (NOTERE'09), 2009. [bibtex] |
| [105] | , From Formal Access Control Policies to Runtime Enforcement Aspects, In Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS), Springer, volume 5429, 2009. [bibtex] [doi] |
| [104] | , Plan recognition based on sensor produced micro-context for eldercare, In Proc. of RO-MAN 2009 Workshop on Context-Awareness in Smart environments: Background, Achievements, and Challenges, Japan, 2009. [bibtex] |
| [103] | , Efficient incremental plan recognition method for cognitive assistance, In Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings 7, 2009. [bibtex] |
| [102] | , Periodic Checkpointing for Strong Mobility of Orchestrated Web Services, In , IEEE Computer Society, 2009. [bibtex] [doi] |
| [101] | , A model-driven adaptive framework for collaborative ubiquitous systems, In the 9th annual international conference on New Technologies of Distributed Systems (NOTERE'09), 2009. [bibtex] |
| [100] | , A Comparative Simulation Study of Link Quality Estimators in Wireless Sensor Networks, In 17th IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'09), IEEE, 2009. [bibtex] [doi] |
| [99] | , An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures, In FSEN, Springer, volume 5961, 2009. [bibtex] [doi] |
| [98] | , LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use, In Proceedings of the 4th Language & Technology Conference LTC 2007 (Z. Vetulani, H. Uszkoreit, eds.), Springer, volume 5603, 2009. [bibtex] [doi] |
| [97] | , A formal architecture-centric approach for safe self-repair, In In Second International Conference on Web and Information Technologies (ICWIT'09), 2009. [bibtex] |
| [96] | , A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems, In Software Architecture, 2009 European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on, 2009. [bibtex] [doi] |
| [95] | , A model-driven adaptive approach for collaborative ubiquitous systems, In the 3rd workshop on Agent-oriented software engineering challenges for ubiquitous and pervasive computing (AUPC 09), ACM, 2009. [bibtex] [doi] |
| [94] | , Portability of an IEEE 802.11s standard open source implementation on the XOs, In the first International Conference on Communications and Networking (ComNet), 2009. [bibtex] |
| [93] | , Off-Line Placement of Hardware Tasks on FPGA, In IEEE 19th International Conference on Field Programmable Logic and Applications (FPL), 2009. [bibtex] |
| [92] | , Off-line Placement of Reconfigurable Zones and off-line Mapping of Harware Tasks on FPGA, In Conference on Design and Architectures for Signal and Image Processing (DASIP2009), 2009. [bibtex] |
| [91] | , Security aware content-based publish/subscribe system, In Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), IEEE Computer Society, 2009. [bibtex] [doi] |
| [90] | , A Secure Content-Based Publish/Subscribe Middleware, In Third International Conference on Information Technology: New Generations, IEEE Computer Society, 2009. [bibtex] [doi] |
| 2008 | |
| [89] | , A QoS-oriented reconfigurable middleware for self-healing Web services, In Proceedings of the IEEE International Conference on Web Services (ICWS'08), IEEE Computer Society, 2008. [bibtex] [doi] |
| [88] | , Non-intrusive QoS monitoring and analysis for self-healing Web services, In Proceedings of the first IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT'08), IEEE Computer Society, 2008. [bibtex] |
| [87] | , Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Proceedings of the 4th International Conference on Self-organization and Adaptation of Computing and Communications (SSCC'2008), 2008. [bibtex] |
| [86] | , Improving Java Card Grid Dependability with Fault Prevention and Fault Tolerance, In Proceedings of the 1st International Conference in Embedded Systems and Critical Applications, 2008. [bibtex] |
| [85] | , Electing a Leader in the Local Computation Model Using Mobile Agents, In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), 2008. [bibtex] [doi] |
| [84] | , A UML rule-based approach for describing and checking dynamic software architectures, In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), 2008. [bibtex] [doi] |
| [83] | , Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks, In Proceedings of the 9th International Conference on Distributed Computing and Networking ICDCN'2008 (Army L. Murphy, Jan Vitek, eds.), Springer, volume 4904, 2008. [bibtex] [doi] |
| [82] | , Towards Making WSRF Based Web Services Strongly Mobile, In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'08), IEEE Computer Society, 2008. [bibtex] [doi] |
| [81] | , Towards modelling and analysis of a coordination protocol for dynamic software adaptation, In CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, ACM, 2008. [bibtex] [doi] |
| [80] | , Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism, In CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, ACM, 2008. [bibtex] [doi] |
| [79] | , Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008. [bibtex] |
| [78] | , A framework for monitoring and runtime recovery of web service-based applications, In 10th International Conference on Enterprise Information Systems (ICEIS 2008), 2008. [bibtex] |
| [77] | , Modélisation et monitoring des contrats de qualité de services en utilisant les ontologies, In , volume 0, 2008. [bibtex] |
| [76] | , SVM synthesis by hierarchical structures of learning automata application for handwritten digits recognition, In IEEE International Multi-Conference on Systems, Signals and Devices (SSD2008), 2008. [bibtex] |
| [75] | , Model-Based QoS-Enabled Self-Healing Web Services, In DEXA '08: Proceedings of the 2008 19th International Conference on Database and Expert Systems Application, IEEE Computer Society, 2008. [bibtex] [doi] |
| 2007 | |
| [74] | , A Secured Service-Oriented Architecture for E-government in Tunisia, In Proceedings of the eGovernment Interoperability Campus 2007 Conference (eGovINTEROP'07), 2007. [bibtex] |
| [73] | , LMF-QL: A Graphical Tool to Query LMF databases, In Proc. of the 3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (Zygmut Vetulani, ed.), Wydawnictwp Poznanskie, 2007. [bibtex] [doi] |
| [72] | , Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles, In In ECSA'07 The First European Conference on Software Architecture, Springer-Verlag, volume 4758, 2007. [bibtex] [doi] |
| [71] | , Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants, In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, volume 4467, 2007. [bibtex] [doi] |
| [70] | , A Serialisation Based Approach for Processes Strong Mobility, In Proceedings of the 7th IFIP International Conference on Distributed Applications and Interoperable Systems (Dais) (Jadwiga Indulska, Kerry Raymond, eds.), Springer, volume 4531, 2007. [bibtex] [doi] |
| [69] | , Une approche orientée règle pour la spécification formelle des architectures dynamiquement configurables, In Actes de la 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition NOTERE 2007, 2007. [bibtex] |
| [68] | , Consistent Reconfiguration for Publish/Subscribe Architecture Styles, In proceedings of the 1st International Workshop on Verification and Evaluation of Computer and Communication Systems, Electronic Workshops in Computing EWIC Series, The British Computer Society, 2007. [bibtex] [doi] |
| [67] | , An UML Profile and a FUJABA PlugIn for modelling dynamic software architectures, In Proceedings of the Workshop on Model-Driven Software Evolution MoDSE2007, IEEE, 2007. [bibtex] |
| [66] | , F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In International Multi-Conference on Systems, Signals and Devices (SSD 2007), 2007. [bibtex] |
| [65] | , A QoS-driven reconfiguration management system extending Web services with self-healing properties, In Proceeding of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE; In Workshop on Information Systems & Web Services ISWS, IEEE Computer Society, 2007. [bibtex] [doi] |
| [64] | , A Distributed Computational Model for Mobile Agents, In Proceedings of the Pacific Rim International WorkShop On Multi-Agents, Springer-Verlag, volume , 2007. [bibtex] [doi] |
| [63] | , Dynamic and On-line Design Space Explora¬tion for Reconfigurable Architecture, In Transactions on HiPEAC I, Lecture Notes in Computer Sciences 4050, 2007. [bibtex] |
| [62] | , QOS-PCF: an enhanced mechanism of PCF for QOS support in IEEE 802.11 wireless LANS, In IASTED European Conference on Proceedings of the IASTED European Conference: internet and multimedia systems and applications, 2007. [bibtex] |
| [61] | , A Serialisation Based Approach for Strong Mobility of Shared Object, In Proceedings of the 1st International Workshop on Java for Mobility (Ja4Mo 07) as part of the International Conf. on Principles and Practices of Programming In Java (PPPJ 2007), ACM, 2007. [bibtex] [doi] |
| [60] | , A Formal Approach to prevent Attacks on Mobile Agent Systems, In Proceedings of the International Conference on Emerging Security Information, Systems and Technologies, IEEE Computer Society, 2007. [bibtex] [doi] |
| [59] | , Moderate Growth Time Series Dynamic Combinatorics Modelisation, In International Conference on Economics, Law and Management ICELM2, 2007. [bibtex] |
| [58] | , Outils pour le passage à l’échelle dans la composition des protocoles métier, In , volume 0, 2007. [bibtex] |
| [57] | , Context-aware adaptation for group communication support applications with dynamic architecture, In the 3rd International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2007), 2007. [bibtex] |
| [56] | , Architecture de sécurité dans un réseau mesh multi sauts, In 8ème Colloque Francophone de Gestion de REseaux et de Services, (GRES2007), 2007. [bibtex] |
| 2006 | |
| [55] | , Des services orientés besoin pour l'exploitation des bases lexicales normalisées, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'06), 2006. [bibtex] |
| [54] | , A formally specified framework for elaborating event-based architectural styles correct by design, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'06), 2006. [bibtex] |
| [53] | , Describing Dynamic Software Architecture using an Extended UML Model, In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Model Transformation (Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright, Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, Christophe Nicolle, eds.), ACM, 2006. [bibtex] [doi] |
| [52] | , SEC : A search engine for component based software engineering, In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Software Engineering (Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright, Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, Christophe Nicolle, eds.), ACM, 2006. [bibtex] [doi] |
| [51] | , Compositional specification of event-based software architectural styles, In Proceedings of the 4th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'06), 2006. [bibtex] |
| [50] | , A Conceptual Model for Secure Mobile Agent Systems, In Proceedings of the IEEE International Conference on Computational Intelligence and Security (CIS'2006), 2006. [bibtex] |
| [49] | , An UML-based approach for validation of software architecture descriptions, In Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers (Dirk Draheim, Gerald Weber, eds.), Springer, volume 4473, 2006. [bibtex] [doi] |
| [48] | , Emerging Decision Support System for Geographical Information Systems., In International Conference on Economics, Law and Management ICELM2, 2006. [bibtex] |
| [47] | , Nouvelle méthode d'authentification EAP-EHash, In 12ème Colloque Francophone sur l'Ingénierie des Protocoles CFIP'2006, Hermès Science et Publication, ISBN 978-2-7462-1587-0, 2006. [bibtex] |
| [46] | , Conception d'un Logiciel de Localisation d'un mobile, In Workshop avec école intégrée Méthodologies et Heuristiques pour l'Optimisation des Systèmes Industriels MHOSI'2005), 2006. [bibtex] |
| [45] | , Optimization of fractal image compression with genetic algorithms, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP 2006), 2006. [bibtex] |
| [44] | , New variable block size motion estimation algorithm for H264/AVC, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP), 2006. [bibtex] |
| 2005 | |
| [43] | , A Simulation Based Process for the Construction of Correct Models, In Proceedings of the International Conference on Conceptual Modeling and Simulation (CMS2005), 2005. [bibtex] |
| [42] | , Graphical simulation of the dynamic evolution of the software architectures specified in \mboxZ, In Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE), 2005. [bibtex] [doi] |
| [41] | , Using \mboxUML2.0 and Graph Grammars for describing the dynamic software architectures, In Proceedings of the IEEE International Conference on Information Technology and Applications ICITA'05, 2005. [bibtex] |
| [40] | , Evaluation and Comparison of \mboxADL based approaches for the description of Dynamic software architectures, In Proceedings of the Seventh International Conference on Enterprise Information Systems ICEIS'05, 2005. [bibtex] |
| [39] | , A Formal Model for Mobile Agent Systems Using \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] |
| [38] | , Towards a Formal Methodology for Developing Multi-Agent Applications using Temporal \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] [doi] |
| [37] | , Towards a Formal Methodology for Designing Multi-agent Applications, In Proceedings of Third German Conference on Multi-Agent Technologis MATES 2005 (T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch, M.N. Huhns, eds.), Springer, volume 3550, 2005. [bibtex] [doi] |
| [36] | , Component Based Lingware Development using the EJB Model and XML linguistic interface, In Proceedings of the L&TC'05, 2005. [bibtex] |
| [35] | , On the decomposition of Boolean functions, In Boolean Functions: Cryptography and Applications, BFCA'05 (P. Valarcher JF. Michon, JB. Yunès, eds.), Publications des universités de Rouen et du Havre, 2005. [bibtex] |
| [34] | , Multicast Routing Protocol for Ad Hoc Networks with a Quality of Service 'Qos-AODV', In 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2005), 2005. [bibtex] |
| 2004 | |
| [33] | , Specification and Verification of Multi-agent Applications using Temporal \mboxZ, In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2004 (IAT'2004), 2004. [bibtex] [doi] |
| [32] | , Toward a Unified Graph-Based Framework for Dynamic Component-Based Architectures Descriptionin \mboxZ, In Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'2004), 2004. [bibtex] [doi] |
| [31] | , Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence, 2004. [bibtex] |
| [30] | , Vers une méthode centrée-acteur pour la conception des applications Web, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence, 2004. [bibtex] |
| [29] | , Agent et SMA : Modélisation de la Coopération et de la Négociation selon la notation Z, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence, 2004. [bibtex] |
| [28] | , Specification and Design of Multi-agent Applications Using Temporal Z, In Proceedings of Pacific Rim International Workshop on Multi-Agents (M.W. Barley, N. Kasabov, eds.), Springer, volume 3371, 2004. [bibtex] [doi] |
| [27] | , Formalization of Cooperation in MAS: Towards a Generic Conceptual Model, In Proceedings of the IX Ibero-American Conference on Artificial Intelligence (IBERAMIA), Springer, volume 3315, 2004. [bibtex] [doi] |
| [26] | , Algebraic erasure of letter-transitions., In Jordan International Conference on Computer Sciences and Engineering, (JICCSE), 2004. [bibtex] |
| 2003 | |
| [25] | , EFLE : An environment for generating lingware systems code from formal requirements specification, In Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, 2003. [bibtex] |
| [24] | , Support de communication asynchrone dédié aux agents distribués, In Actes des Journées Scientifiques Francophones JSF'03 en Electronique, Télécommunication et Informatique, 2003. [bibtex] |
| 2002 | |
| [23] | , An Operational Semantics Dedicated to the Coordination of Cooperating Agents, In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2002. [bibtex] |
| [22] | , An Operational Semantics for Negotiating Agents, In Intelligent Agents and Multi-Agent Systems, Springer, volume 2413, 2002. [bibtex] [doi] |
| 2001 | |
| [21] | , A formal negociation model for cooperating agents, In Proceedings of the AAAI Workshop on Negotiation Methods for Autonomous Cooperative Systems, 2001. [bibtex] |
| [20] | , Cooperative systems for information sharing and exchange, In Proceedings of 10th IEEE Workshops on Enabling Technologies: Infrastructre for Collaborative Entreprise8, 2001. [bibtex] [doi] |
| [19] | , An Environment for Formal Specification and Verification of Lingware, In Engineering of Intelligent Systems, Springer, volume 2070, 2001. [bibtex] |
| 2000 | |
| [18] | , A Unified Algebraic Framework for Specifying Communication Protocols, In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, Chapman and Hall, 2000. [bibtex] [doi] |
| [17] | , A formal definition of cooperation and agency among multi-agent systems, In Proceedings of the International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications, 2000. [bibtex] |
| [16] | , Using a formal approach to evaluate grammars, In Proceedings of Second International Conference on Language Resources and Evaluation (LREC'2000), 2000. [bibtex] |
| 1999 | |
| [15] | , Towards a formal definition of the cooperation among Multi-Agent Systems, In Proceedings of the first IFAC Workshop on Multi-Agent-Systems in production, 1999. [bibtex] |
| [14] | , A formal approach to lingware development, In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer, volume 1611, 1999. [bibtex] |
| 1998 | |
| [13] | , \mboxRSOO : Une Représentation Sémantique Orientée \mboxObjets de Requêtes en Langage Naturel, In Proceedings of the International conference on Natural Language Processing and Industrial Applications; NLP+IA 98, 1998. [bibtex] |
| [12] | , Vers l'utilisation des méthodes formelles pour le développement de linguiciels, In Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics COLING/ACL, Morgan Kaufmann Publishers, 1998. [bibtex] |
| [11] | , A new Approach to the Conception and the Behavioral Semantics of a Multi-Agent System, In Proceedings of the fifth Maghrebian Conference on Software Engineering and Artificial Intelligence MCSEAI'98, 1998. [bibtex] |
| [10] | , Intérêts des Méthodes Formelles en Génie Linguistique, In Proceedings of the TALN98, 1998. [bibtex] |
| [9] | , A new Approach to the Conception and the Behavioral Semantics of a Multi-Agent System, In Proceedings of the 2nd IEEE International Conference on Intelligent Processing Systems -ICIPS'98, 1998. [bibtex] |
| [8] | , Multi-Agent Systems : from conception to Behavioral Semantics, In Proceeding of the IEEE International Conference on Intelligent Engineering Systems - INES'98, 1998. [bibtex] |
| [7] | , Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems, In Proceedings of the 4th Australian Workshop on Distributed Artificial Intelligence on Multi-Agent Systems : Theories, Languages, and Applications (DAI-98), Springer, volume 1544, 1998. [bibtex] [doi] |
| 1997 | |
| [6] | , A methodology for developing communication protocols, In Proceedings of the first workshop on many facets of processes, 1997. [bibtex] |
| 1995 | |
| [5] | , Development of Communication Protocols by Composing and Refining Temporal Specifications, In Proceedings of the 4th Software Quality Conference, 1995. [bibtex] |
| [4] | , An Algebraic-Temporal Specification of a CSMA/CD-Protocol, In Proceedings of the IFIP WG 6.1 Fifteenth International Symposium on Protocol Specification, Testing and Verification, Chapman and Hall, 1995. [bibtex] |
| 1994 | |
| [3] | , Development of Communication Protocols using Algebraic and Temporal Specifications, In Contributions to the Quality of Communication-Based Systems (G. Hommel, ed.), 1994. [bibtex] |
| [2] | , Development of Communication Protocols using Algebraic and Temporal Specifications, In Proceedings of the International Workshop on Advanced Software Technology, 1994. [bibtex] |
| 1993 | |
| [1] | , Development of Communication Protocols, In Forschungsprojekte des Graduiertenkollegs 'Kommunikationsbasierte Systeme' (G. Hommel, ed.), 1993. [bibtex] |
Masters Thesis
| 2012 | |
| [24] | , Extension et adaptation d'un langage d'aspect pour les systèmes temps réel, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2012. [bibtex] |
| 2011 | |
| [23] | , Une approche formelle pour la vérification des propriétés non fonctionnelles d'orchestration des services web, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2011. [bibtex] |
| [22] | , Définition et validation d’une approche de monitoring et d’analyse proactive des systèmes Publier/Souscrire déployés sur les réseaux mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [21] | , Modélisation @Run.Time des Applications à Base de Composants, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [20] | , Etude et expérimentation du Cloud Computing pour le monitoring des applications orientées services, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [19] | , Une technique de tolérance aux pannes franches dans les systèmes base d'agents mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [18] | , Traitement de la forte dynamicité dans un système publier/souscrire basé DHT, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [17] | , Vérification Formelle des Propriétés non Fonctionnelles des RTES Dynamiquement Reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [16] | , Conception et Développement d'un Support d'Exécution pour systèmes TR\up2E dynamiquement reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [15] | , Définition et validation d'une approche de monitoring et d'analyse des systèmes Publier/Souscrire déployés sur MANET, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| 2010 | |
| [14] | , Exploitation des liens pour la recherche d'images dans des documents XML, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] |
| [13] | , Extension d'un langage de description d'architecture pour la programmation orientée aspect, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] |
| [12] | , An Experimental Study for the Performance Evaluation and Optimization of Link Quality Estimators in Wireless Sensor Networks, Master's thesis, The Faculty of Economics and Management of Sfax, 2010. [bibtex] |
| [11] | , Une approche pour la modélisation et la vérification des politiques d'adaptation pour le style P/S, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2010. [bibtex] |
| 2009 | |
| [10] | , Définition et Validation d'une Approche d'Analyse des Performances des Services Web Mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex] |
| [9] | , Évaluation de Politiques d'Auto-Adaptabilité basées sur la Mobilité des Services Web Orchestrés, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex] |
| [8] | , Méthode ForMAAD: vers une approche dirigée par les modèles pour la conception d'applications à base d'agents, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2009. [bibtex] |
| 2008 | |
| [7] | , Conception d'un Service d'Évènement Distribué Basé Contenu Sécurisé, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] |
| [6] | , Modélisation et Raffinement du Déploiement Dynamique des Architectures Logicielles Distribuées, Master's thesis, Ecole Nationale d'Ingenieurs de Sfax, University de Sfax, Tunisie, 2008. [bibtex] |
| [5] | , Une approche pour l'assurance des qualités de services des systèmes publier/souscrire déployés sur un réseau mobile ad-hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] |
| 2007 | |
| [4] | , Une démarche de validation de spécifications formelles des architectures logicielles , Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2007. [bibtex] |
| 2006 | |
| [3] | , Conception d'une Nouvelle Strategie de Routage Dynamique pour les Reseaux Mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2006. [bibtex] |
| 2005 | |
| [2] | , Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex] |
| 2002 | |
| [1] | , Rationalité et composition d’automate multiplicités, Master's thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2002. [bibtex] |
PhD Thesis
| 2015 | |
| [17] | , Vérification formelle des systèmes multi-agents auto-adaptatifs, PhD thesis, Université de Toulouse et Université de Sfax (FSEGS), 2015. [bibtex] |
| 2013 | |
| [16] | , A Policy-based Approach for Instance Migration of Composed Web Services, PhD thesis, Université de Sfax (ENIS), 2013. [bibtex] |
| [15] | , Architectures logicielles composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E), PhD thesis, Université de Toulouse et Université de Sfax (ENIS), 2013. [bibtex] |
| [14] | , Framework for ambient assistive living: handling dynamism and uncertainty in real time semantic services provisioning, PhD thesis, Evry, Institut national des télécommunications, 2013. [bibtex] |
| 2011 | |
| [13] | , Specifying and Monitoring Non-functional Properties, PhD thesis, Darmstadt University of Technology, 2011. [bibtex] |
| [12] | , Dynamic Software Architecture Management for Collaborative Communicating Systems, PhD thesis, University of Sfax and University of Toulouse, 2011. [bibtex] |
| [11] | , Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués, PhD thesis, Université Paul Sabatier, Toulouse-France and Université de Sfax-Tunisie, 2011. [bibtex] |
| [10] | , Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service, PhD thesis, University of Toulouse and University of Sfax, 2011. [bibtex] |
| 2010 | |
| [9] | , Approche Formelle pour la Spécification, la Vérification et le Déploiement des Politiques de Sécurité Dynamiques dans les Systèmes base d'Agents Mobiles, PhD thesis, Université de Sfax, 2010. [bibtex] |
| [8] | , P/S-COM : a formal method to design correct Publish/Subscribe software architectures, PhD thesis, University of Sfax, 2010. [bibtex] |
| 2009 | |
| [7] | , A formal Development Methodology of Multi-agent Applications, PhD thesis, University of Sfax, 2009. [bibtex] |
| [6] | , Conception, implantation et expérimentation d’une architecture en bus pour l’auto-réparation des applications distribuées base de services Web, PhD thesis, Université Paul Sabatier, Toulouse-France et Université de Sfax-Tunisie, 2009. [bibtex] |
| 2008 | |
| [5] | , Modelling of distributed applications with dynamic architecture: design and validation, PhD thesis, University of Toulouse, 2008. [bibtex] |
| [4] | , Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture, PhD thesis, École Nationale Supérieure des Télécommunications, 2008. [bibtex] |
| 2007 | |
| [3] | , Adaptation d'applications pervasives dans des environnements multi-contextes, PhD thesis, Institut National des Sciences Appliquées de LYON, 2007. [bibtex] |
| 2005 | |
| [2] | , Contribution la Contributions la théorie et aux applications des automates multiplicités, PhD thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2005. [bibtex] |
| 1996 | |
| [1] | , Development of Communication Protocols with Algebraic-Temporal Specifications, PhD thesis, Technical University of Berlin, 1996. [bibtex] |
Other Publications
| 2022 | |
| [7] | , Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27--30, 2022, Proceedings, Springer Nature, 2022. [bibtex] |
| 2019 | |
| [6] | , How AI Impacts Urban Living and Public Health: 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings, Springer Nature, 2019. [bibtex] |
| 2018 | |
| [5] | , Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living: 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings, Springer, 2018. [bibtex] |
| 2017 | |
| [4] | , Enhanced Quality of Life and Smart Living: 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings, Springer, 2017. [bibtex] |
| 2008 | |
| [3] | , Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 2. Deliverable D3.2, Technical report, , 2008. (Projet IST WS-DIAMOND N ° 516933) [bibtex] |
| 2007 | |
| [2] | , Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 1, Technical report, , 2007. (Projet IST WS-DIAMOND N°516933) [bibtex] |
| 1994 | |
| [1] | , Specifying Communication Protocols with Temporal Logic, Technical report, Technische Universität Berlin, Fachbereich Informatik, 1994. [bibtex] |
ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an EmailPhone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia