conf.researchr.org / Rahmadi Trimananda
Rahmadi Trimananda

Registered user since Thu 9 Jul 2020

Name:Rahmadi Trimananda
Affiliation:University of California at Irvine, USA
Personal website:https://rtrimana.github.io/
Research interests:Smart home, IoT devices, software engineering, cybersecurity

Contributions

VMCAI 2022 Author of Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate within the VMCAI 2022-track
ESEC/FSE 2020 Author of Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications within the Research Papers-track
Panelist of Conversations on Testing 2 within the Paper Presentations-track