| 2026 | SIMULTECH | A Neuro-Symbolic Strategy to Support the Model-Driven Design of Systems Engineering Experiments. | Diego Ferreira, Rakshit Mittal, Lucas Lima, Hans Vangheluwe |
| 2024 | MODELS | A Survey of Federative Approaches for Model Management in MBSE. | Moussa Amrani, Rakshit Mittal, Miguel Goulo, Vasco Amaral, Sylvain Gurin, Salvador Martnez, Dominique Blouin, Anish Bhobe, Yara Hallak |
| 2024 | MODELS | 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 |
| 2023 | MODELS | Towards an Ontological Framework for Validity Frames. | Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin |
| 2022 | MODELS | The instance model-view update problem in AADL. | Rakshit Mittal |
| 2022 | MODELS | OSATE-DIM solves the instance model-view update problem in AADL. | Rakshit Mittal, Dominique Blouin |
| 2022 | MODELS | Solving the instance model-view update problem in AADL. | Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay |
| 2021 | APSEC | PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. | Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay |
| 2021 | ICSoft | Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. | Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay |