Heber Herencia-Zapana

23 papers B 1C 3Misc 1Journal 7Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Survey of Security Challenges and Solutions for Advanced Air Mobility and eVTOL Aircraft. 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`	A Survey of Security Challenges and Solutions for UAS Traffic Management (UTM) and small Unmanned Aerial Systems (sUAS). 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`	A Repository of Cognitive Attack Patterns for Extended-Reality Systems. MobiHoc Heber Herencia-Zapana, Isaac Amundson
2021	J	`jnl`	VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. 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`	Small satellite systems design methodology: A formal and agile design process. SysCon William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana
2014	J	`jnl`	Toward a formalism of modeling and simulation using model theory. Complex. Saikou Y. Diallo, Jose J. Padilla, Ross Gore, Heber Herencia-Zapana, Andreas Tolk
2013	J	`jnl`	From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
2013	J	`jnl`	Reference modelling in support of M&S - foundations and applications. J. Simulation Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana
2012	—	`conf`	Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron
2012	—	`conf`	Modular Methods for Verification and Validation of Air Traffic Control Algorithms. Infotech@Aerospace Natasha A. Neogi, Heber Herencia-Zapana
2012	—	`conf`	PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
2011	—	`conf`	Formalizing Probabilistic Safety Claims. NASA Formal Methods Heber Herencia-Zapana, George Hagen, Anthony Narkawicz
2011	Misc	`conf`	Model theoretic implications for agent languages in support of interoperability and composability. WSC Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana
2011	—	`conf`	Understanding interoperability. SpringSim (EAIA) Saikou Y. Diallo, Heber Herencia-Zapana, Jose J. Padilla, Andreas Tolk
2009	J	`jnl`	Bilinear system interconnections and generating series of weighted Petri nets. Syst. Control. Lett. W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González
2008	C	`conf`	Mean square stability analysis of sampled-data supervisory control systems. CCA Arturo Tejada, Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
2008	—	`—`	Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms. Heber Herencia-Zapana
2008	—	`conf`	On cascades of bilinear systems and generating series of weighted Petri nets. CDC W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González
2007	—	`conf`	Dynamically colored petri net representation of nonlinear sampled-data systems with embedded recovery algorithms. CDC Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
2007	C	`conf`	Mean Square Stability Analysis of Hybrid Jump Linear Systems using a Markov Kernel Approach. ACC Arturo Tejada, Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
2006	—	`conf`	Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes. CDC Heber Herencia-Zapana, Oscar R. González, W. Steven Gray
2004	C	`conf`	On the stability of jump-linear systems driven by finite-state machines with Markovian inputs. ACC Sudarshan Patil Kulkarni, Heber Herencia-Zapana, W. Steven Gray, Oscar R. González
2004	—	`conf`	Stochastic stability of nonlinear sampled data systems with a jump linear controller. CDC Oscar R. González, Heber Herencia-Zapana, W. Steven Gray