Get started
Author

Heber Herencia‐Zapana

Observed names: H Herencia-Zapana, H. Herencia-Zapana, Heber Herencia, Heber Herencia-Zapana, Heber Herencia-zapana, Heber Herencia‐zapana, Herencia-Zapana, Heber
ORCID: 0000-0003-0146-669X
Observed ORCID: 0000-0003-0146-669X
OpenAlex ID: A5060219474
Reference modelling in support of M&S—foundations and applications
2013 · A Tolk, S Y Diallo, et al. · Journal of Simulation · 94
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
2012 · Heber Herencia-Zapana, Romain Jobredeaux, et al. · Lecture notes in computer science · 40
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
2021 · Baoluo Meng, Daniel Larraz, et al. · Systems · 27
PDF
Understanding interoperability
2011 · Saikou Y. Diallo, Heber Herencia‐Zapana, et al. · 25
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
2015 · Timothy Wang, Romain Jobredeaux, et al. · Lecture notes in control and information sciences · 24
PDF
Toward a formalism of modeling and simulation using model theory
2013 · Saikou Y. Diallo, Jose J. Padilla, et al. · Complexity · 23
Architectural and Behavioral Analysis for Cyber Security
2019 · Kit Siu, Abha Moitra, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 21
Flight critical software and systems development using ASSERT™
2017 · Kit Siu, Abha Moitra, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 17
Small satellite systems design methodology: A formal and agile design process
2014 · William Edmonson, Jules Chenou, et al. · IEEE International Systems Conference (SysCon) · 17
Bilinear system interconnections and generating series of weighted Petri nets
2009 · W. Steven Gray, Heber Herencia-Zapana, et al. · Systems & Control Letters · 12
Formal Verification of Safety Buffers for Sate-Based Conflict Detection and Resolution
2010 · Heber Herencia‐Zapana, Jean-Baptiste Jeannin, et al. · NASA Technical Reports Server (NASA) · 10
On the stability of jump-linear systems driven by finite-state machines with Markovian inputs
2004 · S. Patilkulkarni, H. Herencia-Zapana, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 10
Threat Identification and Defense Control Selection for Embedded Systems
2020 · Abha Moitra, Daniel Prince, et al. · SAE International journal of transportation cybersecurity and privacy · 8
A Model-Based Framework for Analyzing the Security of System Architectures
2020 · Kit Siu, Heber Herencia-Zapana, et al. · Annual Reliability and Maintainability Symposium (RAMS) · 8
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems
2012 · Romain Jobredeaux, Heber Herencia-Zapana, et al. · IEEE Conference on Decision and Control (CDC) · 8
Model theoretic implications for agent languages in support of interoperability and composability
2011 · Andreas Tolk, Saikou Y. Diallo, et al. · Winter Simulation Conference · 8
Certification Considerations for Adaptive Stress Testing of Airborne Software
2021 · Michael Durling, Heber Herencia-Zapana, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 7
Towards Developing Formalized Assurance Cases
2020 · Baoluo Meng, Abha Moitra, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 7
Stochastic stability of nonlinear sampled data systems with a jump linear controller
2004 · O.R. Gonzalez, H. Herencia-Zapana, et al. · IEEE Conference on Decision and Control (CDC) · 7
A Survey of Security Challenges and Solutions for UAS Traffic Management (UTM) and Small Unmanned Aerial Systems (sUAS)
2026 · Iman Sharifi, Mahyar Ghazanfari, et al. · AIAA SciTech Forum · 6
PDF
Formal verification of lateral and temporal safety buffers for state-based conflict detection
2012 · Anthony Narkawicz, César Muñoz, et al. · Proceedings of the Institution of Mechanical Engineers Part G Journal of Aerospace Engineering · 6
Formalizing Probabilistic Safety Claims
2011 · Heber Herencia-Zapana, George Hagen, et al. · Lecture notes in computer science · 6
Towards Formalization of a Data Model for Operational Risk Assessment
2021 · Vidhya Tekken Valapil, Heber Herencia-Zapana, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 3
Modeling and Formal Analysis of High-Assurance Mixed-Reality Systems
2025 · Isaac Amundson, Junaid Babar, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 2
Towards Compliance to Safety Objectives Using Data Curation
2023 · Heber Herencia-Zapana, Daniel Russell, et al. · Annual Reliability and Maintainability Symposium (RAMS) · 2
Works count: 48
Citation count: 409
H-index: 10
I10-index: 12
Year
Topic
Type