Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Herencia-Zapana, Heber
15  Ergebnisse:
Personensuche X
?
1

Towards Compliance to Safety Objectives Using Data Curation:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),
Herencia-Zapana, Heber ; Russell, Daniel ; Prince, Daniel.. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
2

VERDICT: A Language and Framework for Engineering Cyber Res..:

Meng, Baoluo ; Larraz, Daniel ; Siu, Kit...
Systems.  9 (2021)  1 - p. 18 , 2021
Link: https://doi.org/10.3390/..
 
?
3

A Model-Based Framework for Analyzing the Security of Syste..:

, In: 2020 Annual Reliability and Maintainability Symposium (RAMS),
Siu, Kit ; Herencia-Zapana, Heber ; Prince, Daniel. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Formal Verification Tool Evaluation For Unmanned Aircraft C..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Herencia-Zapana, Heber ; Lopez, James ; Gallagher, Glen... - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Towards Developing Formalized Assurance Cases:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Meng, Baoluo ; Moitra, Abha ; Crapo, Andrew W.... - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Architectural and Behavioral Analysis for Cyber Security:

, In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC),
Siu, Kit ; Moitra, Abha ; Li, Meng... - p. 1-10 , 2019
Link: https://doi.org/10.1109/..
 
?
7

Model theoretic implications for agent languages in support..:

, In: Proceedings of the Winter Simulation Conference,
Tolk, Andreas ; Diallo, Saikou Y. ; Padilla, Jose J.. - p. 309-320 , 2011
Link: https://dl.acm.org/doi/1..
 
?
8

Understanding interoperability:

, In: Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium,
Diallo, Saikou Y. ; Herencia-Zapana, Heber ; Padilla, Jose J.. - p. 84-91 , 2011
Link: https://dl.acm.org/doi/1..
 
?
9

Bilinear system interconnections and generating series of w..:

Gray, W. Steven ; Herencia-Zapana, Heber ; Duffaut Espinosa, Luis A..
Systems & Control Letters.  58 (2009)  12 - p. 841-848 , 2009
Link: https://doi.org/10.1016/..
 
?
10

Toward a Formalism of Modeling and Simulation Using Model T..:

Diallo, Saikou Y ; Padilla, Jose ; Gore, Ross..
https://digitalcommons.odu.edu/vmasc_pubs/12.  , 2014
Link: https://digitalcommons.o..
 
?
11

Modeling and Stability Analysis of Nonlinear Sampled-Data S..:

Herencia-Zapana, Heber
https://digitalcommons.odu.edu/ece_etds/74.  , 2008
Link: https://digitalcommons.o..
 
?
12

VERDICT: A Language and Framework for Engineering Cyber Res..:

Baoluo Meng ; Daniel Larraz ; Kit Siu...
https://www.mdpi.com/2079-8954/9/1/18.  , 2021
Link: https://doi.org/10.3390/..
 
?
13

VERDICT: A Language and Framework for Engineering Cyber Res..:

Baoluo Meng ; Daniel Larraz ; Kit Siu...
https://dx.doi.org/10.3390/systems9010018.  , 2021
Link: https://doi.org/10.3390/..
 
?
14

Reference modelling in support of M&S—foundations and appli..:

Tolk, A ; Diallo, S Y ; Padilla, J J.
Journal of Simulation.  7 (2013)  2 - p. 69-82 , 2013
Link: https://doi.org/10.1057/..
 
?
15

Aplicación del método Design Thinking en el área de requeri..:

Huarcaya Zapana, Gerson Italo ; Herencia Castro, Nicolas ; Sarmiento Tico, Miguel Angel..
Innovación y Software.  2 (2021)  1 - p. 43-52 , 2021
Link: https://doi.org/10.48168..
 
1-15