Rakshit Mittal

According to our database, Rakshit Mittal authored at least 14 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.

Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo

CoRR, 2024

2023

Towards an Ontological Framework for Validity Frames.

Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

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

Solving the instance model-view update problem in AADL.

Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

OSATE-DIM solves the instance model-view update problem in AADL.

Rakshit Mittal, Dominique Blouin

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

The instance model-view update problem in AADL.

Rakshit Mittal

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

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

Proceedings of the Challenges of Trustable AI and Added-Value on Health, 2022

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

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

Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets.

Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay

Proceedings of the 16th International Conference on Software Technologies, 2021

PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets.

Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

Validating Extended Feature Model Configurations using Petri Nets.

Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

Translation Validation of Scheduled Conditional Behavior using PN.

Rakshit Mittal, Soumyadip Bandyopadhyay

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020

Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.

Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020