Search:
By Type:
Refereed Articles
| 2023 | |
| [249] | , NFT-IoT Pharma Chain: IoT Drug traceability system based on Blockchain and Non Fungible Tokens (NFTs), In Journal of King Saud University-Computer and Information Sciences, Elsevier, 2023. [bibtex] |
| [248] | , Personalized, Context-Aware, and Adaptable Persuasive Approach for Encouraging Physical Activity among Older Adults, In Entertainment Computing, Elsevier, 2023. [bibtex] |
| [247] | , Introduction to the special issue on new trends in autonomous systems engineering, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [246] | , MAPE-K patterns for self-adaptation in cyber-physical systems, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| [245] | , A core IoT ontology for automation support in edge computing, In Serv. Oriented Comput. Appl., volume 17, 2023. [bibtex] [pdf] [doi] |
| [244] | , Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications, In J. Syst. Softw., volume 195, 2023. [bibtex] [pdf] [doi] |
| [243] | , UML design for access control architecture in smart building application, In Concurr. Comput. Pract. Exp., volume 35, 2023. [bibtex] [pdf] [doi] |
| 2022 | |
| [242] | , EPMA: Elastic Platform for Microservices-based Applications: Towards Optimal Resource Elasticity, In Journal of Grid Computing, Springer Science and Business Media LLC, volume 20, 2022. [bibtex] [pdf] [doi] |
| [241] | , A Smart Contract-Based Access Control Framework For Smart Healthcare Systems, In The Computer Journal, 2022. (bxac183) [bibtex] [pdf] [doi] |
| [240] | , Decision-Making Approach for an IoRT-Aware Business Process Outsourcing, In Digital, MDPI, volume 2, 2022. [bibtex] |
| [239] | , Multi-objective approach for scheduling time-aware business processes in cloud-fog environment, In The Journal of Supercomputing, Springer, 2022. [bibtex] |
| [238] | , Lorachaincare: An iot architecture integrating blockchain and lora network for personal health care data monitoring, In Sensors, MDPI, volume 22, 2022. [bibtex] |
| [237] | , Long Gaps Missing IoT Sensors Time Series Data Imputation: A Bayesian Gaussian Approach, In IEEE Access, IEEE, volume 10, 2022. [bibtex] |
| [236] | , A model transformation approach for multiscale modeling of software architectures applied to smart cities, In Concurrency and Computation: Practice and Experience, volume 34, 2022. [bibtex] [pdf] [doi] |
| [235] | , SEALEA: Scalable and Energy Aware k-Leaders Election Algorithm in IoT Wireless Sensor Networks, In Wirel. Pers. Commun., volume 125, 2022. [bibtex] [pdf] [doi] |
| [234] | , Performance evaluation of the Over-The-Air activation procedure in a large scale LoRaWAN, In Wireless Networks, volume 28, 2022. [bibtex] [pdf] [doi] |
| [233] | , Modeling Autonomic Systems: Review, Classification, and Research Challenges, In International Journal of Software Innovation (IJSI), volume 10, 2022. [bibtex] [pdf] |
| [232] | , A time interval-based approach for business process fragmentation over cloud and edge resources, In Serv. Oriented Comput. Appl., volume 16, 2022. [bibtex] [pdf] [doi] |
| [231] | , Wake-Up Receiver-Based Routing for Clustered Multihop Wireless Sensor Networks, In Sensors, volume 22, 2022. [bibtex] [pdf] [doi] |
| [230] | , Cybersecurity attacks on CAN bus based vehicles: a review and open challenges, In Libr. Hi Tech, volume 40, 2022. [bibtex] [pdf] [doi] |
| [229] | , Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems, In Innov. Syst. Softw. Eng., volume 18, 2022. [bibtex] [pdf] [doi] |
| [228] | , Model-Driven Simulation of Elastic OCCI Cloud Resources, In Comput. J., volume 65, 2022. [bibtex] [pdf] [doi] |
| [227] | , NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates, In Software: Practice and Experience, volume 52, 2022. [bibtex] [pdf] [doi] |
| [226] | , Personalized attention-based EEG channel selection for epileptic seizure prediction, In Expert Systems with Applications, volume 206, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [225] | , Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario, In J. Inf. Secur. Appl., volume 58, 2021. [bibtex] [pdf] [doi] |
| [224] | , A Formal Testing Model for Operating Room Control System Using Internet of Things, In Computers, Materials & Continua, volume 66, 2021. [bibtex] [pdf] [doi] |
| [223] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [doi] |
| [222] | , Guest editorial: Selected papers from the International Conference on Smart Living and Public Health, In IET Smart Cities, volume 3, 2021. [bibtex] |
| [221] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Software, volume 15, 2021. [bibtex] [pdf] [doi] |
| [220] | , A new deep learning-based distance and position estimation model for range-based indoor localization systems, In Ad Hoc Networks, volume 114, 2021. [bibtex] [pdf] [doi] |
| [219] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [pdf] [doi] |
| [218] | , A survey on runtime testing of dynamically adaptable and distributed systems, In Softw. Qual. J., volume 29, 2021. [bibtex] [pdf] [doi] |
| [217] | , A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [216] | , Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [215] | , Special issue on risk and security of smart systems, In J. Inf. Secur. Appl., volume 61, 2021. [bibtex] [pdf] [doi] |
| [214] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Softw., volume 15, 2021. [bibtex] [pdf] [doi] |
| [213] | , Restriction-based fragmentation of business processes over the cloud, In Concurr. Comput. Pract. Exp., volume 33, 2021. [bibtex] [pdf] [doi] |
| [212] | , Fog computing and Internet of Things in one building block: a survey and an overview of interacting technologies, In Clust. Comput., volume 24, 2021. [bibtex] [pdf] [doi] |
| 2020 | |
| [211] | , Docker-C2A : Cost-Aware Autoscaler of Docker Containers for Microservices-based Applications, In Advances in Science, Technology and Engineering Systems Journal, ASTES Journal, volume 5, 2020. [bibtex] [pdf] [doi] |
| [210] | , 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] | , A formal approach to AADL model-based software engineering, In International Journal on Software Tools for Technology Transfer, volume 22, 2020. [bibtex] [doi] |
| [208] | , Do digital students show an inclination toward continuous use of academic library applications? A case study, In The Journal of Academic Librarianship, Elsevier, 2020. [bibtex] |
| [207] | , Efficient Depth Features for Age-Group Classification, In International Journal Of Science and Technoledge, volume 8, 2020. [bibtex] [doi] |
| [206] | , A decision system for computational authors profiling: From machine learning to deep learning, In Concurrency and Computation: Practice and Experience, Wiley Online Library, 2020. [bibtex] |
| [205] | , A co-training-based approach for the hierarchical multi-label classification of research papers, In Expert Systems, Wiley Online Library, 2020. [bibtex] |
| [204] | , Hybrid Deep Neural Network-Based Text Representation Model to Improve Microblog Retrieval, In Cybernetics and Systems, Taylor & Francis, volume 51, 2020. [bibtex] |
| [203] | , Dynamic VNF Forwarding Graph Extension Algorithms, In IEEE Transactions on Network and Service Management, IEEE, 2020. [bibtex] |
| [202] | , Modeling and proving distributed algorithms for dynamic graphs, In Future Generation Computer Systems, Elsevier, 2020. [bibtex] |
| [201] | , Pilot Site Deployment of an IoT Solution for Older Adults’ Early Behavior Change Detection, In Sensors, Multidisciplinary Digital Publishing Institute, volume 20, 2020. [bibtex] |
| [200] | , Extension and adaptation of an aspect oriented programming language for real-time systems, In International Journal of Business and Systems Research (IJBSR), volume 14, 2020. [bibtex] [pdf] [doi] |
| [199] | , A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems, In Distributed Parallel Databases, volume 38, 2020. [bibtex] [pdf] [doi] |
| [198] | , Toward a correct and optimal time-aware cloud resource allocation to business processes, In Future Gener. Comput. Syst., volume 112, 2020. [bibtex] [doi] |
| [197] | , Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi] |
| [196] | , A Framework for Detecting and Analyzing Behavior Changes of Elderly People over Time Using Learning Techniques, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [195] | , Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi] |
| [194] | , Automatic Age Estimation: a survey, In Journal Computación y Sistemas, volume 24, 2020. [bibtex] [pdf] |
| [193] | , A Guiding Framework for Vetting the Internet of Things, In J. Inf. Secur. Appl., volume 55, 2020. [bibtex] [doi] |
| [192] | , Time-aware selection approach for service composition based on pruning and improvement techniques, In Softw. Qual. J., volume 28, 2020. [bibtex] [pdf] [doi] |
| [191] | , A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi] |
| [190] | , Vehicle Platooning Systems: Review, Classification and Validation Strategies, In Int. J. Networked Distributed Comput., volume 8, 2020. [bibtex] [pdf] [doi] |
| [189] | , New trends in adaptive smart systems, services, and architectures, In Concurr. Comput. Pract. Exp., volume 32, 2020. [bibtex] [pdf] [doi] |
| [188] | , Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [187] | , DHPV: a distributed algorithm for large-scale graph partitioning, In J. Big Data, volume 7, 2020. [bibtex] [pdf] [doi] |
| [186] | , Business process specification, verification, and deployment in a mono-cloud, multi-edge context, In Comput. Sci. Inf. Syst., volume 17, 2020. [bibtex] [doi] |
| [185] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Syst. J. Knowl. Eng., volume 37, 2020. [bibtex] [pdf] [doi] |
| [184] | , Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy, In IEEE Journal of Biomedical and Health Informatics, volume 24, 2020. [bibtex] [doi] |
| 2019 | |
| [183] | , Vehicular cloud networking: evolutionary game with reinforcement learning-based access approach, In International Journal of Bio-Inspired Computation, Inderscience Publishers (IEL), volume 13, 2019. [bibtex] |
| [182] | , TEPaaS: test execution platform as-a-service applied in the context of e-health, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers (IEL), volume 12, 2019. [bibtex] |
| [181] | , Improving formal verification and testing techniques for internet of things and smart cities, In Mobile Networks and Applications, Springer, 2019. [bibtex] |
| [180] | , Vehicular fog gateways selection on the internet of vehicles: A fuzzy logic with ant colony optimization based approach, In Ad Hoc Networks, Elsevier, volume 91, 2019. [bibtex] |
| [179] | , A Deep Learning-based Ranking Approach for Microblog Retrieval, In Procedia Computer Science, Elsevier, volume 159, 2019. [bibtex] |
| [178] | , Energy-efficient on-demand indoor localization platform based on wireless sensor networks using low power wake up receiver, In Ad Hoc Networks, Elsevier, volume 93, 2019. [bibtex] |
| [177] | , An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, Springer US, volume 12, 2019. [bibtex] |
| [176] | , Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks, In Computación y Sistemas, volume 23, 2019. [bibtex] |
| [175] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Systems, volume , 2019. [bibtex] [doi] |
| [174] | , An overview of a novel analysis approach for enhancing context awareness in smart environments, In Information and Software Technology, volume 111, 2019. [bibtex] [pdf] [doi] |
| [173] | , Feature models as service contracts in service oriented architecture, In International Journal of Services Technology and Management, volume 25, 2019. [bibtex] [pdf] [doi] |
| [172] | , Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi] |
| [171] | , Executing bigraphical reactive systems, In Discrete Applied Mathematics, volume 253, 2019. [bibtex] [doi] |
| [170] | , A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric, In Sci. Comput. Program., volume 184, 2019. [bibtex] [doi] |
| 2018 | |
| [169] | , Multi-objective design exploration approach for Ravenscar real-time systems, In Real-Time Systems, volume 54, 2018. [bibtex] [doi] |
| [168] | , Adaptive MBSFN subframe allocation scheme for VBR video streaming over LTE-A networks, In Transactions on Emerging Telecommunications Technologies, Wiley Online Library, 2018. [bibtex] |
| [167] | , Detection of dynamic and overlapping communities in social networks, In Int. J. Appl. Eng. Res, volume 13, 2018. [bibtex] |
| [166] | , Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex] |
| [165] | , Long-term behavior change detection approach through objective technological observations toward better adaptation of services for elderly people, In Health and Technology, Springer Berlin Heidelberg, volume 8, 2018. [bibtex] |
| [164] | , A Semantic Approach for Tweet Categorization, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [163] | , Impacts of Temperature and Humidity variations on RSSI in indoor Wireless Sensor Networks, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [162] | , Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex] |
| [161] | , Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi] |
| [160] | , A performance analysis of Orchestra scheduling for time-slotted channel hopping networks, In Internet Technology Letters, 2018. [bibtex] |
| [159] | , Autonomous and traffic-aware scheduling for TSCH networks, In Computer Networks, volume 135, 2018. [bibtex] [doi] |
| [158] | , Video-processing-based system for automated pedestrian data collection and analysis when crossing the street, In Journal of Electronic Imaging, volume 27, 2018. [bibtex] [doi] |
| [157] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBS, volume 8, 2018. [bibtex] [doi] |
| [156] | , IT Governance in Higher Education Institutions: A Systematic Literature Review, In IJHCITP, volume 9, 2018. [bibtex] [doi] |
| [155] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBSaaa, volume 8, 2018. [bibtex] |
| [154] | , An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, 2018. [bibtex] [doi] |
| [153] | , Avoiding resource misallocations in business processes, In Concurrency and Computation: Practice and Experience, 2018. [bibtex] [doi] |
| [152] | , MF-Re-Rank: A modality feature-based Re-Ranking model for medical image retrieval, In JASIST, volume 69, 2018. [bibtex] [doi] |
| [151] | , Data accuracy aware mobile healthcare applications, In Computers in Industry, volume 97, 2018. [bibtex] [doi] |
| [150] | , Performance efficiency of a predictive scheme into publish/subscribe, In Int. J. Commun. Networks Distributed Syst., volume 21, 2018. [bibtex] [pdf] [doi] |
| [149] | , A novel adaptation approach for collaborative ubiquitous applications, In IJAACS, volume 11, 2018. [bibtex] [doi] |
| 2017 | |
| [148] | , A novel analysis approach for the design and the development of context-aware applications, In Journal of Systems and Software, volume 133, 2017. [bibtex] |
| [147] | , A Multi-scale Modeling Approach for Systems of Systems Architectures, In SIGAPP Applied Computing Review, ACM, volume 17, 2017. [bibtex] [pdf] [doi] |
| [146] | , A context change detection approach for ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, volume 10, 2017. [bibtex] |
| [145] | , Recognition of Learner’s Personality Traits through Digital Annotations in Distance Learning, In International Journal of Distance Education Technologies, volume Volume 15, 2017. [bibtex] |
| [144] | , Generating reusable, searchable and executable “architecture constraints as services, In Journal of Systems and Software, Elsevier, volume 127, 2017. [bibtex] |
| [143] | , Privacy in cloud computing environments: a survey and research challenges, In The Journal of Supercomputing, Springer, volume 73, 2017. [bibtex] |
| [142] | , A bigraphical multi-scale modeling methodology for system of systems, In Computers & Electrical Engineering, volume 58, 2017. [bibtex] [doi] |
| [141] | , Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms, In JSW, volume 12, 2017. [bibtex] [pdf] [doi] |
| [140] | , Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms, In Wireless Personal Communications, volume 95, 2017. [bibtex] [doi] |
| [139] | , Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning, In IJDET, volume 15, 2017. [bibtex] [doi] |
| [138] | , CEP4HFP: Complex Event Processing for Heart Failure Prediction, In IEEE Transactions on NanoBioscience, volume 16, 2017. [bibtex] [doi] |
| [137] | , Accountability management for multi-tenant cloud services, In International Journal of Grid and Utility Computing, volume 8, 2017. [bibtex] |
| [136] | , Software Agents meet Internet of Things, In Internet Technology Letters, Willey, volume , 2017. [bibtex] [doi] |
| [135] | , Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents, In IJSSC, volume 7, 2017. [bibtex] [doi] |
| [134] | , Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations, In RAIRO-Theor. Inf. Appl., volume 51, 2017. [bibtex] [doi] |
| [133] | , Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [132] | , A semantic-based representation and analysis of monitoring data for self-adaptive systems, In Int. J. Auton. Comp., volume 2, 2017. [bibtex] [doi] |
| [131] | , Gait features fusion for efficient automatic age classificationl, In IET Computer vision, 2017. [bibtex] [doi] |
| [130] | , Gait-based human age classification using a silhouette model, In IET Biometrics, 2017. [bibtex] [doi] |
| [129] | , Describing correct deployment architectures based on a bigraphical multi-scale modeling approach, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [128] | , Automated and flexible composition based on abstract services for a better adaptation to user intentions, In Future Gener. Comput. Syst., volume 68, 2017. [bibtex] [pdf] [doi] |
| [127] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In J. Supercomput., volume 73, 2017. [bibtex] [pdf] [doi] |
| [126] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, volume 68, 2017. [bibtex] |
| [125] | , Proving Distributed Coloring of Forests in Dynamic Networks, In Computación y Sistemas, volume 21, 2017. [bibtex] [pdf] [doi] |
| [124] | , Reactive Performance Monitoring of Cloud Computing Environments, In Cluster Computing, volume 20, 2017. [bibtex] |
| [123] | , Special issue on advanced technologies enabling adaptive and collaborative smart systems, In Future Generation Computer Systems, 2017. [bibtex] |
| [122] | , Mining correlations between medically dependent features and image retrieval models for query classification, In JASIST, volume 68, 2017. [bibtex] |
| [121] | , A Design Guideline for Adaptation Decisions in the Autonomic Loop, In Procedia Computer Science, volume 112, 2017. (Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference, KES-20176-8 September 2017, Marseille, France) [bibtex] [doi] |
| [120] | , Towards an Optimized Scheme for Mobile Subscribers Based on Cloud Computing, In Procedia Computer Science, volume 112, 2017. [bibtex] [doi] |
| [119] | , An Evaluative Review and Research Challenges of the Simulation in Cloud Environment, In Int. J. Softw. Innov., volume 5, 2017. [bibtex] [pdf] [doi] |
| [118] | , Vehicular cloud networks: Challenges, architectures, and future directions, In Vehicular Communications, Elsevier, volume 9, 2017. [bibtex] |
| 2016 | |
| [117] | , Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex] |
| [116] | , Processus pour la génération automatique de composants exécutables partir de contraintes d'architecture, In Revue des Nouvelles Technologies de l'Information, volume Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, RNTI-L-8, 2016. [bibtex] |
| [115] | , Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex] |
| [114] | , An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex] |
| [113] | , A Development Process for the Design, Implementation and Code Generation of Fault Tolerant Reconfigurable Real Time Systems, In International Journal of Autonomous and Adaptive Communications Systems, IJAACS, Inderscience Publishers, volume (3/4), 2016. [bibtex] |
| [112] | , From Event-B specifications to programs for distributed algorithms, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS),, volume 9, 2016. [bibtex] [doi] |
| [111] | , Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi] |
| [110] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi] |
| [109] | , Analytical decisional model for latency aware publish/subscribe systems on \MANET\, In Journal of Systems and Software, 2016. () [bibtex] [doi] |
| [108] | , Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, In Science of Computer Programming (SCP), Elsevier, volume 122, 2016. [bibtex] |
| [107] | , Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex] |
| [106] | , Comparative study of web annotation systems used by learners to enhance educational practices: features and services, In International Journal of Technology Enhanced Learning, Inderscience, volume 8, 2016. [bibtex] [doi] |
| [105] | , Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview, In International Journal of Emerging Technologies in Learning, volume 11, 2016. [bibtex] [doi] |
| [104] | , Vers une modélisation formelle basée sur le rafinnement des systèmes multi-agents auto-organisateurs, In Revue d'Intelligence Artificielle, volume 30, 2016. [bibtex] [doi] |
| [103] | , A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In International Journal of Agent-Oriented Software Engineering, 2016. [bibtex] |
| [102] | , A Distributed and Flexible Architecture for Internet of Things, In Procedia Computer Science, 2016. [bibtex] [doi] |
| [101] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi] |
| [100] | , The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA, In Service Oriented Computing and Applications, Springer, 2016. [bibtex] |
| [99] | , Developing correct adapters for software architectural dynamic reconfiguration, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS), volume 9, 2016. [bibtex] |
| [98] | , Mining correlations between medically dependent features and image retrieval models for query classification, In Journal of the Association for Information Science Technology (JASIST 2016), Wiley-Blackwell, 2016. [bibtex] |
| [97] | , SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex] |
| 2015 | |
| [96] | , Uncertainty handling in semantic reasoning for accurate context understanding, In Knowledge-Based Systems, Elsevier, volume 77, 2015. [bibtex] |
| [95] | , Semantic web service discovery in a mobile environment, In International Journal of Internet Manufacturing and Services, volume 4, 2015. [bibtex] [doi] |
| [94] | , A comparative evaluation of state-of-the-art load and stress testing approaches, In IJCAT, volume 51, 2015. [bibtex] [doi] |
| [93] | , Study on the Limitations of WS-BPEL Compositions Under Load Conditions, In Comput. J., volume 58, 2015. [bibtex] [doi] |
| [92] | , A bottleneck-free tree-based name resolution system for Information-Centric Networking, In Computer Networks, volume 91, 2015. [bibtex] [doi] |
| [91] | , Latency-aware publish/subscribe systems on MANET, In International Journal of Wireless and Mobile Computing (IJWMC), volume 8, 2015. [bibtex] [doi] |
| [90] | , Runtime testing approach of structural adaptations for dynamic and distributed systems, In Journal of Computer Applications in Technology, volume 51, 2015. [bibtex] [doi] |
| [89] | , A Context Change Detection Approach For Ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers, 2015. [bibtex] |
| [88] | , Context analysis approach for context aware applications deployed on pervasive environments, In EAI Endorsed Trans. Context-aware Syst. & Appl., volume 2, 2015. [bibtex] [doi] |
| [87] | , Threshold-based context analysis approach for ubiquitous systems, In Concurrency and Computation: Practice and Experience (CPE 2013), Wiley, volume 27, 2015. [bibtex] [doi] |
| [86] | , Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [doi] |
| [85] | , CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, 2015. [bibtex] [doi] |
| [84] | , Middleware for Internet of Things: a study, In , IEEE, 2015. [bibtex] [doi] |
| [83] | , Time-Dependent QoS Aware Best Service Combination Selection, In Int. J. Web Service Res., volume 12, 2015. [bibtex] [doi] |
| [82] | , A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [doi] |
| [81] | , Reliable link quality estimation in low-power wireless networks and its impact on tree-routing, In Ad Hoc Networks, volume 27, 2015. [bibtex] [pdf] [doi] |
| [80] | , The temporal perspective in business process modeling: a survey and research challenges, In Service Oriented Computing and Applications, volume 9, 2015. [bibtex] [doi] |
| [79] | , A game approach to determinize timed automata, In Formal Methods in System Design, volume 46, 2015. [bibtex] [doi] |
| 2014 | |
| [78] | , Interoperability for medical information systems: an overview, In Health and Technology, Springer Berlin Heidelberg, volume 4, 2014. [bibtex] [doi] |
| [77] | , D-CEP4CMA: A Dynamic Architecture for Cloud Performance Monitoring and Analysis via Complex Event Processing, In International Journal of Big Data Intelligence, Inderscience Publishers, volume 1, 2014. [bibtex] |
| [76] | , Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publisher, Inderscience Publishers, 2014. [bibtex] |
| [75] | , Vers une architecture d’auto-réparation sur le Cloud Computing, In Revue des Nouvelles Technologies de l'Information, volume 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, 2014. [bibtex] |
| [74] | , A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus, In Procedia Computer Science, volume 32, 2014. (The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)) [bibtex] [doi] |
| [73] | , A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services, In IJMSO, volume 9, 2014. [bibtex] [doi] |
| [72] | , A New Annotation System based on a Semantic Analysis of Learnerís Annotative Activity to Invoke Web Services, In International Journal of Metadata, Semantics and Ontologies, Inderscience, volume 9, 2014. [bibtex] [doi] |
| 2013 | |
| [71] | , Handling Nodes Mobility and Failure During Bootstrapping in Randomly Deployed Ring-based Wireless Sensor Networks, In International Journal of Recent Contributions from Engineering, Science & IT (iJES), IJES, volume 1, 2013. [bibtex] [doi] |
| [70] | , Distributed Hash table-based routing and data management in wireless sensor networks: a survey, In ACM/Springer Wireless Networks (WINET):The Journal of Mobile Communication, Computation and Information, ACM/Springer, volume 19, 2013. [bibtex] [doi] |
| [69] | , Hierarchical neural networks based prediction and control of dynamic reconfiguration for multilevel embedded systems, In ELSEVIER, journal of Systems Architecture, ELSEVIER, volume 59, 2013. [bibtex] [doi] |
| [68] | , Deployment of assistive living technology in a nursing home environment: methods and lessons learned, In BMC Medical Informatics and Decision Making, BioMed Central, volume 13, 2013. [bibtex] |
| [67] | , An adaptable and flexible framework for assistive living of cognitively impaired people, In IEEE journal of biomedical and health informatics, IEEE, volume 18, 2013. [bibtex] |
| [66] | , A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi] |
| [65] | , Communities of Web service registries: Construction and management, In Journal of Systems and Software, volume 86, 2013. [bibtex] [doi] |
| [64] | , AO4AADL: Aspect oriented extension for AADL, In Central European Journal of Computer Science, Versita, Springer, volume 3, 2013. [bibtex] [doi] |
| [63] | , Towards error-handling-aware choreography to orchestration transformation approach, In Intnational Journal of Collaborative Enterprise, volume 3, 2013. [bibtex] |
| [62] | , Towards an approach for managing dynamic deployment in distributed service oriented architectures, In International Journal of Collaborative Enterprise, volume Vol.3, 2013. [bibtex] [doi] |
| [61] | , A policy-based approach for strong mobility of composed Web services, In Service Oriented Computing and Applications, Springer-Verlag, volume 7, 2013. [bibtex] [doi] |
| [60] | , Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi] |
| [59] | , Taxonomy of Fundamental Concepts of Localization in Cyber-Physical and Sensor Networks, In Wireless Personal Communications, volume 72, 2013. [bibtex] [doi] |
| [58] | , An Approach of Assistance of Learner's Annotative Activity through Web Services, In Australian Journal of Intelligent Information Processing Systems (AJIIPS), volume 13, 2013. [bibtex] |
| [57] | , Experimental Performance Evaluation and Frame Aggregation Enhancement in IEEE 802.11n WLANs, In International Journal of Communication Networks and Information Security, volume 5, 2013. [bibtex] |
| [56] | , Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach, In Concurrency and Computation:Practice and Experience, Wiley, 2013. [bibtex] |
| [55] | , Investigating the document structure as a source of evidence for multimedia fragment retrieval, In Inf. Process. Manage., volume 49, 2013. [bibtex] [doi] |
| [54] | , Randomized broadcasting in wireless mobile sensor networks, In Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] [doi] |
| [53] | , Towards a semantic-driven and scalable publish/subscribe framework, In International Journal of Internet Protocol Technology, volume 7, 2013. [bibtex] [doi] |
| [52] | , Mobility Management in Publish/Subscribe Middleware., In Mobility Management in Publish/Subscribe Middleware, IGI, volume 4, 2013. [bibtex] [doi] |
| 2012 | |
| [51] | , Radio link quality estimation in wireless sensor networks: A survey, In ACM Trans. Sen. Netw., ACM, volume 8, 2012. [bibtex] [doi] |
| [50] | , New trends to support independence in persons with mild dementia--a mini-review, In Gerontology, Karger Publishers, volume 58, 2012. [bibtex] |
| [49] | , A formal framework for black-box conformance testing of distributed real-time systems, In IJCCBS, volume 3, 2012. [bibtex] [doi] |
| [48] | , Off-line test selection with test purposes for non-deterministic timed automata, In Logical Methods in Computer Science, volume 8, 2012. [bibtex] [doi] |
| [47] | , A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In In the Journal of New technologies of Information (RNTI), CAL'2011, 2012. [bibtex] |
| [46] | , Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi] |
| [45] | , A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex] |
| [44] | , Combination of document structure and links for multimedia object retrieval, In Journal of Information Science, volume 38, 2012. [bibtex] [doi] |
| 2011 | |
| [43] | , RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks, In Ad Hoc Netw., Elsevier Science Publishers B. V., volume 9, 2011. [bibtex] [doi] |
| [42] | , Object-based Video compression using neural networks, In , 2011. [bibtex] |
| [41] | , Research Article Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices, In , Hindawi Publishing Corporation, 2011. [bibtex] [doi] |
| [40] | , From context to micro-context--Issues and challenges in sensorizing smart spaces for assistive living, In Procedia Computer Science, Elsevier, volume 5, 2011. [bibtex] |
| [39] | , A Survey on Software Checkpointing and Mobility Techniques in Distributed Systems, In Concurrency and Computation: Practice and Experience, Wiley, volume 23, 2011. [bibtex] [doi] |
| 2010 | |
| [38] | , Energy-aware Virtual Ring Routing in Wireless Sensor Networks , In Network Protocols and Algorithms, Macrothink Institute, volume 2, 2010. [bibtex] [doi] |
| [37] | , A large-scale monitoring and measurement campaign for web services-based applications, In Concurrency and Computation: Practice and Experience, Wiley, volume 22, 2010. [bibtex] [doi] |
| [36] | , P/S-CoM: Building Correct by Design Publish/Subscribe Architectural Styles with Safe Reconfiguration, In Journal of Systems and Software, volume 83, 2010. [bibtex] [doi] |
| [35] | , Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs, In revue des nouvelles technologies RNTI L5 CAL 2010, Cépaduès, 2010. [bibtex] |
| [34] | , ODACE SLA: Ontology Driven Approach for automatic Establishment of Service Level Agreements, In International Journal of Systems and Service-Oriented Engineering 2010, IGI global, volume 1, 2010. [bibtex] |
| [33] | , An integration ontology for components composition, In International Journal of Web Portals (IJWP), IGI Global, volume 2, 2010. [bibtex] [doi] |
| [32] | , Satellite image restoration in the context of a spatially varying point spread function, In Journal of The Optical Society of America A-optics Image Science and Vision, volume 27, 2010. [bibtex] [doi] |
| [31] | , A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars, In International Journal of Autonomic Computing, volume 1, 2010. [bibtex] [doi] |
| [30] | , Graph grammar-based transformation for context-aware architectures supporting group communication, In Revue des Nouvelles Technologies de l'Information, volume L, 2010. [bibtex] |
| [29] | , An architectural refinement model for group-wide communications with priorities applied to the ROSACE project senario, In International Tarnsactions on Systems Science and Applications, volume 6, 2010. [bibtex] |
| 2009 | |
| [28] | , Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 7, 2009. [bibtex] |
| [27] | , QoS Aware Publish/Subscribe System Deployed on a Mobile Ad-hoc Network, In Communications of SIWN - The Systemics and Informatics World Network, volume 7, 2009. [bibtex] |
| [26] | , Dynamic security framework for mobile agent systems: specification, verification and enforcement, In International Journal of Information and Computer Security, Inderscience Publishers, volume 3, 2009. [bibtex] [doi] |
| [25] | , Conformance testing for real-time systems, In Formal Methods in System Design, volume 34, 2009. [bibtex] [doi] |
| [24] | , Semantic Enabled Framework for SLA Monitoring, In International Journal on Advances in Software, IARIA Journal, volume 2, 2009. [bibtex] |
| [23] | , A Holistic Approach for Access Control Policies: from Formal Specification to Aspect-Based Enforcement, In International Journal of Information and Computer Security, Inderscience publishers, volume 3, 2009. [bibtex] [doi] |
| [22] | , Experimental measurements of host identity protocol for mobile nodes networks, In Journal of Computer Systems, Networks, and Communications), 2009. [bibtex] |
| [21] | , A new approach to services differentiation between mobile terminals of a wireless LAN , In International Journal of Computer Science and Information Security, volume 3, 2009. [bibtex] |
| [20] | , A Distributed Computational Model for Mobile Agents, In International Journal of Grid Computing and Multi Agent Systems (GCMAS), volume 1, 2009. [bibtex] |
| 2008 | |
| [19] | , An experimental evaluation of SEC+, an enhanced search engine for component-based software development, In SIGSOFT Softw. Eng. Notes, ACM, volume 33, 2008. [bibtex] [doi] |
| [18] | , Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008. [bibtex] [doi] |
| [17] | , Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Communications of SIWN, volume 4, 2008. [bibtex] |
| [16] | , Providing predictive self-healing for web services: a QoS monitoring and analysis-based approach, In Journal of Information Assurance and Security (JIAS), volume 3, 2008. [bibtex] |
| 2007 | |
| [15] | , 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] |
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