Publications 2009

Articles de journaux

  1. J. Dubreil, Ph. Darondeau, H. Marchand, Supervisory Control for Opacity, IEEE Transactions on Automatic Control (To appear), 2009. (détails)

Conferences internationales

  1. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, When are timed automata determinizable?, in 36th International Colloquium on Automata, Languages and Programming (ICALP'09), LNCS No 5556, Pages 43-54, Rhodes, Greece, Juillet 2009. (détails)
  2. C. Baier, N. Bertrand, M. Grosser, Probabilistic Acceptors for Languages over Infinite Words, in 35th Conference on Current Trends in Theory and Practice of Computer Science, LNCS No 5404, Spindleruv Mlyn, Czech, 2009. (détails)
  3. N. Bertrand, B. Genest, Gimbert. H, Qualitative Determinacy and Decidability of Stochastic Games with Signals, in 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09), IEEE Computer Society Press (ed.), Los Angeles, CA, USA, Août 2009. (détails)
  4. N. Bertrand, S. Pinchinat, J.B. Raclet, Refinement and Consistency of Timed Modal Specifications, in Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS No 5457, Pages 152-163, Tarragona, Spain, Avril 2009. (détails)
  5. F. Cassez, J. Dubreil, H. Marchand, Dynamic Observers for the Synthesis of Opaque Systems, in 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Macao SAR, China, Octobre 2009. (détails)
  6. Jérémy Dubreil, Opacity and Abstraction, in Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09), Paris, France, Juin 2009. (détails)
  7. J. Dubreil, T. Jéron, H. Marchand, Monitoring Confidentiality by Diagnosis Techniques, in European Control Conference, Pages 2584-2590, Budapest, Hungary, Août 2009. (détails)
  8. G. Kalyon, T. Le Gall, H. Marchand, T. Massart, Computational Complexity for State-Feedback Controllers with Partial Observation, in 7th International Conference on Control and Automation, ICCA'09, Christchurch, New Zealand, Décembre 2009. (détails)
  9. G. Kalyon, Le Gall T, H. Marchand, T. Massart, Control of Infinite Symbolic Transition Systems under Partial Observation, in European Control Conference, Pages 1456-1462, Budapest, Hungary, Août 2009. (détails)
  10. H. Marchand, J. Dubreil, T. Jéron, Automatic Testing of Access Control for Security Properties, in TestCom'09, 2009. (détails)
  11. C. Morvan, On external presentations of infinite graphs, in 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09 (to appear in eptcs), Bologna, Italy, Août 2009. (détails)
  12. C. Morvan, S. Pinchinat, Diagnosability of pushdown systems, in HVC2009, Haifa Verification Conference (to appear in LNCS), Haifa, Israel, Octobre 2009. (détails)

Conferences nationales

  1. G. Kalyon, T. Le Gall, H. Marchand, T. Massart, Contrôle décentralisé de systèmes symboliques infinis sous observation partielle, in 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, 2009. (détails)
  2. H. Marchand, J. Dubreil, T. Jéron, Génération automatique de tests pour des propriétés de sécurité, in 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Pages 157-174, Juin 2009. (détails)

Rapport de recherche

  1. F. Cassez, J. Dubreil, H. Marchand, Dynamic Observers for the Synthesis of Opaque Systems, Rapport de recherche IRISA, No 1930, Mai 2009. (détails)
  2. J. Dubreil, Ph. Darondeau, H. Marchand, Supervisory Control for Opacity, Rapport de recherche IRISA, No 1921, Février 2009. (détails)
  3. C. Morvan, Contextual graph grammars characterizing context-sensitive languages, Rapport de recherche IRISA, No 1926, Mars 2009. (détails)

Divers

  1. T Jéron, Génération de tests pour les systèmes réactifs et temporisés, Ecole d'Eté Temps-Réel, Télécom ParisTech, Paris, Septembre 2009. (détails)
  2. C. Morvan, S. Pinchinat, Diagnosability of pushdown systems, AutomathA, Juin 2009. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

This page has been automatically generated using the bib2html program.