Semantic search
- Publication of the lab's bulletin L'air de rien 34 — 10 September 2015
- Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a 10-day visit. — 6 September 2015
Etienne Renault will join him there for a week. Both will work during that time with Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU.
- Publication SAT-based Minimization of Deterministic ω-Automata in Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) — 1 September 2015
- Former LRDE PhD-student Ala Eddine Ben Salem becomes Assistant Professor (Maître de Conférence) at Université Clermont-Ferrand I. — 1 September 2015
Ala Eddine joins the LIMOS team. The LRDE members wish him all the best and a good start!
- Publication Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection in Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) — 1 August 2015
- CSI Seminar : CSI 2016 students and ING1 2017 students present their work on Monday 6 July 2015. — 6 July 2015
You can find the programme here.Seminars are free and open to anyone.
- Publication of the lab's bulletin L'air de rien 33 — 2 July 2015
- Publication Morphological Object Picking Based on the Color Tree of Shapes in Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) — 29 June 2015
- Publication Une approche morphologique de segmentation interactive avec l'arbre des formes couleur in Actes du 15e Colloque GRETSI — 16 June 2015
- Publication Practical Stutter-Invariance Checks for ω-Regular Languages in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Publication On Refinement of Büchi Automata for Explicit Model Checking in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Two researchers from the Faculty of Informatics, Masaryk University, Czech Republic, on a one week visit at the LRDE. — 9 June 2015
Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's Spot-team.
- Publication Connected Filtering on Tree-Based Shape-Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 5 June 2015
- Agreement EPITA - Indian Institute of Technology Jodhpur (IITJ) — 2 June 2015
Within the framework of the cooperation between EPITA and IITJ one B-Tech-student and one postgraduate B-Tech-student from IITJ work with LRDE's Olena-team from mid-May to mid-August 2015.
- The LRDE hosts a new member, Jim Newton, Research Engineer, who joins the Climb team. — 2 June 2015
- Next Seminar MeFoSyLoMa at LRDE. — 22 May 2015
Invited speakers: Ekkart Kindler - Denmark Technical University, on "Coordinating Interactions: The Event Coordination Notation", and Ryszard Janicki - McMaster University, on "Modeling Concurrency With Interval Traces".
- Publication Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) — 19 May 2015
- Publication Extending Testing Automata to All LTL in Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) — 19 May 2015
- Publication How to Make nD Images Well-Composed Without Interpolation in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 14 May 2015
- LRDE Seminar on Performance and Genericity - Programmation web haute performance avec C++14 — 13 May 2015
ENSTA ParisTechby Matthieu Garrigues, Laboratoire d'informatique et d'ingénierie des systèmes, - Alexandre Duret-Lutz invited to TU Dresden, Germany. — 5 May 2015
- He will speak on From PSL to Transition-based Generalized Büchi Automata at the Research Seminar QuantLA.
- Publication The Hanoi Omega-Automata Format in Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) — 27 April 2015
- Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a one week visit at the LRDE. — 9 April 2015
He will speak on 'Stutter-Invariance Checks & Testing Automata' at the Working Seminar on Formal Models, Discrete Structures, and Algorithms.
- Publication Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication How to Make nD Functions Digitally Well-Composed in a Self-Dual Way in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- The LRDE hosts a new member, Lê Duy Huynh, Master student intern from Telecom Bretagne, who joins the Olena team. — 16 March 2015
- Publication TextTrail: A Robust Text Tracking Algorithm In Wild Environments in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 March 2015
- Publication A Self-Adaptive Likelihood Function for Tracking with Particle Filter in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 March 2015
- Publication Single-pass Testing Automata for LTL Model Checking in Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15) — 1 March 2015
- LRDE Seminar on Performance and Genericity - Faveod, meta-modèle au service de la qualité logicielle — 18 February 2015
by Yann Azoury, Faveod
- LRDE Seminar on Performance and Genericity - Faveod, meta-modèle au service de la qualité logicielle by Yann Azoury, Faveod — 18 February 2015
- The LRDE hosts a new member, Krista Drushku, Master student intern from UPMC, who joins the Climb team. — 16 February 2015
- CSI Seminar : CSI 2015 students present their work on Wednesday 28 January 2015. — 28 January 2015
You can find the programme here. Seminars are free and open to anyone.
- The LRDE has been once again accepted with the Spot project to PHC BARRANDE 2015, a bilateral program between France and Czech Republic supporting the mobility of researchers. — 27 January 2015
This program will promote for the second year exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.
- Publication Parallel Explicit Model Checking for Generalized Büchi Automata in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) — 13 January 2015
- The LRDE hosts a new member, Alexandre Landi, Research Engineer, who joins the Climb team. — 12 January 2015
- Publication Context-Oriented Image Processing in Context-Oriented Programming Workshop — 1 January 2015
- Myriam Robert-Seidowsky, has participated in the event "Filles et Maths : une équation lumineuse" at EPITA in October 2014. The video is now on-line — 19 December 2014
She and other professionals have presented their work and role as female scientists to female high school students.
- LRDE Seminar on Performance and Genericity - D’un MOOC à l'autre — 17 December 2014
by Christian Queinnec, UPMC, LIP6
- LRDE Seminar on Performance and Genericity - D’un MOOC à l'autre by Christian Queinnec, UPMC, LIP6 — 17 December 2014
- LRDE Seminar on Performance and Genericity - Une nouvelle approche pour la gestion de la mémoire avec CUDA — 10 December 2014
by Raphaël Boissel, EPITA, CSI
- LRDE Seminar on Performance and Genericity - Une nouvelle approche pour la gestion de la mémoire avec CUDA by Raphaël Boissel, EPITA, CSI — 10 December 2014
- Publication Contribution aux tests de vacuité pour le model checking explicite — 5 December 2014
- Etienne Renault defends his PhD thesis "Contributions to emptiness checks for explicit model checking" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm. — 5 December 2014
- LRDE Seminar on Performance and Genericity - Generic Tools, Specific Languages by Markus Voelter, independent/itemis — 19 November 2014
- Yongchao Xu starts his post-doc in collaboration with Telecom ParisTech. — 15 October 2014
His collaboration includes a team from Bicêtre Hospital. He will work on "Segmentation of white matter hyperintensities in MR images of the newborn and the premature brain".
- Publication Tree-Based Morse Regions: A Topological Approach to Local Feature Detection in IEEE Transactions on Image Processing — 3 October 2014
- Publication Improving the Model Checking of Stutter-Invariant LTL Properties — 25 September 2014