Community

Posters/Abstracts

  1. R. Mittal, “The Instance Model View-Update Problem in AADL”, 2022, ACM SRC @ MoDELS.
  2. R. Mittal, “Translation Validation of Loop-involved Code Optimizing Transformations using Petri Net based Program Models”, 2021, ACM SRC Grand Finals.
  3. P. Bhattacharya, S. Joshi, S. Bandyopadhyay, R. Mittal, “Virtual CSIS Education in India: Challenges and Opportunities”, 2021, ICON-BITS.
  4. R. Mittal, D. Blouin, S. Bandyopadhyay, “Validating Extended Feature Model Configurations using Petri Nets”, 2021, PNSE Workshop @ Petri Nets Conference.
  5. R. Mittal, S. Bandyopadhyay, “Translation Validation of Scheduled Conditional Behavior using Petri Net based Program Models”, 2021, PNSE Workshop @ Petri Nets Conference.
  6. R. Mittal, “Translation Validation of Loop-involved Code Optimizing Transformations using Petri Net based Program Models”, 2020, ACM SRC @ PLDI.

Invited Talks

  1. “OSATE-DIM Solves the Instance Model View-Update Problem in AADL-OSATE”, 2022, micro-MPM4CPS Workshop, Universiteit Antwerpen, Belgium.
  2. “Translation Validation using Petri Nets”, 2022, 1st International Workshop on Program Equivalence, 25th Innovations in Software Engineering Conference.
  3. “Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs”, 2021, Formal Methods Update Meeting India.
  4. “Feature-based Ontology for Cyber-Physical Systems”, 2020, 1st Current Trends in Cyber-Physical Systems Workshop

Service

RoleEvent/Organization
OrganizerCurrent Trends in Cyber-Physical Systems Workshop (CTiCPS’20)
ReviewerIEEE Transactions on Instrumentation and Measurement
External ReviewerICSOFT’22, ISD’22, ICSOFT’21, ISD’21
Student VolunteerConference on Region/Nation/Trans-Nation: Literature-Cinema Interface, SE4AI’21 (ISEC’21), IWPE’22 (ISEC’22)
WebmasterPERR’22 (CAV’22)
MembershipACM Student Member (since 2020)

Participation

  1. ADEPT Workshop 2022, Ghent, Belgium