Scientific Production

Peer-reviewed articles :

• Towards the next generation of CERN radiation monitoring front end ASICs, S. K. Mohanan, H. Boukabache, D. Perrin, and U. Pfeiffer, TWEPP21
• An Ultra Low Current Measurement Mixed-Signal ASIC for Radiation Monitoring Using Ionisation Chambers, S. K. Mohanan, H. Boukabache, V.Cruchet, D. Perrin, S.Roesler, and U. Pfeiffer, paper accepted at IEEE sensors – Pending for publication
• ROMLIBEMU: NETWORK INTERFACE STRESS TESTS FOR THE CERN RADIATION MONITORING ELECTRONICS (CROME) K. Ceesay-Seitz†, H. Boukabache*, M. Leveneur, D. Perrin, CERN, Geneva, Switzerland, 18th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2021)
• ROMULUSLIB: AN AUTONOMOUS, TCP/IP-BASED, MULTI-ARCHITECTURE C NETWORKING LIBRARY FOR DAQ AND CONTROL APPLICATIONS, Amitabh Yadav, Hamza Boukabache, Nicola Gerber, Katharina Ceesay-Seitz, Daniel Perrin, 18th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 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 and Verification Conference and Exhibition Europe 2021 (DvCon Europe 2021)
• A neural network approach for efficient calculation of the current correction value in femtoampere range for a new generation of ionizing radiation monitors at CERN, Radiation Physics and Chemistry, JM Szumega, H Boukabache, D Perrin
• Comparative Analysis of Ultra-Low Current Measurement Topologies With Implementation in 130 nm Technology, IEEE Access, SK Mohanan, H Boukabache, D Perrin, UR Pfeiffer
• Overview of a Complete Hardware Safety Integrity Verification According to IEC 61508 for the CERN Next Generation of Radiation Monitoring Safety System, 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference, Saskia Kristina Hurst, Hamza Boukabache, Daniel Perrin
• A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME), International Conference on Computer Safety, Reliability, and Security, K Ceesay-Seitz, H Boukabache, D Perrin
• Femtoampere sensitive current measurement ASIC in 22 nm technology, 2019 IEEE SOI-3D-Subthreshold Microelectronics Technology Unified Conference, SK Mohanan, H Boukabache, D Perrin, UR Pfeiffer
• Fault resilient FPGA design for 28 nm ZYNQ system-on-chip based radiation monitoring system at CERN, Microelectronics Reliability, C Toner, H Boukabache, G Ducos, M Pangallo, S Danzeca, M Widorski, S Roesler, D Perrin
• Semi-formal reformulation of requirements for formal property verification, DVCON 2019, Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin
• Towards a novel modular architecture for cern radiation monitoring, Radiation protection dosimetry, Hamza Boukabache, Michel Pangallo, Gael Ducos, Nicola Cardines, Antonio Bellotta, Ciarán Toner, Daniel Perrin, Doris Forkel-Wirth

Open access presentations :

• Simulation & Formal Property Verification : Application to complex highly-parametrizable, continuously operating PLDs, RASWG Meeting, Hamza Boukabache
• Introduction to formal methods and A digital electronics design use case and general conclusions, Joint Electronics Forum, Industrial Controls Forum & RASWG meeting, Hamza Boukabache, Katharina Ceesay-Seitz
• Hardware/software co-simulation of the Zynq SoC of the CROME Measurement and Processing Unit, SoC WG meeting, Jonas Bodingbauer, Katharina Ceesay-Seitz, Hamza Boukabache
• Anomaly Detection in CROME datasets for predictive maintenance, ML Community, Felix Waldhauser, Hamza Boukabache
• Machine learning for temperature compensation of ultra-low current measurement applied to radiological environmental monitoring, ARRAD, Journée Techniques de Mesure 19 novembre 2021, Hamza Boukabache
• Remote Management of SoC-based Radiation Monitors both at CERN and ESS, 2nd CERN SoC Workshop, Hamza Boukabache
• CROME : From an in-house development to a full-scale mass production, PMMU25, Hamza Boukabache
• Verification of the CERN RadiatiOn Monitoring Electronics (CROME) compliant to IEC 61508, RASWG, S. Hurst, K. Ceesay-Seitz
• A safety and reliability perspective of the CERN RadiatiOn Monitoring Electronics (CROME) – EP-ESE Seminar, Hamza Boukabache, Saskia Hurst, Katharina Ceesay-Seitz
• CERN Radiation Monitoring Electronics and its Integration Into both, CERN and ESS Supervisory Systems, SoC WG meeting, Hamza Boukabache
• Fault Resilient Design for 28nm ZYNQ SoC based Radiation Protection Monitoring System Fulfilling Safety Integrity Level 2, SoC Workshop, Hamza Boukabache
• (Video) Automated verification of a System on Chip for radiation protection fulfilling Safety Integrity Level, TUV Austria, Katharina Ceesay-Seitz