Publications 2009

Books

1. Communicating Embedded Systems - Software and Design. Claude Jard, Olivier-H. Roux (eds.), ISTE Publishing / John Wiley, October 2009.

Academic Journals

1. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. Special issue of BISFAI 2007, Annals of Mathematic and Artificial Intelligence (AMAI), in press(0):0-0, 2009.
2. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. Special issue of CONCUR 2008 accepted to Information and Computation, in press(0):0-0, 2009.
3. 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), in press(0):0-0, 2009.
4. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. Thiagarajan, Shaofa Yang. Causal Message Sequence Charts. Theoretical Computer Science (TCS), 410(41):4094-4110, 2009.
5. Agnes Madalinski, Eric Fabre. Modular Construction of Finite and Complete Prefixes of Petri Net Unfoldings. Fundamenta Informaticae, 95, 2009.

International Conferences

1. Samy Abbes, Albert Benveniste. Concurrency, Sigma-Algebras, and Probabilistic Fairness. In FOSSACS, Pages 380-394, 2009.
2. Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals. In Twenty-Fourth Annual IEEE Symposium on Logic In Computer Science (LICS), Volume IEEE 978-0-7695-3746-7, Pages 319-328, 2009.
3. Debmalya Biswas, Ashwin Jiwane, Blaise Genest. Atomicity for XML Databases. In Sixth International XML Database Symposium (XSym), Volume LNCS 5679, Pages 160-167, 2009.
4. Anne Bouillard, Linh T.X. Phan, Samarjit Chakraborty. Lightweight Modeling of Complex State Dependencies in Stream-Processing Systems. In 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.
5. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotonicity in Service Orchestrations. In Petri Nets, Lecture Notes in Computer Science, Volume 5606, Pages 263-282, 2009.
6. Anne Bouillard, Stefan Haar, Sidney Rosario. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. In FORMATS, Jo\"e Ouaknine, Frits W. Vaandrager (eds.), Lecture Notes in Computer Science, Volume 5813, 2009.
7. Anne Bouillard, Bertrand Cottenceau, Bruno Gaujal, Laurent Hardouin, Sébastien Lagrange, Mehdi Lhommeau, Eric Thierry. COINC Library: a toolbox for the Network Calculus. In Fourth International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2009.
8. Marc Boyer, Laurent Jouhet, Anne Bouillard. Notations pour le calcul réseau. In Modélisation des systèmes réactifs (MSR), 2009.
9. Eric Fabre, Lo\"\ic Jézéquel. Distributed Optimal Planning: an Approach by Weighted Automata Calculus. In Conference on Detection and Control (CDC), 2009.
10. Bartosz Grabiec, Claude Jard. Unfolding of Networks of Automata and their Application in Supervision. In 9th annual international conference on New Technologies of Distributed Systems (NOTERE), July 2009.
11. Florian Kerschbaum, Debmalya Biswas, Daniel Dahlmeier, Axel Schropfer. An Experimental Study on the Practical Importance of Communication Complexity for Secure Multi-Party Computation Protocols. In 24th Annual ACM Symposium on Applied Computing (SAC 2009), Hawaii, USA, March 2009.
12. Florian Kerschbaum, Daniel Dahlmeier, Axel Schröpfer, Debmalya Biswas. On the practical importance of communication complexity for secure multi-party computation protocols. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, Pages 2008-2015, 2009.
13. Sidney Rosario, Albert Benveniste, Claude Jard. Monitoring Probabilistic SLAs in Web Service Orchestrations. In IFIP/IEEE Intern. Symposium on Integrated Network Management, Mini-conference, June 2009.
14. Sidney Rosario, Albert Benveniste, Claude Jard. Probabilistic QoS Management of Transaction based Web services Orchestrations. In IEEE 7th International Conference on Web Services (ICWS 2009), July 2009.

Research Reports

1. Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. Research Report INRIA, No 7003, 2009.
2. Anne Bouillard, Laurent Jouhet, Eric Thierry. Tight performance bounds in the worst-case analysis of feed-forward networks. Research Report INRIA, No 7012, 2009.
3. Loïc Hélouët, Albert Benveniste. Distributed Active XML and Service Interfaces. Research report INRIA, No 7082, 2009.
4. Loïc Hélouët, Aline Roumy. Canaux cachés et théorie de l'information. Research report, DOTS deliverable 2.4.b Projet ANR DOTS, 2009.
5. Vojtech Rehak, Petr Slovak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition for HMSC. Research Report Faculty of Informatics, Masaryk Univ., No 0, 2009.

Thesis

1. Debmalya Biswas. Visibility in Hierarchical Systems. PhD Thesis Université de Rennes 1, 2009.
2. Sidney Rosario. Quality of Service issues in compositions of Web services. PhD Thesis Université de Rennes 1, 2009.

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