Publications

2024

Abid, Saad Bin; Kosiol, Jens; Mittal, Rakshit; Ober, Iulian; Posse, Ernesto

MoDeVVa’24: Model Driven Engineering, Verification and Validation Workshop

2024.

BibTeX

Amrani, Moussa; Mittal, Rakshit; Goulão, Miguel; Amaral, Vasco; Guérin, Sylvain; Martinez, Salvador; Blouin, Dominique; Bhobe, Anish; Hallak, Yara

A Survey of Federative Approaches for Model Management in MBSE Conference

2024.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Hallak, Yara; Blouin, Dominique; Pautet, Laurent; Saab, Layale; Laborie, Baptiste; Mittal, Rakshit

Model Management at the Renault Virtual Simulation Team:State of Practice, Challenges, and Research Directions Conference

2024.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Parveen, Rizwan; Vangheluwe, Hans

Modeling a Cruise-Control System Using OpenModelica and Verifying Safety Requirements Using UPPAAL (hands-on) Workshop

Proceedings of the 5th Summer School on Cyber-Physical Systems and Internet-of-Things, vol. 5, MECONet, Budva, Montenegro, 2024.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Tran, Hai Nam; Singhoff, Frank; Hugues, Jerome; Dissaux, Pierre; Lewis, Bruce; Mittal, Rakshit; Blouin, Dominique; Bhobe, Anish; Pautet, Laurent; Bae, Kyungmin; Olveckzy, Peter Csaba; Larson, Brian; Ahmad, Ehsan; Kosmidis, Leonidas; Valente, Hugo; de Miguel, Miguel A; Pérez, Ángel G; Alejandro Alonso,; Zamorano, Juan; de la Puente, Juan A

ADEPT 2023 Workshop Summary Workshop

Ada User Journal, vol. 45, no. 1, Ada Europe 2024.

Abstract | BibTeX | Links:

Mittal, Rakshit; Blouin, Dominique

Facilitating AADL model processing and analysis with OSATE-DIM Workshop

Ada User Journal, vol. 45, no. 1, Ada Europe Conference Ada Europe 2024.

Abstract | BibTeX | Links:

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

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

2024.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

2023

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

Towards an Ontological Framework for Validity Frames Workshop

2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Blouin, Dominique; Bhobe, Anish; Mittal, Rakshit; Borde, Etienne

Embedded Systems Modeling, Analysis and Automatic Code Generation with AADL and RAMSES (hands-on) Workshop

Proceedings of the 4th Summer School on Cyber-Physical Systems and Internet-of-Things, vol. 4, MECONet, Budva, Montenegro, 2023.

BibTeX | Altmetric | Dimensions | PlumX | Links:

2022

Jain, Vaibhav; Selvaraj, Abirami; Mittal, Rakshit; Rani, Priya; Ramaniharan, Anandh; Fredo, Jack

Automated Diagnosis of Autism Spectrum Disorder Condition Using Shape Based Features Extracted from Brainstem Conference

Challenges of Trustable AI and Added-Value on Health, vol. 294, Medical Informatics Europe (MIE) Conference European Federation for Medical Informatics IOS Press, Nice, France, 2022, ISBN: 9781643682846.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Prince, A. Amalin; Fredo, Agastinose Ronickom Jac

Time-Sliced Architecture for Efficient Accelerator to Detrend High-Definition Electroencephalograms Journal Article

In: IEEE Transactions on Instrumentation and Measurement, vol. 71, pp. 1-9, 2022, ISSN: 1557-9662.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Blouin, Dominique

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

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '22 Association for Computing Machinery, Montreal, Quebec, Canada, 2022, ISBN: 9781450394673.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Bhattacharya, Pritam; Joshi, Swaroop; Bandyopadhyay, Soumyadip; Mittal, Rakshit

Virtual Computer Science Education in India: Challenges and Opportunities Conference

Proceedings of the International Conference on Best Innovative Teaching Strategies (ICON-BITS 2021), SSRN, Goa, India, 2022.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Blouin, Dominique; Bhobe, Anish; Bandyopadhyay, Soumyadip

Solving the instance model-view update problem in AADL Conference

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS '22 Association for Computing Machinery, Montreal, Quebec, Canada, 2022, ISBN: 9781450394666.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Prince, A. Amalin

Catalogic Systematic Literature Review of Hardware-Accelerated Neurodiagnostic Systems Book Chapter

In: Murugappan, M.; Rajamanickam, Yuvaraj (Ed.): Biomedical Signals Based Computer-Aided Diagnosis for Neurological Disorders, pp. 187–232, Springer International Publishing, Cham, 2022, ISBN: 978-3-030-97845-7.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

2021

Mittal, Rakshit; Blouin, Dominique; Bandyopadhyay, Soumyadip

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

2021 28th Asia-Pacific Software Engineering Conference (APSEC), IEEE, Taipei, Taiwan, 2021, ISSN: 2640-0715.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Tekinerdogan, Bedir; Mittal, Rakshit; Al-Ali, Rima; Iacono, Mauro; Navarro-López, Eva; Bandyopadhyay, Soumyadip; Vanherpen, Ken; Barišić, Ankica; Taveter, Kuldar

A feature-based ontology for cyber-physical systems Book Chapter

In: Tekinerdogan, Bedir; Blouin, Dominique; Vangheluwe, Hans; Goulão, Miguel; Carreira, Paulo; Amaral, Vasco (Ed.): Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Chapter 3, pp. 45-65, Academic Press, 2021, ISBN: 978-0-12-819105-7.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Prince, A. Amalin; Nalband, Saif; Robert, Femi; Fredo, Agastinose Ronickom Jac

Low-Power Hardware Accelerator for Detrending Measured Biopotential Data Journal Article

In: IEEE Transactions on Instrumentation and Measurement, vol. 70, pp. 1-9, 2021, ISSN: 1557-9662.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Banerjee, Rochishnu; Blouin, Dominique; Bandyopadhyay, Soumyadip

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

Proceedings of the 16th International Conference on Software Technologies – ICSOFT, INSTICC SciTePress, 2021, ISSN: 2184-2833.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Prince, A. Amalin; Nalband, Saif; Robert, Femi; Fredo, Agastinose Ronickom Jac

Modified-MaMeMi filter bank for efficient extraction of brainwaves from electroencephalograms Journal Article

In: Biomedical Signal Processing and Control, vol. 69, pp. 102927, 2021, ISSN: 1746-8094.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

2020

Mittal, Rakshit; Baragi, Lalita; Mutnuri, Srikanth

Impact of Negative Factors and Importance of Monitoring Natural Wetland Ecosystems in Jharkhand: A Report on Biological Aspects Technical Report

2020.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links:

Mittal, Rakshit; Banerjee, Rochisnu; Sarkar, Santonu; Bandyopadhyay, Soumyadip

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

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), CEUR Workshop Proceedings, Paris, France, 2020.

Abstract | BibTeX | Links:

2019

Al-Ali, Rima; Amrani, Moussa; Bandyopadhyay, Soumyadip; Barisic, Ankica; Barros, Fernando; Blouin, Dominique; Erata, Ferhat; Giese, Holger; Iacono, Mauro; Klikovits, Stefan; Mittal, Rakshit; Navarro, Eva; Pelliccione, Patrizio; Taveter, Kuldar; Tekinerdogan, Bedir; Vanherpen, Ken

Framework to Relate/Combine Modeling Languages and Techniques Technical Report

2019.

Abstract | BibTeX | Altmetric | Dimensions | PlumX | Links: