- document
-
Hutiri, Wiebke (author)From smart phones to speakers and watches, Edge Al is deployed on billions of devices to process large volumes of personal data efficiently, privately and in real-time. While Edge Al applications are promising, many recent incidents of bias in Al systems caution that Edge Al too, may systematically discriminate against groups of people based on...doctoral thesis 2023
- document
-
Lovato, S. (author)The increasing size of today's ships is a major concern for navigation in confined waters. In order to ensure safe manoeuvres, port authorities prescribe, among others, a minimum under-keel clearance that must be maintained by the ships during navigation. However, the seabed of ports situated at the estuaries or along rivers is often covered by...doctoral thesis 2023
- document
-
Mathiesen, Frederik Baymler (author), Calvert, S.C. (author), Laurenti, L. (author)Providing non-trivial certificates of safety for non-linear stochastic systems is an important open problem. One promising solution to address this problem is the use of barrier functions. Barrier functions are functions whose composition with the system forms a Martingale and enable the computation of the probability that the system stays...journal article 2023
- document
-
Shukla, Apoorv (author), Hudemann, Kevin (author), Vagi, Zsolt (author), Hugerich, Lily (author), Smaragdakis, G. (author), Hecker, Artur (author), Schmid, Stefan (author), Feldmann, Anja (author)We introduce a runtime verification framework for programmable switches that complements static analysis. To evaluate our approach, we design and develop P6, a runtime verification system that automatically detects, localizes, and patches software bugs in P4 programs. Bugs are reported via a violation of pre-specified expected behavior that...journal article 2023
- document
-
Augusto da Silva, F. (author)In recent years, advances in technology have enabled the employment of automated systems to control driving tasks. The idea of electronic devices having complete control over a vehicle promises to change the concept of mobility soon. However, allowing computers to control all the tasks in a vehicle demands sophisticated systems and significant...doctoral thesis 2022
- document
-
Rentschler, Manuel (author), Chandramouli, P. (author), Vaz, Guilherme (author), Viré, A.C. (author), Gonçalves, Rodolfo T. (author)With the advancement of high-performance computation capabilities in recent years, high-fidelity modelling tools such as computational fluid dynamics are becoming increasingly popular in the offshore renewable sector. To justify the credibility of the numerical simulations, thorough verification and validation is essential. In this work,...journal article 2022
- document
-
Hutiri, Wiebke (author), Ding, Aaron Yi (author)Automated speaker recognition uses data processing to identify speakers by their voice. Today, automated speaker recognition is deployed on billions of smart devices and in services such as call centres. Despite their wide-scale deployment and known sources of bias in related domains like face recognition and natural language processing, bias in...conference paper 2022
- document
-
Harris, Steve (author), Kanders, Linda (author), Vassallo, Fabrizio (author), Cipollina, Andrea (author), Ebrahimi, S. (author), Xevgenos, Dimitris (author)The European Union's Environmental Technology Verification (ETV) program aims to foster innovative environmental technologies to reach the market and reassure potential users. This paper presents an investigation of using ETV for three technologies, being developed within the EU Zero Brine research and innovation project. The technologies...journal article 2022
- document
-
Li, Yuanyuan (author), Li, Jun (author), Li, Chao (author), Chen, Anqi (author), Bai, Tao (author), Tang, Shimin (author), Wu, Shaopeng (author), Gao, Y. (author), Zhu, Hongbin (author), Feng, Jianlin (author)A self-compacting steel slag epoxy resin concrete (SERC) was designed with steel slag as aggregate and epoxy resin as binder for rapid repair of road expansion joints and pavement. At the same time, a group of self-compacting basalt epoxy resin concrete (BERC) with basalt as coarse aggregate and limestone as fine aggregate was set up as the...journal article 2022
- document
-
Fransen, M.P. (author), Langelaar, Matthijs (author), Schott, D.L. (author)In calibration of model parameters for discrete element method (DEM) based models the focus lies on matching the mean key performance indicator (KPI) values from laboratory experiments to those from simulation results. However, due to the stochastic nature of granular processes experimental results can show large variances. To include...journal article 2022
- document
-
Krishna, Shankaranarayanan (author), Godbole, Adwait (author), Meyer, Roland (author), Chakraborty, S.S. (author)We study the safety verification problem for parameterized systems under the release-acquire (RA) semantics. In the non-parameterized setting, access to atomic compare-and-swap (CAS) instructions renders the safety verification problem undecidable. In the light of this result, we consider parameterized systems consisting of an unbounded...conference paper 2022
- document
-
Gouicem, Redha (author), Sprokholt, D.G. (author), Ruehl, Jasper (author), Rocha, Rodrigo C.O. (author), Spink, Tom (author), Chakraborty, S.S. (author), Bhatotia, Pramod (author)Dynamic Binary Translation (DBT) is a powerful approach to support cross-architecture emulation of unmodified binaries. However, DBT systems face correctness and performance challenges, when emulating concurrent binaries from strong to weak memory consistency architectures. As a matter of fact, we report several translation errors in QEMU,...conference paper 2022
- document
-
Chotkan, R.M. (author), Decouchant, Jérémie (author), Pouwelse, J.A. (author)Self-Sovereign Identity (SSI) aspires to create a standardised identity layer for the Internet by placing citizens at the centre of their data, thereby weakening the grip of big tech on current digital identities. However, as millions of both physical and digital identities are lost annually, it is also necessary for SSIs to possibly be revoked...conference paper 2022
- document
-
Marijan, Dusica (author), Lal, C. (author)As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their...review 2022
- document
-
Hutiri, Wiebke (author), Gorce, Lauriane (author), Ding, Aaron Yi (author)Speaker verification (SV) provides billions of voice-enabled devices with access control, and ensures the security of voice-driven technologies. As a type of biometrics, it is necessary that SV is unbiased, with consistent and reliable performance across speakers irrespective of their demographic, social and economic attributes. Current SV...journal article 2022
- document
-
Heymans, Sophie V. (author), Collado Lara, G. (author), Rovituso, M. (author), Vos, H.J. (author), D'hooge, Jan (author), de Jong, N. (author), Van Den Abeele, Koen (author)Superheated nanodroplet (ND) vaporization by proton radiation was recently demonstrated, opening the door to ultrasound-based in vivo proton range verification. However, at body temperature and physiological pressures, perfluorobutane nanodroplets (PFB-NDs), which offer a good compromise between stability and radiation sensitivity, are not...journal article 2022
- document
-
Head, A.J. (author)The vast number of pioneering theoretical developments inthe area of non-classical gas dynamics together with the rising number ofapplications of organic Rankine cycle (ORC) technology have shaped a new branchof fluid mechanics called non-ideal compressible fluid dynamics (NICFD). Thisfield of fluid mechanics is concerned...doctoral thesis 2021
- document
-
Coppola, M. (author)The paradigm of swarm robotics aims to enable several independent robots to collaborate together toward collective goals. The distributed nature of a swarm, whereby each robot acts independently in accordance with its perceived environment, is expected to provide the system with a high degree of flexibility, robustness, and scalability. However,...doctoral thesis 2021
- document
-
Huygen, W.J.M. (author), Sun, Junzi (author), Hoekstra, J.M. (author)Automatic Dependent Surveillance-Broadcast (ADS-B) enables aircraft to periodically broadcast their flight states such as position and velocity. Compared to classical radar surveillance, it increases update rate and accuracy. Currently, Mode S Extended Squitter is the most common implementation for ADS-B. Due to the simplicity of Mode S design,...journal article 2021
- document
-
Fisher, Michael (author), Schlingloff, Bernd-Holger (author), Mascardi, Viviana (author), Winikoff, M.D. (author), Rozier, Kristin Yvonne (author), Yorke-Smith, N. (author)This extended abstract summarises the contributions from the journal<br/>article Fisher et al.abstract 2021