PublicationIntroducing the Dahu Pseudo-Distance in Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. — 10 February 2017
LRDE Seminar on Automata - Vcsn : une visite guidée by Akim Demaille, LRDE, et Un outil en ligne de manipulation d'automates et de semi-groupes by Charles Paperman, Université Paris Diderot — 8 February 2017
This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.
The LRDE hosts a new member, Elodie Puybareau, research engineer, who joins the Olena team. — 1 January 2017
Holding an engineering degree in medical imaging and a PhD in computer science from LIGM, ESIEE, Elodie has worked mainly on automatic extraction of physiological parameters from videos.
She joins LRDE's Olena team where she will work on the MOBIDEM project, especially on automatic extraction of text from images of identity papers.
Nicolas Boutry defends his PhD thesis "A study of well-composedness in n-D" at ESIEE at 2pm. — 14 December 2016
The LRDE hosts a new member, Guillaume Tochon, assistant-professor who joins the Olena team. — 1 September 2016
Holding a M.Sc degree from Grenoble Institute of Technology and a Ph.D degree in signal and image processing from University Grenoble Alpes, his research interests lie at the intersection of mathematical morphology, optimization and multimodal data processing for remote sensing applications.
The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the Spot team. — 1 September 2016
Holding a Ph.D. from University Paris VI his research focuses on formal verification of concurrent systems. He is particularly interested in real-time constrained systems, and in infinite words automata.
Spot is a C++ library for model checking and manipulation
of temporal logic formula and omega-automata. It also
comes with command-line tools and Python bindings.
Spot 2.0 is the result of 28 months of work, as we starting working on
this branch after the release of Spot 1.2.1 (Dec 2013).
Vcsn is a platform for weighted automata and rational expressions.
It consists of an efficient C++ generic library, shell tools, Python
bindings, and a graphical interactive environment on top of IPython.
This version features some noteworthy changes.