The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Florent Peres" ( http://dblp.L3S.de/Authors/Florent_Peres )

  Author page on DBLP  Author page in RDF  Community of Florent Peres in ASPL-2

Publication years (Num. hits)
2006-2016 (8)
Publication types (Num. hits)
article(3) inproceedings(4) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords

Results
Found 9 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Florent Peres, Mohamed Ghazel A µ-calculus formulation of the diagnosability of discrete event systems. Search on Bibsonomy IJCCBS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohamed Ghazel, Florent Peres A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. Search on Bibsonomy VECoS The full citation details ... 2014 DBLP  BibTeX  RDF
1Florent Peres, Bernard Berthomieu, François Vernadat On the composition of time Petri nets. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florent Peres, Pierre-Emmanuel Hladik, François Vernadat Specification and verification of real-time systems using POLA. Search on Bibsonomy IJCCBS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florent Peres Réseaux de Petri temporels à inhibitions/permissions - Application à la modélisation et vérification de systèmes de tâches temps réel. (Forbid/Allow time Petri nets - Application to the modeling and checking of real time tasks systems). Search on Bibsonomy 2010   RDF
1Bernard Berthomieu, Florent Peres, François Vernadat Abstract State Spaces for Time Petri Nets Analysis. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstract State Spaces, State Classes, Time Petri Nets
1Bernard Berthomieu, Florent Peres, François Vernadat Model Checking Bounded Prioritized Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernard Berthomieu, Florent Peres, François Vernadat Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license