Publications 2010

Academic Journals

  1. Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang. Quasi-static scheduling of communicating tasks. Inf. Comput, 208(10):1154-1168, 2010. details
  2. Edith Elkind, Blaise Genest, Doron Peled, Paola 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. Vojtech Reh\'ak, Petr Slov\'ak, Jan Strejcek, Loc Hlout. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010. details
  4. Sidney Rosario, Albert Benveniste, Claude Jard. Flexible Probabilistic QoS Management of Orchestrations. International Journal of Web Services Research, 2, 2010. details
  5. Sidney Rosario, Albert Benveniste, Claude Jard. Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Service Res, 7(2):21-42, 2010. details

International Conferences

  1. Benedikt Bollig, Loc Hlout. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010. details
  2. Anne Bouillard, Laurent Jouhet, \'E Thierry.. Comparison of Different Classes of Service Curves in Network Calculus. In International Workshop on Discrete Event Systems (WODES 2010), 2010. details
  3. Anne Bouillard, Laurent Jouhet, \'E Thierry.. Tight performance bounds in the worst-case analysis of feed-forward networks. In IEEE Conference on Computer Communications (INFOCOM 2010), 2010. details
  4. Thomas Chatain, Claude Jard. Concurrent Symbolic Semantics of Safe Petri Nets and Application to Time Petri Nets. In IEEE 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), Volume IEEE, Pages 9-16, 2010. details
  5. Thomas Chatain, Eric Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Petri Nets, Pages 165-184, 2010. details
  6. Eric Fabre, Loig Jzquel. On the construction of probabilistic diagnosers. In Workshop on Discrete Event Systems, WODES'2010, 2010. details
  7. Eric Fabre, Loig Jézéquel, Patrik Haslum, Sylvie Thibaux. 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
  8. Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In ICALP (2), Lecture Notes in Computer Science, Volume 6199, Pages 52-63, 2010. details
  9. Blaise Genest, Anca Muscholl, Zhilin 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), Volume 8, Pages 469-480, Dagstuhl, Germany, 2010. details
  10. Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. Diagnosis Using Unfoldings of Parametric Time Petri Nets. In FORMATS, Lecture Notes in Computer Science, Volume 6246, Pages 137-151, 2010. details
  11. Bartosz Grabiec, Claude Jard, Axel Legay. Unfolding Petri nets under partial observation. In International Workshop on Distributed Open Timed Systems, satellite of CONCUR 2010, Volume Paris 7, Pages 16-23, 2010. details
  12. Loc Hlout, Albert Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010. details
  13. Loc Hlout, Aline Roumy. Covert channel detection using Information Theory. In Secco 2010,8th International Workshop on Security Issues in Concurrency, ENTCS, Pages 93-116, 2010. details
  14. Loc Hlout, Aline Roumy. On the differences between covert channels and Interference. In GIPSY'2010 : 1st Workshop on Games, Logic and Security, 2010. details
  15. Loc Hlout, Benedikt Bollig, Stefan Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010. details
  16. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations. In ICWS, Pages 99-106, 2010. details
  17. Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In ATVA, Lecture Notes in Computer Science, Volume 6252, Pages 291-305, 2010. details

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 v210, © INRIA 2002-2006, Projet Lagadic