Towards Compliance to Safety Objectives Using Data Curation by Herencia-Zapana, Heber, Russell, Daniel, Prince, Daniel, Siu, Kit, Cuddihy, Paul

Request full text

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System by Meng, Baoluo, Larraz, Daniel, Siu, Kit, Moitra, Abha, Interrante, John, Smith, William, Paul, Saswata, Prince, Daniel, Herencia-Zapana, Heber, Arif, M. Fareed, Yahyazadeh, Moosa, Tekken Valapil, Vidhya, Durling, Michael, Tinelli, Cesare, Chowdhury, Omar

Get full text

A Model-Based Framework for Analyzing the Security of System Architectures by Siu, Kit, Herencia-Zapana, Heber, Prince, Daniel, Moitra, Abha

Request full text

Formal verification of lateral and temporal safety buffers for state-based conflict detection by Narkawicz, Anthony, Muñoz, César, Herencia-Zapana, Heber, Hagen, George

Get full text

Bilinear system interconnections and generating series of weighted Petri nets by Gray, W. Steven, Herencia-Zapana, Heber, Duffaut Espinosa, Luis A., González, Oscar R.

Get full text

Evaluation of New Assurance Tools for Airborne Machine Learning-Based Functions by Liu, Cong, Herencia-Zapana, Heber, Hasan, Saqib, Tahat, Amer, Amundson, Isaac, Cofer, Darren

Request full text

Model theoretic implications for agent languages in support of interoperability and composability by Tolk, A., Diallo, S. Y., Padilla, J. J., Herencia-Zapana, Heber

Request full text

Certification Considerations for Adaptive Stress Testing of Airborne Software by Durling, Michael, Herencia-Zapana, Heber, Meng, Baoluo, Meiners, Mike, Hochwarth, Joachim, Visser, Nicholas, Lee, Ritchie, Moss, Robert, Valapil, Vidhya Tekken

Request full text

Towards Formalization of a Data Model for Operational Risk Assessment by Valapil, Vidhya Tekken, Herencia-Zapana, Heber, Durling, Michael, Armstrong, Kristen, Paul, Saswata, Borgyos, Szabolcs, Moitra, Abha, Premerlani, William

Request full text

Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions by Herencia-Zapana, Heber, Lopez, James, Gallagher, Glen, Meng, Baoluo, Patterson, Cameron, Maalolan, Lakshman

Request full text

Threat Identification and Defense Control Selection for Embedded Systems by Moitra, Abha, Prince, Daniel, Siu, Kit, Durling, Michael, Herencia-Zapana, Heber

Get full text

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems by Jobredeaux, R., Herencia-Zapana, H., Neogi, N., Feron, E.

Request full text

Towards Developing Formalized Assurance Cases by Meng, Baoluo, Moitra, Abha, Crapo, Andrew W., Paul, Saswata, Siu, Kit, Durling, Michael, Prince, Daniel, Herencia-Zapana, Heber

Request full text

Architectural and Behavioral Analysis for Cyber Security by Siu, Kit, Moitra, Abha, Li, Meng, Durling, Michael, Herencia-Zapana, Heber, Interrante, John, Meng, Baoluo, Tinelli, Cesare, Chowdhury, Omar, Larraz, Daniel, Yahyazadeh, Moosa, Arif, M. Fareed, Prince, Daniel

Request full text

Small satellite systems design methodology: A formal and agile design process by Edmonson, William, Chenou, Jules, Neogi, Natasha, Herencia-Zapana, Heber

Request full text

Flight critical software and systems development using ASSERT by Kit Siu, Moitra, Abha, Durling, Michael, Crapo, Andy, Meng Li, Han Yu, Herencia-Zapana, Heber, Castillo-Effen, Mauricio, Sen, Shiraj, McMillan, Craig, Russell, Daniel, Roy, Sundeep, Manolios, Panagiotis

Request full text

Dynamically colored petri net representation of nonlinear sampled-data systems with embedded recovery algorithms by Herencia-Zapana, H., Gonzalez, O.R., Gray, W.S.

Request full text

Mean square stability analysis of sampled-data supervisory control systems by Tejada, A., Herencia-Zapana, H., Gonzalez, O.R., Gray, W.S.

Request full text

Mean Square Stability Analysis of Hybrid Jump Linear Systems using a Markov Kernel Approach by Tejada, A., Herencia-Zapana, H., Gonzalez, O.R., Gray, W.S.

Request full text

On the stability of jump-linear systems driven by finite-state machines with Markovian inputs by Patilkulkarni, S., Herencia-Zapana, H., Gray, W.S., Gonzalez, O.R.

Request full text