Table of Contents

• Frontmatter [doi]
• Generating Program Identifier Dictionary for Maintaining Legacy SystemsRyo Soga, Genta Koreki, Hideyuki Kanuka, Akira Ioku, Jun Maeoka. 3-12 [doi]
• Protection of Mathematical Formulas Using Function InvariantsArkadiusz Liber. 13-22 [doi]
• Software Protection of Smart Household Appliances Against Over-ExploitationArkadiusz Liber. 23-32 [doi]
• Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock ExchangesArkadiusz Liber. 33-47 [doi]
• SELM: Software Engineering of Machine Learning ModelsNafiseh Jafari, Mohammad Reza Besharati, Maryam Hourali. 48-54 [doi]
• Feature Reuse Across Software Releases During Software EvolutionCezary Boldak, Stanislaw Jarzabek, Junling Seow. 55-68 [doi]
• Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage ServicesManuel Cedillo-Hernandez, David Mata-Mendoza, Diana Nuñez-Ramirez, Elizabeth Campos-Ponce, Eduardo Fragoso-Navarro, Mariko Nakano-Miyatake, Héctor Pérez-Meana. 71-84 [doi]
• Formal and Automatic Security Policy Enforcement on Android Applications by RewritingMarwa Ziadia, Mohamed Mejri, Jaouhar Fattahi. 85-98 [doi]
• Extreme Gradient Boosting for Cyberpropaganda DetectionJaouhar Fattahi, Mohamed Mejri, Marwa Ziadia. 99-112 [doi]
• The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little ValidationBesma Khaireddine, Aleksandr Zakharchenko, Ali Mili. 113-126 [doi]
• LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber AttacksIgor V. Kotenko, Oleg Lauta, Kseniya Kribel, Igor Saenko. 127-140 [doi]
• A Massively Parallel Approach to Automated Software Correctness Enhancement in JavaBesma Khaireddine. 141-154 [doi]
• Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word EmbeddingsJaouhar Fattahi, Marwa Ziadia, Mohamed Mejri. 155-165 [doi]
• Building Normalized Systems from Domain Models in EcoreMarek Suchánek, Herwig Mannaert, Peter Uhnák, Robert Pergl. 169-182 [doi]
• New Model for Handling Inconsistency Issues in DL-Lite Knowledge BasesGhassen Hamdi, Mohamed-Nazih Omri. 183-196 [doi]
• Formal Event-B Modeling of the MICONIC ApplicationSabrine Ammar, Mohamed Tahar Bhiri. 197-210 [doi]
• Integrating Quality Assessment Through Metrics into Scrum Software DevelopmentSirine Zaouali, Sonia Ayachi Ghannouchi. 211-223 [doi]
• Effort Estimation in Agile Software Development: A Systematic Mapping StudyNour elhouda Farih, Khalid Nafil, Rochdi El Messousi. 224-234 [doi]
• Engineering Platform as Integrated Software for Model Mediated ResearchLászló Horváth, Levente Kovács. 235-247 [doi]
• Toward the Formalization of Business Process Model and NotationHonoré Hounwanou, Laila Boumlik, Mohamed Mejri. 248-264 [doi]
• Introducing Interactivity in Disaster Recovery SimulationsMina Abadeer, Sameh Magharious, Sergei Gorlatch. 267-280 [doi]
• An Ontology for Modeling Vehicle Routing ProblemsSyrine Belguith, Soulef Khalfallah, Ouajdi Korbaa. 281-292 [doi]
• LSTM-Based Mosquito Genus Classification Using Their Wingbeat SoundEdmundo Toledo, Jose Gonzalez, Mariko Nakano, Daniel Robles, Adrian Hernandez, Héctor Perez 0001, Humberto Lanz-Mendoza, Jorge Cime. 293-302 [doi]
• Acoustic Scenery Recognition Using CWT and Deep Neural NetworkFrancisco Mondragon, Jonathan Jimenez, Mariko Nakano, Toru Nakashika, Héctor Pérez-Meana. 303-312 [doi]
• Towards a New Approach for Intelligent BPM Based on Technologies 4.0Sarra Mejri, Sonia Ayachi Ghannouchi. 313-326 [doi]
• A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled NetworkPhan The Duy, Nghi Hoang Khoa, Hoang Hiep, Nguyen Ba Tuan, Hien Do Hoang, Do Thi Thu Hien, Van-Hau Pham. 327-339 [doi]
• Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform ExtensionJuan Miguel Tapia García, Francisco Chiclana, M. J. del Moral, Enrique Herrera-Viedma. 343-350 [doi]
• Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork CellsJorge Santiago, Cristhian Romero, Santiago Guerrero, Francisco Trejo, Daniel Robles. 351-358 [doi]
• AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive CommunicationXing Wu, Fei Xiang Liu, Yue Zhao, Ming Zhao. 359-366 [doi]
• An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in VietnameseKhanh Quoc Tran, Phap Ngoc Trinh, Khoa Nguyen-Anh Tran, An Tran-Hoai Le, Luan Van Ha, Kiet Van Nguyen. 367-379 [doi]
• Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision EnsemblesFakhrul Aniq Hakimi Nasrul 'Alam, Mohd Ibrahim Shapiai, Uzma Batool, Ahmad Kamal Ramli, Khairil Ashraf Elias. 380-392 [doi]
• Proctors Assignment at the University of Information Technology - VNU HCMThien-Y. Huynh, Son-Lam Nguyen, Hoang Long Nguyen, Trong-Hop Do, Thanh Binh Nguyen. 393-401 [doi]
• An Effective AQI Estimation Using Sensor Data and Stacking MechanismDat Q. Duong, Quang M. Le, Tan-Loc Nguyen-Tai, Hien D. Nguyen, Minh-Son Dao, Binh T. Nguyen 0001. 405-418 [doi]
• Cavitation Flow Simulation and Experiment Research in InducerLiang Zhou, Longxian Li, Kexin Li. 419-429 [doi]
• Adaptive Ranking Relevant Source Files for Bug Reports Using Genetic AlgorithmThi Mai Anh Bui, Nhat-Hai Nguyen. 430-443 [doi]
• Multi-Level Sentiment Analysis of Product Reviews Based on Grammar RulesHien D. Nguyen 0002, Thanh Le, Khiem Vinh Tran, Son T. Luu, Suong N. Hoang, Hieu T. Phan. 444-456 [doi]
• Experiment of OCITN: Considering Appropriate Goal Images and Metric for One-Class Image Transformation NetworkToshitaka Hayashi, Hamido Fujita. 459-472 [doi]
• Complementary Object Tracking Using Average Peak-to-Correlation EnergyKosuke Honda, Hamido Fujita. 473-485 [doi]
• Emotion Regulation Music Recommendation Based on Feature SelectionXiaoliang Gong, Ruiyi Yuan, Hui Qian 0007, Yufei Chen 0002, Anthony G. Cohn. 486-495 [doi]
• Incorporating Attention Mechanism in Enhancing Classification of Alzheimer's DiseaseNur Amirah Abd Hamid, Mohd Ibrahim Shapiai, Uzma Batool, Ranjit Singh Sarban Singh, Muhamad Kamal Mohammed Amin, Khairil Ashraf Elias. 496-509 [doi]
• A Deep Local and Global Scene-Graph Matching for Image-Text RetrievalManh-Duy Nguyen, Binh T. Nguyen 0001, Cathal Gurrin. 510-523 [doi]
• Analysing the Performance of Stress Detection Models on Consumer-Grade Wearable DevicesVan-Tu Ninh, Sinéad Smyth, Minh-Triet Tran, Cathal Gurrin. 524-537 [doi]
• Brain Tumor Classification Using Modified VGG Model-Based Transfer Learning ApproachArpit Kumar Sharma, Amita Nandal, Liang Zhou, Arvind Dhaka, Tao Wu. 538-550 [doi]
• Semantics-Based Scheduling Approach of Ontology-Based Real-Time DBMSFehima Achour, Wassim Jaziri, Emna Bouazizi. 553-566 [doi]
• Ontological Data Replication in a Distributed Real-Time Database SystemWided Ben Abid, Mohamed Ben Ahmed Mhiri, Emna Bouazizi, Faïez Gargouri. 567-580 [doi]
• A Performance-Based Dispatching Rule for Decentralised Manufacturing Planning and Production Control SystemMaria Grazia Marchesano, Silvestro Vespoli, Guido Guizzi, Valentina Popolo, Andrea Grassi. 581-593 [doi]
• A BPM-Based Agile Approach to Ensure Adaptive LearningNisseb Bergaoui, Sonia Ayachi Ghannouchi. 594-604 [doi]
• An Efficient Cloud Framework for Multi-Robot System ManagementRaihan Kabir, Yutaka Watanobe, Keita Nakamura, Md. Rashedul Islam, Keitaro Naruse. 605-617 [doi]
• Vietnamese Complaint Detection on E-Commerce WebsitesNhung Thi Hong Nguyen, Phuong Phan-Dieu Ha, Luan Thanh Nguyen, Kiet Van Nguyen, Ngan Luu-Thuy Nguyen. 618-629 [doi]
• Similarity Learning for CNN-Based ASL Alphabet RecognitionAtoany Nazareth Fierro-Radilla, Karina Ruby Perez-Daniel, Gibran Benitez-Garcia, Pedro Najera Garcia, Ramona Fuentes Valdez. 633-645 [doi]
• The Construction and Application of Online Programming Learning System with Interactive Video Based on Semantic WebDai kaiyu, Mao Haonan. 646-659 [doi]
• Fingerprint Recognition System Based on Bifurcation MinutiaesAlberto Antonio Vargas Mata, Jesus Olivares-Mercado, Linda Karina Toscano-Medina, Gabriel Sánchez-Pérez, Héctor Manuel Pérez Meana. 660-673 [doi]
• Problem of Inconsistency and Default Consistency RulesDavid Senkýr, Petr Kroha. 674-687 [doi]
• A Rank Based ACO Approach for Optimal Resource Allocation and Scheduling in FMS Modeled with Labelled Petri NetAmira Jablaoui, Hichem Kmimech, Layth Sliman, Lotfi Nabli. 688-699 [doi]