Community
Posters/Abstracts
- R. Mittal, “The Instance Model View-Update Problem in AADL”, 2022, ACM SRC @ MoDELS.
- R. Mittal, “Translation Validation of Loop-involved Code Optimizing Transformations using Petri Net based Program Models”, 2021, ACM SRC Grand Finals.
- P. Bhattacharya, S. Joshi, S. Bandyopadhyay, R. Mittal, “Virtual CSIS Education in India: Challenges and Opportunities”, 2021, ICON-BITS.
- R. Mittal, D. Blouin, S. Bandyopadhyay, “Validating Extended Feature Model Configurations using Petri Nets”, 2021, PNSE Workshop @ Petri Nets Conference.
- R. Mittal, S. Bandyopadhyay, “Translation Validation of Scheduled Conditional Behavior using Petri Net based Program Models”, 2021, PNSE Workshop @ Petri Nets Conference.
- R. Mittal, “Translation Validation of Loop-involved Code Optimizing Transformations using Petri Net based Program Models”, 2020, ACM SRC @ PLDI.
Invited Talks
- “OSATE-DIM Solves the Instance Model View-Update Problem in AADL-OSATE”, 2022, micro-MPM4CPS Workshop, Universiteit Antwerpen, Belgium.
- “Translation Validation using Petri Nets”, 2022, 1st International Workshop on Program Equivalence, 25th Innovations in Software Engineering Conference.
- “Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs”, 2021, Formal Methods Update Meeting India.
- “Feature-based Ontology for Cyber-Physical Systems”, 2020, 1st Current Trends in Cyber-Physical Systems Workshop
Service
Role | Event/Organization |
---|---|
Organizer | Current Trends in Cyber-Physical Systems Workshop (CTiCPS’20) |
External Reviewer | ICSOFT’22, ISD’22, ICSOFT’21, ISD’21 |
Student Volunteer | Conference on Region/Nation/Trans-Nation: Literature-Cinema Interface, SE4AI’21 (ISEC’21), IWPE’22 (ISEC’22) |
Webmaster | PERR’22 (CAV’22) |
Membership | ACM Student Member (since 2020) |
Participation
- ADEPT Workshop 2022, Ghent, Belgium