![]() ![]() | Matovic, A., Graczyk, R., Lucchetti, F., & Volp, M. (13 July 2023). Consensual Resilient Control: (Don’t let the hackers spill your coffee) - Demo Poster. Poster session presented at 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Vienna, Austria. |
![]() ![]() | MATOVIC, A., GRACZYK, R., LUCCHETTI, F., & Völp, M. (2023). Consensual Resilient Control: Stateless Recovery of Stateful Controllers. In A. V. Papadopoulos (Ed.), 35th Euromicro Conference on Real-Time Systems, ECRTS 2023 (pp. 27). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. doi:10.4230/LIPIcs.ECRTS.2023.14 ![]() |
![]() ![]() | Graczyk, R. (2023). CritiX Space Safety and Security Lab: a path towards trustworthy space systems. Paper presented at CYSAT, Paris, France. |
![]() ![]() | Lucchetti, F., Graczyk, R., & Volp, M. (11 April 2023). Toward resilient autonomous driving—An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers in Computer Science, 5. doi:10.3389/fcomp.2023.1125055 ![]() |
![]() ![]() | Rodrigues de Mendonça Neto, J., Kim, M., Graczyk, R., Volp, M., & Kim, D. S. (2022). Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. In Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. ![]() |
![]() ![]() | Graczyk, R., Memon, M. S., & Volp, M. (2022). Methods for increasing the dependability of High-performance, Many-core, System-on-Chips. In R. Graczyk, M. S. Memon, ... M. Volp, IAC 2022 congress proceedings, 73rd International Astronautical Congress (IAC). ![]() |
![]() ![]() | Graczyk, R., Bujwan, W., Darmetko, M., Dziezyc, M., Galano, D., Grochowski, K., Kurowski, M., Juchnikowski, G., Morawski, M., Mosdorf, M., Orleanski, P., Thizy, C., & Volp, M. (2022). From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering. In R. Graczyk, W. Bujwan, M. Darmetko, M. Dziezyc, D. Galano, K. Grochowski, M. Kurowski, G. Juchnikowski, M. Morawski, M. Mosdorf, P. Orleanski, C. Thizy, ... M. Volp, From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering. Springer. doi:10.1007/978-3-031-06653-5_9 ![]() |
![]() ![]() | Graczyk, R., Rodrigues de Mendonça Neto, J., & Volp, M. (02 March 2022). Consent To Shoot – Rethinking The Anti-satellite Weapon Versus Space Debris Dilemma. Paper presented at 8th annual Space Traffic Management conference, Austin, United States. |
![]() ![]() | Pinto Gouveia, I., Sakr, M., Graczyk, R., & Volp, M. (06 December 2021). To verify or tolerate, that’s the question. Paper presented at Program Analysis and Verification on Trusted Platforms (PAVeTrust) Workshop (co-located with ACSAC21). |
![]() ![]() | Graczyk, R., & Volp, M. (14 October 2021). EphemeriShield - Defence Against Cyber-Antisatellite Weapons. Paper presented at Research Specialists’ Meeting on Enabling Platform Technologies for Resilient Small Satellite Constellations for NATO Missions (AVT-336). |
![]() ![]() | Simoes Silva, D., Graczyk, R., Decouchant, J., Volp, M., & Esteves-Verissimo, P. (September 2021). Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. Paper presented at The 40th International Symposium on Reliable Distributed Systems. |
![]() ![]() | Pinto Gouveia, I., Graczyk, R., & Volp, M. (April 2021). Bridging the space systems performance-reliability gap for future deep space resources exploration and exploitation. Poster session presented at Space Resources Week 2021. |
![]() ![]() | Esteves-Verissimo, P., Decouchant, J., Volp, M., Esfahani, A., & Graczyk, R. (2020). PriLok:Citizen-protecting distributed epidemic tracing. Eprint/Working paper retrieved from https://orbilu.uni.lu/10993/43191. |