Publications 2010

Academic Journals

  1. P. Darondeau, B. Genest, P.S. Thiagarajan, S. Yang. Quasi-static scheduling of communicating tasks. Information and Computation, Special Issue: 19th International Conference on Concurrency Theory (CONCUR 2008), 208(10):1154-1168, 2010. details download download
  2. E. Elkind, B. Genest, D. Peled, P. Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Special Issue of ATVA'07). International Journal of Foundations of Computer Sciecnce (IJFCS), 21(2):211-233, 2010. details
  3. V. Rehak, P. Slovak, J. Strejcek, L. Hélouet. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010. details
  4. S. Rosario, A. Benveniste, C. Jard. Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Service Res, 7(2):21-42, 2010. details
  5. S. Rosario, A. Benveniste, C. Jard. Flexible Probabilistic QoS Management of Orchestrations. International Journal of Web Services Research, 2, 2010. details
  6. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010. details doi

International Conferences

  1. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: Rationality issues. In Conference on Decision and Control and European Control Conference, CDC-ECC, Pages 3855-3861, 2010. details
  2. A. Benveniste, B. Caillaud, M. Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010. details doi pdf
  3. B. Bollig, L. Hélouet. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010. details
  4. T. Chatain, E. Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Petri Nets, Pages 165-184, 2010. details
  5. E. Fabre, L. Jézéquel, P. Haslum, S. Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. In Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Pages 65-72, Toronto, Ontario, Canada, 2010. details
  6. E. Fabre, Loig Jézéquel. On the construction of probabilistic diagnosers. In Workshop on Discrete Event Systems, WODES'2010, 2010. details
  7. L. Hélou\"et, A. Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010. details
  8. L. Hélou\"et, A. Roumy. Covert channel detection using Information Theory. In Secco 2010,8th International Workshop on Security Issues in Concurrency, ENTCS, Pages 93-116, 2010. details
  9. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. In 22nd IFIP International Conference on Testing Software and Systems, LNCS, Volume 6435, Pages 30-46, Natal, Brazil, November 2010. details doi pdf
  10. O. Landry Nguena, H. Marchand, A. Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints (Short paper). In 22nd IFIP International Conference on Testing Software and Systems, Pages 25-30, Natal, Brazil, November 2010. details pdf
  11. N. Bertrand, C. Morvan. Probabilistic Regular Graphs. In Infinity, EPTCS, Volume 39, Pages 77-90, Singapore, September 2010. details doi pdf
  12. E. Best, P. Darondeau, R. Gorrieri. On the Decidability of Non Interference over Unbounded Petri Nets. In 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, August 2010. details
  13. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428-435, Berlin, Germany, August 2010. details pdf
  14. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria optimal discrete controller synthesis for fault-tolerant real-time tasks. In Workshop on Discrete Event Systems, WODES'10, Pages 366-373, Berlin, Germany, August 2010. details pdf
  15. C. Morvan. Contextual graph grammars characterising Rational Graphs. In Non-Classical Models of Automata and Applications (NCMA), Pages 141-153, Jena, Germany, August 2010. details pdf
  16. E. Best, P. Darondeau. Separability in Persistent Petri Nets. In Applications and Theory of Petri Nets, ATPN 2010, Pages 246-266, Braga, Portugal, June 2010. details
  17. G. Delaval, H. Marchand, E. Rutten. Contracts for Modular Discrete Controller Synthesis. In Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2010, Pages 57-66, Stockholm, Sweden, April 2010. details doi pdf

Invited Conferences

  1. B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In ICALP (2), Lecture Notes in Computer Science, Volume 6199, Pages 52-63, 2010. details
  2. B. Genest, A. Muscholl, Z. Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Kamal Lodaya, Meena Mahajan (eds.), Leibniz International Proceedings in Informatics (LIPIcs), Keywords: Active documents, Guarded Active XML, verification, data trees, tree rewriting, well-structured systems, Volume 8, Pages 469-480, Dagstuhl, Germany, 2010. details
  3. A. Kattepur, S. Sen, B. Baudry, A. Benveniste, C. Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations. In ICWS, Pages 99-106, 2010. details

National Conferences

  1. L. Hélouet, B. Bollig, S. Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010. details
  2. L. Hélouett, A. Roumy. On the differences between covert channels and Interference. In GIPSY'2010 : 1st Workshop on Games, Logic and Security, 2010. details

Research Reports

  1. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. Research Report INRIA, No 7381, October 2010. details pdf
  2. Y. Falcone, H. Marchand. Various Notions of Opacity Verified and Enforced at Runtime. Research Report INRIA, No 7349, August 2010. details pdf
  3. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. Research Report INRIA, No 7247, April 2010. details pdf
  4. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010. details pdf

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 is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic