Keywords	Topic and main paper	Prerequisites	Particular interests	Status
Temporal Logic, Signal Robustness	Efficient Robust Monitoring for STL	Logic	Verification, Signal Processing
Learning, Automated Decisions, Online Safety Requirements	Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems	Software verification	Decision Analysis, Cyber-physical Systems	reserved
Formal modeling, network protocols, peer-to-peer computing	External project	Software verification	Modeling languages, TLA+, process mining, distributed computing
Neural Networks, Fault Localization, Ensemble Learning	Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models	Machine Learning	Spectrum-Based Fault Localization, Neural Network	reserved
Boolean (Maximum) Satisfiability, Algorithm Performance Prediction, Explainable Classification	Revisiting SATZilla Features in 2024	Software Engineering, Machine Learning I, Data Mining	Algorithms, Explainable AI	reserved
Machine learning, anomaly detection	Hybrid Machine Learning Model for Anomaly Detection in Unlabelled Data of Wireless Sensor Networks	Machine Learning	Clustering, automated labeling, classification, wireless sensor networks	reserved
Machine learning, Time series	Wind power forecasting based on time series model using deep machine learning algorithms	Machine Learning	Deep learning, time series	reserved
Unit testing, test quality	Fault-Proneness of Python Programs Tested By Smelled Test Code	Software engineering	Quantitative studies, fault proneness	reserved
Program repair, program analysis	Autorepairability: A New Software Quality Characteristics	Software Engineering, Procedural Programming	Metrics
Automated testing, property-based testing	Property-based Testing within ML Projects: an Empirical Study	Software Engineering, Functional Programming Testing	Repository mining, machine learning
Software visualization	Using Animations to Understand Commits	Software Engineering, Procedural Programming	Version control, program comprehension