ProfileOfResearchers

TITLE: The KARYON project: Predictable and safe coordination in cooperative vehicular systems
AUTHORS: Casimiro, A ; Kaiser, J; Schiller, EM; Costa, P; Parizi, J; Johansson, R; Librino, R;
PUBLISHED: 2013, SOURCE: 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

INDEXED IN:

Scopus

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

TITLE: Towards dependable measurements in coastal sensors networks
AUTHORS: Jesus, G; Casimiro, A ; Oliveira, A;
PUBLISHED: 2013, SOURCE: 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

INDEXED IN:

Scopus

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

TITLE: A trustworthy and resilient event broker for monitoring cloud infrastructures
AUTHORS: Kreutz, D; Casimiro, A ; Pasin, M;
PUBLISHED: 2012, SOURCE: 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

INDEXED IN:

Scopus

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

TITLE: Adaptare. Supporting automatic and dependable adaptation in dynamic environments Full Text
AUTHORS: Mônica Dixit; António Casimiro ; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLISHED: 2012, SOURCE: ACM Trans. Auton. Adapt. Syst. - ACM Transactions on Autonomous and Adaptive Systems - TAAS, VOLUME: 7, ISSUE: 2

INDEXED IN:

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

TITLE: Adaptare: Supporting Automatic and Dependable Adaptation in Dynamic Environments Full Text
AUTHORS: Monica Dixit; Antonio Casimiro ; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLISHED: 2012, SOURCE: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, VOLUME: 7, ISSUE: 2

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

ResearcherID |

CIÊNCIAVITAE

TITLE: Brief announcement: KARYON: Towards safety kernels for cooperative vehicular systems
AUTHORS: Casimiro, A ; Kaiser, J; Karlsson, J; Schiller, EM; Tsigas, P; Costa, P; Parizi, J; Johansson, R; Librino, R;
PUBLISHED: 2012, SOURCE: 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

INDEXED IN:

Scopus

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

TITLE: Introduction to ASCoMS 2012
AUTHORS: Casimiro, A ; Kaiser, J;
PUBLISHED: 2012, SOURCE: 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

INDEXED IN:

Scopus

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

TITLE: Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012: Foreword
AUTHORS: Casimiro, A ; Ghandi, R; Araujo, F ;
PUBLISHED: 2012, SOURCE: 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

INDEXED IN:

Scopus

TITLE: Replication for dependability on virtualized cloud environments
AUTHORS: Araujo, F ; Barbosa, R ; Casimiro, A ;
PUBLISHED: 2012, SOURCE: 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

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE