19 citations · 36 across the 26 of their papers we have counts for
4 papers · 1 filter
Nodal Hydraulic Head Estimation through Unscented Kalman Filter for Data-driven Leak Localization in Water Networks
Luis Romero-Ben, Paul Irofti, Florin Stoican +1
In this paper, we present a nodal hydraulic head estimation methodology for water distribution networks (WDN) based on an Unscented Kalman Filter (UKF) scheme with application to l…
Pinky: A Modern Malware-oriented Dynamic Information Retrieval Tool
Paul Irofti
We present here a reverse engineering tool that can be used for information retrieval and anti-malware techniques. Our main contribution is the design and implementation of an inst…
OpenBSD formal driver verification with SeL4
Adriana Nicolae, Paul Irofti, Ioana Leustean
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from…
Learning Dictionaries from Physical-Based Interpolation for Water Network Leak Localization
Paul Irofti, Luis Romero-Ben, Florin Stoican +1
This article presents a leak localization methodology based on state estimation and learning. The first is handled by an interpolation scheme, whereas dictionary learning is consid…