Heber Herencia-Zapana

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 1

Top Topics

Theoretical Foundation

Design Processes

Top Venues

Publications

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