| A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) K Ceesay-Seitz, H Boukabache, D Perrin International Conference on Computer Safety, Reliability, and Security, 67-81, 2020 | 5 | 2020 |
| ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications A Yadav, H Boukabache, N Gerber, K Ceesay-Seitz, D Perrin | 3 | 2021 |
| Automated verification of a System-on-Chip for radiation protection fulfilling Safety Integrity Level 2 K Ceesay-Seitz Vienna, Tech. U., 2019 | 3 | 2019 |
| RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME) K Ceesay-Seitz, H Boukabache, M Leveneur, D Perrin | 2 | 2021 |
| Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC K Ceesay-Seitz, S Kundumattathil Mohanan, H Boukabache, D Perrin Design & Verification Conference Europe 2021, 2021 | 2 | 2021 |
| Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives M Eckhart, A Ekelhart, D Allison, M Almgren, K Ceesay-Seitz, H Janicke, ... IEEE Security & Privacy, 2023 | 1 | 2023 |
| Semi-formal reformulation of requirements for formal property verification K Ceesay-Seitz, H Boukabache, D Perrin | 1 | 2019 |
| Cascade: CPU Fuzzing via Intricate Program Generation F Solt, K Ceesay-Seitz, K Razavi | 1 | |
| 3.2 Modelling in the Safety Lifecycle of Radiation Monitoring Systems at CERN K Ceesay-Seitz Digital Twins for Cyber-Physical Systems Security, 60, 0 | | |
