Rakshit Mittal

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Embedded Software

Ontological Framework

Top Venues

PNSE@Petri Nets

MoDELS (Companion)

IEEE Trans. Instrum. Meas.

Publications

Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo
Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. CoRR (2024)
Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin
Towards an Ontological Framework for Validity Frames. MoDELS (Companion) (2023)
Rakshit Mittal, A. Amalin Prince, Agastinose Ronickom Jac Fredo
Time-Sliced Architecture for Efficient Accelerator to Detrend High-Definition Electroencephalograms. IEEE Trans. Instrum. Meas. 71 (2022)
Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay
Solving the instance model-view update problem in AADL. MoDELS (2022)
Rakshit Mittal
The instance model-view update problem in AADL. MoDELS (Companion) (2022)
Vaibhav Jain, Abirami Selvaraj, Rakshit Mittal, Priya Rani, Anandh Kilpattu Ramaniharan, Jac Fredo Agastinose Ronickom
Automated Diagnosis of Autism Spectrum Disorder Condition Using Shape Based Features Extracted from Brainstem. MIE (2022)
Rakshit Mittal, Dominique Blouin
OSATE-DIM solves the instance model-view update problem in AADL. MoDELS (Companion) (2022)
Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay
Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. ICSOFT (2021)
Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
Validating Extended Feature Model Configurations using Petri Nets. PNSE@Petri Nets (2021)
Rakshit Mittal, A. Amalin Prince, Saif Nalband, Femi Robert, Agastinose Ronickom Jac Fredo
Low-Power Hardware Accelerator for Detrending Measured Biopotential Data. IEEE Trans. Instrum. Meas. 70 (2021)
Rakshit Mittal, A. Amalin Prince, Saif Nalband, Femi Robert, Agastinose Ronickom Jac Fredo
Modified-MaMeMi filter bank for efficient extraction of brainwaves from electroencephalograms. Biomed. Signal Process. Control. 69 (2021)
Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. APSEC (2021)
Rakshit Mittal, Soumyadip Bandyopadhyay
Translation Validation of Scheduled Conditional Behavior using PN. PNSE@Petri Nets (2021)
Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. PNSE@Petri Nets (2020)