• 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

2022

VMCAI

  • Author of Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate within the VMCAI 2022-track

2020

ESEC/FSE

  • 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
xSat 19 Jul 11:08
using conf.researchr.org (v1.69.1)
Support page
Sign Up