Sergio B. Guarro

According to our database, Sergio B. Guarro authored at least 6 papers between 1987 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance.

Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner, Sergio B. Guarro, Michael K. Yau, Matthew Knudson

J. Aerosp. Inf. Syst., February, 2018

2016

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems.

Sergio B. Guarro, Ümit Özgüner, Tunc Aldemir, Matt Knudson, Arda Kurt, Michael K. Yau, Mohammad Hejase, Steve Kwon

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2010

Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.

Tunc Aldemir, Sergio B. Guarro, Diego Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael K. Yau, Eylem Ekici, D. W. Miller, Xiaodong Sun, S. A. Arndt

Reliab. Eng. Syst. Saf., 2010

2009

On the nature and practical handling of the Bayesian aggregation anomaly.

Sergio B. Guarro, Michael K. Yau

Reliab. Eng. Syst. Saf., 2009

1995

The dynamic flowgraph methodology for assessing the dependability of embedded software systems.

Christopher James Garrett, Sergio B. Guarro, George E. Apostolakis

IEEE Trans. Syst. Man Cybern., 1995

1987

Principles and procedures of the LRAM approach to information systems risk analysis and management.

Sergio B. Guarro

Comput. Secur., 1987