Luís Silva Azevedo

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Levels Of Abstraction

Heuristic Methods

Top Venues

Annu. Rev. Control.

ASCoMS@SAFECOMP

Publications

Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos
A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control. 41 (2016)
Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. IMBSA (2014)
David Parker, Martin Walker, Luís Silva Azevedo, Yiannis Papadopoulos, Rui Esteves Araujo
Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. IEA/AIE (2013)
De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP (2013)
Luís Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. CARS@SAFECOMP (2013)