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
First version of the deployment on platform from D5.1, with guidelines and lab-scale validation plans.
Modeling and simulation of the case studies, validated to ensure changes can be made during simulation.
Requirements for safe and trustworthy MAPE-K loops (s’ouvre dans une nouvelle fenêtre)Ontology for domain concepts and requirements of MAPE-K, including feature models for the domain of safety and use cases.
Formal models including uncertainty quantification and patterns for the PAL and DTI architectures (s’ouvre dans une nouvelle fenêtre)Initial version of the architectural pattern, models, and uncertainty quantification methods, for the PAL and DTI architectures, and their formal semantics.
Case study compendium (s’ouvre dans une nouvelle fenêtre)Specifications of the case studies, investigation of baseline technologies, and assessment criteria to be used in the case studies including the people’s uncertainties.
Initial (a) uncertainty estimator for the ship predictor and method for detecting inability for disassembling tasks; (b) methods for enriching scheduling algorithms; and (c) active perception technology.
Operational requirements for the case studies (s’ouvre dans une nouvelle fenêtre)Initial version of the controlled natural language and operational requirements for case studies, and their semantics.
Initial architecture for the RoboSAPIENS platform (s’ouvre dans une nouvelle fenêtre)Hardware and software setup for a non-distributed platform, and workflow fordeployment of the initial architecture on it.
Monitorable and trustworthy verification loops (s’ouvre dans une nouvelle fenêtre)Language to describe monitorable, safe, and trustworthy MAPE-K loops: grammar and tool.
Self-adaptation and initial safety integration (s’ouvre dans une nouvelle fenêtre)Initial version of (a) functional and safety requirements for use cases; (b) tools forpersistently exciting systems, and active perception. Detection methods for environmental and structural changes.
Publications
Auteurs:
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Publié dans:
15th International Conference on Information, Intelligence, Systems and Applications (IISA) 2024, 2024
Éditeur:
IEEE
Auteurs:
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Publié dans:
2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA), 2024
Éditeur:
IEEE
DOI:
10.1109/IISA62523.2024.10786720
Auteurs:
Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen
Publié dans:
2025 IEEE Conference on Software Testing, Verification and Validation (ICST), 2025
Éditeur:
IEEE
DOI:
10.1109/ICST62969.2025.10988977
Auteurs:
Pavlos Tosidis, Nikolaos Passalis and Anastasios Tefas
Publié dans:
27th International Conference on Pattern Recognition (ICPR) 2024, Workshop on Facial and Body Expressions, 2024
Éditeur:
IAPR
Auteurs:
Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Isasa, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars B. Vosteen, Thomas Wright
Publié dans:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2024
Éditeur:
IEEE
DOI:
10.1109/ACSOS-C63493.2024.00042
Auteurs:
Ioannis Bountouris, Nikolaos Passalis, Anastasios Tefas
Publié dans:
32nd European Signal Processing Conference (EUSIPCO), 2024, 2024
Éditeur:
EURASIP
Auteurs:
James Baxter, Bert van Acker, Morten Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
Publié dans:
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering, 2025
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90900-9_8
Auteurs:
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Publié dans:
Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-75390-9_2
Auteurs:
Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock
Publié dans:
Lecture Notes in Computer Science, NASA Formal Methods, 2025
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-93706-4_2
Auteurs:
Tzoulio Chamiti, Nikolaos Passalis, Anastasios Tefas
Publié dans:
Lecture Notes in Computer Science, Pattern Recognition, 2024
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78447-7_25
Auteurs:
Larsen, G. Peter; Ali, Shaukat; Behrens, Roland; Cavalcanti, Ana; Gomes, Claudio; Li, Guoyuan; Meulenaere, Paul De; Olsen, Mikkel L.; Passalis, Nikolaos; Peyrucain, Thomas; Tapia, Jesús; Tefas, Anastasios; Zhang, Houxiang
Publié dans:
Research Directions: Cyber-Physical Systems, 2024, ISSN 2753-8516
Éditeur:
Cambridge University Press
DOI:
10.1017/CBP.2024.4
Auteurs:
Tongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Guoyuan Li, Houxiang Zhang
Publié dans:
IEEE Transactions on Industrial Informatics, Numéro 20, 2024, ISSN 1551-3203
Éditeur:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2024.3396359
Auteurs:
Tongtong Wang, Robert Skulstad, Houxiang Zhang
Publié dans:
IEEE Transactions on Industrial Informatics, Numéro 21, 2025, ISSN 1551-3203
Éditeur:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2025.3534406
Auteurs:
Theodoros Manousis, Emmanouil Eleftheriadis, Nikolaos Passalis, Anastasios Tefas
Publié dans:
Expert Systems with Applications, Numéro 271, 2025, ISSN 0957-4174
Éditeur:
Elsevier BV
DOI:
10.1016/J.ESWA.2025.126550
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible