Rezultaty
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
Publikacje
Autorzy:
Marek Pawlicki
Opublikowane w:
31ST INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT (ISD2023 LISBON, PORTUGAL), Numer 2023, 2023
Wydawca:
AIS eLibrary
DOI:
10.62036/isd.2023.54
Autorzy:
Orion Papadakis; Andreas Andronikakis; Nikos Foutris; Michail Papadimitriou; Athanasios Stratikopoulos; Foivos Zakkak; Polychronis Xekalakis; Christos Kotselidis
Opublikowane w:
The 2023 ACM SIGPLAN International Symposium on Memory Management (ISMM 2023), Numer 2023, 2023
Wydawca:
ACM
DOI:
10.1145/3591195.3595270
Autorzy:
A. Catalani; Ioannis Chatzigiannakis; Aris Anagnostopoulos; G. Akrivopoulou; Dimitrios Amaxilatis; Athanasios Antoniou
Opublikowane w:
2021 IEEE International Conference on Smart Internet of Things (SmartIoT), 2021
Wydawca:
IEEE
DOI:
10.1109/smartiot52359.2021.00031
Autorzy:
Juan Fumero, Gyorgy Rethy, Athanasios Stratikopoulos, Nikos Foutris, Christos Kotselidis
Opublikowane w:
VMIL 2023: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Numer October 2023, 2023, Strona(/y) 61-72
Wydawca:
ACM
DOI:
10.1145/3623507.3623555
Autorzy:
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, and Lucas C. Cordeiro
Opublikowane w:
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
Wydawca:
Springer Link
DOI:
10.1007/978-3-030-99429-7_19
Autorzy:
Marek Pawlicki, Rafal Kozik, and Michal Choras
Opublikowane w:
Mobisec2023, Numer 2023, 2024
Wydawca:
Springer
DOI:
10.5281/zenodo.11046767
Autorzy:
Athanasios Stratikopoulos; Florin Blanaru; Juan Fumero; Maria Xekalaki; Orion Papadakis; Christos Kotselidis
Opublikowane w:
Programming 2023, MoreVMs 2023, 2023
Wydawca:
ACM
DOI:
10.5281/zenodo.7845384
Autorzy:
Juan Fumero, Florin Blanaru, Athanasios Stratikopoulos, Steve Dohrmann, Sandhya Viswanathan, Christos Kotselidis
Opublikowane w:
MPLR 2023: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Numer October 2023, 2023, Strona(/y) 143-157
Wydawca:
ACM
DOI:
10.1145/3617651.3622984
Autorzy:
Papadimitriou, M., Fumero, J., Stratikopoulos, A., & Kotselidis, C.
Opublikowane w:
Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2021
Wydawca:
ACM
DOI:
10.1145/3453933.3454014
Autorzy:
Marek Pawlicki; Rafał Kozik; Michał Choraś
Opublikowane w:
ARES '22: Proceedings of the 17th International Conference on Availability, Reliability and Security, Numer August 2022, 2022
Wydawca:
Association for Computing Machinery
DOI:
10.1145/3538969.3544428
Autorzy:
Zecchini, Marco; Griesi, Alessandra Anna; Chatzigiannakis, Ioannis; Mavrommati, Irene; Amaxilatis, Dimitrios; Akrivopoulos, Orestis
Opublikowane w:
2021 6th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM), Numer 24-26 September 2021, 2021
Wydawca:
IEEE
DOI:
10.1109/SEEDA-CECNSM53056.2021.9566237
Autorzy:
Papadimitriou, M., Markou, E., Fumero, J., Stratikopoulos, A., Blanaru, F., & Kotselidis, C.
Opublikowane w:
Proceedings of the 17th ACM SIGPLAN/SIGOPS international conference on virtual execution environments, 2021
Wydawca:
ACM
DOI:
10.1145/3453933.3454019
Autorzy:
Konsta, A., Mytilinis, I., Doka, K., Niarchos, S., & Koziris, N.
Opublikowane w:
2021 IEEE 37th International Conference on Data Engineering (ICDE), 2021
Wydawca:
IEEE
DOI:
10.1109/icde51399.2021.00314
Autorzy:
Stefano Milani, Domenico Garlisi, Matteo Di Fraia, Patrizio Pisani, Ioannis Chatzigiannakis
Opublikowane w:
29th Annual International Conference on Mobile Computing and Networking, Numer 29th, Annual, 2023, ISBN 9781450399906
Wydawca:
Association for Computing Machinery
DOI:
10.1145/3570361.3614074
Autorzy:
Marianna Tzortzi, Charalampos Kleitsikas, Agis Politis, Sotirios Niarchos, Katerina Doka & Nectarios Koziris
Opublikowane w:
International Symposium on Algorithmic Aspects of Cloud Computing, Numer 2023, 2024, ISBN 978-3-031-49360-7
Wydawca:
Springer Link
DOI:
10.1007/978-3-031-49361-4_1
Autorzy:
Florin Blanaru; Athanasios Stratikopoulos; Juan Fumero; Christos Kotselidis
Opublikowane w:
VEE 2022: Proceedings of the 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Numer 3, 2022
Wydawca:
ACM
DOI:
10.1145/3516807.3516821
Autorzy:
Domenico Garlisi, Antonino Pagano, Fabrizio Guiliano, Daniele Croce, Ilenia Tinnirello
Opublikowane w:
2023 IEEE Wireless Communications and Networking Conference (WCNC), Glasgow, United Kingdom, 2023, pp. 1-7, Numer 2023, 2023, Strona(/y) 1-7, ISBN 978-1-6654-9122-8
Wydawca:
IEEE
DOI:
10.1109/wcnc55385.2023.10118692
Autorzy:
Aleksandra Pawlicka, Damian Puchalski, Marek Pawlicki, Michal Choras
Opublikowane w:
2023 IEEE International Conference on Cyber Security and Resilience (CSR), Numer 28 August 2023, 2023
Wydawca:
IEEE
DOI:
10.1109/csr57506.2023.10224938
Autorzy:
Maria Xekalaki; Juan Fumero; Athanasios Stratikopoulos; Katerina Doka; Christos Katsakioris; Constantinos Bitsakos; Nectarios Koziris; Christos Kotselidis
Opublikowane w:
Proceedings of the VLDB Endowment, Numer September 2022, 2022, ISSN 2150-8097
Wydawca:
VLDB Endowment
DOI:
10.14778/3565838.3565842
Autorzy:
Marek Pawlicki; Aleksandra Pawlicka; Rafał Kozik; Michał Choraś
Opublikowane w:
Neurocomputing, Numer Volume 551, 2023, ISSN 0925-2312
Wydawca:
Elsevier BV
DOI:
10.1016/j.neucom.2023.126533
Autorzy:
Pietro Spadaccino, Domenico Garlisi, Francesca Cuomo, Giorgio Pillon, Patrizio Pisani
Opublikowane w:
Computer Communications, Numer Volume 189, 2022, Strona(/y) 1-10, ISSN 0140-3664
Wydawca:
Elsevier BV
DOI:
10.1016/j.comcom.2022.02.017
Autorzy:
Mateusz Szczepański, Marek Pawlicki, Rafał Kozik, Michał Choraś
Opublikowane w:
Vietnam Journal of Computer Science, Numer 21968896, 2022, ISSN 2196-8896
Wydawca:
World Scientific
DOI:
10.1142/s2196888822500257
Autorzy:
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Opublikowane w:
Journal of Software: Testing, Verification and Reliability, Numer 10991689, 2021, ISSN 1099-1689
Wydawca:
John Wiley & Sons Ltd.
DOI:
10.1002/stvr.1793
Autorzy:
Milani M, Chatzigiannakis I.
Opublikowane w:
J. Sens. Actuator Netw, Numer 22242708, 2021, ISSN 2224-2708
Wydawca:
MDPI
DOI:
10.3390/jsan10020036
Autorzy:
Pietro Spadaccino, Francesco Guiseppe Crino, Francesca Cuomo
Opublikowane w:
Sensors, Numer 22, 2022, ISSN 1424-8220
Wydawca:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.3390/s22072470
Autorzy:
Fatima Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems, Numer April 22–27, 2023, 2023, Strona(/y) 541-546, ISBN 978-3-031-30819-2
Wydawca:
Springer
DOI:
10.1007/978-3-031-30820-8_33
Autorzy:
Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro
Opublikowane w:
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 ., Numer 13, 2023, ISBN 978-3-031-47114-8
Wydawca:
Springer, Cham
DOI:
10.1007/978-3-031-47115-5_18
Autorzy:
Wu, T., Schrammel, P., Cordeiro, L. C
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Lecture Notes in Computer Science, 2022
Wydawca:
Springer Link
DOI:
10.1007/978-3-030-99527-0_36
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników