• Sign in
  • Sign up
conf.researchr.org / Rahmadi Trimananda
  • ESEC/FSE 2020 profile
  • POPL 2022 profile
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

Share
xWed 6 Jul 21:50
using conf.researchr.org (v1.56.1)
Support page
Sign Up