CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
Initial version of the ADVANCE training material.
ADVANCE Training Material - Final Version (s’ouvre dans une nouvelle fenêtre)Final revised version of the ADVANCE training material.
This deliverable is the output of T1.2, and will contain an analysis of the state of the art on the V&V of CPS.
V&V Techniques for Cyber-Physical Systems - Final Version (s’ouvre dans une nouvelle fenêtre)This deliverable is an updated version of D2.1, and collects the final outputs of tasks T2.1 and T2.2. It will contain thefinal version of the ADVANCE techniques for the V&V of Cyber-Physical Systems.
Techniques for Management and Analysis of V&V-Related Data - Final Version (s’ouvre dans une nouvelle fenêtre)This deliverable is an updated version of D3.1, and collects the final outputs of tasks T3.1 and T3.2. it will contain the final version of the ADVANCE methodologies that can be applied during system operation to support the V&V of CPSs.
Analysis of ADVANCE Results and Future Research Roadmap for CPSs (s’ouvre dans une nouvelle fenêtre)This deliverable is the output of T1.3, and will contain an analysis of project results and a research roadmap for futurework on the topic of V&V of CPSs.
Publications
Auteurs:
David Paiva; Raffael Lima; Manoel Carvalho; Fátima Mattiello-Francisco; Henrique Madeira
Publié dans:
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022
Éditeur:
IEEE
DOI:
10.1109/prdc55274.2022.00022
Auteurs:
Casare A., da Silva C., Basso, T., Moraes R
Publié dans:
Proc. of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - HUCAPP, Numéro 2, 2022, Page(s) 209-216, ISBN 978-989-758-555-5
Éditeur:
SCITEPRESS – Science and Technology Publications, Lda.
DOI:
10.5220/0010889700003124
Auteurs:
F. Mariotti, P. Lollini and F. Mattiello-Francisco
Publié dans:
2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2023
Éditeur:
IEEE
DOI:
10.1109/issrew60843.2023.00067
Auteurs:
Elder Rodrigues, Leonardo Montecchi, Andrea Ceccarelli
Publié dans:
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, Page(s) 414-425, ISBN 978-1-7281-9870-5
Éditeur:
IEEE
DOI:
10.1109/issre5003.2020.00046
Auteurs:
Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Publié dans:
2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022, Page(s) 130-139, ISBN 978-1-7281-8003-8
Éditeur:
IEEE
DOI:
10.1109/prdc50213.2020.00024
Auteurs:
Leonardo Montecchi, Paolo Lollini, Federico Moncini, Kenneth Keefe
Publié dans:
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings, Numéro 1279, 2020, Page(s) 159-167, ISBN 978-3-030-58461-0
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-58462-7_13
Auteurs:
Földvári, András; Pataricza, András; Brancati, Francesco
Publié dans:
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Numéro 5, 2023
Éditeur:
IEEE
DOI:
10.1109/DSN-W58399.2023.00067
Auteurs:
Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltan Micskei
Publié dans:
2019 9th Latin-American Symposium on Dependable Computing (LADC), 2019, Page(s) 1-2, ISBN 978-1-7281-6622-3
Éditeur:
IEEE
DOI:
10.1109/ladc48089.2019.8995714
Auteurs:
Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Publié dans:
2019 15th European Dependable Computing Conference (EDCC), 2019, Page(s) 149-152, ISBN 978-1-7281-3929-6
Éditeur:
IEEE
DOI:
10.1109/edcc.2019.00037
Auteurs:
Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins
Publié dans:
PRDC, Numéro 2, 2020
Éditeur:
IEEE
DOI:
10.1109/prdc50213.2020.00024
Auteurs:
Diego Sierra, Leonardo Montecchi, Ivan Mura
Publié dans:
Journal of the Brazilian Computer Society, Numéro 25/1, 2019, ISSN 0104-6500
Éditeur:
Sociedade Brasileira de Computacao
DOI:
10.1186/s13173-019-0092-8
Auteurs:
Antonio Prado, Pedro Carvalho, Paolo Lollini, Francesco Mariotti, Fatima Mattiello-Francisco, Leonardo Santos, Lucas Pacheco, Lucas Silva
Publié dans:
Mathematics in Science, Engineering, and Aerospace (MESA), Numéro Vol. 15 No. 3, 2024, Page(s) 659-672, ISSN 2041-3165
Éditeur:
Cambridge Scientific Publishers
Auteurs:
Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli
Publié dans:
IEEE Transactions on Reliability, Numéro 4, 2021, ISSN 0018-9529
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.48550/arxiv.2006.09291
Auteurs:
Akos Hajdu, Naghmeh Ivaki, Imre Kocsis, Attila Klenik, Laszlo Gonczy, Nuno Laranjeiro, Henrique Madeira, Andras Pataricza
Publié dans:
IEEE Access, Numéro 8, 2020, Page(s) 190760-190783, ISSN 2169-3536
Éditeur:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2020.3032239
Auteurs:
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
Publié dans:
IEEE Transactions on Reliability, Numéro 71, 2024, Page(s) 640-656, ISSN 0018-9529
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tr.2021.3120979
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible