ICSOFT C

68 papers

YearTitle / Authors
20203D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints.
Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui
2020A Bee Colony Optimization Algorithm for the Long-Term Car Pooling Problem.
Mouna Bouzid, Inès Alaya, Moncef Tagina
2020A Case Study on Performance Optimization Techniques in Java Programming.
Ciprian Khlud, Cristian Frasinaru
2020A Data-driven Methodology towards Interpreting Readability against Software Properties.
Thomas Karanikiotis, Michail D. Papamichail, Ioannis Gonidelis, Dimitra Karatza, Andreas L. Symeonidis
2020A Function Dependency based Approach for Fault Localization with D.
Arpita Dutta, Rajib Mall
2020A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications.
Ulrike Witteck, Denis Grießbach, Paula Herber
2020A Novel Approach for Android Malware Detection and Classification using Convolutional Neural Networks.
Ahmed Lekssays, Bouchaib Falah, Sameer Abufardeh
2020A Parallel Many-core CUDA-based Graph Labeling Computation.
Stefano Quer
2020A Real-time Integration of Semantics into Heterogeneous Sensor Stream Data with Context in the Internet of Things.
Besmir Sejdiu, Florije Ismaili, Lule Ahmedi
2020A Retrospective Study of Taxonomy based Testing using Empirical Data from a Medical Device Software Company.
Hamsini Ketheswarasarma Rajaram, John Loane, Silvana Togneri MacMahon, Fergal McCaffery
2020A Systematic Literature Mapping of Artificial Intelligence Planning in Software Testing.
Luis F. de Lima, Letícia M. Peres, André Ricardo Abed Grégio, Fabiano Silva
2020Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes.
MohammadSadegh Mohagheghi, Khayyam Salehi
2020An Approach That Stimulates Architectural Thinking during Requirements Elicitation: An Empirical Evaluation.
Preethu Rose Anish, Maya Daneva, Smita Ghaisas, Roel J. Wieringa
2020An Approach to Train and Evaluate the Cybersecurity Skills of Participants in Cyber Ranges based on Cyber-Risk Models.
Gencer Erdogan, Åsmund Hugo, Antonio Álvarez Romero, Dario Varano, Niccolò Zazzeri, Anze Zitnik
2020An Efficient GPGPU based Implementation of Face Detection Algorithm using Skin Color Pre-treatment.
Imene Guerfi, Lobna Kriaa, Leïla Azouz Saïdane
2020An Optimization Method for Entity Resolution in Databases: With a Case Study on the Cleaning of Scientific References in Patent Databases.
Emiel Caron
2020An in-Depth Requirements Change Evaluation Process using Functional and Structural Size Measures in the Context of Agile Software Development.
Hela Hakim, Asma Sellami, Hanêne Ben-Abdallah
2020Analysing Large-Scale Scrum Practices with Respect to Quality Requirements Challenges.
Wasim Alsaqaf, Maya Daneva, Roel J. Wieringa
2020Application of Computer Vision Technologies for Automated Utility Meters Reading.
Maria Spichkova, Johan Van Zyl
2020Bee-route: A Bee Algorithm for the Multi-objective Vehicle Routing Problem.
Jamila Sassi, Inès Alaya, Moncef Tagina
2020Bi-Objective CSO for Big Data Scientific Workflows Scheduling in the Cloud: Case of LIGO Workflow.
Khadija Bousselmi, Sana Ben Hamida, Marta Rukoz
2020Big Data Streaming Platforms to Support Real-time Analytics.
Eliana Fernandes, Ana Carolina Salgado, Jorge Bernardino
2020Blockchain Project Initiation and Execution: Decision-making Practices and Perceptions.
Bolatzhan Kumalakov, Yassynzhan Shakan
2020Codeless Web Testing using Selenium and Machine Learning.
Duyen Phuc Nguyen, Stephane Maag
2020Consistency Analysis of AUTOSAR Timing Requirements.
Steffen Beringer, Heike Wehrheim
2020Data-centric Refinement of Database-Database Dependency Analysis of Database Program.
Angshuman Jana
2020Decifarm: A Fuzzy Decision-support Environment for Smart Farming.
Jérôme Dantan, Hajer Baazaoui Zghal, Yann Pollet
2020Detecting Model View Controller Architectural Layers using Clustering in Mobile Codebases.
Dragos Dobrean, Laura Diosan
2020Developer Driven Framework for Security and Privacy in the IoMT.
Ceara Treacy, John Loane, Fergal McCaffery
2020Emerging Design Patterns for Blockchain Applications.
Vijay Rajasekar, Shiv Sondhi, Sherif Saad, Shady Mohammed
2020Exploiting Exclusive Higher Resolution to Enhance Response Time of Embedded Flash Storage.
Jung-Hoon Kim, Young-Sik Lee
2020Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES.
Mohamed Naija, Rihab Khemiri, Ernesto Exposito
2020Fault Detection and Co-design Recovery for Complex Task within IoT Systems.
Radia Bendimerad, Kamel Smiri, Abderrazek Jemai
2020Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul
2020Fuzzy Multi-objective Optimization for Ride-sharing Autonomous Mobility-on-Demand Systems.
Rihab Khemiri, Ernesto Exposito
2020Generic GA-PPI-Net: Generic Evolutionary Algorithm to Detect Semantic and Topological Biological Communities.
Marwa Ben M'Barek, Amel Borgi, Sana Ben Hamida, Marta Rukoz
2020Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2020IT-Application Behaviour Analysis: Predicting Critical System States on OpenStack using Monitoring Performance Data and Log Files.
Patrick Kubiak, Stefan Rass, Martin Pinzger
2020Improving UI Test Automation using Robotic Process Automation.
Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu
2020Introducing AI/ML Components into Software Systems.
Dominik Slezak
2020Investigating on the Relationships between Design Smells Removals and Refactorings.
Lerina Aversano, Mario Luca Bernardi, Marta Cimitile, Martina Iammarino, Kateryna Romanyuk
2020Investigating the Gap between Scrum Theory and Practice in Pakistan.
Muneeba Jilani, Naveed Ikram
2020Local Rotation Pattern: A Local Descriptor of Color Textures.
Hela Jebali, Noël Richard, Mohamed Naouai
2020MVCLang: A Software Modeling Language for the Model-View-Controller Design Pattern.
Mert Ozkaya, Irem Fidandan
2020Machine Learning Models for Automatic Labeling: A Systematic Literature Review.
Teodor Fredriksson, Jan Bosch, Helena Holmström Olsson
2020Metrics-driven DevSecOps.
Wissam Mallouli, Ana Rosa Cavalli, Alessandra Bagnato, Edgardo Montes de Oca
2020New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.
Aicha Goubaa, Mohamed Khalgui, Georg Frey, ZhiWu Li
2020On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul
2020On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Naïma Souâd Ougouti
2020Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020.
Marten van Sinderen, Hans-Georg Fill, Leszek A. Maciaszek
2020Process Mining as the Superglue between Data and Process Management.
Wil M. P. van der Aalst
2020RiverConc: An Open-source Concolic Execution Engine for x86 Binaries.
Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu
2020Software Architects are Dead! Long Live Software Architects!
Frank Buschmann
2020Software Test Automation Maturity: A Survey of the State of the Practice.
Yuqing Wang, Mika V. Mäntylä, Serge Demeyer, Kristian Wiklund, Sigrid Eldh, Tatu Kairi
2020Superlinear and Bandwidth Friendly Geo-replication for Store-and-forward Systems.
Daniel Brahneborg, Wasif Afzal, Adnan Causevic, Mats Björkman
2020Temporal Convolutional Networks for Just-in-Time Software Defect Prediction.
Pasquale Ardimento, Lerina Aversano, Mario Luca Bernardi, Marta Cimitile
2020Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions.
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
2020Tool Support for Green Android Development: A Systematic Mapping Study.
Iffat Fatima, Hina Anwar, Dietmar Pfahl, Usman Qamar
2020Toward a Correct Implementation of LwM2M Client with Event-B.
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
2020Towards Quantitative Trade-off Analysis in Goal Models with Multiple Obstacles using Constraint Programming.
Christophe Ponsard, Robert Darimont
2020Towards Secure Data Sharing Processes in Online Social Networks: Trusty.
Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2020Towards Ubiquitous Learning Situations for Disabled Learners.
Nesrine Ben Salah, Inés Bayoudh Saâdi, Henda Ben Ghézala
2020Towards a Better Understanding of Genetic Operators for Ordering Optimization: Application to the Capacitated Vehicle Routing Problem.
Sana Ben Hamida, R. Gorsane, K. Gorsan Mestiri
2020Towards a Data Science Framework Integrating Process and Data Mining for Organizational Improvement.
Andrea Delgado, Adriana Marotta, Laura González, Libertad Tansini, Daniel Calegari
2020Transformation- and Pattern-based State Machine Mining from Embedded C Code.
Andreas Grosche, Burkhard Igel, Olaf Spinczyk
2020Using Blockchain to Implement Traceability on Fishery Value Chain.
Estrela Ferreira Cruz, António Miguel Rosado da Cruz
2020Verifying the Application of Security Measures in IoT Software Systems with Model Learning.
Sébastien Salva, Elliott Blot
2020Visualization Method of Important Regions by Combination of Webpage Structures and Saliency Maps.
Yuya Inagaki, Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa