CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Risultati finali
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 (si apre in una nuova finestra)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 (si apre in una nuova finestra)Initial version of the architectural pattern, models, and uncertainty quantification methods, for the PAL and DTI architectures, and their formal semantics.
Case study compendium (si apre in una nuova finestra)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 (si apre in una nuova finestra)Initial version of the controlled natural language and operational requirements for case studies, and their semantics.
Initial architecture for the RoboSAPIENS platform (si apre in una nuova finestra)Hardware and software setup for a non-distributed platform, and workflow fordeployment of the initial architecture on it.
Monitorable and trustworthy verification loops (si apre in una nuova finestra)Language to describe monitorable, safe, and trustworthy MAPE-K loops: grammar and tool.
Self-adaptation and initial safety integration (si apre in una nuova finestra)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.
Pubblicazioni
Autori:
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Pubblicato in:
15th International Conference on Information, Intelligence, Systems and Applications (IISA) 2024, 2024
Editore:
IEEE
Autori:
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Pubblicato in:
2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA), 2024
Editore:
IEEE
DOI:
10.1109/IISA62523.2024.10786720
Autori:
Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen
Pubblicato in:
2025 IEEE Conference on Software Testing, Verification and Validation (ICST), 2025
Editore:
IEEE
DOI:
10.1109/ICST62969.2025.10988977
Autori:
Pavlos Tosidis, Nikolaos Passalis and Anastasios Tefas
Pubblicato in:
27th International Conference on Pattern Recognition (ICPR) 2024, Workshop on Facial and Body Expressions, 2024
Editore:
IAPR
Autori:
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
Pubblicato in:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2024
Editore:
IEEE
DOI:
10.1109/ACSOS-C63493.2024.00042
Autori:
Ioannis Bountouris, Nikolaos Passalis, Anastasios Tefas
Pubblicato in:
32nd European Signal Processing Conference (EUSIPCO), 2024, 2024
Editore:
EURASIP
Autori:
James Baxter, Bert van Acker, Morten Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
Pubblicato in:
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering, 2025
Editore:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90900-9_8
Autori:
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Pubblicato in:
Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Editore:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-75390-9_2
Autori:
Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock
Pubblicato in:
Lecture Notes in Computer Science, NASA Formal Methods, 2025
Editore:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-93706-4_2
Autori:
Tzoulio Chamiti, Nikolaos Passalis, Anastasios Tefas
Pubblicato in:
Lecture Notes in Computer Science, Pattern Recognition, 2024
Editore:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78447-7_25
Autori:
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
Pubblicato in:
Research Directions: Cyber-Physical Systems, 2024, ISSN 2753-8516
Editore:
Cambridge University Press
DOI:
10.1017/CBP.2024.4
Autori:
Tongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Guoyuan Li, Houxiang Zhang
Pubblicato in:
IEEE Transactions on Industrial Informatics, Numero 20, 2024, ISSN 1551-3203
Editore:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2024.3396359
Autori:
Tongtong Wang, Robert Skulstad, Houxiang Zhang
Pubblicato in:
IEEE Transactions on Industrial Informatics, Numero 21, 2025, ISSN 1551-3203
Editore:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2025.3534406
Autori:
Theodoros Manousis, Emmanouil Eleftheriadis, Nikolaos Passalis, Anastasios Tefas
Pubblicato in:
Expert Systems with Applications, Numero 271, 2025, ISSN 0957-4174
Editore:
Elsevier BV
DOI:
10.1016/J.ESWA.2025.126550
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile