Risultati finali
Report of the findings from Task 51 along with a mapping and prioritization list for coverage in ELEGANT
Power/Performance analysis of accelerated kernels (Final)This report will include the final numbers (a revision of D3.1) regarding the performance improvement and any overheads of the compilation of the ELEGANT data operators as well as final numbers after applying hardware acceleration on cloud deployments.
Project Management PlanDescription of the project management methodology financial aspect administrative forms and templates for management of the project by all partners
Quality Assurance and Risk Management PlanThis deliverable will describe the quality plan of the project and the required activities for the efficient implementation of the quality system It will also include a simple but stateoftheart risk management plan
User requirementsThis deliverable will report the PESRD requirements of the intended user groups that will drive the definition of ELEGANT architecture This includes an initial definition of the use cases SLAs data operators and security requirements
Applications' definitions (Final)Following the successful mid project checkpoint (M2.1), a final re-evaluation of the user and application PESRD requirements will be performed. Having an insight of the applications’ behaviour and performance, a thorough study regarding the successful achievement of their SLAs will be performed. Any additions to D2.2 will be performed and documented in this report along with final versions of ELEGANT’s use cases.
Development and evaluation (Final)Demonstration of the correct operation of the entire ELEGANT system under operational scenarios demonstrated by the use cases. Report on all results, use cases, and achievement of KPIs.
Quality Assurance and Risk Management Plan - final versionThis deliverable will describe the quality plan of the project and the required activities for the efficient implementation of the quality system It will also include a simple but stateoftheart risk management plan
The first prototype of the ELEGANT Acceleration Service will be delivered which will include the following: 1) Successful execution on all IoT devices, gateways and cloud configurations of the ELEGANT project, 2) Transparent generation of heterogeneous code for the incoming operators, and 3) Hardware acceleration of data operators implemented up to M18.
Data operators' creation API (Final)Final version of the APIs for data operators.
Elastic runtime (Final)Final version of unified elastic runtime for IoT devices and cloud servers.
Cross-cutting development and management tools (Final)Final version of the cross-cutting development and management tools.
ELEGANT orchestrator (Final)Includes the final versions of the profiling accumulator, the ML-based scheduler and the physical plan enforcer.
Cybersecurity mechanisms (Final)This deliverable will include the final report and developed software for all cybersecurity solutions integrated within the ELEGANT stack.
Formal language for specifying security properties and operational model for verification (Final)Develop and implement simplified models of the most common Java classes needed for verifying security properties in the embedded code in IoT devices using different verification strategies, e.g. incremental bounded model checking and k-induction.
A project presentation and the initial project website with elementary information and its logo and setup of the projects social network accounts
This report will include the data management plan including all the necessary steps that will be taken in order to ensure GDPR compliance Any amendments to the DMP after M6 will be included in the projects final report
Pubblicazioni
Autori:
Marek Pawlicki
Pubblicato in:
31ST INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT (ISD2023 LISBON, PORTUGAL), Numero 2023, 2023
Editore:
AIS eLibrary
DOI:
10.62036/isd.2023.54
Autori:
Orion Papadakis; Andreas Andronikakis; Nikos Foutris; Michail Papadimitriou; Athanasios Stratikopoulos; Foivos Zakkak; Polychronis Xekalakis; Christos Kotselidis
Pubblicato in:
The 2023 ACM SIGPLAN International Symposium on Memory Management (ISMM 2023), Numero 2023, 2023
Editore:
ACM
DOI:
10.1145/3591195.3595270
Autori:
A. Catalani; Ioannis Chatzigiannakis; Aris Anagnostopoulos; G. Akrivopoulou; Dimitrios Amaxilatis; Athanasios Antoniou
Pubblicato in:
2021 IEEE International Conference on Smart Internet of Things (SmartIoT), 2021
Editore:
IEEE
DOI:
10.1109/smartiot52359.2021.00031
Autori:
Juan Fumero, Gyorgy Rethy, Athanasios Stratikopoulos, Nikos Foutris, Christos Kotselidis
Pubblicato in:
VMIL 2023: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Numero October 2023, 2023, Pagina/e 61-72
Editore:
ACM
DOI:
10.1145/3623507.3623555
Autori:
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, and Lucas C. Cordeiro
Pubblicato in:
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2022
Editore:
Springer Link
DOI:
10.1007/978-3-030-99429-7_19
Autori:
Marek Pawlicki, Rafal Kozik, and Michal Choras
Pubblicato in:
Mobisec2023, Numero 2023, 2024
Editore:
Springer
DOI:
10.5281/zenodo.11046767
Autori:
Athanasios Stratikopoulos; Florin Blanaru; Juan Fumero; Maria Xekalaki; Orion Papadakis; Christos Kotselidis
Pubblicato in:
Programming 2023, MoreVMs 2023, 2023
Editore:
ACM
DOI:
10.5281/zenodo.7845384
Autori:
Juan Fumero, Florin Blanaru, Athanasios Stratikopoulos, Steve Dohrmann, Sandhya Viswanathan, Christos Kotselidis
Pubblicato in:
MPLR 2023: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Numero October 2023, 2023, Pagina/e 143-157
Editore:
ACM
DOI:
10.1145/3617651.3622984
Autori:
Papadimitriou, M., Fumero, J., Stratikopoulos, A., & Kotselidis, C.
Pubblicato in:
Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2021
Editore:
ACM
DOI:
10.1145/3453933.3454014
Autori:
Marek Pawlicki; Rafał Kozik; Michał Choraś
Pubblicato in:
ARES '22: Proceedings of the 17th International Conference on Availability, Reliability and Security, Numero August 2022, 2022
Editore:
Association for Computing Machinery
DOI:
10.1145/3538969.3544428
Autori:
Zecchini, Marco; Griesi, Alessandra Anna; Chatzigiannakis, Ioannis; Mavrommati, Irene; Amaxilatis, Dimitrios; Akrivopoulos, Orestis
Pubblicato in:
2021 6th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM), Numero 24-26 September 2021, 2021
Editore:
IEEE
DOI:
10.1109/SEEDA-CECNSM53056.2021.9566237
Autori:
Papadimitriou, M., Markou, E., Fumero, J., Stratikopoulos, A., Blanaru, F., & Kotselidis, C.
Pubblicato in:
Proceedings of the 17th ACM SIGPLAN/SIGOPS international conference on virtual execution environments, 2021
Editore:
ACM
DOI:
10.1145/3453933.3454019
Autori:
Konsta, A., Mytilinis, I., Doka, K., Niarchos, S., & Koziris, N.
Pubblicato in:
2021 IEEE 37th International Conference on Data Engineering (ICDE), 2021
Editore:
IEEE
DOI:
10.1109/icde51399.2021.00314
Autori:
Stefano Milani, Domenico Garlisi, Matteo Di Fraia, Patrizio Pisani, Ioannis Chatzigiannakis
Pubblicato in:
29th Annual International Conference on Mobile Computing and Networking, Numero 29th, Annual, 2023, ISBN 9781450399906
Editore:
Association for Computing Machinery
DOI:
10.1145/3570361.3614074
Autori:
Marianna Tzortzi, Charalampos Kleitsikas, Agis Politis, Sotirios Niarchos, Katerina Doka & Nectarios Koziris
Pubblicato in:
International Symposium on Algorithmic Aspects of Cloud Computing, Numero 2023, 2024, ISBN 978-3-031-49360-7
Editore:
Springer Link
DOI:
10.1007/978-3-031-49361-4_1
Autori:
Florin Blanaru; Athanasios Stratikopoulos; Juan Fumero; Christos Kotselidis
Pubblicato in:
VEE 2022: Proceedings of the 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Numero 3, 2022
Editore:
ACM
DOI:
10.1145/3516807.3516821
Autori:
Domenico Garlisi, Antonino Pagano, Fabrizio Guiliano, Daniele Croce, Ilenia Tinnirello
Pubblicato in:
2023 IEEE Wireless Communications and Networking Conference (WCNC), Glasgow, United Kingdom, 2023, pp. 1-7, Numero 2023, 2023, Pagina/e 1-7, ISBN 978-1-6654-9122-8
Editore:
IEEE
DOI:
10.1109/wcnc55385.2023.10118692
Autori:
Aleksandra Pawlicka, Damian Puchalski, Marek Pawlicki, Michal Choras
Pubblicato in:
2023 IEEE International Conference on Cyber Security and Resilience (CSR), Numero 28 August 2023, 2023
Editore:
IEEE
DOI:
10.1109/csr57506.2023.10224938
Autori:
Maria Xekalaki; Juan Fumero; Athanasios Stratikopoulos; Katerina Doka; Christos Katsakioris; Constantinos Bitsakos; Nectarios Koziris; Christos Kotselidis
Pubblicato in:
Proceedings of the VLDB Endowment, Numero September 2022, 2022, ISSN 2150-8097
Editore:
VLDB Endowment
DOI:
10.14778/3565838.3565842
Autori:
Marek Pawlicki; Aleksandra Pawlicka; Rafał Kozik; Michał Choraś
Pubblicato in:
Neurocomputing, Numero Volume 551, 2023, ISSN 0925-2312
Editore:
Elsevier BV
DOI:
10.1016/j.neucom.2023.126533
Autori:
Pietro Spadaccino, Domenico Garlisi, Francesca Cuomo, Giorgio Pillon, Patrizio Pisani
Pubblicato in:
Computer Communications, Numero Volume 189, 2022, Pagina/e 1-10, ISSN 0140-3664
Editore:
Elsevier BV
DOI:
10.1016/j.comcom.2022.02.017
Autori:
Mateusz Szczepański, Marek Pawlicki, Rafał Kozik, Michał Choraś
Pubblicato in:
Vietnam Journal of Computer Science, Numero 21968896, 2022, ISSN 2196-8896
Editore:
World Scientific
DOI:
10.1142/s2196888822500257
Autori:
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Pubblicato in:
Journal of Software: Testing, Verification and Reliability, Numero 10991689, 2021, ISSN 1099-1689
Editore:
John Wiley & Sons Ltd.
DOI:
10.1002/stvr.1793
Autori:
Milani M, Chatzigiannakis I.
Pubblicato in:
J. Sens. Actuator Netw, Numero 22242708, 2021, ISSN 2224-2708
Editore:
MDPI
DOI:
10.3390/jsan10020036
Autori:
Pietro Spadaccino, Francesco Guiseppe Crino, Francesca Cuomo
Pubblicato in:
Sensors, Numero 22, 2022, ISSN 1424-8220
Editore:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.3390/s22072470
Autori:
Fatima Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
Pubblicato in:
Tools and Algorithms for the Construction and Analysis of Systems, Numero April 22–27, 2023, 2023, Pagina/e 541-546, ISBN 978-3-031-30819-2
Editore:
Springer
DOI:
10.1007/978-3-031-30820-8_33
Autori:
Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro
Pubblicato in:
Song , X , Sun , Y , Mustafa , M A & Cordeiro , L C 2023 , QNNRepair : Quantized Neural Network Repair . in 21st International Conference on Software Engineering and Formal Methods ., Numero 13, 2023, ISBN 978-3-031-47114-8
Editore:
Springer, Cham
DOI:
10.1007/978-3-031-47115-5_18
Autori:
Wu, T., Schrammel, P., Cordeiro, L. C
Pubblicato in:
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Lecture Notes in Computer Science, 2022
Editore:
Springer Link
DOI:
10.1007/978-3-030-99527-0_36
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile