Sensors networks are the backbone of large sensing infrastructures such as Smart Cities or Smart Buildings. Classical approaches suffer from several limitations hampering developers’ work (e.g., lack of sensor sharing, lack of dynamicity in data collection policies, need to dig inside big data sets, absence of reuse between implementation platforms). This paper presents a tooled approach that t...

While the best way to identify microalbuminuria is to determine albumin excretion rate (AER) in a 24 h urine sample. Published data have shown that calculation of an albumin/creatinine ratio (ACR) in a spot urine sample has reasonable rate of sensitivity and specificity. We aimed to evaluate the effect of daily exercise on ACR and estimate the best time for the examination of the ACR in a spot ...

Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing occurs whenever an attacker successfully deduces confidential internal information. In this work, we consider that has access (only) to system execution time. We address following timed opacity problem: given a system, private location and final location, synthesize times from ini...

This paper presents the KnowledgE ENgineering (KEEN) design support system in which Validation and Verification (V&V) methods are used to strengthen onground development of software for plan-based autonomy. In particular, the paper describes a collection of verification methods, based on Timed Game Automata (TGA), deployed for the design and development of timeline-based Planning and Scheduling...

Clinical research studies often collect data via repeated measurements of collected urine. Unfortunately, the accuracy of timed urine collections is limited by the presence of a residual volume of urine remaining in the bladder following each timed void due to incomplete emptying of the bladder. This residual urine volume adds significant imprecision to the urine collection method, rendering an...

Continuous Event Graphs (CEGs), a subclass of Continuous Petri Nets, are defined as the limiting cases of timed event graphs and Timed Event Multigraphs. A set of dioid algebraic linear equations will be inferred as a novel method of analyzing a special class of CEG, if treated the cumulated token consumed by transitions as state-variables, endowed the monotone nondecreasing functions pointwise...