11
TÍTULO: On probabilistic analysis of disagreement in synchronous consensus protocols
AUTORES: Negin Fathollahnejad; Emilia Villani; Risat Pathan; Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2014, FONTE: 10th European Dependable Computing Conference (EDCC) in 2014 TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
12
TÍTULO: Replica placement to mitigate attacks on clouds
AUTORES: Araujo, F; Boychenko, S; Barbosa, R ; Casimiro, A;
PUBLICAÇÃO: 2014, FONTE: Journal of Internet Services and Applications, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
13
TÍTULO: Taking an Electronic Ticketing System to the Cloud: Design and Discussion
AUTORES: Araujo, F; Curado, M ; Furtado, P ; Barbosa, R ;
PUBLICAÇÃO: 2014, FONTE: IEEE International Conference on Big Data in 2014 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
14
TÍTULO: Evaluating Xilinx SEU Controller Macro for Fault Injection
AUTORES: Jose Luis Nunes ; Joao Carlos Cunha ; Raul Barbosa ; Mario Zenha Rela;
PUBLICAÇÃO: 2013, FONTE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
15
TÍTULO: On reliability analysis of leader election protocols for virtual traffic lights
AUTORES: Fathollahnejad, N; Villani, E; Pathan, R; Barbosa, R ; Karlsson, J;
PUBLICAÇÃO: 2013, FONTE: 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN-W 2013 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
16
TÍTULO: Probabilistic analysis of a 1-of-n selection algorithm using a moderately pessimistic decision criterion
AUTORES: Negin Fathollahnejad; Emilia Villani; Risat Pathan; Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2013, FONTE: 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2013 IEEE 19TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2013)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
17
TÍTULO: Reliability Analysis of Consensus in Cooperative Transport Systems
AUTORES: Emília Villani; Negin Fathollahnejad; Risat Pathan; Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2013, FONTE: SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Reliability Analysis of Software Architecture Evolution
AUTORES: Joao M Franco; Raul Barbosa ; Mario Zenha Rela;
PUBLICAÇÃO: 2013, FONTE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
19
TÍTULO: A middleware for exactly-once semantics in request-response interactions
AUTORES: Ivaki, N; Araujo, F ; Barbosa, R ;
PUBLICAÇÃO: 2012, FONTE: 18th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2012 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
20
TÍTULO: Automated reliability prediction from formal architectural descriptions
AUTORES: Franco, JM; Barbosa, R ; Zenha Rela, M;
PUBLICAÇÃO: 2012, FONTE: Joint 10th Working IEEE/IFIP Conference on Software Architecture, WICSA 2012 and 6th European Conference on Software, ECSA 2012 in Proceedings of the 2012 Joint Working Conference on Software Architecture and 6th European Conference on Software Architecture, WICSA/ECSA 2012
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
Página 2 de 4. Total de resultados: 37.