( en | de | ru )

 

Disambiguation of "Herencia-Zapana, Heber"

Author of the publication

copydeleteadd this publication to your clipboard
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.

, , , and . CDC, page 1816-1821. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerhard Heber

Helmut Heber

Barbara Heber

Saskia Heber

Bernd Heber

 

Other publications of authors with the same name

Modular Methods for Verification and Validation of Air Traffic Control Algorithms., and . Infotech@Aerospace, (2012)Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes., , and . CDC, page 944-949. IEEE, (2006)On cascades of bilinear systems and generating series of weighted Petri nets., , , and . CDC, page 4115-4120. IEEE, (2008)Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms.. Old Dominion University, Norfolk, Virginia, USA, (2008)base-search.net (ftolddominionuni:oai:digitalcommons.odu.edu:ece_etds-1078).Reference modelling in support of M&S - foundations and applications., , , and . J. Simulation, 7 (2): 69-82 (2013)Formalizing Probabilistic Safety Claims., , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 162-176. Springer, (2011)Small satellite systems design methodology: A formal and agile design process., , , and . SysCon, page 518-524. IEEE, (2014)Mean Square Stability Analysis of Hybrid Jump Linear Systems using a Markov Kernel Approach., , , and . ACC, page 3482-3487. IEEE, (2007)On the stability of jump-linear systems driven by finite-state machines with Markovian inputs., , , and . ACC, page 2534-2539. IEEE, (2004)Stochastic stability of nonlinear sampled data systems with a jump linear controller., , and . CDC, page 4128-4133. IEEE, (2004)