|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pierre-Alain Reynier, Frédéric Servais |
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.  |
Petri Nets  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Jaubert, Pierre-Alain Reynier |
Quantitative Robustness Analysis of Flat Timed Automata. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais |
Streamability of Nested Word Transductions. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
On Functionality of Visibly Pushdown Transducers |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
Properties of Visibly Pushdown Transducers. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Undecidability Results for Timed Automata with Silent Transitions. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Alain Reynier, Arnaud Sangnier |
Weak Time Petri Nets Strike Back!. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier |
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Petri nets and timed automata: On the discriminating power of zeno sequences. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
Robust Analysis of Timed Automata via Channel Machines. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad |
Extended Timed Automata and Time Petri Nets. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets |
| 1 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
Robust Model-Checking of Linear-Time Properties in Timed Automata. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
robust verification, Implementability, timed systems |
| 1 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Unfoldings for Networks of Timed Automata. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier |
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")