Akshay Rajhans

24 papers A 1B 1C 1Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach.
IEEE Trans. Software Eng.
Claudio Menghi, Eugene Balai, Darren Valovcin, Christoph Sticksel, Akshay Rajhans
2025 — conf
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements.
SIGSOFT FSE Companion
Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi
2024 J jnl
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.
IEEE Trans. Software Eng.
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
2023 J jnl
Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility.
CoRR
Abenezer Taye, Roberto G. Valenti, Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Peng Wei
2022 — conf
Model-based online implementation of spike detection algorithms for neuroengineering applications.
EMBC
Mattia Di Florio, Vijay Iyer, Akshay Rajhans, Stefano Buccelli, Michela Chiappalone
2022 J jnl
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks.
CoRR
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
2021 C conf
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections.
ACC
Manuel Rodríguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy
2021 J jnl
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections.
IEEE Control. Syst. Lett.
Manuel Rodríguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy
2021 — conf
An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators.
CASE
Anastasia Mavrommati, Carlos Osorio, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman
2021 B conf
Specification and Runtime Verification of Temporal Assessments in Simulink.
RV
Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti
2020 — conf
A Simulator for Trading Traffic Privileges by Selfish Driving Cars.
SpringSim
Zhan Tu, Anastasios Dimas, Mehmet Necip Kurt, Anastasia Mavrommati, Pieter J. Mosterman, Akshay Rajhans, Roberto G. Valenti
2018 — conf
Graphical Hybrid Automata with Simulink and Stateflow.
HSCC
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
2018 — conf
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.
HSCC
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
2018 — conf
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.
SpringSim (MSCIAAS)
Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz
2014 J jnl
Supporting Heterogeneity in Cyber-Physical Systems Architectures.
IEEE Trans. Autom. Control.
Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
2013 — conf
Compositional heterogeneous abstraction.
HSCC
Akshay Rajhans, Bruce H. Krogh
2013 J jnl
Formal verification of phase-locked loops using reachability analysis and continuization.
Commun. ACM
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi
2013 — —
Multi-Model Heterogeneous Verification of Cyber-Physical Systems.
Akshay Rajhans
2013 — conf
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems.
QEST
Yi Deng, Akshay Rajhans, A. Agung Julius
2012 — conf
Heterogeneous verification of cyber-physical systems using behavior relations.
HSCC
Akshay Rajhans, Bruce H. Krogh
2011 A conf
Formal verification of phase-locked loops using reachability analysis and continuization.
ICCAD
Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
2011 — conf
Using parameters in architectural views to support heterogeneous design and verification.
CDC/ECC
Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
2009 J jnl
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
2009 — conf
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.
HSCC
Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans