Program committee: ASE Research Track, 2025-2026
Program committee: ISSRE Research Track, 2022-2026
Program committee: AST, 2023-2026
Program committee: ICST Industry Track, 2026
Program committee: MO2RE Workshop, 2024
Program committee: ASE Industry Showcase, 2023
Program committee: SEAMS Doctoral Symposium, 2022
Program committee: Workshops@ICSE, 2022
Program committee: SEIP@ICSE, 2020
Proceedings chair: MODELS, 2021Â
Reviewer: CSUR, EMSE, IEEE Software, IST, JSEP, JODS, JSS, SoSyM, STVR, TDS, TDSC, TOSEM, TR, TSE, TSMC
IOTScheduler: In-Orbit Testing (IOT) scheduler for mission-critical satellites
SeqFuzzSDN: Learning-guided fuzzing method for testing stateful SDN controllers
Paska: Automated smell detection and recommendation in natural language requirements
FuzzSDN: Learning failure-inducing models for testing software-defined networks
SWEAK: Safe WCET analysis method for weakly hard real-time system
OPAM: Optimal priority assignment method for real-time tasks
SAFE: Safe WCET analysis method for real-time task schedulability
HITECS-TOOL: Hardware-in-the-loop test case specification and analysis framework