Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2009 2008 2007

Number of items: 6.

2009

Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Rubira, C. and Martins, E. (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology , 24 (2). pp. 212-237. ISSN 1000-9000. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Martins, E. and Moraes, R. and Rubira, C.M.F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil. The full text of this publication is not available from this repository.

2008

Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), 3rd - 5th December, 2008, Nanjing, China. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2008) Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. In: Second European Conference on Software Architecture (ECSA 2008), 29th September - 1st October, 2008, Paphos, Cyprus. The full text of this publication is not available from this repository.

2007

Brito, P.H.S. and de Lemos, R. and Martins, E. and Rubira, C.M.F. (2007) Verification and Validation of a Fault-Tolerant Architectural Abstraction. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), June 2007, Edinburgh, Scotland. The full text of this publication is not available from this repository.

This list was generated on Tue May 21 20:35:51 2013 BST.