Publication search
with On-the-fly algorithms as keyword
Mercier, C Rousseau, S Gori, P Bloch, I Boubekeur, T
Published in
Neuroinformatics
Diffusion MRI fiber tracking datasets can contain millions of 3D streamlines, and their representation can weight tens of gigabytes of memory. These sets of streamlines are called tractograms and are often used for clinical operations or research. Their size makes them difficult to store, visualize, process or exchange over the network. We propose ...
Krichen, Moez Tripakis, Stavros
Published in
Formal Methods in System Design
We propose a new framework for black-box conformance testing of real-time systems. The framework is based on the model of partially-observable, non-deterministic timed automata. We argue that partial observability and non-determinism are essential features for ease of modeling, expressiveness and implementability. The framework allows the user to d...
