inproceedingFrench.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: ./bib2bib -oc selection -ob inproceedingFrench.bib -c 'category : "natc"' mesPublications.bib}}

@inproceedings{girault-MSR-13,
  author = {Girault, Johan and Loiseau, Jean-Jacques  and Roux, Olivier H. },
  title = {Synth\`ese en ligne de superviseur compositionnel pour flotte de robots mobiles},
  booktitle = {9ieme Colloque Francophone sur la Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs, (MSR'13)},
  year = 2013,
  month = nov,
  address = {Rennes, France},
  category = {natc}
}

@inproceedings{lime-MSR-11,
  author = {Lime, Didier and Martinez, Claude and Roux, Olivier H. },
  title = {Coercition temporelle de r\'eseaux de {Petri}},
  booktitle = {8ieme Colloque Francophone sur la Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs, (MSR'11)},
  year = 2011,
  month = nov,
  address = {Lille, France},
  category = {natc}
}

@inproceedings{boucheneb-MSR-07,
  author = {Boucheneb, Hanifa  and Rakay, Hind and Roux, Olivier H.},
  title = {R\'eseaux de {Petri} \`a arcs temporels g\'en\'eralis\'es aux s\'emantiques faible et forte},
  booktitle = {6ieme Colloque Francophone sur la Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs, (MSR'07)},
  year = 2007,
  month = oct,
  address = {Lyon, France},
  category = {natc}
}

@inproceedings{traonouez-MSR-07,
  author = {Traonouez, Louis-Maire and Delfieu, David and Roux, Olivier H.},
  title = {Synth\`ese de contraintes de conception \`a partir de r\'eseaux de {Petri} temporels param\'etr\'es},
  booktitle = {6ieme Colloque Francophone sur la Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs, (MSR'07)},
  year = 2007,
  month = oct,
  address = {Lyon, France},
  category = {natc}
}

@inproceedings{berthomieu-MSR-05,
  author = {Berthomieu, Bernard and Lime, Didier and Roux, Olivier H. and Vernadat, Francois},
  title = {Probl\`emes d'accessibilit\'e et Espaces d'\'etats abstraits des
r\'eseaux de {Petri} Temporels \`a Chronom\`etres},
  booktitle = {5ieme Colloque Francophone sur la Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs, (MSR'05)},
  pages = {},
  year = 2005,
  month = oct,
  address = {Grenoble, France},
  category = {natc}
}

@inproceedings{cassez-MSR-03,
  author = {Cassez, Franck and Roux, Olivier H.},
  title = {Traduction structurelle des r{\'e}seaux de {Petri} temporels vers les
  automates temporis{\'e}s},
  booktitle = {4ieme Colloque Francophone sur la Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs, (MSR'03)},
  pages = {},
  year = 2003,
  month = oct,
  address = {Metz, France},
  series = {},
  note = {Copyright \begin{rawhtml}Hermes-Science\end{rawhtml}},
  abstract = {Dans cet article, nous consid{\'e}rons les r{\'e}seaux de {Petri}
  t-temporels (RdPT) c'est \`a dire pour lesquels le temps est associ{\'e}
  aux transitions sous la forme d'un interval. Nous en donnons une
  s{\'e}mantique formelle en terme de syst{\`e}mes de transitions temporis{\'e}s.
  Nous proposons ensuite une traduction structurelle des RdPTs en un
  produit synchronis{\'e} d'automates temporis{\'e}s (ATs) qui pr{\'e}serve la
  s{\'e}mantique comportementale (bisimilarit{\'e} temporelle) des RdPTs.  Les
  cons{\'e}quences th{\'e}oriques de ce r{\'e}sultat sont: i) les probl{\'e}mes
  d'accessibilit{\'e} et plus g{\'e}n{\'e}ralement de model-checking de TCTL sont
  d{\'e}cidables pour les RdPTs born{\'e}s; ii) il est possible d'{\'e}tendre les
  RdPTs en consid{\'e}rant des contraintes temporelles strictes sur les
  transitions en pr{\'e}servant les r{\'e}sultats d{\'e}crits plus haut en i).
  D'un point de vue pratique, les cons{\'e}quences sont doubles: i) on
  peut sp{\'e}cifier un syst{\`e}me \`a l'aide de RdPTs et d'automates
  temporis{\'e}s et en donner une s{\'e}mantique facilement; ii) les outils
  disponibles pour l'analyse des automates temporis{\'e}s (comme
  \textsf{KRONOS} ou \textsf{UPPAAL} ou \textsf{CMC}) peuvent être
  utilis{\'e}s pour la v{\'e}rification de RdPTs.},
  category = {natc}
}

@inproceedings{roux-MSR-01,
  title = {Extension des r{\'e}seaux de {Petri} T-temporels pour la
    mod{\'e}lisation de l'ordonnancement de t{\^a}ches temps-r{\'e}el},
  author = {Roux, Olivier H. and D{\'e}planche, Anne-Marie},
  booktitle = {3ieme Colloque Francophone sur la Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs, (MSR'01)},
  address = {Toulouse, France},
  month = oct,
  year = 2001,
  publisher = {Hermes Science},
  pages = {327--342},
  note = {Copyright \begin{rawhtml}Hermes-Science\end{rawhtml}},
  category = {natc}
}

@inproceedings{seidner-AFIS-06,
  author = {Seidner, Charlotte and Lerat, Jean-Philippe and Roux, Olivier H. and Magnin, Morgan},
  title = {V\'erification dynamique et formelle d'un syst\`eme d\'ecrit par son architecture fonctionnelle \`a l'aide de r\'eseaux de {Petri} temporels : promesses et perspectives},
  booktitle = {4th AFIS National Conference},
  month = may,
  year = 2006,
  address = {Toulouse, France},
  category = {natc}
}