Rakshit Mittal

19 papers A 1C 2Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.
Autom.
Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo
2025 J jnl
Reasonable Experiments in Model-Based Systems Engineering.
CoRR
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Rakshit Mittal, Hans Vangheluwe
2025 J jnl
Traceability Support for Engineering Reviews of Horizontal Model Evolution.
Syst. Eng.
Johan Cederbladh, Eduard Kamburjan, David Azael Manrique Negrin, Rakshit Mittal, Thomas Weber
2024 — conf
A Survey of Federative Approaches for Model Management in MBSE.
MoDELS (Companion)
Moussa Amrani, Rakshit Mittal, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak
2024 — conf
Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions.
MoDELS (Companion)
Yara Hallak, Dominique Blouin, Laurent Pautet, Layale Saab, Baptiste Laborie, Rakshit Mittal
2024 J jnl
Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.
CoRR
Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo
2023 — conf
Towards an Ontological Framework for Validity Frames.
MoDELS (Companion)
Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin
2022 — conf
Automated Diagnosis of Autism Spectrum Disorder Condition Using Shape Based Features Extracted from Brainstem.
MIE
Vaibhav Jain, Abirami Selvaraj, Rakshit Mittal, Priya Rani, Anandh Kilpattu Ramaniharan, Jac Fredo Agastinose Ronickom
2022 — conf
OSATE-DIM solves the instance model-view update problem in AADL.
MoDELS (Companion)
Rakshit Mittal, Dominique Blouin
2022 A conf
Solving the instance model-view update problem in AADL.
MoDELS
Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay
2022 — conf
The instance model-view update problem in AADL.
MoDELS (Companion)
Rakshit Mittal
2022 J jnl
Time-Sliced Architecture for Efficient Accelerator to Detrend High-Definition Electroencephalograms.
IEEE Trans. Instrum. Meas.
Rakshit Mittal, A. Amalin Prince, Agastinose Ronickom Jac Fredo
2021 J jnl
Low-Power Hardware Accelerator for Detrending Measured Biopotential Data.
IEEE Trans. Instrum. Meas.
Rakshit Mittal, A. Amalin Prince, Saif Nalband, Femi Robert, Agastinose Ronickom Jac Fredo
2021 J jnl
Modified-MaMeMi filter bank for efficient extraction of brainwaves from electroencephalograms.
Biomed. Signal Process. Control.
Rakshit Mittal, A. Amalin Prince, Saif Nalband, Femi Robert, Agastinose Ronickom Jac Fredo
2021 C conf
PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets.
APSEC
Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
2021 C conf
Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets.
ICSOFT
Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay
2021 — conf
Translation Validation of Scheduled Conditional Behavior using PN.
PNSE@Petri Nets
Rakshit Mittal, Soumyadip Bandyopadhyay
2021 — conf
Validating Extended Feature Model Configurations using Petri Nets.
PNSE@Petri Nets
Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
2020 — conf
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.
PNSE@Petri Nets
Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay