CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultado final
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 (se abrirá en una nueva ventana)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 (se abrirá en una nueva ventana)Initial version of the architectural pattern, models, and uncertainty quantification methods, for the PAL and DTI architectures, and their formal semantics.
Case study compendium (se abrirá en una nueva ventana)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 (se abrirá en una nueva ventana)Initial version of the controlled natural language and operational requirements for case studies, and their semantics.
Initial architecture for the RoboSAPIENS platform (se abrirá en una nueva ventana)Hardware and software setup for a non-distributed platform, and workflow fordeployment of the initial architecture on it.
Monitorable and trustworthy verification loops (se abrirá en una nueva ventana)Language to describe monitorable, safe, and trustworthy MAPE-K loops: grammar and tool.
Self-adaptation and initial safety integration (se abrirá en una nueva ventana)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.
Publicaciones
Autores:
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Publicado en:
15th International Conference on Information, Intelligence, Systems and Applications (IISA) 2024, 2024
Editor:
IEEE
Autores:
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Publicado en:
2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA), 2024
Editor:
IEEE
DOI:
10.1109/IISA62523.2024.10786720
Autores:
Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen
Publicado en:
2025 IEEE Conference on Software Testing, Verification and Validation (ICST), 2025
Editor:
IEEE
DOI:
10.1109/ICST62969.2025.10988977
Autores:
Pavlos Tosidis, Nikolaos Passalis and Anastasios Tefas
Publicado en:
27th International Conference on Pattern Recognition (ICPR) 2024, Workshop on Facial and Body Expressions, 2024
Editor:
IAPR
Autores:
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
Publicado en:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2024
Editor:
IEEE
DOI:
10.1109/ACSOS-C63493.2024.00042
Autores:
Ioannis Bountouris, Nikolaos Passalis, Anastasios Tefas
Publicado en:
32nd European Signal Processing Conference (EUSIPCO), 2024, 2024
Editor:
EURASIP
Autores:
James Baxter, Bert van Acker, Morten Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
Publicado en:
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90900-9_8
Autores:
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Publicado en:
Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-75390-9_2
Autores:
Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock
Publicado en:
Lecture Notes in Computer Science, NASA Formal Methods, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-93706-4_2
Autores:
Tzoulio Chamiti, Nikolaos Passalis, Anastasios Tefas
Publicado en:
Lecture Notes in Computer Science, Pattern Recognition, 2024
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78447-7_25
Autores:
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
Publicado en:
Research Directions: Cyber-Physical Systems, 2024, ISSN 2753-8516
Editor:
Cambridge University Press
DOI:
10.1017/CBP.2024.4
Autores:
Tongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Guoyuan Li, Houxiang Zhang
Publicado en:
IEEE Transactions on Industrial Informatics, Edición 20, 2024, ISSN 1551-3203
Editor:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2024.3396359
Autores:
Tongtong Wang, Robert Skulstad, Houxiang Zhang
Publicado en:
IEEE Transactions on Industrial Informatics, Edición 21, 2025, ISSN 1551-3203
Editor:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2025.3534406
Autores:
Theodoros Manousis, Emmanouil Eleftheriadis, Nikolaos Passalis, Anastasios Tefas
Publicado en:
Expert Systems with Applications, Edición 271, 2025, ISSN 0957-4174
Editor:
Elsevier BV
DOI:
10.1016/J.ESWA.2025.126550
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles