Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. - Rakshit Mittal; Rochisnu Banerjee; Santonu Sarkar; Soumyadip Bandyopadhyay (PNSE@Petri Nets, 2020)

Translation Validation of Scheduled Conditional Behavior using PN. - Rakshit Mittal; Soumyadip Bandyopadhyay (PNSE@Petri Nets, 2021)

Validating Extended Feature Model Configurations using Petri Nets. - Rakshit Mittal; Dominique Blouin; Soumyadip Bandyopadhyay (PNSE@Petri Nets, 2021)

PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. - Rakshit Mittal; Dominique Blouin; Soumyadip Bandyopadhyay (APSEC, 2021)

Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. - Rakshit Mittal; Rochishnu Banerjee; Dominique Blouin; Soumyadip Bandyopadhyay (ICSOFT, 2021)

Modified-MaMeMi filter bank for efficient extraction of brainwaves from electroencephalograms. - Rakshit Mittal; A. Amalin Prince; Saif Nalband; Femi Robert; Agastinose Ronickom Jac Fredo (Biomed. Signal Process. Control., 2021)

Low-Power Hardware Accelerator for Detrending Measured Biopotential Data. - Rakshit Mittal; A. Amalin Prince; Saif Nalband; Femi Robert; Agastinose Ronickom Jac Fredo (IEEE Trans. Instrum. Meas., 2021)

Automated Diagnosis of Autism Spectrum Disorder Condition Using Shape Based Features Extracted from Brainstem. - Vaibhav Jain; Abirami Selvaraj; Rakshit Mittal; Priya Rani; Anandh Kilpattu Ramaniharan; Jac Fredo Agastinose Ronickom (MIE, 2022)

The instance model-view update problem in AADL. - Rakshit Mittal (MoDELS (Companion), 2022)

OSATE-DIM solves the instance model-view update problem in AADL. - Rakshit Mittal; Dominique Blouin (MoDELS (Companion), 2022)

Solving the instance model-view update problem in AADL. - Rakshit Mittal; Dominique Blouin; Anish Bhobe; Soumyadip Bandyopadhyay (MoDELS, 2022)

Time-Sliced Architecture for Efficient Accelerator to Detrend High-Definition Electroencephalograms. - Rakshit Mittal; A. Amalin Prince; Agastinose Ronickom Jac Fredo (IEEE Trans. Instrum. Meas., 2022)

Towards an Ontological Framework for Validity Frames. - Rakshit Mittal; Raheleh Eslampanah; Lucas Lima 001; Hans Vangheluwe; Dominique Blouin (MoDELS (Companion), 2023)

A Survey of Federative Approaches for Model Management in MBSE. - Moussa Amrani; Rakshit Mittal; Miguel Goulão; Vasco Amaral 001; Sylvain Guérin; Salvador Martínez 001; Dominique Blouin; Anish Bhobe; Yara Hallak (MoDELS (Companion), 2024)

Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions. - Yara Hallak; Dominique Blouin; Laurent Pautet; Layale Saab; Baptiste Laborie; Rakshit Mittal (MoDELS (Companion), 2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. - Julien Deantoni; Paula Muñoz 001; Cláudio Gomes 001; Clark Verbrugge; Rakshit Mittal; Robert Heinrich; Stijn Bellis; Antonio Vallecillo (Autom., 2025)