default search action
33rd SEKE 2021: KSIR Virtual Conference Center, USA
- Shi-Kuo Chang:
The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021. KSI Research Inc. 2021, ISBN 1-891706-52-7
Session SAMS: Software Architecture Models and Systems
- Rui Feng, Junfeng Zhao:
Refactoring Java Code to MapReduce Framework (S). 1-6 - Amit Kumar Mondal, Banani Roy, Sristy Sumana Nath, Kevin A. Schneider:
ArchiNet: A Concept-token based Approach for Determining Architectural Change Categories. 7-14 - Junfeng Li, Sameer G. Kulkarni, K. K. Ramakrishnan, Dan Li:
Analyzing Open-Source Serverless Platforms: Characteristics and Performance (S). 15-20 - Jamy Chahal, Assia Belbachir
, Amal El Fallah Seghrouchni:
I-CMOMMT: A multiagent approach for patrolling and observation of mobile targets with a continuous environment representation (S). 21-24 - Zhaole Chu, Yongping Luo, Peiquan Jin, Shouhong Wan:
NVMSorting: Efficient Sorting on Non-Volatile Memory. 25-30 - Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao:
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers. 31-36 - Kristof Meixner, Arndt Lüder, Jan Herzog, Dietmar Winkler, Stefan Biffl:
Patterns for Reuse in Production Systems Engineering. 37-44 - Hanzhong Zheng, Justin Kramer, Shi-Kuo Chang:
Software Design Pattern Analysis for Micro-Service Architecture using Queuing Networks (S). 45-50 - Liang Hao, Xin Sun, Lan Lin:
Correctness Arguments for an SDN MAC Learning Algorithm (S). 51-56 - Sergei Shcherban, Peng Liang
Multiclass Classification of Four Types of UML Diagrams from Images Using Deep Learning. 57-62 - Pankaj Kamthan, Nazlie Shahmir:
On Integrating Ethicality in User Stories (S). 63-66 - Weifeng Xu, Jie Yan, Daryl Stone:
A Collaborative Forensic Framework for Detecting Advanced Persistent Threats. 67-74 - Minyang Yi, Guisheng Fan, Huiqun Yu, Xingguang Yang:
An Empirical Study on the Impact of Class Overlapin Just-in-Time Software Defect Prediction (S). 75-78 - Xuren Wang, Mengbo Xiong, Famei He, Peian Yang, Binghua Song, Jun Jiang, Zhengwei Jiang, Zihan Xiong:
FSSRE: Fusing Semantic Feature and Syntactic Dependencies Feature for threat intelligence Relation Extraction. 79-85 - Zekun Zhang, Bing Li, Jian Wang, Yongqiang Liu:
AAMR: Automated Anomalous Microservice Ranking in Cloud-Native Environment. 86-91 - Hao Chen, Ruizhi Xiao, Shuyuan Jin:
Unsupervised Anomaly Detection Based on System Logs. 92-97 - Alok Chandrakant Ratnaparkhi, Onyeka Ezenwoye, Yi Liu
From Vulnerability Anti-Patterns to Secure Design Patterns (S). 98-101
Session FV: Formal Verification
- Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). 102-107 - Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li:
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. 108-113 - Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata:
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. 114-119 - Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata:
Formal verification of IFF and NSLPK authentication protocols with CiMPG (S). 120-125 - Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata:
Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S). 126-131 - Xiaokun Luan, Xiyue Zhang
Using LSTM to Predict Tactics in Coq. 132-137 - Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata:
Formal specification and model checking of a recoverable wait-free version of MCS. 138-143 - Zhaosen Wen, Weikai Miao, Min Zhang
Fine-Grained Neural Network Abstraction for Efficient Formal Verification. 144-149 - Yi-Chun Feng, Yuteng Lu, Meng Sun:
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). 150-153 - Zhiru Hou, Jiaqi Yin, Huibiao Zhu:
Formalization and Verification of Dubbo Using CSP. 154-159 - Jin Xu, Zishan Li, Miaomiao Zhang, Bowen Du:
Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S). 160-165 - Bohao Wang, Zhe Hou
Tree Ensemble Property Verification from A Testing Perspective. 166-171 - Yuteng Lu, Weidi Sun, Guangdong Bai
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). 172-176 - Xin Li:
Evaluating the Impact of Vaccination on COVID-19 Using Model Checking. 177-182 - Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang:
A Novel Approach of CTL Model Checking Based on Probe Machine. 183-188
Session SEPDSM: Software Education Project and Development and Software Maintenance
- Deming Sheng
How MOOC Videos Affect Dropout? A Lightweight Pipeline Making Student Dropout Interpretable From Several Levels. 189-194 - Raniel Gomes da Silva, Vitoria Maria Pena Mendes, Rodrigo Lins Rodrigues, Alexandre Magno Andrade Maciel:
Development of an Automated Machine Learning Solution for Educational Data Mining (S). 195-198 - Elena Gómez-Martínez, Miguel Marroyo, Silvia Teresita Acuña:
Towards the integration of the GDPR in the Unified Software Development Process (S). 199-204 - Xiaoxiao Sun, Yuke Ying, Siqing Yang, Hujun Shen:
Remaining Activity Sequence Prediction for ongoing process instances. 205-210 - Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
Studying the Impact of the User Subscription Times in Different Cloud Configurations. 211-216 - André Sousa, João Pascoal Faria
An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S). 217-222 - Arthur Silva Freire, Manuel Neto, Mirko Barbosa Perkusich, Alexandre Costa, Kyller Costa Gorgônio
Towards a Comprehensive Understanding of Agile Teamwork: A literature-based Thematic Network. 223-228 - Gleyser Guimarães, Mirko Barbosa Perkusich, Danyllo Albuquerque, Everton Guimarães, Danilo Santos
A Comparative Study of Psychometric Instrumentsin Software Engineering. 229-234 - Mirko Barbosa Perkusich, Gleyser Guimarães, Kyller Costa Gorgônio
Evaluating a Bayesian Network to Predict Customer Satisfaction in Scrum Software Development Projects: An Empirical Study with One Company. 235-240 - Sristy Sumana Nath, Banani Roy:
Towards Automatically Generating Release Notes using Extractive Summarization Technique. 241-248 - Liu Wang, Ruiqing Li, Jiaxin Zhu, Guangdong Bai
Understanding the Impact of COVID-19 on Github Developers: A Preliminary Study. 249-254 - Moumita Asad, Rafed Muhammad Yasir, Shihab Shahriar Khan, Nadia Nahar
Analyzing Program Comprehensibility of Go Projects. 255-260 - Fatma Outay, Haroon Malik, David A. Dampier:
What Do Developers Reply To? An Empirical Study of the Top Unmanned Aerial Vehicles (UAVs) Apps (S). 261-264 - Roxanne El Baff, Sivasurya Santhanam
Quantifying Synergy between Software Projects using README Files Only (S). 265-270 - Disha Devaiya, John Anvik, Meher Bheree, Farjana Yeasmin Omee:
Evaluating a Tool for Creating Bug Report Assignment Recommenders (S). 271-274 - Ranci Ren, John W. Castro, Silvia Teresita Acuña:
A family of experiments for evaluating the usability of a collaborative modelling chatbot. 275-280 - Ranci Ren, John W. Castro, Silvia Teresita Acuña:
Evaluation of Chatbots Usability Experimentation (S). 281-284 - Takwa Kochbati, Sébastien Gérard
From word embeddings to text similarities for improved semantic clustering of functional requirements (S). 285-290 - Mathilde Arnaud, Boutheina Bannour
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. 291-296 - Kirthy Kolluri, Robert Ahn
Risk Analysis for Collaborative Systems during Requirements Engineering (S). 297-302 - Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim:
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). 303-308 - Jahnavi Jonnalagadda, Mahdi Hashemi:
Spatial-Temporal Forecast of the probability distribution of Oceanic Nino Index for various lead times. 309-314 - Beichuan Zhang
Recurrent Neural Graph Collaborative Filtering. 315-320 - Beichuan Zhang
Deep Self-Attention for Sequential Recommendation (S). 321-326 - Maxime Savary-Leblanc, Xavier Le Pallec, Sebastien Gerard
A recommender system to assist conceptual modeling with UML. 327-333 - Shayla Azad Bhuyan, John Anvik:
Evaluating Visual Explanation of Bug Report Assignment Recommendations (S). 334-339 - Rubens Ideron dos Santos, Karina Villela, Diego Toralles Avila, Lucinéia Heloisa Thom
A Practical User Feedback Classifier for Software Quality Characteristics. 340-345 - Naoual Guannoni, Faouzi Mhamdi, Mourad Elloumi:
Improved Multiple Part Algorithm (IMPA) to extract multiple solutions for RNA sequence classification problem. 346-351 - Shaoze Chen, Su Wang, Wenxin Hu:
Attention Guided Filter for Jointly Extracting Entities and Classifying Relations. 352-358 - Abhijit Mondal, Swapna S. Gokhale:
Multi-Label Classification of Parrott's Emotions. 359-364
Session SEKEEO: Software Engineering and Knowledge Engineering Education
- Pankaj Kamthan:
On Conducting Tests in Software Engineering Courses during the COVID-19 Pandemic (S). 365-368 - Dionysis Athanasopoulos
Revisiting UML Class Relationship Recovery for Online Education (SEKEEO) (S). 369-374 - Zesong Wang, Kui Xiao, Zeqing Qin, Shihui Wang:
Extracting Prerequisite Relations among Concepts from the Introduction of Online Courses(SEKEEO) (S). 375-380 - Jiwen Luo, Tao Wang, Junsheng Chang, Xiaoting Guo:
A Technical Capability Evaluation Model Based Concept and Prerequisite Relation in Computer Education(SEKEEO) (S). 381-386
Session KO: Knowledge and Ontology
- Wei Xuan, Huawei Cao, Mingyu Yan, Zhimin Tang, Xiaochun Ye, Dongrui Fan
Triangle Counting by Adaptively Resampling over Evolving Graph Streams. 387-392 - Qi Chen, Rong Yan:
Influence Maximization with Consideration of PageRank Centrality and Propagation Probability. 393-398 - Deming Sheng
Grasping or Forgetting? MAKT: A Dynamic Model via Multi-head Self-Attention for Knowledge Tracing. 399-404 - Shubai Chen, Song Wu, Yu Chen, Yuan Yuan:
Deep Similarity Preserving and Attention-based Hashing for Cross-Modal Retrieval. 405-410 - Long Chen, Xinjun Mao, Yinyuan Zhang, Shuo Yang, Shuo Wang:
An Efficient ROS Package Searching Approach Powered By Knowledge Graph. 411-416 - Xin Song, Haiyang Wang, Kang Zeng, Yujia Liu, Bin Zhou:
KatGCN: Knowledge-Aware Attention based Temporal Graph Convolutional Network for Multi-Event Prediction. 417-422 - Tianyuan Hu, Zhenyu Pan, Bixin Li:
SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract. 423-428 - Safia Kalwar
SMART: Towards Automated Mapping between Data Specifications. 429-436 - Jedrzej Potoniec
Incorporating Presuppositions of Competency Questions into Test-Driven Development of Ontologies (S). 437-440 - Zinat Ara
Ride Hailing Service Demand Forecast by Integrating Convolutional and Recurrent Neural Networks. 441-446 - Ganghua Zhang, Xiaoping Che, Shiyao Wei, Tao Na:
Transfer Learning-based City Similarity Measurement: A Case Study on Urban Hotel (S). 447-450 - Jinyang Liu, Chuantao Yin, Xiaoyan Zhang, Kunyang Wang, Hong Zhou:
A hierarchical RNN-based model for learning recommendation with session intent detection. 451-457 - Yan Lin, Guosheng Xu, Guoai Xu, Siyi Li, Jie Deng, Jiankun Cao:
Intelligent Preprocessing Selection for Pavement Crack Detection based on Deep Reinforcement Learning. 458-463 - Qi Zhang, Qingsong Cai, Jianhui Zheng:
Inspect Defect of Power Equipment via Deep Learning Method. 464-469 - Kang Shi, Tian-Ming Bu:
A method for generating various style Chinese fonts in the absence of training data (S). 470-474 - Ning Wang, Ping Sun:
Multi-Fusion with Attention Mechanism for 3D Object Detection. 475-480 - Huichao Men, Botao Wang:
SADA: Improved Data Symbolization and Optimization Method on HAR from Microscopic Perspective. 481-486 - Wei Zhang, Jing Yang, Fanshu Shang:
HARP Pro: Hierarchical Representation Learning based on global and local features for social networks. 487-492 - Xinpeng Yu, Dagang Li:
A Volume-Aware Positional Attention-Based Recurrent Neural Network for Stock Index Prediction. 493-498
Session STPTA: Software Testing Program Test and Analysis
- Guang Yang, Yanlin Zhou, Chi Yu, Xiang Chen:
DeepSCC: Source Code Classification Based on Fine-Tuned RoBERTa (S). 499-502 - Weiwei Xu, Xiaofang Zhang:
Multi-Granularity Code Smell Detection using Deep Learning Method based on Abstract Syntax Tree. 503-509 - Meng Fan, Wenzhi Wang, Aimin Yu, Dan Meng:
FCEP: A Fast Concolic Execution for Reaching Software Patches. 510-515 - Shirish Kumar Singh, Harshit Singhal, Bharavi Mishra:
Leveraging Compiler Optimization for Code Clone Detection. 516-521 - Yuki Moriguchi, Shingo Takada:
Which Factors Affect Q-Learning-based Automated Android Testing? - A Study Focusing on Algorithm, Learning Target, and Reward Function -. 522-527 - Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong:
MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S). 528-531 - Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang:
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). 532-537 - Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu:
Optimal Conjunctive Normal Form Encoding for Symbolic Execution. 538-543 - Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Graph queries for analyzing the coverage of requirements by test cases. 544-549 - Carmine Gravino, Alessandra Orsi, Michele Risi:
Using the Normalized Levenshtein Distance to Analyze Relationship between Faults and Local Variables with Confusing Names: A further Investigation (S). 550-553 - Raju Singh, Mukesh Kumar Rohil:
A Framework for Mutation Testing of Machine Learning Systems (S). 554-559 - Chuanqi Tao, Dongyu Cao, Hongjing Guo, Jerry Gao:
A Case Study of Testing an Image Recognition Application (S). 560-563
Session NLTPDM: Natural Language and Text Processing and Data Mining
- Huan Wang, Jiang Li
A Novel Text Classification Approach based on Meta-path Similarities and Graph Neural Networks. 564-569 - Qingfeng Du, Jincheng Xu:
Model-Agnostic Local Explanations with Genetic Algorithms for Text Classification. 570-575 - Qingfeng Du, Jincheng Xu:
Towards a Better Understanding of Gradient-Based Explanatory Methods in NLP. 576-581 - Yu Chen, Jianxia Chen, Chang Liu, Qi Liu:
Relation Extraction Model Based on Keywords Attention (S). 582-585 - Xuan Wen, Jianxia Chen, Yu Chen, Shirui Sheng:
Chinese Sentence Semantic Matching With Multi-Granularity Based on Siamese Neural Network. 586-591 - Wenying Guo, Bin Wu, Bai Wang, Lianwei Li, Junwei Sun, Maham Nazir:
Complementary Representation of ALBERT for Text Summarization. 592-597 - Kang Zeng, Yujia Liu, Xin Song, Bin Zhou:
BEHIND: a 4W-oriented Method for Event Detection from Twitter. 598-603 - Shiyang Li, Qianqian Ren, Zechao Liu:
ATFE: A Two-dimensional Feature Encoding-based Sentence-level Attention Model for Distant Supervised Relation Extraction. 604-609 - Nour Chetouane, Lorenz Klampfl, Franz Wotawa:
Extracting information from driving data using k-means clustering (S). 610-615 - Ruicheng Liu, Peiquan Jin, Shouhong Wan, Bei Hua:
RoBF: An Auto-Tuning Bloom Filter for Mixed Queries on LSM-Tree. 616-621 - Cheng Chen, Yifan Dai, Yuqi Shen, Jinfang Cai, Liangyu Chen:
Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval. 622-627 - Anca-Elena Iordan
Automatic Comprehension of Geometry Problems using AMR Parser (S). 628-631
Session DEMO: Technial Demos
- Zhikang Tian, Yuekang Li
AutoCom: Automatic Comment Generation for C Code. 632-633 - Yanqi Lv, Ruicheng Liu, Peiquan Jin:
Water-Wheel: Real-Time Storage with High Throughput and Scalability for Big Data Streams. 634-635 - Dongyu Cao, Hongjing Guo, Chuanqi Tao:
MT4ImgRec: A Metamorphic Testing Tool for Image Recognition Software. 636 - Chongwei Wang, Xujian Zhao, Peiquan Jin, Hui Zhang, Chunming Yang
Post2Event: Extracting Key Events from Microblogs. 637-638 - Disha Thakarshibhai Devaiya, John Anvik, Farjana Yeasmin Omee, Meher Bheree:
CASTR: Assisting Bug Report Assignment Recommender Creation. 639
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: