Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC

por Ceesay-Seitz, Katharina, Kundumattathil Mohanan, Sarath, Boukabache, Hamza, Perrin, Daniel, Boukabache, Hamza
Publicado 2021

Semi-formal Reformulation of Requirements for Formal Property Verification

por Ceesay-Seitz, Katharina, Boukabache, Hamza, Perrin, Daniel
Publicado 2020

A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)

por Ceesay-Seitz, Katharina, Boukabache, Hamza, Perrin, Daniel
Publicado 2020

Repairable System Analysis of the Radioactive Ventilation Gas Monitors at CERN from Field Data

por Hurst, Saskia Kristina, Boukabache, Hamza, Perrin, Daniel
Publicado 2020

Overview of a Complete Hardware Safety Integrity Verification According to IEC 61508 for the CERN Next Generation of Radiation Monitoring Safety System

por Hurst, Saskia Kristina, Boukabache, Hamza, Perrin, Daniel
Publicado 2020

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

por Szumega, Jarosław M, Boukabache, Hamza, Perrin, Daniel
Publicado 2021

Toward Smart Aerospace Structures: Design of a Piezoelectric Sensor and Its Analog Interface for Flaw Detection

por Boukabache, Hamza, Escriba, Christophe, Fourniols, Jean-Yves
Publicado 2014

Wavelet-based Noise Extraction for Anomaly Detection Applied to Safety-critical Electronics at CERN

por Waldhauser, Felix, Boukabache, Hamza, Perrin, Daniel, Dazer, Martin
Publicado 2022

RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME)

por Ceesay-Seitz, Katharina, Boukabache, Hamza, Leveneur, Marvin, Perrin, Daniel
Publicado 2022

Femtoampere sensitive current measurement ASIC in 22 nm technology

por Mohanan, Sarath Kundumattathil, Boukabache, Hamza, Perrin, Daniel, Pfeiffer, Ullrich
Publicado 2019

Comparative Analysis of Ultra-Low Current Measurement Topologies With Implementation in 130 nm Technology

por Mohanan, Sarath Kundumattathil, Boukabache, Hamza, Perrin, Daniel, Pfeiffer, Ullrich R
Publicado 2021

ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications

por Yadav, Amitabh, Boukabache, Hamza, Ceesay-Seitz, Katharina, Gerber, Nicola, Perrin, Daniel
Publicado 2022

System-on-Chip Integration of a New Electromechanical Impedance Calculation Method for Aircraft Structure Health Monitoring

por Boukabache, Hamza, Escriba, Christophe, Zedek, Sabeha, Medale, Daniel, Rolet, Sebastien, Fourniols, Jean Yves
Publicado 2012

An Ultra Low Current Measurement Mixed-Signal ASIC for Radiation Monitoring Using Ionisation Chambers

por Kundumattathil Mohanan, Sarath, Boukabache, Hamza, Cruchet, Vassili, Perrin, Daniel, Roesler, Stefan, Pfeiffer, Ullrich R
Publicado 2022

Summary of the System-on-Module Survey

por Spiwoks, Ralf, Byszuk, Adrian, Boukabache, Hamza, Dobson, Marc, Kopeliansky, Revital, Meijers, Frans, Scannicchio, Diana
Publicado 2023

Towards a novel modular architecture for CERN radiation monitoring

por Boukabache, Hamza, Pangallo, Michel, Ducos, Gael, Cardines, Nicola, Bellotta, Antonio, Toner, Ciarán, Perrin, Daniel, Forkel-Wirth, Doris
Publicado 2017

TOWARDS A NOVEL MODULAR ARCHITECTURE FOR CERN RADIATION MONITORING

por Boukabache, Hamza, Pangallo, Michel, Ducos, Gael, Cardines, Nicola, Bellotta, Antonio, Toner, Ciarán, Perrin, Daniel, Forkel-Wirth, Doris
Publicado 2017

An IoT LoRaWAN Network for Environmental Radiation Monitoring

por Gallego Manzano, L, Boukabache, Hamza, Danzeca, Salvatore, Heracleous, Natalie, Murtas, Fabrizio, Perrin, Daniel, Pirc, Vasja, Alfaro, Alejandro Ribagorda, Zimmaro, Alessandro, Silari, Marco
Publicado 2021