Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "News subtitle" with value "Spot is a model-checking library developed collaboratively". Since there have been only a few results, also nearby values are displayed.

Showing below up to 27 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

  • NewsEntry (2020/10/21)  + (Holding a Master degree in Computer Scienc … Holding a Master degree in Computer Science from [https://www.unicamp.br Universidade Estadual de Campinas], Caroline joins LRDE’s Image team where she will focus on Explainability of Convolutional Neural Networks. Her PhD will be conducted in cooperation with [http://ligm.u-pem.fr Laboratoire d’Informatique Gaspard-Monge].Laboratoire d’Informatique Gaspard-Monge].)
  • NewsEntry (2016/09/01)2  + (Holding a Ph.D. from [http://www.upmc.fr 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.)
  • NewsEntry (2019/03/04)  + (Holding a PhD on pushdown model checking f … Holding a PhD on pushdown model checking from [https://www.univ-paris-diderot.fr Université Paris 7], his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the [[Spot]] team's projects, [[TickTac]] in particular.[TickTac]] in particular.)
  • NewsEntry (2017/08/31)  + (Holding an engineering degree from [http:/ … Holding an engineering degree from [http://ense3.grenoble-inp.fr Grenoble INP - Ense3] in the field of signal and image processing, Julie joins the image team of LRDE. She is working on real-time hyperspectral retinal holography on GPU with the [https://www.institut-langevin.espci.fr/home Langevin Institute] and the [https://www.quinze-vingts.fr Quinze-Vingts National Ophthalmology Hospital].e-Vingts National Ophthalmology Hospital].)
  • NewsEntry (2017/01/01)  + (Holding an engineering degree in medical i … 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.</br>She joins LRDE's Olena team where she will work on the [https://www.lrde.epita.fr/wiki/MOBIDEM MOBIDEM] project, especially on automatic extraction of text from images of identity papers.on of text from images of identity papers.)
  • Vaucanson 0.6.1 is released (2004-10-26)  + (In addition to the usual bug fixes, this release brings full support of G++ 3.)
  • NewsEntry (2020/06/02)  + (In this webinar, Nicolas Boutry from LRDE … In this webinar, Nicolas Boutry from LRDE presents how to segment with Convolutional Neural Networks (CNN's) white and grey matters in multi-modal MRI 3D brain images of 6-months year old children. His demonstration is based on a dataset from the [http://iseg2017.web.unc.edu/ iSeg2017 challenge].seg2017.web.unc.edu/ iSeg2017 challenge].)
  • NewsEntry (2014/03/28)  + (Invited speakers : Laura Carnevali - Unive … Invited speakers : Laura Carnevali - University of Florence, "Quantitative evaluation of non-Markovian models through the approach of stochastic state classes: applications and future issues", and Ridha Benosman - CNAM, Paris, "Conception et Évaluation de Performances d'un Bus Applicatif Parallèle et Orienté Service"s Applicatif Parallèle et Orienté Service")
  • NewsEntry (2018/05/18)  + (Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates")
  • NewsEntry (2016/04/08)2  + (Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker")
  • NewsEntry (2015/05/22)  + (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".)
  • NewsEntry (2014/05/23)  + (Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's [[Spot]]-team.)
  • NewsEntry (2015/06/09)  + (Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's [[Spot]]-team.)
  • NewsEntry (2017/01/17)  + (Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de La Rochelle, has joined the lab for several months and will work on the [[MOBIDEM]] project.)
  • NewsEntry (2020/04/03)  + (Lê Duy Huynh and Nicolas Boutry have won t … Lê Duy Huynh and Nicolas Boutry have won the first prize of the [https://ead2020.grand-challenge.org/ Endoscopy Artefact Detection and Segmentation Challenge (EAD2020)] against 31 other participating teams. This challenge was organized during the 17th [http://2020.biomedicalimaging.org/ International Symposium on Biomedical Imaging (ISBI)].l Symposium on Biomedical Imaging (ISBI)].)
  • NewsEntry (2022/01/01)  + (Marc Plantevit holds a PhD in Computer Sci … Marc Plantevit holds a PhD in Computer Science from [https://www.umontpellier.fr Montpellier University] and a HDR from [https://www.universite-lyon.fr Lyon University]. Before joining EPITA Lyon and LRDE, he was an associate professor at [https://www.univ-lyon1.fr University Claude Bernard Lyon 1] and head of the [https://liris.cnrs.fr/en/team/dm2l Data Mining & Machine Learning research group] at LIRIS lab. His research is mainly concerned with foundation of data mining, graph mining, subgroup discovery and explainable artificial intelligence. He is also interested in the application of machine learning in wide applications such as Neuroscience (olfaction), Electricity price forecasting, recommender systems, etc.y price forecasting, recommender systems, etc.)
  • NewsEntry (2017/09/06)2  + (More tools, and more support for complex acceptance conditions.)
  • Olena 2.0 is released (2011-09-16)  + (Olena is LRDE's platform dedicated to image processing and)
  • Olivier Ricou gives conference on Internet governance at ESPCI (2010-02-19)  + (On the occasion of the Seminar of the PMMH laboratory at ESPCI, Olivier Ricou has given a general knowledge)
  • New online demo of page segmentation and reconstruction (2011-01-05)  + (Online demo of page segmentation and reconstruction. Convert a document image to PDF and HTML.)
  • Two new online demos related to the Scribo project (2010-06-22)  + (Parts of the work done in Scribo can be tested online: a [[Olena/SauvolaMs|multi-scale binarization]] based on Sauvola's algorithm and a [[Olena/TextInPics|text detector in natural pictures]].)
  • The LRDE hosts a new member: Benjamin Raynal (2011-09-26)  + (PhD from [http://www.univ-mlv.fr Universit … PhD from [http://www.univ-mlv.fr Université Paris Est Marne-la-Vallée]. His works mainly focus on real-time motion capture from multi-camera systems. The applications include new human-computer interfaces, automatic video surveillance and domotics. He joined LRDE as a postdoctoral researcher and is currently interested by automatic extraction of text from images. automatic extraction of text from images.)
  • NewsEntry (2014/12/19)  + (She and other professionals have presented their work and role as female scientists to female high school students.)
  • NewsEntry (2014/09/01)  + (Souheib Baarir, assistant-professor from University Paris-Nanterre, has joined the lab for a year and will work on the [[Spot]] project.)
  • NewsEntry (2016/11/14)  + (Spot 2.2 fixes some serious bugs and adds an assortments of small improvements.)
  • NewsEntry (2016/04/11)  + (Spot is a C++ library for model checking a … Spot is a C++ library for model checking and manipulation</br>of temporal logic formula and omega-automata. It also</br>comes with command-line tools and Python bindings.</br>Spot 2.0 is the result of 28 months of work, as we starting working on</br>this branch after the release of Spot 1.2.1 (Dec 2013).fter the release of Spot 1.2.1 (Dec 2013).)
  • Spot 1.1 released (2013-04-28)  + (Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement)
  • NewsEntry (2021/09/02)  + (Sven recently completed his PhD at [https: … Sven recently completed his PhD at [https://www.uni-leipzig.de/ Leipzig University] where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]].[Spot]].)
  • The LRDE and EPITA take part in the organization of the ITiCSE 2009 conference (2009-01-27)  + (The 14th [http://www.acm.org ACM]–[http://www.sigcse.org SIGCSE])
  • NewsEntry (2016/04/22)  + (The 60 selected projects will receive funding from the French state. [https://www.lrde.epita.fr/wiki/MOBIDEM MOBIDEM] (MOBile IDEntity for the Masses) is supported by the competitiveness cluster Systematic.)
  • NewsEntry (2021/07/05)  + (The LEMONADE project (LEarning and MOdeliN … The LEMONADE project (LEarning and MOdeliNg spectrAl Dynamics of satellite image time sEries) has been selected by the French National Research Agency as a research project coordinated by young researchers (JCJC). The project’s principal investigator is Lucas Drumetz ([https://www.imt-atlantique.fr IMT-Atlantique, Lab-STICC]), with Mauro Dalla Mura ([http://www.gipsa-lab.fr Grenoble-INP, GIPSA-Lab]) and Guillaume Tochon from LRDE as partners. The project will start in October 2021. The goal of this project is to learn and model, with deep neural network approaches, the spectral dynamics of satellite image time series.l dynamics of satellite image time series.)
  • A more public development scheme! (2004-06-15)  + (The LRDE is happy to announce that its development process is now)
  • The lab hosts a new member : Dalila Benboudjema (2008-10-01)  + (The LRDE is happy to welcome Dalila Benbou … The LRDE is happy to welcome Dalila Benboudjema. After having successfully completed her PhD under the direction of thesis advisor Prof. W. Pieczynski at [http://www.telecom-sudparis.eu/fr_accueil.html Télécom Sud-Paris] (ex INT-Evry) she was postdoc at [http://www.telecom-paristech.fr Telecom ParisTech]. Then she has worked at [http://www.ensmp.fr/Accueil Ecole des Mines de Paris] as a Research Engineer, before joining EPITA as an Assistant Professor and the LRDE in order to work, among others, on Olena for the Scribo project . others, on Olena for the Scribo project .)
  • The lab hosts a new member : Guillaume Lazzara (2008-09-01)  + (The LRDE is happy to welcome Guillaume Lazzara. Former CSI 2008 student, he has received his EPITA)
  • The lab welcomes a new member : Alexandre Duret-Lutz (2007-09-01)  + (The LRDE is happy to welcome [[User:Adl|Alexandre Duret-Lutz]] who joins the team after receiving his PhD)
  • The lab hosts a new member: Jonathan Fabrizio (2009-07-02)  + (The LRDE is happy to welcome [[User:Jonathan|Jonathan Fabrizio]].)
  • Olena 0.11 is released (2007-02-21)  + (The Olena Team is proud to announce the re … The Olena Team is proud to announce the release of Olena 0.11. This version is an update of the [[Olena|Olena]] generic and efficient image processing library developed at the LRDE. This new version brings support for recent versions of the GNU (g++ 4.0 and 4.1) and Intel (icpc 9.1) C++ compilers. Swilena, the set of Python and Ruby wrappers for Olena, has been improved. Finally Olena 0.11 supports Mac OS X (version 10.3) and includes a lot of fixes over the previous version. a lot of fixes over the previous version.)
  • Olena 1.0 is integrated into Mandriva Linux (2009-09-09)  + (The Olena team is pleased to announce that Milena, the core C++ image processing library of the Olena 1.0 platform, has been integrated into the Mandriva Linux distribution.)
  • The Tiger 2006 Project has started (2004-01-12)  + (The Tiger.TigerCompiler consists in the implementation of a)
  • Vaucanson 1.1.1 is released (2007-12-14)  + (The Vaucanson Team is proud to announce the release of Vaucanson 1.1.1. This release contains mostly bug fixes.)
  • Vaucanson 1.1 is released (2007-07-30)  + (The Vaucanson Team is proud to announce the release of Vaucanson 1.1. This release mainly includes bug fixes, various optimizations (I/O and algorithms) and TAF-Kit improvements.)
  • Vaucanson 1.0a is released (2007-06-13)  + (The Vaucanson Team is proud to announce the release of Vaucanson 1.0a. This is an intermediate release which mainly includes bug fixes and various optimizations.)
  • Vaucanson 1.0 is released (2006-07-28)  + (The Vaucanson team is proud to announce this release, which includes significant improvements of the library, and TAF-Kit support for Boolean Automata, Z-Automata, and Transducers.)
  • NewsEntry (2016/11/16)  + (The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the quotient tools"! This version features some noteworthy changes.)
  • NewsEntry (2017/01/31)2  + (The Vcsners are proud to announce the release of Vcsn 2.5, aka the k-lightest release!)
  • NewsEntry (2022/11/30)  + (The doctoral school of Paris EDITE has org … The doctoral school of Paris EDITE has organized a conference day [https://www.edite-de-paris.fr/journee-de-ledite-2022/ Journée de l’EDITE] dedicated to PhD-students, their supervisors and the best PhD Thesis Award. Among the labs attending, Thierry has presented the unified EPITA Research Laboratory (LRE) with its newly defined research groups and axes.ts newly defined research groups and axes.)
  • NewsEntry (2018/01/20)  + (The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.)
  • NewsEntry (2013/10/23)  + (The objective of the France-India Technolo … The objective of the France-India Technology Summit is to promote technological and trade exchanges between the two countries, to strengthen existing collaborations and to meet potential partners for the development of new technologies and of new synergies.</br>Olivier Ricou presents research conducted at EPITA during the event.</br></br></br>After the Summit, Olivier Ricou will undertake a 5-day visit to the [http://www.iitj.ac.in Indian Institute of Technology Jodhpur (IIT Jodhpur)] in order to set up a research partnership between EPITA and IIT Jodhpur.partnership between EPITA and IIT Jodhpur.)
  • NewsEntry (2013/12/18)  + (The objective of this visit is to foster t … The objective of this visit is to foster the relation between EPITA and IITJ. Yongchao Xu is looking for IITJ candidates for internships at LRDE next spring. During his visit at IITJ, Yongchao Xu joins the [http://www.iitj.ac.in/ncvpripg/index.html National Conference on Computer Vision, Pattern Recognition, Image Processing and Graphics (NCVPRIPG)] to be held in Jodhpur from December 19 to 21.be held in Jodhpur from December 19 to 21.)
  • Vaucanson 0.5 tutorial day (2004-03-31)  + (The second [[Vcsn|Vaucanson Day]] is held at EPITA,)
Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/Spot-20is-20a-20model-2Dchecking-20library-20developed-20collaboratively"