ProfileOfResearchers

TÃTULO: The KARYON project: Predictable and safe coordination in cooperative vehicular systems
AUTORES: Casimiro, A ; Kaiser, J; Schiller, EM; Costa, P; Parizi, J; Johansson, R; Librino, R;
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

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: Towards dependable measurements in coastal sensors networks
AUTORES: Jesus, G; Casimiro, A ; Oliveira, A;
PUBLICAÇÃO: 2013, FONTE: 14th European Workshop on Dependable Computing, EWDC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7869 LNCS

INDEXADO EM:

Scopus

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: A trustworthy and resilient event broker for monitoring cloud infrastructures
AUTORES: Kreutz, D; Casimiro, A ; Pasin, M;
PUBLICAÇÃO: 2012, FONTE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7272 LNCS

INDEXADO EM:

Scopus

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: Adaptare. Supporting automatic and dependable adaptation in dynamic environments Full Text
AUTORES: Mônica Dixit; António Casimiro ; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: ACM Trans. Auton. Adapt. Syst. - ACM Transactions on Autonomous and Adaptive Systems - TAAS, VOLUME: 7, NÚMERO: 2

INDEXADO EM:

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: Adaptare: Supporting Automatic and Dependable Adaptation in Dynamic Environments Full Text
AUTORES: Monica Dixit; Antonio Casimiro ; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, VOLUME: 7, NÚMERO: 2

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

ResearcherID |

CIÊNCIAVITAE

TÃTULO: Brief announcement: KARYON: Towards safety kernels for cooperative vehicular systems
AUTORES: Casimiro, A ; Kaiser, J; Karlsson, J; Schiller, EM; Tsigas, P; Costa, P; Parizi, J; Johansson, R; Librino, R;
PUBLICAÇÃO: 2012, FONTE: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7596 LNCS

INDEXADO EM:

Scopus

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: Introduction to ASCoMS 2012
AUTORES: Casimiro, A ; Kaiser, J;
PUBLICAÇÃO: 2012, FONTE: Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7613 LNCS

INDEXADO EM:

Scopus

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012: Foreword
AUTORES: Casimiro, A ; Ghandi, R; Araujo, F ;
PUBLICAÇÃO: 2012, FONTE: 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012 in Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012

INDEXADO EM:

Scopus

TÃTULO: Replication for dependability on virtualized cloud environments
AUTORES: Araujo, F ; Barbosa, R ; Casimiro, A ;
PUBLICAÇÃO: 2012, FONTE: 10th International Workshop on Middleware for Grids, Clouds and e-Science, MGC 2012 - Co-located with ACM/IFIP/USENIX 13th International Middleware Conference in Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science, MGC 2012 - Co-located with ACM/IFIP/USENIX 13th International Middleware Conference

INDEXADO EM:

Scopus

DBLP

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE