Carlos Henrique Netto Lahoz

According to our database, Carlos Henrique Netto Lahoz authored at least 7 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

System-Theoretic Process Analysis Applied for Verification Processes During Launch Operations.

Antonio Vinicius Diniz Merladet, Carlos Henrique Netto Lahoz, Chiara Manfletti, Diogo Silva Castilho, Rodrigo De Melo Silveira

Proceedings of the 7th International Conference on System Reliability and Safety, 2023

2021

Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach.

Antonio Vinicius Diniz Merladet, Rodrigo De Melo Silveira, Sergio Fugivara, Carlos Henrique Netto Lahoz

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

CAST Applied to Covid-19 Pandemic in Brazil.

Evandro R. Bortoloto, Talitha C. De Oliveira, Carlos Henrique Netto Lahoz, Fernando Teixeira Mendes Abrahão

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Identificação de Requisitos de Segurança para Experimentos Científicos Embarcados.

Heuller Aloys Carneiro Procópio, Luiz Eduardo Galvão Martins, Carlos Henrique Netto Lahoz

Proceedings of the Anais do WER20, 2020

2009

ELICERE: a process for defining dependability goals for critical computer system: case study apply to space area (ELICERE: o processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial).

Carlos Henrique Netto Lahoz

PhD thesis, 2009

2006

Um Estudo sobre a Atividade de Elicitação de Requisitos em Projetos de Software da Área Espacial.

Carlos Henrique Netto Lahoz, João Batista Camargo Jr.

Proceedings of the Anais do WER06, 2006

2003

A Practical Approach to Quality Assurance in Critical Systems.

Carlos A. T. Moura, Carlos Henrique Netto Lahoz, Martha A. D. Abdala

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003