Luís Nascimento

According to our database, Luís Nascimento authored at least 5 papers between 2010 and 2025.

Collaborative distances:

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

2025

ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees.

Luís Nascimento, André Luíz de Oliveira, Regina Villela, Hiago Fonseca, Kalinka R. L. J. Castelo Branco, Ran Wei, Richard Hawkins, Tim Kelly

Proceedings of the Model-Based Safety and Assessment - 9th International Symposium, 2025

Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems.

Luís Nascimento, André Luíz de Oliveira, Regina Villela, Edelberto Franco Silva, Ran Wei, Richard Hawkins, Tim Kelly

Proceedings of the Advanced Information Networking and Applications, 2025

2024

From Fault Tree Analysis to Runtime Model-Based Assurance Cases.

Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems.

Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly

Proceedings of the Advanced Information Networking and Applications, 2023

2010

Methodologies of Support to the Execution of Risk Management.

Luís Nascimento, André Vasconcelos, Pedro Manuel Antunes Sousa, José Alegria, Alberto Mendes

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010