![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
, Zengyang Li, Chen Yang:
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
, Meng Sun:
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
, Gelin Zhang, Jianqi Shi, Yanhong Huang:
Tree Ensemble Property Verification from A Testing Perspective. 166-171 - Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun:
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
, Jingling Yuan, Xin Zhang:
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
, João Mendes-Moreira:
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
, Hyggo O. Almeida, Angelo Perkusich:
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
, Hyggo O. Almeida, Angelo Perkusich:
A Comparative Study of Psychometric Instrumentsin Software Engineering. 229-234 - Mirko Barbosa Perkusich, Gleyser Guimarães, Kyller Costa Gorgônio
, Hyggo O. Almeida, Angelo Perkusich:
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, Weihang Su, Haoyu Wang:
Understanding the Impact of COVID-19 on Github Developers: A Preliminary Study. 249-254 - Moumita Asad, Rafed Muhammad Yasir, Shihab Shahriar Khan, Nadia Nahar
, Md. Nurul Ahad Tawhid:
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
, Tobias Hecking:
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
, Shuai Li, Chokri Mraidha
:
From word embeddings to text similarities for improved semantic clustering of functional requirements (S). 285-290 - Mathilde Arnaud, Boutheina Bannour
, Arnault Lapitre, Guillaume Giraud
:
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. 291-296 - Kirthy Kolluri, Robert Ahn
, Lawrence Chung, Tom Hill:
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
, Zhijiao Xiao, Sheng-hua Zhong:
Recurrent Neural Graph Collaborative Filtering. 315-320 - Beichuan Zhang
, Zhijiao Xiao, Sheng-hua Zhong:
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
, Jingling Yuan, Xin Zhang:
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
, Mersedeh Sadeghi, Alireza Javadian Sabet
, Alexander Nemirovskiy, Matteo G. Rossi:
SMART: Towards Automated Mapping between Data Specifications. 429-436 - Jedrzej Potoniec
, Dawid Wisniewski
, Agnieszka Lawrynowicz
:
Incorporating Presuppositions of Competency Questions into Test-Driven Development of Ontologies (S). 437-440 - Zinat Ara
, Mahdi Hashemi:
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
, Qing Zhou, Liang Ge:
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
, Bo Li:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.