Search:
By Type:
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] | A formal approach to AADL model-based software engineering, In International Journal on Software Tools for Technology Transfer, volume 22, 2020. [bibtex] [doi] | ,
[210] | 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] | ,
[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] | Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 5, 2007. [bibtex] | ,
[14] | From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex] | ,
[13] | ForMAAD: A Formal Method For Agent-Based Application Design, In Journal of Web Intelligence and Agent Systems, volume 5, 2007. [bibtex] | ,
[12] | SEC+: an enhanced search engine for component-based software development, In SIGSOFT Software Engineering Notes, ACM Press, volume 32, 2007. [bibtex] [doi] | ,
[11] | Context-Aware Adaptation for Group Communication Support Applications with Dynamic Architecture, In -System and Information Sciences Notes, volume 2, 2007. [bibtex] | ,
2006 | |
[10] | ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex] | ,
2005 | |
[9] | Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Information Sciences for Decision Making, Special Issue of The 8th MCSEAI'04, 2005. (Electronic Journal) [bibtex] | ,
[8] | Algebraic elimination of epsilon-transitions, In Discrete Mathematics and Theoretical Computer Science, volume 7, 2005. [bibtex] | ,
2003 | |
[7] | An Approach to the Formal Specification of Lingware, In Natural Language Engineering, Cambridge University Press, volume 9, 2003. [bibtex] [doi] | ,
[6] | Development of Communication Protocols Using Algebraic and Temporal Specifications, In Computer Networks Journal, Elsevier Science Publisher, volume 42, 2003. [bibtex] [doi] | ,
2002 | |
[5] | Guest editorial, In Journal of Systems and Software, volume 60, 2002. [bibtex] [doi] | ,
[4] | Guest editorial, In Journal of Systems and Software, , Special Issue on Artificial and Computational Intelligence for Decision Control, and Automation in Engineering and Industrial Applications, volume 60, 2002. [bibtex] | ,
2001 | |
[3] | A Belief-Goal-Role theory for multiagent systems, In International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing Company, volume 15, 2001. [bibtex] | ,
1996 | |
[2] | Specification of Communication Protocols using Temporal Logic, In Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems, Elsevier Science Inc., volume 33, 1996. [bibtex] [doi] | ,
[1] | A handshake algorithm for scheduling communications in wireless sensor networks, In Concurrency and Computation: Practice and Experience, volume . [bibtex] [doi] | ,
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