• Publications
  • Influence
modern conference and exhibition complex, Brussels Expo, and we anticipate that the focus on local actions will attract a record attendance. We can also promise a greatly expanded Conference format,Expand
Talve LAI, CoUan YUI, Ekfois TO. Nuclear morphometiy, immunohistochemical staining with Ki67 antibody and mitotic index in the assessment of proliferative activity and prognosis of primary malignantExpand
Linearizing Discrete-Time Hybrid Systems
By means of a syntactical transformations that requires nonlinear terms to be Lipschitz continuous functions, this work overapproximate nonlinear dynamics with a linear system whose controllers are guaranteed to be controllers of the original system. Expand
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier
An explicit disk based verification algorithm for Probabilistic Systems defining discrete time/finite state Markov Chains and whether the probability of reaching an error state in at most k steps is below a given threshold is presented. Expand
Validation and verification issues in a timeline-based planning system
The use of state-of-the-art V&V technology to support knowledge engineering for a timeline-based planning system called MrSPOCK is analyzed, and new functionalities have been added to perform both model validation and plan verification. Expand
Electric Power System Anomaly Detection Using Neural Networks
Experimental results show that, through the proposed approach, neural networks can be used to learn parameters underlaying system behaviour, and their output processed to detecting anomalies due to hijacking of measures, changes in the power network topology and unexpected power demand trend. Expand
Exploiting Transition Locality in Automatic Verification
An algorithm to contrast state explosion when using Explicit State Space Exploration to verify protocols and a verification algorithm that exploits transition locality as well as an implementation of it within the Murϕ verifier. Expand
Exploiting Transition Locality in the Disk Based Mur phi Verifier
The main obstruction to automatic verification of Finite State Systems is the huge amount of memory required to complete the verification task (state explosion). This motivates research onExpand
System Level Formal Verification via Model Checking Driven Simulation
We show how by combining Explicit Model Checking techniques and simulation it is possible to effectively carry out (bounded) System Level Formal Verification of large Hybrid Systems such as thoseExpand
Exploiting transition locality in automatic verification of finite-state concurrent systems
In this paper we show that statistical properties of the transition graph of a system to be verified can be exploited to improve memory or time performances of verification algorithms.We showExpand