Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. - Alexandre Donzé; Bruce H. Krogh; Akshay Rajhans (HSCC, 2009)

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. - Akshay Rajhans; Shang-Wen Cheng; Bradley R. Schmerl; David Garlan; Bruce H. Krogh; Clarence Agbi; Ajinkya Bhave (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Using parameters in architectural views to support heterogeneous design and verification. - Akshay Rajhans; Ajinkya Bhave; Sarah M. Loos; Bruce H. Krogh; André Platzer; David Garlan (CDC/ECC, 2011)

Heterogeneous verification of cyber-physical systems using behavior relations. - Akshay Rajhans; Bruce H. Krogh (HSCC, 2012)

Compositional heterogeneous abstraction. - Akshay Rajhans; Bruce H. Krogh (HSCC, 2013)

STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. - Yi Deng 004; Akshay Rajhans; A. Agung Julius (QEST, 2013)

Formal verification of phase-locked loops using reachability analysis and continuization. - Matthias Althoff; Akshay Rajhans; Bruce H. Krogh; Soner Yaldiz; Xin Li 001; Larry T. Pileggi (Commun. ACM, 2013)

Multi-Model Heterogeneous Verification of Cyber-Physical Systems. - Akshay Rajhans (2013)

Supporting Heterogeneity in Cyber-Physical Systems Architectures. - Akshay Rajhans; Ajinkya Bhave; Ivan Ruchkin; Bruce H. Krogh; David Garlan; André Platzer; Bradley R. Schmerl (IEEE Trans. Autom. Control., 2014)

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)

Graphical Hybrid Automata with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)

Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. - Andreas Tolk; Fernando J. Barros; Andrea D'Ambrogio; Akshay Rajhans; Pieter J. Mosterman; Sachin S. Shetty; Mamadou K. Traoré; Hans Vangheluwe; Levent Yilmaz 001 (SpringSim (MSCIAAS), 2018)

A Simulator for Trading Traffic Privileges by Selfish Driving Cars. - Zhan Tu; Anastasios Dimas; Mehmet Necip Kurt; Anastasia Mavrommati; Pieter J. Mosterman; Akshay Rajhans; Roberto G. Valenti (SpringSim, 2020)

An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators. - Anastasia Mavrommati; Carlos Osorio; Roberto G. Valenti; Akshay Rajhans; Pieter J. Mosterman (CASE, 2021)

Specification and Runtime Verification of Temporal Assessments in Simulink. - Akshay Rajhans; Anastasia Mavrommati; Pieter J. Mosterman; Roberto G. Valenti (RV, 2021)

A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections. - Manuel Rodriguez; Xiangxue Zhao; Hayley Song; Anastasia Mavrommati; Roberto G. Valenti; Akshay Rajhans; Pieter J. Mosterman; Yancy Diaz-Mercado; Hosam K. Fathy (IEEE Control. Syst. Lett., 2021)

Model-based online implementation of spike detection algorithms for neuroengineering applications. - Mattia Di Florio; Vijay Iyer; Akshay Rajhans; Stefano Buccelli; Michela Chiappalone (EMBC, 2022)

Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility. - Abenezer Taye; Roberto G. Valenti; Akshay Rajhans; Anastasia Mavrommati; Pieter J. Mosterman; Peng Wei (CoRR, 2023)

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. - Federico Formica; Tony Fan; Akshay Rajhans; Vera Pantelic; Mark Lawford; Claudio Menghi (IEEE Trans. Software Eng., 2024)

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. - Aurora Francesca Zanenga; Nunzio Marco Bisceglia; Benedetta Ippoliti; Andrea Bombarda; Angelo Gargantini; Akshay Rajhans; Claudio Menghi (SIGSOFT FSE Companion, 2025)

Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach. - Claudio Menghi; Eugene Balai; Darren Valovcin; Christoph Sticksel; Akshay Rajhans (IEEE Trans. Software Eng., 2025)