CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
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 (opens in new window)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 (opens in new window)Initial version of the architectural pattern, models, and uncertainty quantification methods, for the PAL and DTI architectures, and their formal semantics.
Case study compendium (opens in new window)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 (opens in new window)Initial version of the controlled natural language and operational requirements for case studies, and their semantics.
Initial architecture for the RoboSAPIENS platform (opens in new window)Hardware and software setup for a non-distributed platform, and workflow fordeployment of the initial architecture on it.
Monitorable and trustworthy verification loops (opens in new window)Language to describe monitorable, safe, and trustworthy MAPE-K loops: grammar and tool.
Self-adaptation and initial safety integration (opens in new window)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
Author(s):
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Published in:
15th International Conference on Information, Intelligence, Systems and Applications (IISA) 2024, 2024
Publisher:
IEEE
Author(s):
Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas
Published in:
2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA), 2024
Publisher:
IEEE
DOI:
10.1109/IISA62523.2024.10786720
Author(s):
Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen
Published in:
2025 IEEE Conference on Software Testing, Verification and Validation (ICST), 2025
Publisher:
IEEE
DOI:
10.1109/ICST62969.2025.10988977
Author(s):
Pavlos Tosidis, Nikolaos Passalis and Anastasios Tefas
Published in:
27th International Conference on Pattern Recognition (ICPR) 2024, Workshop on Facial and Body Expressions, 2024
Publisher:
IAPR
Author(s):
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
Published in:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2024
Publisher:
IEEE
DOI:
10.1109/ACSOS-C63493.2024.00042
Author(s):
Ioannis Bountouris, Nikolaos Passalis, Anastasios Tefas
Published in:
32nd European Signal Processing Conference (EUSIPCO), 2024, 2024
Publisher:
EURASIP
Author(s):
James Baxter, Bert van Acker, Morten Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
Published in:
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering, 2025
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90900-9_8
Author(s):
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Published in:
Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-75390-9_2
Author(s):
Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock
Published in:
Lecture Notes in Computer Science, NASA Formal Methods, 2025
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-93706-4_2
Author(s):
Tzoulio Chamiti, Nikolaos Passalis, Anastasios Tefas
Published in:
Lecture Notes in Computer Science, Pattern Recognition, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78447-7_25
Author(s):
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
Published in:
Research Directions: Cyber-Physical Systems, 2024, ISSN 2753-8516
Publisher:
Cambridge University Press
DOI:
10.1017/CBP.2024.4
Author(s):
Tongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Guoyuan Li, Houxiang Zhang
Published in:
IEEE Transactions on Industrial Informatics, Issue 20, 2024, ISSN 1551-3203
Publisher:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2024.3396359
Author(s):
Tongtong Wang, Robert Skulstad, Houxiang Zhang
Published in:
IEEE Transactions on Industrial Informatics, Issue 21, 2025, ISSN 1551-3203
Publisher:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/TII.2025.3534406
Author(s):
Theodoros Manousis, Emmanouil Eleftheriadis, Nikolaos Passalis, Anastasios Tefas
Published in:
Expert Systems with Applications, Issue 271, 2025, ISSN 0957-4174
Publisher:
Elsevier BV
DOI:
10.1016/J.ESWA.2025.126550
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available