Search:
By Type:
Books
| 2024 | |
| [26] | Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, (Ismael Bouassida Rodriguez, Slim Kallel, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem, eds.), CEUR-WS.org, volume 3642, 2024. [bibtex] [pdf] |
| 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
| 2024 | |
| [17] | , Case study method: A step‑by‑step black‑box audit for security study of Web applications, Chapter in , CRC Press. Taylor & Francis Group, 2024. [bibtex] [doi] |
| [16] | , Security study of Web applications through a white‑box audit approach: A case study, Chapter in , CRC Press. Taylor & Francis Group, 2024. [bibtex] [doi] |
| 2023 | |
| [15] | , Unmanned aerial vehicles communications security challenges: A survey, Chapter in Unmanned Aerial Vehicles Applications: Challenges and Trends, Springer International Publishing Cham, 2023. [bibtex] |
| 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
| 2025 | |
| [336] | , HGS-At-LSTM: attention-based long short-term memory model combined with halving grid search optimizer for harmful algal bloom forecasting, In International Journal of Data Science and Analytics, Springer Science and Business Media LLC, 2025. [bibtex] [pdf] [doi] |
| [335] | , Automated explainable and interpretable framework for anomaly detection and human activity recognition in smart homes, In Neural Computing and Applications, Springer London London, 2025. [bibtex] |
| [334] | , Neural Network-Based Finite-Time Control for Stochastic Nonlinear Systems with Input Dead-Zone and Saturation, In Arabian Journal for Science and Engineering, Springer Berlin Heidelberg, 2025. [bibtex] |
| [333] | , Global reduction for geo-distributed MapReduce across cloud federation, In Future Generation Computer Systems, Elsevier, volume 162, 2025. [bibtex] |
| [332] | , Lightweight blockchain-based access control with efficient revocation for fog-enabled IoT, In Innovations in Systems and Software Engineering, Springer London, 2025. [bibtex] |
| [331] | , A systematic literature review on security testing of Ethereum smart contracts, In Blockchain: Research and Applications, 2025. [bibtex] [pdf] [doi] |
| [330] | , A systematic literature review on dynamic testing of blockchain oriented software, In Sci. Comput. Program., volume 240, 2025. [bibtex] [pdf] [doi] |
| [329] | , A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes, In Comput. Stand. Interfaces, volume 92, 2025. [bibtex] [pdf] [doi] |
| [328] | , Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review, In IEEE Access, volume 13, 2025. [bibtex] [pdf] [doi] |
| [327] | Heterogeneous vibration data preprocessing method for fault detection, In Procedia Computer Science, volume 253, 2025. (6th International Conference on Industry 4.0 and Smart Manufacturing) [bibtex] [doi] |
| 2024 | |
| [326] | , Fog-based bootstrapping and failure repair protocols for Wake-up Receiver (WuRx)-based Wireless Sensor Networks, In IEEE Access, IEEE, 2024. [bibtex] |
| [325] | , Underlay Loosely Coupled Model for Public Safety Networks Based on Device-to-Device Communication, In Telecom, volume 5, 2024. [bibtex] [pdf] [doi] |
| [324] | , Optimized automated blood cells analysis using Enhanced Greywolf Optimization with integrated attention mechanism and YOLOv5, In Alexandria Engineering Journal, Elsevier, volume 109, 2024. [bibtex] |
| [323] | , Latency-aware and proactive service placement for edge computing, In IEEE Transactions on Network and Service Management, IEEE, 2024. [bibtex] |
| [322] | , Machine-learning-based traffic classification in software-defined networks, In Electronics, MDPI, volume 13, 2024. [bibtex] |
| [321] | , Artificial Intelligence Assistive Non-Destructive Testing of Welding Joints: A, In , 2024. [bibtex] |
| [320] | , Defending AI Models Against Adversarial Attacks in Smart Grids Using Deep Learning, In IEEE Access, IEEE, 2024. [bibtex] |
| [319] | , PreSA: an intelligent blockchain-based platform for monitoring and predicting water quality for smart aquaculture, In Neural Computing and Applications, Springer Nature, 2024. [bibtex] [doi] |
| [318] | , TXAI-ADV: Trustworthy XAI for Defending AI Models against Adversarial Attacks in Realistic CIoT, In Electronics, MDPI, volume 13, 2024. [bibtex] |
| [317] | , Timed Automata-Based Strategy for Controlling Drone Access to Critical Zones: A UPPAAL Modeling Approach, In Electronics, MDPI, volume 13, 2024. [bibtex] |
| [316] | , Performance enhancement of artificial intelligence: A survey, In Journal of Network and Computer Applications, Academic Press, 2024. [bibtex] |
| [315] | , Optimizing Traveler Behavior Between MADINA and JEDDA Using UPPAAL Stratego: A Stochastic Priced Timed Games Approach, In Mathematics, MDPI, volume 12, 2024. [bibtex] |
| [314] | , Managing natural disasters: An analysis of technological advancements, opportunities, and challenges, In Internet of Things and Cyber-Physical Systems, Elsevier, volume 4, 2024. [bibtex] |
| [313] | , TSSG-CNN: A Tuberculosis Semantic Segmentation-Guided Model for Detecting and Diagnosis Using the Adaptive Convolutional Neural Network, In Diagnostics, MDPI, volume 14, 2024. [bibtex] |
| [312] | , SS-DRPL: self-supervised deep representation pattern learning for voice-based Parkinson's disease detection, In Frontiers in Computational Neuroscience, Frontiers Media SA, volume 18, 2024. [bibtex] |
| [311] | , Single and Mixed Sensory Anomaly Detection in Connected and Automated Vehicle Sensor Networks, In Electronics, MDPI, volume 13, 2024. [bibtex] |
| [310] | , A Novel Dataset and Approach for Adversarial Attack Detection in Connected and Automated Vehicles, In Electronics, MDPI, volume 13, 2024. [bibtex] |
| [309] | , Exploiting smartphone defence: a novel adversarial malware dataset and approach for adversarial malware detection, In Peer-to-Peer Networking and Applications, Springer US New York, volume 17, 2024. [bibtex] |
| [308] | , Neural networks-based adaptive command filter control for nonlinear systems with unknown backlash-like hysteresis and its application to single link robot manipulator, In AIMS Mathematics, volume 9, 2024. [bibtex] |
| [307] | , Optimal ensemble learning model for dyslexia prediction based on an adaptive genetic algorithm, In IEEE Access, IEEE, 2024. [bibtex] |
| [306] | , Classification of MRI brain tumors based on registration preprocessing and deep belief networks, In Aims Mathematics, volume 9, 2024. [bibtex] |
| [305] | , Leveraging internet of things and emerging technologies for earthquake disaster management: Challenges and future directions, In Progress in Disaster Science, Elsevier, 2024. [bibtex] |
| [304] | , Enhancing earthquakes and quarry blasts discrimination using machine learning based on three seismic parameters, In Ain Shams Engineering Journal, Elsevier, volume 15, 2024. [bibtex] |
| [303] | , Employing machine learning for seismic intensity estimation using a single station for earthquake early warning, In Remote Sensing, MDPI, volume 16, 2024. [bibtex] |
| [302] | , Emerging technologies and supporting tools for earthquake disaster management: A perspective, challenges, and future directions, In Progress in Disaster Science, volume 23, 2024. [bibtex] |
| [301] | , A Novel Deep Learning Approach for Myocardial Infarction Detection and Multi-Label Classification, In IEEE Access, IEEE, 2024. [bibtex] |
| [300] | , Effective Hypertension Detection using Predictive Feature Engineering and Deep Learning, In IEEE Access, IEEE, 2024. [bibtex] |
| [299] | , Blockchain-assisted secured data management framework for health information analysis based on Internet of Medical Things, In Personal and ubiquitous computing, Springer London London, volume 28, 2024. [bibtex] |
| [298] | , Autism Spectrum disorder Detection in Toddlers and Adults Using Deep Learning, In International Journal of Applied Mathematics and Computer Science, De Gruyter Poland, volume 34, 2024. [bibtex] |
| [297] | , A Deep Learning Based System For a Long-term Elderly Behavioral Drift Detection, In SN Comput. Sci., volume 5, 2024. [bibtex] [pdf] [doi] |
| [296] | , Reinforcement Learning based Fog and Cloud Resource Allocation for an IoRT-aware Business Process, In Computación y Sistemas (CyS), volume 28, 2024. [bibtex] [pdf] |
| [295] | , A Smart Contract-Based Access Control Framework For Smart Healthcare Systems, In Comput. J., volume 67, 2024. [bibtex] [pdf] [doi] |
| 2023 | |
| [294] | , Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] |
| [293] | , 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] |
| [292] | , A low-rank learning-based multi-label security solution for industry 5.0 consumers using machine learning classifiers, In IEEE Transactions on Consumer Electronics, IEEE, volume 69, 2023. [bibtex] |
| [291] | , Identification, 3D-reconstruction, and classification of dangerous road cracks, In Sensors, MDPI, volume 23, 2023. [bibtex] |
| [290] | , Real time health care big data analytics model for improved QoS in cardiac disease prediction with IoT devices, In Health and Technology, Springer Berlin Heidelberg Berlin/Heidelberg, volume 13, 2023. [bibtex] |
| [289] | , Connected and automated vehicles: Infrastructure, applications, security, critical challenges, and future aspects, In Technologies, MDPI, volume 11, 2023. [bibtex] |
| [288] | , Network Slicing for Zero-Touch Networks: A Top-Notch Technology, In IEEE Network, IEEE, volume 37, 2023. [bibtex] |
| [287] | , Arrhythmia classification using multirate processing metaheuristic optimization and variational mode decomposition, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] |
| [286] | , Survey on blockchain-based data storage security for android mobile applications, In Sensors, MDPI, volume 23, 2023. [bibtex] |
| [285] | , DRL-assisted delay optimized task offloading in automotive-industry 5.0 based VECNs, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] |
| [284] | , Road scanner: A road state scanning approach based on machine learning techniques, In Applied Sciences, MDPI, volume 13, 2023. [bibtex] |
| [283] | , Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network, In , MDPI, 2023. [bibtex] |
| [282] | , Hybrid cloud storage system with enhanced multilayer cryptosystem for secure deduplication in cloud, In International Journal of Intelligent Networks, Elsevier, volume 4, 2023. [bibtex] |
| [281] | , A survey on formal verification and validation techniques for internet of things, In Applied Sciences, MDPI, volume 13, 2023. [bibtex] |
| [280] | , Strengthening the security of smart contracts through the power of artificial intelligence, In Computers, MDPI, volume 12, 2023. [bibtex] |
| [279] | , Improving formal verification and testing techniques for internet of things and smart cities, In Mobile networks and applications, Springer US New York, volume 28, 2023. [bibtex] |
| [278] | , Formal methods and validation techniques for ensuring automotive systems security, In Information, MDPI, volume 14, 2023. [bibtex] |
| [277] | , Convolutional neural networks: A survey, In Computers, MDPI, volume 12, 2023. [bibtex] |
| [276] | , Neural-networks-based adaptive fault-tolerant control of nonlinear systems with actuator faults and input quantization, In IEEE Access, IEEE, volume 11, 2023. [bibtex] |
| [275] | , Enabling efficient data integration of industry 5.0 nodes through highly accurate neural CSI feedback, In IEEE Transactions on Consumer Electronics, IEEE, volume 69, 2023. [bibtex] |
| [274] | , Transfer learning-based quantized deep learning models for nail melanoma classification, In Neural Computing and Applications, Springer London London, volume 35, 2023. [bibtex] |
| [273] | , Smart optimization solution for channel access attack defense under UAV-aided heterogeneous network, In IEEE Internet of Things Journal, IEEE, volume 10, 2023. [bibtex] |
| [272] | , An empirical assessment of ensemble methods and traditional machine learning techniques for web-based attack detection in industry 5.0, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] |
| [271] | , Personalized, Context-Aware, and Adaptable Persuasive Approach for Encouraging Physical Activity among Older Adults, In Entertainment Computing, Elsevier, 2023. [bibtex] |
| [270] | , A deep learning methodology for predicting cybersecurity attacks on the internet of things, In Information, MDPI, volume 14, 2023. [bibtex] |
| [269] | , Early detection of earthquakes using iot and cloud infrastructure: A survey, In Sustainability, MDPI, volume 15, 2023. [bibtex] |
| [268] | , Access control in Internet of Things: A survey, In Computers & Security, volume 135, 2023. [bibtex] [pdf] [doi] |
| [267] | , Integrating Blockchain and Deep Learning for Intelligent Greenhouse Control and Traceability, In Alexandria Engineering Journal, volume 79, 2023. (\textcolorblueRanked \textbfQ1 on \textbfScopus and \textbfSJR. \textbfIF=6.8 (Web of Science)) [bibtex] [pdf] [doi] |
| [266] | , Embedded decision support platform based on multi-agent systems, In Multimedia Tools and Applications, Springer Nature, volume 82, 2023. [bibtex] [doi] |
| [265] | , A survey on automation approaches of smart contract generation, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [264] | , Introduction to the special issue on new trends in autonomous systems engineering, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [263] | , Multi-objective approach for scheduling time-aware business processes in cloud-fog environment, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [262] | , A core IoT ontology for automation support in edge computing, In Serv. Oriented Comput. Appl., volume 17, 2023. [bibtex] [pdf] [doi] |
| [261] | , Spatiotemporal Clustering of Parking Lots at the City Level for Efficiently Sharing Occupancy Forecasting Models, In Sensors, volume 23, 2023. [bibtex] [pdf] [doi] |
| [260] | , A New Schedule-Based Scheme for Uplink Communications in LoRaWAN, In IEEE Open J. Commun. Soc., volume 4, 2023. [bibtex] [pdf] [doi] |
| [259] | , Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications, In J. Syst. Softw., volume 195, 2023. [bibtex] [pdf] [doi] |
| [258] | , A formal approach to specify and verify Internet of Things architecture, In Internet Things, volume 24, 2023. [bibtex] [pdf] [doi] |
| [257] | , Internet of Things design patterns modeling proven correct by construction: Application to aged care solution, In Future Gener. Comput. Syst., volume 148, 2023. [bibtex] [pdf] [doi] |
| 2022 | |
| [256] | , 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] |
| [255] | , A Smart Contract-Based Access Control Framework For Smart Healthcare Systems, In The Computer Journal, 2022. (bxac183) [bibtex] [pdf] [doi] |
| [254] | , Live video streaming service with pay-as-you-use model on Ethereum Blockchain and InterPlanetary file system, In Wireless Networks, Springer US, volume 28, 2022. [bibtex] |
| [253] | , Blockchain for modern applications: A survey, In Sensors, MDPI, volume 22, 2022. [bibtex] |
| [252] | , Floating nodes assisted cluster-based routing for efficient data collection in underwater acoustic sensor networks, In Computer Communications, Elsevier, volume 195, 2022. [bibtex] |
| [251] | , Decision-Making Approach for an IoRT-Aware Business Process Outsourcing, In Digital, MDPI, volume 2, 2022. [bibtex] |
| [250] | , Multi-objective approach for scheduling time-aware business processes in cloud-fog environment, In The Journal of Supercomputing, Springer, 2022. [bibtex] |
| [249] | , Lorachaincare: An iot architecture integrating blockchain and lora network for personal health care data monitoring, In Sensors, MDPI, volume 22, 2022. [bibtex] |
| [248] | , An integrated artificial intelligence of things environment for river flood prevention, In Sensors, MDPI, volume 22, 2022. [bibtex] |
| [247] | , Detecting hateful and offensive speech in Arabic social media using transfer learning, In Applied Sciences, MDPI, volume 12, 2022. [bibtex] |
| [246] | , Agricultural decision system based on advanced machine learning models for yield prediction: Case of East African countries, In Smart Agricultural Technology, Elsevier, volume 2, 2022. [bibtex] |
| [245] | , Long Gaps Missing IoT Sensors Time Series Data Imputation: A Bayesian Gaussian Approach, In IEEE Access, IEEE, volume 10, 2022. [bibtex] |
| [244] | , Modeling Autonomic Systems: Review, Classification, and Research Challenges, In International Journal of Software Innovation, IGI Global, volume 10, 2022. [bibtex] [doi] |
| [243] | , Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems, In Innovations in Systems and Software Engineering, Springer Nature, volume 18, 2022. [bibtex] [doi] |
| [242] | , MAPE-K patterns for self-adaptation in cyber-physical systems, In The Journal of Supercomputing, Springer Nature, volume 79, 2022. [bibtex] [doi] |
| [241] | , 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] |
| [240] | , An Estimation Approach to Optimize Energy Consumption in Wireless Sensor Network: A Health-Care Application, In Vietnam Journal of Computer Science, volume 9, 2022. [bibtex] [doi] |
| [239] | , SEALEA: Scalable and Energy Aware k-Leaders Election Algorithm in IoT Wireless Sensor Networks, In Wirel. Pers. Commun., volume 125, 2022. [bibtex] [pdf] [doi] |
| [238] | , Performance evaluation of the Over-The-Air activation procedure in a large scale LoRaWAN, In Wireless Networks, volume 28, 2022. [bibtex] [pdf] [doi] |
| [237] | , DAACS : a Decision Approach for Autonomic Computing Systems, In J. Supercomput., volume 78, 2022. [bibtex] [pdf] [doi] |
| [236] | , 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] |
| [235] | , Wake-Up Receiver-Based Routing for Clustered Multihop Wireless Sensor Networks, In Sensors, volume 22, 2022. [bibtex] [pdf] [doi] |
| [234] | , Cybersecurity attacks on CAN bus based vehicles: a review and open challenges, In Libr. Hi Tech, volume 40, 2022. [bibtex] [pdf] [doi] |
| [233] | , Decision-Making Approach for an IoRT-Aware Business Process Outsourcing, In Digit., volume 2, 2022. [bibtex] [pdf] [doi] |
| [232] | , Model-Driven Simulation of Elastic OCCI Cloud Resources, In Comput. J., volume 65, 2022. [bibtex] [pdf] [doi] |
| [231] | , NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates, In Software: Practice and Experience, volume 52, 2022. [bibtex] [pdf] [doi] |
| [230] | , Personalized attention-based EEG channel selection for epileptic seizure prediction, In Expert Systems with Applications, volume 206, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [229] | , Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario, In J. Inf. Secur. Appl., volume 58, 2021. [bibtex] [pdf] [doi] |
| [228] | , A Formal Testing Model for Operating Room Control System Using Internet of Things, In Computers, Materials & Continua, volume 66, 2021. [bibtex] [pdf] [doi] |
| [227] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [doi] |
| [226] | , Guest editorial: Selected papers from the International Conference on Smart Living and Public Health, In IET Smart Cities, volume 3, 2021. [bibtex] |
| [225] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Software, volume 15, 2021. [bibtex] [pdf] [doi] |
| [224] | , 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] |
| [223] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [pdf] [doi] |
| [222] | , A survey on runtime testing of dynamically adaptable and distributed systems, In Softw. Qual. J., volume 29, 2021. [bibtex] [pdf] [doi] |
| [221] | , Agent mining approaches: an ontological view, In Knowl. Eng. Rev., volume 36, 2021. [bibtex] [pdf] [doi] |
| [220] | , A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [219] | , Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [218] | , Special issue on risk and security of smart systems, In J. Inf. Secur. Appl., volume 61, 2021. [bibtex] [pdf] [doi] |
| [217] | , Educational Recommender System based on Learner's Annotative Activity, In Int. J. Emerg. Technol. Learn., volume 16, 2021. [bibtex] [pdf] [doi] |
| [216] | , Study of Healthcare Annotation Systems, In Int. J. E Health Medical Commun., volume 12, 2021. [bibtex] [pdf] [doi] |
| [215] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Softw., volume 15, 2021. [bibtex] [pdf] [doi] |
| [214] | , Restriction-based fragmentation of business processes over the cloud, In Concurr. Comput. Pract. Exp., volume 33, 2021. [bibtex] [pdf] [doi] |
| [213] | , 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 | |
| [212] | , 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] |
| [211] | , 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] |
| [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] | , 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] |
| [208] | , Efficient Depth Features for Age-Group Classification, In International Journal Of Science and Technoledge, volume 8, 2020. [bibtex] [doi] |
| [207] | , 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] |
| [206] | , A co-training-based approach for the hierarchical multi-label classification of research papers, In Expert Systems, Wiley Online Library, 2020. [bibtex] |
| [205] | , Hybrid Deep Neural Network-Based Text Representation Model to Improve Microblog Retrieval, In Cybernetics and Systems, Taylor & Francis, volume 51, 2020. [bibtex] |
| [204] | , Dynamic VNF Forwarding Graph Extension Algorithms, In IEEE Transactions on Network and Service Management, IEEE, 2020. [bibtex] |
| [203] | , Modeling and proving distributed algorithms for dynamic graphs, In Future Generation Computer Systems, Elsevier, 2020. [bibtex] |
| [202] | , Pilot Site Deployment of an IoT Solution for Older Adults’ Early Behavior Change Detection, In Sensors, Multidisciplinary Digital Publishing Institute, volume 20, 2020. [bibtex] |
| [201] | , 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] |
| [200] | , 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] |
| [199] | , Toward a correct and optimal time-aware cloud resource allocation to business processes, In Future Gener. Comput. Syst., volume 112, 2020. [bibtex] [doi] |
| [198] | , Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi] |
| [197] | , A Framework for Detecting and Analyzing Behavior Changes of Elderly People over Time Using Learning Techniques, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [196] | , Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi] |
| [195] | , Automatic Age Estimation: a survey, In Journal Computación y Sistemas, volume 24, 2020. [bibtex] [pdf] |
| [194] | , A Guiding Framework for Vetting the Internet of Things, In J. Inf. Secur. Appl., volume 55, 2020. [bibtex] [doi] |
| [193] | , Time-aware selection approach for service composition based on pruning and improvement techniques, In Softw. Qual. J., volume 28, 2020. [bibtex] [pdf] [doi] |
| [192] | , A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi] |
| [191] | , Vehicle Platooning Systems: Review, Classification and Validation Strategies, In Int. J. Networked Distributed Comput., volume 8, 2020. [bibtex] [pdf] [doi] |
| [190] | , New trends in adaptive smart systems, services, and architectures, In Concurr. Comput. Pract. Exp., volume 32, 2020. [bibtex] [pdf] [doi] |
| [189] | , Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [188] | , DHPV: a distributed algorithm for large-scale graph partitioning, In J. Big Data, volume 7, 2020. [bibtex] [pdf] [doi] |
| [187] | , Business process specification, verification, and deployment in a mono-cloud, multi-edge context, In Comput. Sci. Inf. Syst., volume 17, 2020. [bibtex] [doi] |
| [186] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Syst. J. Knowl. Eng., volume 37, 2020. [bibtex] [pdf] [doi] |
| [185] | , 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 | |
| [184] | , 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] |
| [183] | , 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] |
| [182] | , Improving formal verification and testing techniques for internet of things and smart cities, In Mobile Networks and Applications, Springer, 2019. [bibtex] |
| [181] | , 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] |
| [180] | , A Deep Learning-based Ranking Approach for Microblog Retrieval, In Procedia Computer Science, Elsevier, volume 159, 2019. [bibtex] |
| [179] | , 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] |
| [178] | , 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] |
| [177] | , Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks, In Computación y Sistemas, volume 23, 2019. [bibtex] |
| [176] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Systems, volume , 2019. [bibtex] [doi] |
| [175] | , 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] |
| [174] | , Feature models as service contracts in service oriented architecture, In International Journal of Services Technology and Management, volume 25, 2019. [bibtex] [pdf] [doi] |
| [173] | , Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi] |
| [172] | , Executing bigraphical reactive systems, In Discrete Applied Mathematics, volume 253, 2019. [bibtex] [doi] |
| [171] | , 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 | |
| [170] | , Multi-objective design exploration approach for Ravenscar real-time systems, In Real-Time Systems, volume 54, 2018. [bibtex] [doi] |
| [169] | , Adaptive MBSFN subframe allocation scheme for VBR video streaming over LTE-A networks, In Transactions on Emerging Telecommunications Technologies, Wiley Online Library, 2018. [bibtex] |
| [168] | , Detection of dynamic and overlapping communities in social networks, In Int. J. Appl. Eng. Res, volume 13, 2018. [bibtex] |
| [167] | , Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex] |
| [166] | , 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] |
| [165] | , A Semantic Approach for Tweet Categorization, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [164] | , Impacts of Temperature and Humidity variations on RSSI in indoor Wireless Sensor Networks, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [163] | , Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex] |
| [162] | , Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi] |
| [161] | , A performance analysis of Orchestra scheduling for time-slotted channel hopping networks, In Internet Technology Letters, 2018. [bibtex] |
| [160] | , Autonomous and traffic-aware scheduling for TSCH networks, In Computer Networks, volume 135, 2018. [bibtex] [doi] |
| [159] | , 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] |
| [158] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBS, volume 8, 2018. [bibtex] [doi] |
| [157] | , IT Governance in Higher Education Institutions: A Systematic Literature Review, In IJHCITP, volume 9, 2018. [bibtex] [doi] |
| [156] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBSaaa, volume 8, 2018. [bibtex] |
| [155] | , 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] |
| [154] | , Avoiding resource misallocations in business processes, In Concurrency and Computation: Practice and Experience, 2018. [bibtex] [doi] |
| [153] | , MF-Re-Rank: A modality feature-based Re-Ranking model for medical image retrieval, In JASIST, volume 69, 2018. [bibtex] [doi] |
| [152] | , Data accuracy aware mobile healthcare applications, In Computers in Industry, volume 97, 2018. [bibtex] [doi] |
| [151] | , Performance efficiency of a predictive scheme into publish/subscribe, In Int. J. Commun. Networks Distributed Syst., volume 21, 2018. [bibtex] [pdf] [doi] |
| [150] | , A novel adaptation approach for collaborative ubiquitous applications, In IJAACS, volume 11, 2018. [bibtex] [doi] |
| 2017 | |
| [149] | , A novel analysis approach for the design and the development of context-aware applications, In Journal of Systems and Software, volume 133, 2017. [bibtex] |
| [148] | , A Multi-scale Modeling Approach for Systems of Systems Architectures, In SIGAPP Applied Computing Review, ACM, volume 17, 2017. [bibtex] [pdf] [doi] |
| [147] | , A context change detection approach for ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, volume 10, 2017. [bibtex] |
| [146] | , Recognition of Learner’s Personality Traits through Digital Annotations in Distance Learning, In International Journal of Distance Education Technologies, volume Volume 15, 2017. [bibtex] |
| [145] | , Generating reusable, searchable and executable “architecture constraints as services, In Journal of Systems and Software, Elsevier, volume 127, 2017. [bibtex] |
| [144] | , Privacy in cloud computing environments: a survey and research challenges, In The Journal of Supercomputing, Springer, volume 73, 2017. [bibtex] |
| [143] | , A bigraphical multi-scale modeling methodology for system of systems, In Computers & Electrical Engineering, volume 58, 2017. [bibtex] [doi] |
| [142] | , Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms, In JSW, volume 12, 2017. [bibtex] [pdf] [doi] |
| [141] | , Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms, In Wireless Personal Communications, volume 95, 2017. [bibtex] [doi] |
| [140] | , Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning, In IJDET, volume 15, 2017. [bibtex] [doi] |
| [139] | , CEP4HFP: Complex Event Processing for Heart Failure Prediction, In IEEE Transactions on NanoBioscience, volume 16, 2017. [bibtex] [doi] |
| [138] | , Accountability management for multi-tenant cloud services, In International Journal of Grid and Utility Computing, volume 8, 2017. [bibtex] |
| [137] | , Software Agents meet Internet of Things, In Internet Technology Letters, Willey, volume , 2017. [bibtex] [doi] |
| [136] | , 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] |
| [135] | , Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations, In RAIRO-Theor. Inf. Appl., volume 51, 2017. [bibtex] [doi] |
| [134] | , Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [133] | , A semantic-based representation and analysis of monitoring data for self-adaptive systems, In Int. J. Auton. Comp., volume 2, 2017. [bibtex] [doi] |
| [132] | , Gait features fusion for efficient automatic age classificationl, In IET Computer vision, 2017. [bibtex] [doi] |
| [131] | , Gait-based human age classification using a silhouette model, In IET Biometrics, 2017. [bibtex] [doi] |
| [130] | , Describing correct deployment architectures based on a bigraphical multi-scale modeling approach, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [129] | , 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] |
| [128] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In J. Supercomput., volume 73, 2017. [bibtex] [pdf] [doi] |
| [127] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, volume 68, 2017. [bibtex] |
| [126] | , Proving Distributed Coloring of Forests in Dynamic Networks, In Computación y Sistemas, volume 21, 2017. [bibtex] [pdf] [doi] |
| [125] | , Reactive Performance Monitoring of Cloud Computing Environments, In Cluster Computing, volume 20, 2017. [bibtex] |
| [124] | , Special issue on advanced technologies enabling adaptive and collaborative smart systems, In Future Generation Computer Systems, 2017. [bibtex] |
| [123] | , Mining correlations between medically dependent features and image retrieval models for query classification, In JASIST, volume 68, 2017. [bibtex] |
| [122] | , 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] |
| [121] | , Towards an Optimized Scheme for Mobile Subscribers Based on Cloud Computing, In Procedia Computer Science, volume 112, 2017. [bibtex] [doi] |
| [120] | , An Evaluative Review and Research Challenges of the Simulation in Cloud Environment, In Int. J. Softw. Innov., volume 5, 2017. [bibtex] [pdf] [doi] |
| [119] | , Vehicular cloud networks: Challenges, architectures, and future directions, In Vehicular Communications, Elsevier, volume 9, 2017. [bibtex] |
| 2016 | |
| [118] | , Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex] |
| [117] | , 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] |
| [116] | , Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex] |
| [115] | , An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex] |
| [114] | , 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] |
| [113] | , From Event-B specifications to programs for distributed algorithms, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS),, volume 9, 2016. [bibtex] [doi] |
| [112] | , Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi] |
| [111] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi] |
| [110] | , Analytical decisional model for latency aware publish/subscribe systems on \MANET\, In Journal of Systems and Software, 2016. () [bibtex] [doi] |
| [109] | , Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, In Science of Computer Programming (SCP), Elsevier, volume 122, 2016. [bibtex] |
| [108] | , Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex] |
| [107] | , 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] |
| [106] | , 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] |
| [105] | , 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] |
| [104] | , 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] |
| [103] | , A Distributed and Flexible Architecture for Internet of Things, In Procedia Computer Science, 2016. [bibtex] [doi] |
| [102] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi] |
| [101] | , SoLDES: Service-oriented Lexical Database Exploitation System, In Res. Comput. Sci., volume 109, 2016. [bibtex] [pdf] |
| [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] | , From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex] |
| [14] | , Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, 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
| 2025 | |
| [675] | , Dynamic blockchain-based access control for internet of things, In Service-Oriented Computing – ICSOC 2024 Workshops, Springer, 2025. [bibtex] |
| [674] | , Using Aerial Videos for Natural Disaster Damage Assessment, In 2025 7th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE), 2025. [bibtex] |
| [673] | , A Survey on Mutation Testing, In International Conference on Innovations in Bio-Inspired Computing and Applications, 2025. [bibtex] |
| [672] | , Lightweight AI for Drones: A Survey, In 2025 7th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE), 2025. [bibtex] |
| [671] | , Scheduling in Fog, Edge and Cloud Computing: A Review, In Advanced Information Networking and Applications - Proceedings of the 39th International Conference on Advanced Information Networking and Applications, AINA 2025, Barcelona, Spain, 9-11 April 2025, Volume 7 (Leonard Barolli, ed.), Springer, volume 251, 2025. [bibtex] [pdf] [doi] |
| [670] | , Roles of UAVs, Robots, and AI in Earthquake Disaster Management, In 2025 7th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE), 2025. [bibtex] |
| [669] | , Towards AI-Enabled Model-Driven Architecture: Systematic Literature Review, In Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 3, Porto, Portugal, February 23-25, 2025 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2025. [bibtex] [pdf] [doi] |
| [668] | , A Systematic Review of Sustainable Supplier Selection Using Advanced Artificial Intelligence Methods, In Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 3, Porto, Portugal, February 23-25, 2025 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2025. [bibtex] [pdf] [doi] |
| [667] | , Time Series Prediction Models for Diabetes: A Systematic Literature Review, In Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 3, Porto, Portugal, February 23-25, 2025 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2025. [bibtex] [pdf] [doi] |
| [666] | , Automated Testing of Tezos Blockchain-Oriented Software, In Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025 (Mike Mannion, Tomi Männistö, Leszek A. Maciaszek, eds.), SCITEPRESS, 2025. [bibtex] [pdf] [doi] |
| [665] | , Balancing Predictive Accuracy and Explainability in Maintenance: An ARMA-GARCH Approach, In Advanced Information Networking and Applications - Proceedings of the 39th International Conference on Advanced Information Networking and Applications, AINA 2025, Barcelona, Spain, 9-11 April 2025, Volume 2, Springer, volume 246, 2025. [bibtex] [pdf] [doi] |
| [664] | , Balancing Predictive Accuracy and Explainability in Maintenance: An ARMA-GARCH Approach, In Advanced Information Networking and Applications - Proceedings of the 39th International Conference on Advanced Information Networking and Applications, AINA 2025, Barcelona, Spain, 9-11 April 2025, Volume 2 (Leonard Barolli, ed.), Springer, volume 246, 2025. [bibtex] [pdf] [doi] |
| 2024 | |
| [663] | , Machine Learning Based-RSSI Estimation Module in OMNET++ for Indoor Wireless Sensor Networks, In International Conference on Advanced Information Networking and Applications, 2024. [bibtex] |
| [662] | , FOLLOWER: A Fog-based peer-to-peer routing protocol for mobile Internet of Things, In 2024 IEEE Symposium on Computers and Communications (ISCC), 2024. [bibtex] |
| [661] | , Lightweight WEB3 interface for secure IoMT-Blockchain integration, In 2024 International Wireless Communications and Mobile Computing (IWCMC), 2024. [bibtex] |
| [660] | , Bayesian Optimization Algorithm for ConvLSTM-AE model To Forecast Solar Irradiation, In 2024 21st Learning and Technology Conference (L&T), 2024. [bibtex] |
| [659] | , Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks, In International Conference on Language Processing and Knowledge Management, 2024. [bibtex] |
| [658] | , Federated Learning in Clustered WSN for Natural Disaster Management, In 2024 IEEE/ACS 21st International Conference on Computer Systems and Applications (AICCSA), 2024. [bibtex] |
| [657] | , Time Series Prediction Models in Healthcare: Systematic Literature Review, In Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2024. [bibtex] [pdf] [doi] |
| [656] | , Towards the Use of AI-Based Tools for Systematic Literature Review, In Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 2, Rome, Italy, February 24-26, 2024 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2024. [bibtex] [pdf] [doi] |
| [655] | , A Framework for the Automatic Conversion of Text into Sign Language, In Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3--6, 2024, Workshops, Springer, volume 15405, 2024. [bibtex] |
| [654] | , Underlay Loosely Coupled Model Based on D2D Direct Communication for Public Safety Networks, In 19th Wireless On-Demand Network Systems and Services Conference, WONS 2024, Chamonix, France, January 29-31, 2024, IEEE, 2024. [bibtex] [pdf] [doi] |
| [653] | , Towards an Ethereum Smart Contract Fuzz Testing Tool, In Proceedings of the 19th International Conference on Software Technologies, ICSOFT 2024, Dijon, France, July 8-10, 2024, SCITEPRESS, 2024. [bibtex] [pdf] [doi] |
| [652] | , Towards an Automated Verification Approach for ERC-Based Smart Contracts, In Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II, Springer, volume 15405, 2024. [bibtex] [pdf] [doi] |
| [651] | , Daily Activities Forecasting for Long-Term Elderly Behavior Change Detection, In Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II, Springer, volume 14811, 2024. [bibtex] [pdf] [doi] |
| [650] | , A fog and blockchain-based distributed Virtual Private Networks (VPN), In 2024 20th International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT), volume , 2024. [bibtex] [doi] |
| 2023 | |
| [649] | , 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] |
| [648] | , Generative adversarial networks, In 2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT), 2023. [bibtex] |
| [647] | , Efficient Approaches for Safeguarding Sensitive Data during Natural Disasters, In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2023. [bibtex] |
| [646] | , Deep reinforcement learning, In 2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT), 2023. [bibtex] |
| [645] | , How Artificial Intelligence Can Revolutionize Software Testing, In Innovations in Bio-Inspired Computing and Applications: Proceedings of the 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2022) Held During December 15-17, 2022, volume 649, 2023. [bibtex] |
| [644] | , 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] |
| [643] | , InsectDSOT: A Neural Network for Insect Detection in Olive Trees, SciTePress, 2023. [bibtex] [doi] |
| [642] | , On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation, In International Conference on Verification and Evaluation of Computer and Communication Systems, 2023. [bibtex] |
| [641] | , Wake-Up Receiver Based Routing Protocols in Internet of Things: A Survey, In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2023. [bibtex] |
| [640] | , Chord-based distributed middleware architecture for Internet of Things, In 2023 International Wireless Communications and Mobile Computing (IWCMC), 2023. [bibtex] |
| [639] | , Streamlining River Flood Prevention with an Integrated AIoT Framework, In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2023. [bibtex] |
| [638] | , Securing Data Based on Lightweight Algorithm for Internet of Things Networks, In International Conference on Human-Centric Smart Computing, 2023. [bibtex] |
| [637] | , Misbehavior detection systems in IoT environment: A survey, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] |
| [636] | , Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, nov 6-8, 2023, 2023. (https://ceur-ws.org/Vol-3642/paper18.pdf) [bibtex] [pdf] |
| [635] | , Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects, In IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| [634] | , Formal Verification of Smart Contracts Based on Model Checking: An Overview, In IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| [633] | , White-Box Mutation Testing of Smart Contracts: A Quick Review, In Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, Springer, volume 14368, 2023. [bibtex] [pdf] [doi] |
| [632] | , A survey on event log extraction from blockchain, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] |
| [631] | , Improving the supply chain management via Blockchain: an olive oil case study, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] |
| [630] | , MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] |
| [629] | , MW4BPM: A middleware for blockchain-based business process monitoring, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] |
| [628] | , 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, IEEE, 2023. [bibtex] [pdf] [doi] |
| [627] | , Detection of anomalies in the HDFS dataset, In 21st IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2023, Orlando, FL, USA, May 23-25, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| [626] | , Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts, In Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings, Springer, volume 14396, 2023. [bibtex] [pdf] [doi] |
| [625] | , 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, Springer, volume 14396, 2023. [bibtex] [pdf] [doi] |
| [624] | , 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] |
| [623] | , Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective, In IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| [622] | , Formal Modeling and Verification of ERC Smart Contracts: Application to NFT, In IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| [621] | , Context Sensitive Detection of Long-term Elderly Behavior Change, In International Conference on Innovations in Intelligent Systems and Applications, INISTA 2023, Hammamet, Tunisia, September 20-23, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| [620] | , An Approach for Modeling Annotation in the e-Health Domain, In Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings, Springer, volume 14237, 2023. [bibtex] [pdf] [doi] |
| [619] | , 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] |
| [618] | , Developing IoT-based Smart Health Monitoring Systems using Design Patterns, In 20th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2023, Giza, Egypt, December 4-7, 2023, IEEE, 2023. [bibtex] [pdf] [doi] |
| 2022 | |
| [617] | , 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] |
| [616] | , Wake-up Receiver based routing protocol for indoor Wireless Sensor Networks, In 2022 18th International Conference on Network and Service Management (CNSM), 2022. [bibtex] |
| [615] | , Predicting at-risk students using the deep learning BLSTM approach, In 2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH), 2022. [bibtex] |
| [614] | , Efficient machine-learning based 3d face identification system under large pose variation, In International Conference on Computational Collective Intelligence, 2022. [bibtex] |
| [613] | , Assessment of students performance and E-learning experience using online social networks, In 2022 2nd international conference of smart systems and emerging technologies (SMARTTECH), 2022. [bibtex] |
| [612] | , 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] |
| [611] | , Short survey on using blockchain technology in modern wireless networks, iot and smart grids, In International Conference on Cybersecurity, Cybercrimes, and Smart Emerging Technologies, 2022. [bibtex] |
| [610] | , Security challenges for drone communications: Possible threats, attacks and countermeasures, In 2022 2nd International conference of smart systems and emerging technologies (SMARTTECH), 2022. [bibtex] |
| [609] | , Are formal methods applicable to machine learning and artificial intelligence?, In 2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH), 2022. [bibtex] |
| [608] | , How artificial intelligence can revolutionize software testing techniques, In International Conference on Innovations in Bio-Inspired Computing and Applications, 2022. [bibtex] |
| [607] | , Transfer learning based pediatric pneumonia diagnosis using residual attention learning, In International Conference on Innovations in Bio-Inspired Computing and Applications, 2022. [bibtex] |
| [606] | , A Systematic Literature Review on Insect Detection in Images, In Computer Science & Information Technology (CS & IT), 2022. [bibtex] |
| [605] | , Air Quality System in Smart City: Systematic Literature Review, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022), Constantine, Algeria, December 13-14, 2022, CEUR-WS.org, 2022. [bibtex] |
| [604] | , Analyzing malware from api call sequences using support vector machines, In International Conference on Cybersecurity, Cybercrimes, and Smart Emerging Technologies, 2022. [bibtex] |
| [603] | , 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] |
| [602] | , 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] |
| [601] | , 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] |
| [600] | , 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] |
| [599] | , 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] |
| [598] | , 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] |
| [597] | , Automated Transformation of IoT Systems Models into Event-B Specifications, In Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2, Springer, volume 715, 2022. [bibtex] [pdf] [doi] |
| [596] | , 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] |
| [595] | , 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] |
| [594] | , 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] |
| [593] | , 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] |
| [592] | , 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] |
| [591] | , Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts, In Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers, Springer, volume 13857, 2022. [bibtex] [pdf] [doi] |
| [590] | , 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] |
| [589] | , 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] |
| [588] | , 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] |
| [587] | , 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] |
| [586] | , 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] |
| [585] | , 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] |
| [584] | , 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] |
| [583] | , 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] |
| [582] | , 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 | |
| [581] | , 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] |
| [580] | , A persuasive system to improve physical activities of older adults., In TACC, 2021. [bibtex] |
| [579] | , 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] |
| [578] | , 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] |
| [577] | , 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] |
| [576] | , 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] |
| [575] | , 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] |
| [574] | , 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] |
| [573] | , 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] |
| [572] | , 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] |
| [571] | , 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] |
| [570] | , 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] |
| [569] | , 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] |
| [568] | , 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] |
| [567] | , 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] |
| [566] | , Smart Expiry Food Tracking System, In Advances on Smart and Soft Computing, Springer Singapore, 2021. [bibtex] |
| 2020 | |
| [565] | , 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] |
| [564] | , 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] |
| [563] | , Deep convolutional neural network based image spam classification, In 2020 6th Conference on Data Science and Machine Learning Applications (CDMA), 2020. [bibtex] |
| [562] | , Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [561] | , Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [560] | , Vehicular Fog Resource Allocation Scheme: A Multi-Objective Optimization based Approach, In 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC), 2020. [bibtex] |
| [559] | , 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] |
| [558] | , 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] |
| [557] | , 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] |
| [556] | , 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] |
| [555] | , Lookup Service for Fog-based Indoor Localization Platforms using Chord Protocol, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex] |
| [554] | , An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 12th International Conference on Computational Collective Intelligence (ICCCI), 2020. [bibtex] |
| [553] | , 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] |
| [552] | , Personalized and Contextualized Persuasion System for Older Adults? Physical Activity Promoting, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [551] | , 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] |
| [550] | , 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] |
| [549] | , 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] |
| [548] | , 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] |
| [547] | , 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] |
| [546] | , 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] |
| [545] | , 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] |
| [544] | , 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] |
| [543] | , 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] |
| [542] | , Assistance of Student by Web Services based on Annotations, In SIGITE '20: The 21st Annual Conference on Information Technology Education, Virtual Event, USA, October 7-9, 2020, ACM, 2020. [bibtex] [pdf] [doi] |
| [541] | , 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] |
| [540] | , Web-based Applications and Services of Annotation in Electronic Commerce, In iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30 - December 2, 2020, ACM, 2020. [bibtex] [pdf] [doi] |
| [539] | , 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] |
| [538] | , 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] |
| [537] | , A Mobile Application for Physical Activity Recognition using Acceleration Data from Wearable Sensors for Cardiac Rehabilitation, In Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020) - Volume 5: HEALTHINF, Valletta, Malta, February 24-26, 2020, SCITEPRESS, 2020. [bibtex] [pdf] [doi] |
| [536] | , 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] |
| [535] | , 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] |
| [534] | , 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] |
| [533] | , 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] |
| [532] | , 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 | |
| [531] | , 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] |
| [530] | , Cities for All Ages: Singapore Use Case, In International Conference on Human-Computer Interaction, 2019. [bibtex] |
| [529] | , Educational Recommender System Based on Student's Annotative Activity, In Proceedings of the 4th Information Systems Education Conference (ISECON'19), 2019. [bibtex] |
| [528] | , 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] |
| [527] | , Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains, In International Colloquium on Theoretical Aspects of Computing, 2019. [bibtex] |
| [526] | , 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] |
| [525] | , An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), 2019. [bibtex] |
| [524] | , A Comprehensive Survey on Broadcasting Emergency Messages, In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), 2019. [bibtex] |
| [523] | , 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] |
| [522] | , Deployment of an IoT Solution for Early Behavior Change Detection, In International Conference on Smart Homes and Health Telematics, 2019. [bibtex] |
| [521] | , 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] |
| [520] | , 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] |
| [519] | , 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] |
| [518] | , 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] |
| [517] | , 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] |
| [516] | , 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] |
| [515] | , 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] |
| [514] | , 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] |
| [513] | , 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] |
| [512] | , 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] |
| [511] | , 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] |
| [510] | , 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] |
| [509] | , 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] |
| [508] | , An Annotation Model for Patient Record, In Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 5: HEALTHINF, Prague, Czech Republic, February 22-24, 2019, SciTePress, 2019. [bibtex] |
| [507] | , 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] |
| [506] | , Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment, In International Conference on Risks and Security of Internet and Systems, 2019. [bibtex] |
| [505] | , 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] |
| [504] | , 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] |
| [503] | , 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] |
| [502] | , 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 | |
| [501] | 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] |
| [500] | , Dynamic MBSFN Subframe Allocation Algorithm for Bursty Video Traffic in LTE-Advanced Network, In IEEE WCNC, 2018. [bibtex] |
| [499] | , 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] |
| [498] | , 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] |
| [497] | , Towards Multi-Access Edge Based Vehicular Fog Computing Architecture, In 2018 IEEE Global Communications Conference (GLOBECOM), 2018. [bibtex] |
| [496] | , Distributed and Resource-Aware Load Testing of WS-BPEL Compositions., In ICEIS (2), 2018. [bibtex] |
| [495] | , 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] |
| [494] | , 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] |
| [493] | , Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation, In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", 2018. [bibtex] |
| [492] | , 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] |
| [491] | , 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] |
| [490] | , Efficient distribution of mapreduce jobs for maximizing profit on federated cloud, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018. [bibtex] |
| [489] | , 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] |
| [488] | , 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] |
| [487] | , 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] |
| [486] | , 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] |
| [485] | , 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] |
| [484] | , 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] |
| [483] | , Optimal Evidence Collection for Accountability in the Cloud, In 15th International Conference on e-Business Engineering ICEBE, 2018. [bibtex] |
| [482] | , 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] |
| [481] | , 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] |
| [480] | , 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] |
| [479] | , 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] |
| [478] | , 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] |
| [477] | , 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] |
| [476] | , An Approach of Recommending Personalized Web Services through Annotations in Learning Environment, In Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2018, Yogyakarta, Indonesia, November 19-21, 2018, ACM, 2018. [bibtex] [pdf] [doi] |
| [475] | , Study of Annotations in e-health Domain, In Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living - 16th International Conference, ICOST 2018, Singapore, July 10-12, 2018, Proceedings, Springer, volume 10898, 2018. [bibtex] [pdf] [doi] |
| [474] | , Learner's Annotative Activity as a Data Source of Personalized Web Services Recommendation, In Proceeding of the 26th International Conference on Computers in Education, ICCE 2018, Manila, Philippines, November 26-30, 2018, Asia-Pacific Society for Computers in Education, 2018. [bibtex] |
| [473] | , 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] |
| [472] | , 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] |
| [471] | , 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] |
| [470] | , 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] |
| [469] | , Anomaly Detection and Diagnosis Scheme for Mobile Health Applications, In 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA, 2018. [bibtex] [doi] |
| [468] | , 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 | |
| [467] | , Design and timed verification of self-adaptive systems, In 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] [doi] |
| [466] | , 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] |
| [465] | , 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] |
| [464] | , Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation, In Proceedings of 14th IEEE International Conference on Services Computing (SCC), IEEE, 2017. [bibtex] |
| [463] | , Cognitive Computing for disease registry form validation: Application to tunisian Diabetes type-1 registry, In Proceedings of ESBM Conference, 2017. [bibtex] |
| [462] | , 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] |
| [461] | , 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] |
| [460] | , 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] |
| [459] | , 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] |
| [458] | , 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] |
| [457] | , 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] |
| [456] | , Technological Approach for Behavior Change Detection toward Better Adaptation of Services for Elderly People., In HEALTHINF, 2017. [bibtex] |
| [455] | , 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] |
| [454] | , 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] |
| [453] | , A Hybrid Approach for Private Data Protection in the Cloud, In International Conference on Green, Pervasive, and Cloud Computing, 2017. [bibtex] |
| [452] | , Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] |
| [451] | , Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] |
| [450] | , A Formal Approach for Maintaining Forest Topologies in Dynamic Networks, In 16th International Conference on Computer and Information Science (ICIS), Springer, 2017. [bibtex] |
| [449] | , 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] |
| [448] | , 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] |
| [447] | , 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] |
| [446] | , 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] |
| [445] | , 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] |
| [444] | , 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] |
| [443] | , 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] |
| [442] | , 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] |
| [441] | , Energy Consumption Adaptation Approach for Smart Buildings, In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), IEEE, 2017. [bibtex] |
| [440] | , 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] |
| [439] | , AROSA 2017: Summary Report, In Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017. [bibtex] |
| [438] | , 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] |
| [437] | , 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] |
| [436] | , 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] |
| [435] | , 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] |
| [434] | , 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] |
| [433] | , 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] |
| [432] | , 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] |
| [431] | , 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] |
| [430] | , IoT-based health monitoring via LoRaWAN, In IEEE EUROCON 2017 -17th International Conference on Smart Technologies, Ohrid, Macedonia, July 6-8, 2017, 2017. [bibtex] |
| [429] | , 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] |
| [428] | , 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] |
| [427] | , 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] |
| [426] | , A tool for modeling SoS architectures using bigraphs, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi] |
| [425] | , 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] |
| [424] | , Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture, In Enterprise Information Systems - 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers, Springer, volume 321, 2017. [bibtex] [pdf] [doi] |
| [423] | , Model consistency for multi-scale architectures applied to smart systems, 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, Elsevier, volume 109, 2017. [bibtex] [pdf] [doi] |
| [422] | , 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] |
| [421] | , 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] |
| [420] | , 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] |
| [419] | , 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] |
| [418] | , 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] |
| [417] | , 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] |
| [416] | , 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 | |
| [415] | , 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] |
| [414] | , Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex] |
| [413] | , 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] |
| [412] | , 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] |
| [411] | , 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] |
| [410] | , 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] |
| [409] | , A Fault-Tolerant Handshake Algorithm for Local Computations, In 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2016. [bibtex] [doi] |
| [408] | , 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] |
| [407] | , 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] |
| [406] | , i-Read: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex] |
| [405] | , 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] |
| [404] | , 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] |
| [403] | , 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] |
| [402] | , Detecting inconsistencies in rule-based reasoning for ambient intelligence, In 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016. [bibtex] |
| [401] | , 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] |
| [400] | , 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] |
| [399] | , 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] |
| [398] | , 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] |
| [397] | , Optimized HOG Descriptor for on Road Cars Detection, In Proceedings of the 10th International Conference on Distributed Smart Camera, 2016. [bibtex] [doi] |
| [396] | , 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] |
| [395] | , 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] |
| [394] | , Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex] |
| [393] | , 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] |
| [392] | , Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi] |
| [391] | , 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] |
| [390] | , Encoding Bigraphical Reactive Systems into Graph Transformation Systems, In Proceedings of the 14th Cologne Twente Workshop on Graphs and Combinatorial Optimization, (CTW), 2016. [bibtex] |
| [389] | , 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] |
| [388] | , 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] |
| [387] | , 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] |
| [386] | , 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] |
| [385] | , 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] |
| [384] | , 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] |
| [383] | , Dynamic Selection for Service Composition Based on Temporal and QoS Constraints, In IEEE International Conference on Services Computing, SCC, 2016. [bibtex] [doi] |
| [382] | , 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] |
| [381] | , 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] |
| [380] | , 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] |
| [379] | , An LDA Topic Model Adaptation for Context-Based Image Retrieval, In 16th International Conference on Electronic Commerce and Web Technologies, 2016. [bibtex] |
| [378] | , 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] |
| [377] | , 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] |
| [376] | , 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 | |
| [375] | , 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] |
| [374] | , 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] |
| [373] | , 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] |
| [372] | , How to Use Ants for Data Stream Clustering, In Proceedings of the IEEE Congress on Evolutionary Computation (CEC) (IEEE CEC'2015), 2015. [bibtex] |
| [371] | , 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] |
| [370] | , 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] |
| [369] | , A real-time indoor localization platform based on wireless sensor networks, In 12th International Multi-Conference on Systems, Signals Devices (SSD), 2015. [bibtex] [doi] |
| [368] | , 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] |
| [367] | , Automatic Translation of Architecture Constraint Specifications into Components, In Proceedings of the European conference on Software Architecture (ECSA), Springer, 2015. [bibtex] |
| [366] | , 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] |
| [365] | , 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] |
| [364] | , 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] |
| [363] | , 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] |
| [362] | , 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] |
| [361] | , 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] |
| [360] | , Low-Power Link Quality Estimation in Smart Grid Environments, In The 11th International Wireless Communications & Mobile Computing Conference (IWCMC 2015), 2015. [bibtex] |
| [359] | , 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] |
| [358] | , A service-oriented architecture (SOA) framework for choreography verification, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [doi] |
| [357] | , 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] |
| [356] | , 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] |
| [355] | , Semantic-Based Approach to Improve the Description and the Discovery of Linguistic Web Services, In , Elsevier, 2015. [bibtex] |
| [354] | , 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] |
| [353] | , 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] |
| [352] | , 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] |
| [351] | , Clustering Of Binary Data Sets Using Artificial Ants Algorithm, In The 22th International Conference on Neural Information Processing (ICONIP2015), 2015. [bibtex] |
| [350] | , Analyzing Multi-Tenant Cloud Services’ Accountability, In 12th International Conference on e-Business Engineering, 2015. [bibtex] |
| [349] | , 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] |
| [348] | , 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] |
| [347] | , Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations, In ICTSS, 2015. [bibtex] |
| [346] | , 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] |
| [345] | , 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] |
| [344] | , 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] |
| [343] | , 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] |
| [342] | , 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] |
| [341] | , 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] |
| [340] | , 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] |
| [339] | , 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] |
| [338] | , 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] |
| [337] | , A multi-scale modeling approach for software architecture deployment, In Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC), 2015. [bibtex] [doi] |
| [336] | , 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] |
| [335] | , 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] |
| [334] | , 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] |
| [333] | , Collaborative Autonomic Container for the Management of Component-Based Applications, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2015, Larnaca, Cyprus, June 15-17, 2015, IEEE Computer Society, 2015. [bibtex] [pdf] [doi] |
| [332] | , Automatic Recognition of Personality from Digital Annotations, In Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. [bibtex] [doi] |
| [331] | , 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] |
| [330] | , Towards a multi-scale modeling approach for software architectures, In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, ACM, 2015. [bibtex] [pdf] [doi] |
| [329] | , Requirement-based lexical web service generation, In 15th International Conference on Intelligent Systems Design and Applications, ISDA 2015, Marrakech, Morocco, December 14-16, 2015, IEEE, 2015. [bibtex] [pdf] [doi] |
| [328] | , Heuristic Based Time-Aware Service Selection Approach, In 2015 IEEE International Conference on Web Services, ICWS 2015, 2015. [bibtex] [doi] |
| [327] | , 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] |
| [326] | , A formal approach for SOA design patterns composition, 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] |
| [325] | , 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] |
| [324] | , 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] |
| [323] | , 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] |
| [322] | , 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] |
| [321] | , 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] |
| [320] | , 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] |
| [319] | , Requirement-based lexical web service generation, In Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, ISDA, 2015. [bibtex] [doi] |
| [318] | , 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] |
| [317] | , 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] |
| [316] | , 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 | |
| [315] | , 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] |
| [314] | , Formal Security Framework For Agent Based Cloud Systems, In 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE'14), 2014. [bibtex] |
| [313] | , 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] |
| [312] | , Modes Generation of Reconfigurable Embedded Systems, In Conférence internationale francophone sur l'Architecture Logicielle, 2014. [bibtex] |
| [311] | , 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] |
| [310] | , 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] |
| [309] | , Interoperability of healthcare information systems, In Networks, Computers and Communications, The 2014 International Symposium on, 2014. [bibtex] [doi] |
| [308] | , 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] |
| [307] | , 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] |
| [306] | , The Annotation: A Track of Reader’s Personality Traits On Paper, In Proceedings of the 52nd Annual ACM Southeast Conference, ACM, 2014. [bibtex] [doi] |
| [305] | , 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] |
| [304] | , 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] |
| [303] | , 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] |
| [302] | , 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] |
| [301] | , 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] |
| [300] | , 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] |
| [299] | , 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] |
| [298] | , 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] |
| [297] | , 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] |
| [296] | , 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] |
| [295] | , 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] |
| [294] | , Monitoring of Quality of Service in Dynamically Adaptive Systems, In Adaptive and Intelligent Systems, Springer International Publishing, volume 8779, 2014. [bibtex] [doi] |
| [293] | , Middleware for Dynamically Adaptive Systems, In Proceedingd of the 27th International Conference on Architecture of Computing Systems (ARCS), Springer, 2014. [bibtex] |
| [292] | , 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] |
| [291] | , Threshold-based context change detection for ubiquitous environments, In Third International Conference on Context-Aware Systems and Applications (ICCASA 2014), ACM, 2014. [bibtex] [doi] |
| [290] | , 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] |
| [289] | , 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] |
| [288] | , PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2014. [bibtex] |
| [287] | , Greedy Flooding in Redoubtable Sensor Networks, In The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2014. [bibtex] |
| [286] | , 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] |
| [285] | , 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] |
| [284] | , 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] |
| [283] | , 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] |
| [282] | , 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] |
| [281] | , 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] |
| [280] | , 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] |
| [279] | , 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] |
| [278] | , 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] |
| [277] | , 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] |
| [276] | , A multi-scale modelling perspective for SoS architectures, In Proceedings of the ECSA 2014 Workshops & Tool Demos Track, European Conference on Software Architecture, 2014, Vienna, Austria, ACM, 2014. [bibtex] [pdf] [doi] |
| [275] | , 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] |
| [274] | , Service-oriented applications monitoring for the reconstruction of architectural interactions models, In Proceedings of the fourth International Symposium on Web Services (WSS), 2014. [bibtex] |
| [273] | , Construction de modËles d'interactions par Monitoring, In Deuxième conférence francophone sur les Systèmes Collaboratifs (SYSCO), 2014. [bibtex] |
| [272] | , 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] |
| [271] | , 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] |
| [270] | , 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] |
| [269] | , 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] |
| [268] | , A Selective Predictive Subscriber Mobility Using the Closest Criterion, In Proceedings of 11th International Conference on Mobile Web Information Systems, 2014. [bibtex] [doi] |
| [267] | , 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 | |
| [266] | , 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] |
| [265] | , 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] |
| [264] | , 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] |
| [263] | , 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] |
| [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] | , 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] |
| [260] | , 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] |
| [259] | , 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] |
| [258] | , 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] |
| [257] | , 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] |
| [256] | , 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] |
| [255] | , 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] |
| [254] | , Towards Automated Deployment of Distributed Adaptation Systems, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi] |
| [253] | , 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] |
| [252] | , 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] |
| [251] | , 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] |
| [250] | , 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] |
| [249] | , 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] |
| [248] | , PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [247] | , 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] |
| [246] | , 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] |
| [245] | , 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] |
| [244] | , A model driven methodology for enabling autonomic reconfiguration of service oriented architecture, In SAC, 2013. [bibtex] [doi] |
| [243] | , Runtime Adaptation of Component based Systems, In Proceedings of the first International Conference on Networked Systems (NETYS), Springer, volume 7853, 2013. [bibtex] |
| [242] | , 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] |
| [241] | , 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] |
| [240] | , 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] |
| [239] | , 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] |
| [238] | , 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] |
| [237] | , 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] |
| [236] | , 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] |
| [235] | , Analytical study of frame aggregation in error-prone channels, In Proceedings of the 9th International Wireless Communications and Mobile Computing Conference, 2013. [bibtex] [doi] |
| [234] | , GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching, In GbRPR, 2013. [bibtex] [doi] |
| [233] | , 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] |
| [232] | , Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi] |
| [231] | , 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] |
| [230] | , 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] |
| [229] | , 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] |
| [228] | , 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] |
| [227] | , 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] |
| [226] | , AROSA Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [225] | , 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] |
| [224] | , 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] |
| [223] | , 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] |
| [222] | , Linguistic Web Services Discovery, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex] |
| [221] | , 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] |
| [220] | , 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] |
| [219] | , Time-aware Automatic Process View Generation Saoussen, In Proceedings of the International Conference on E-Business Engineering (ICEBE), IEEE Computer Society, 2013. [bibtex] |
| [218] | , Survey on Time-aware Business Process Modeling, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), ScitePress, 2013. [bibtex] |
| [217] | , 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 | |
| [216] | , 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] |
| [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] | , 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] |
| [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] | , 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] |
| [211] | , 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] |
| [210] | , Towards a Verification Approach for Reconfigurable Embedded Systems, In Computers and Communications (ISCC), 2012 IEEE Symposium on, 2012. [bibtex] [doi] |
| [209] | , 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] |
| [208] | , 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] |
| [207] | , 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] |
| [206] | , 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] |
| [205] | , 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] |
| [204] | , 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] |
| [203] | , 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] |
| [202] | , 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] |
| [201] | , 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] |
| [200] | , 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] |
| [199] | , 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] |
| [198] | , 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] |
| [197] | , 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] |
| [196] | , 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] |
| [195] | , Towards Planning Policies for Self-Adaptive Orchestrated Web Services, In WETICE, 2012. [bibtex] [doi] |
| [194] | , Model-Based Conformance Testing of WS-BPEL Compositions, In COMPSAC Workshops, 2012. [bibtex] [doi] |
| [193] | , Conformance Testing of WS-BPEL Compositions under Various Load Conditions, In COMPSAC, 2012. [bibtex] [doi] |
| [192] | , 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] |
| [191] | , 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] |
| [190] | , 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] |
| [189] | , On the performance of IEEE 802.11n protocol, In 5th joint IFIP Wireless and Mobile Networking Conference, 2012. [bibtex] [doi] |
| [188] | , A frame aggregation scheduler for QoS-sensitive applications in IEEE 802.11n WLANs, In International Conference on Communications and Information Technology, 2012. [bibtex] [doi] |
| [187] | , 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] |
| [186] | , 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] |
| [185] | , 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] |
| [184] | , 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] |
| [183] | , Intention based semantic approach for service sourcing, In Proceedings of the ACM Symposium on Applied Computing(SAC), ACM, 2012. [bibtex] [doi] |
| [182] | , A Semantic Scoring Approach for Service Offers, In Proceedings of the 12th International Conference on Web Engineering (ICWE), Springer, volume 7387, 2012. [bibtex] [doi] |
| [181] | , Word Indexing Versus Conceptual Indexing in Medical Image Retrieval, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [180] | , 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] |
| [179] | , 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] |
| [178] | , 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] |
| [177] | , A flexible approach for service composition using service patterns, In Proceedings of the 27th Annual ACM Symposium on Applied Computing, ACM, 2012. [bibtex] [doi] |
| [176] | , 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] |
| [175] | , 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] |
| [174] | , 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] |
| [173] | , 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] |
| [172] | , 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] |
| [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] | , 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] |
| [169] | , 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 | |
| [168] | , 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] |
| [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] | , 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] |
| [165] | , 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] |
| [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] | , 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] |
| [162] | , Handling User Interface Plasticity in Assistive Environment: UbiSMART Framework., In ICOST, 2011. [bibtex] |
| [161] | , 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] |
| [160] | , 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] |
| [159] | , 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] |
| [158] | , Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network, In , IEEE Computer Society, volume 0, 2011. [bibtex] [doi] |
| [157] | , 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] |
| [156] | , 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] |
| [155] | , A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In 5ème Conférence Francophone sur les architectures logicielles, 2011. [bibtex] |
| [154] | , 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] |
| [153] | , 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] |
| [152] | , 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] |
| [151] | , 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] |
| [150] | , Graph-based Management of Communities of Web Service Registries, In WEBIST, 2011. [bibtex] |
| [149] | , A Game Approach to Determinize Timed Automata, In FOSSACS, 2011. [bibtex] [doi] |
| [148] | , Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, In TACAS, 2011. [bibtex] [doi] |
| [147] | , 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] |
| [146] | , 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] |
| [145] | , 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] |
| [144] | , 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 | |
| [143] | , 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] |
| [142] | , Towards a user intention aware service composition, In New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, 2010. [bibtex] [doi] |
| [141] | , 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] |
| [140] | , 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] |
| [139] | , 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] |
| [138] | , 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] |
| [137] | , F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In 7th European Conference on Wireless Sensor Networks (EWSN 2010), Springer, 2010. [bibtex] |
| [136] | , 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] |
| [135] | , 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] |
| [134] | , WSRD: A Web Services Registry Description, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex] [doi] |
| [133] | , 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] |
| [132] | , What about collaboration in ubiquitous environments, In 10th annual international conference on New Technologies of Distributed Systems (NOTERE'10), 2010. [bibtex] |
| [131] | , 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] |
| [130] | , 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] |
| [129] | , A Formal Approach to Enforcing Consistency in Self-adaptive Systems, In Proceedings of the 4th European Conference on Software Architecture, Springer, 2010. [bibtex] [doi] |
| [128] | , 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] |
| [127] | , Aspect-Oriented Checkpointing Approach of Composed Web Services, In ICWE Workshops, 2010. [bibtex] [doi] |
| [126] | , 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] |
| [125] | , 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] |
| [124] | , 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] |
| [123] | , 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] |
| [122] | , A Formal Framework for Conformance Testing of Distributed Real-Time Systems, In OPODIS, 2010. [bibtex] [doi] |
| [121] | , 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] |
| [120] | , Intention Driven Service Composition With Service Patterns, In 12th International Conference on Enterprise Information Systems (ICEIS 2010), 2010. [bibtex] |
| [119] | , 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] |
| [118] | , 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] |
| [117] | , 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] |
| [116] | , 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] |
| [115] | , 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] |
| [114] | , 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] |
| [113] | , 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] |
| [112] | , 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] |
| [111] | , 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 | |
| [110] | , 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] |
| [109] | , Fault Tolerant Distributed Algorithms for Mobile Agents, In 9ème Conférence Internationale sur les Nouvelles Technologies de REpartition (NOTERE'09), 2009. [bibtex] |
| [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] | , Making Sound Policies for Self-healing Systems, In 9ème Conférence Internationale sur les Nouvelles Technologies de lREpartition (NOTERE'09), 2009. [bibtex] |
| [106] | , 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] |
| [105] | , 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] |
| [104] | , 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] |
| [103] | , Periodic Checkpointing for Strong Mobility of Orchestrated Web Services, In , IEEE Computer Society, 2009. [bibtex] [doi] |
| [102] | , 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] |
| [101] | , 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] |
| [100] | , An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures, In FSEN, Springer, volume 5961, 2009. [bibtex] [doi] |
| [99] | , 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] |
| [98] | , A formal architecture-centric approach for safe self-repair, In In Second International Conference on Web and Information Technologies (ICWIT'09), 2009. [bibtex] |
| [97] | , 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] |
| [96] | , 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] |
| [95] | , 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] |
| [94] | , Off-Line Placement of Hardware Tasks on FPGA, In IEEE 19th International Conference on Field Programmable Logic and Applications (FPL), 2009. [bibtex] |
| [93] | , 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] |
| [92] | , 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] |
| [91] | , A Secure Content-Based Publish/Subscribe Middleware, In Third International Conference on Information Technology: New Generations, IEEE Computer Society, 2009. [bibtex] [doi] |
| 2008 | |
| [90] | , 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] |
| [89] | , 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] |
| [88] | , 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] |
| [87] | , 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] |
| [86] | , 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] |
| [85] | , 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] |
| [84] | , 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] |
| [83] | , 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] |
| [82] | , 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] |
| [81] | , 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] |
| [80] | , 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] |
| [79] | , A framework for monitoring and runtime recovery of web service-based applications, In 10th International Conference on Enterprise Information Systems (ICEIS 2008), 2008. [bibtex] |
| [78] | , Modélisation et monitoring des contrats de qualité de services en utilisant les ontologies, In , volume 0, 2008. [bibtex] |
| [77] | , 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] |
| [76] | , 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 | |
| [75] | , 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] |
| [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] | , 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] |
| [72] | , 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] |
| [71] | , 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] |
| [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] | , 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] |
| [68] | , 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] |
| [67] | , F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In International Multi-Conference on Systems, Signals and Devices (SSD 2007), 2007. [bibtex] |
| [66] | , 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] |
| [65] | , A Distributed Computational Model for Mobile Agents, In Proceedings of the Pacific Rim International WorkShop On Multi-Agents, Springer-Verlag, volume , 2007. [bibtex] [doi] |
| [64] | , Dynamic and On-line Design Space Explora¬tion for Reconfigurable Architecture, In Transactions on HiPEAC I, Lecture Notes in Computer Sciences 4050, 2007. [bibtex] |
| [63] | , 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] |
| [62] | , 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] |
| [61] | , 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] |
| [60] | , Moderate Growth Time Series Dynamic Combinatorics Modelisation, In International Conference on Economics, Law and Management ICELM2, 2007. [bibtex] |
| [59] | , Outils pour le passage à l’échelle dans la composition des protocoles métier, In , volume 0, 2007. [bibtex] |
| [58] | , 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] |
| [57] | , 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 | |
| [56] | , 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] |
| [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] | , 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] |
| [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] | , 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] |
| [51] | , A Conceptual Model for Secure Mobile Agent Systems, In Proceedings of the IEEE International Conference on Computational Intelligence and Security (CIS'2006), 2006. [bibtex] |
| [50] | , 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] |
| [49] | , Emerging Decision Support System for Geographical Information Systems., In International Conference on Economics, Law and Management ICELM2, 2006. [bibtex] |
| [48] | , 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] |
| [47] | , 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] |
| [46] | , Optimization of fractal image compression with genetic algorithms, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP 2006), 2006. [bibtex] |
| [45] | , New variable block size motion estimation algorithm for H264/AVC, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP), 2006. [bibtex] |
| 2005 | |
| [44] | , A Simulation Based Process for the Construction of Correct Models, In Proceedings of the International Conference on Conceptual Modeling and Simulation (CMS2005), 2005. [bibtex] |
| [43] | , 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] |
| [42] | , 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] |
| [41] | , 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] |
| [40] | , 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] |
| [39] | , 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] |
| [38] | , 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] |
| [37] | , Component Based Lingware Development using the EJB Model and XML linguistic interface, In Proceedings of the L&TC'05, 2005. [bibtex] |
| [36] | , 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] |
| [35] | , Towards a UML profile for the description of dynamic software architectures, In Component-Oriented Enterprise Applications, Proceedings of the Conference on Component-Oriented Enterprise Applications (COEA 2005), Erfurt, Germany, 20 September 2005, GI, volume P-70, 2005. [bibtex] [pdf] |
| [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] | , Multi-Agent Systems : from conception to Behavioral Semantics, In Proceeding of the IEEE International Conference on Intelligent Engineering Systems - INES'98, 1998. [bibtex] |
| [11] | , 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] |
| [10] | , 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] |
| [9] | , Intérêts des Méthodes Formelles en Génie Linguistique, In Proceedings of the TALN98, 1998. [bibtex] |
| [8] | , 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] |
| [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] | , 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] |
| [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] | , 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] |
| 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