| 2026 |
J |
jnl |
CoRR
Mahyar Ghazanfari, Iman Sharifi, Peng Wei, Noah Dahle, Abel Díaz-González, Austin Coursey, Bryce Bjorkman, Cailani Lemieux Mack, Robert Canady, Abenezer Taye, Bryan C. Ward, Xenofon D. Koutsoukos, Gautam Biswas, Maheed H. Ahmed, Hyeong Tae Kim, Mahsa Ghasemi, Vijay Gupta, Filippos Fotiadis, Ufuk Topcu, Junchi Lu, Alfred Chen, Abdul Kareem Ras, Nischal Aryal, Amer Ibrahim, Amir Shirkhodaie, Heber Herencia-Zapana, Saqib Hasan, Isaac Amundson
|
| 2026 |
J |
jnl |
CoRR
Iman Sharifi, Mahyar Ghazanfari, Abenezer Taye, Peng Wei, Maheed H. Ahmed, Hyeong Tae Kim, Mahsa Ghasemi, Vijay Gupta, Noah Dahle, Robert Canady, Abel Díaz-González, Austin Coursey, Bryce Bjorkman, Cailani Lemieux Mack, Bryan C. Ward, Xenofon D. Koutsoukos, Gautam Biswas, Heber Herencia-Zapana, Saqib Hasan, Isaac Amundson, Filippos Fotiadis, Ufuk Topcu, Junchi Lu, Qi Alfred Chen, Nischal Aryal, Amer Ibrahim, Abdul Karim Ras, Amir Shirkhodaie
|
| 2025 |
B |
conf |
MobiHoc
Heber Herencia-Zapana, Isaac Amundson
|
| 2021 |
J |
jnl |
Syst.
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
|
| 2014 |
— |
conf |
SysCon
William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana
|
| 2014 |
J |
jnl |
Complex.
Saikou Y. Diallo, Jose J. Padilla, Ross Gore, Heber Herencia-Zapana, Andreas Tolk
|
| 2013 |
J |
jnl |
CoRR
Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
|
| 2013 |
J |
jnl |
J. Simulation
Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana
|
| 2012 |
— |
conf |
CDC
Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron
|
| 2012 |
— |
conf |
Infotech@Aerospace
Natasha A. Neogi, Heber Herencia-Zapana
|
| 2012 |
— |
conf |
NASA Formal Methods
Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
|
| 2011 |
— |
conf |
NASA Formal Methods
Heber Herencia-Zapana, George Hagen, Anthony Narkawicz
|
| 2011 |
Misc |
conf |
WSC
Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana
|
| 2011 |
— |
conf |
SpringSim (EAIA)
Saikou Y. Diallo, Heber Herencia-Zapana, Jose J. Padilla, Andreas Tolk
|
| 2009 |
J |
jnl |
Syst. Control. Lett.
W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González
|
| 2008 |
C |
conf |
CCA
Arturo Tejada, Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
|
| 2008 |
— |
— |
Heber Herencia-Zapana
|
| 2008 |
— |
conf |
CDC
W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González
|
| 2007 |
— |
conf |
CDC
Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
|
| 2007 |
C |
conf |
ACC
Arturo Tejada, Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
|
| 2006 |
— |
conf |
CDC
Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
|
| 2004 |
C |
conf |
ACC
Sudarshan Patil Kulkarni, Heber Herencia-Zapana, W. Steven Gray, Oscar R. González
|
| 2004 |
— |
conf |
CDC
Oscar R. González, Heber Herencia-Zapana, W. Steven Gray
|