| 2025 |
J |
jnl |
IEEE Trans. Software Eng.
Claudio Menghi, Eugene Balai, Darren Valovcin, Christoph Sticksel, Akshay Rajhans
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi
|
| 2024 |
J |
jnl |
IEEE Trans. Software Eng.
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
|
| 2023 |
J |
jnl |
CoRR
Abenezer Taye, Roberto G. Valenti, Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Peng Wei
|
| 2022 |
— |
conf |
EMBC
Mattia Di Florio, Vijay Iyer, Akshay Rajhans, Stefano Buccelli, Michela Chiappalone
|
| 2022 |
J |
jnl |
CoRR
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
|
| 2021 |
C |
conf |
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 |
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 |
CASE
Anastasia Mavrommati, Carlos Osorio, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman
|
| 2021 |
B |
conf |
RV
Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti
|
| 2020 |
— |
conf |
SpringSim
Zhan Tu, Anastasios Dimas, Mehmet Necip Kurt, Anastasia Mavrommati, Pieter J. Mosterman, Akshay Rajhans, Roberto G. Valenti
|
| 2018 |
— |
conf |
HSCC
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
|
| 2018 |
— |
conf |
HSCC
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
|
| 2018 |
— |
conf |
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 |
IEEE Trans. Autom. Control.
Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
|
| 2013 |
— |
conf |
HSCC
Akshay Rajhans, Bruce H. Krogh
|
| 2013 |
J |
jnl |
Commun. ACM
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi
|
| 2013 |
— |
— |
Akshay Rajhans
|
| 2013 |
— |
conf |
QEST
Yi Deng, Akshay Rajhans, A. Agung Julius
|
| 2012 |
— |
conf |
HSCC
Akshay Rajhans, Bruce H. Krogh
|
| 2011 |
A |
conf |
ICCAD
Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
|
| 2011 |
— |
conf |
CDC/ECC
Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
|
| 2009 |
J |
jnl |
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 |
HSCC
Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans
|