Publications 2008

Books

1. Debmalya Biswas, Il-Gong Kim. Active XML Transactions, chapter of Service and Business Computing Solutions with XML: Applications for Quality Management and Best Processes. IGI Global, 2008.
2. Franck Cassez, Claude Jard. The 6th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2008. Springer-Verlag, LNCS 5215, 2008.
3. Claude Jard, Olivier-Henri Roux. Systèmes embarqués communicants : Approches formelles. Hermès, Traité IC2, 2008.

Academic Journals

1. Samy Abbes, Albert Benveniste. True-concurrency probabilistic models: Markov nets and a law of large numbers. Theoretical Computer Science, 390(2):129-170, 2008.
2. Anne Bouillard, Bruno Gaujal. Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions. Journal of Discrete Event Dynamamic Systems (JDEDS), 18(4):473-498, 2008.
3. Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Éric Thierry. Optimal routing for end-to-end guarantees using Network Calculus. Performance Evaluation, 65(11):883-906, 2008.
4. Anne Bouillard, Éric Thierry. An Algorithmic Toolbox for Network Calculus. Journal of Discrete Event Dynamic Systems (JDEDS), 18(1):3-49, 2008.
5. Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory of Computing Systems (TOCS), 42(4):536-567, 2008.
6. Helia Pouyllau, Stefan Haar. Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. Annals of Telecommunications, pages 0-0, October 2008.
7. Shaofa Yang, Loïc Hélouët, Thomas Gazagnaire. Logic-based diagnosis for distributed systems. Perspectives in concurrency, P.S. Thiagarajan's Festchrift, 2008.

International Conferences

1. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Unfolding-Based Diagnosis of Systems with an Evolving Topology. In CONCUR 2008, Pages 203-217, 2008.
2. Albert Benveniste. Composing Web Services in an Open World: Issues of Quality of Service. In FORMATS, Pages 0-0, 2008.
3. Debmalya Biswas. Active XML Replication and Recovery. In 2nd IEEE International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), Pages 263-269, Barcelona, Spain, March 2008.
4. Debmalya Biswas, Thomas Gazagnaire, Blaise Genest. Small Logs for Transactional Services. In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Nanjing, China, December 2008.
5. Debmalya Biswas, Blaise Genest. Minimal Observability for Transactional Hierarchical Services. In 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Volume ISBN 1-891706-22-5, Pages 531-536, San Francisco, USA, July 2008.
6. Debmalya Biswas, K Vidyasankar. A Highly Flexible Data Structure for Multi-level Visibility of P2P Communities. In 9th International Conference on Distributed Computing and Networking (ICDCN 2008), Volume LNCS 4904, Pages 363-374, Kolkata, India, January 2008.
7. Gregor Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input/Output Automata. In Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, Volume LNCS 5047, Pages 169-183, Tokyo, June 2008.
8. Anne Bouillard, Laurent Jouhet, Éric Thierry. Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis. In 3rd international conference on Performance Evaluation Methodologies and Tools (ValueTools 2008), Athens, Greece, October 2008.
9. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In 11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08), Volume LNCS 4962, Pages 459-474, Budapest, Hungary, April 2008.
10. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. In 19th International Conference on Concurrency Theory (CONCUR'08), Volume LNCS 5201, Pages 310-324, Toronto, Canada, August 2008.
11. Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun. Tree Pattern Rewrite Systems. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS, Volume 5311, Pages 332-346, Seoul, Korea, October 2008.
12. Claude Jard. Teaching Distributed Algorithms using Spin. In Formal Methods in Computer Science Education, ETAPS 2008, Pages 0-0, Budapest, Hungary, March 2008.
13. Claude Jard. Runs of Distributed Systems and Partial Orders. In ROGICS'2008, 1st International Conference on Relations, Orders and Graphs: Interaction with Computer Science, Pages 0-0, Mahdia, Tunisia, May 2008.
14. Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. In ACSD'08, Applications of Concurrency to System Design, Xian, China, July 2008.

Research Reports

1. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotonicity in Service Orchestrations. INRIA Research Report INRIA, No 0, 2008.
2. Loïc Hélouët. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008.
3. Loïc Hélouët, Hervé Marchand, Thierry Jéron. Testing Covert Channels. Research Report Projet Politess, 2008.
4. Loïc Hélouët, Thomas Gazagnaire, Hervé Marchand. Anomaly Detection with diagnosis technique. Research Report Projet Politess, 2008.
5. Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. Research Report IRISA, No 6412, January 2008.

Misc

1. Loïc Hélouët. SOFAT V3 : Suer Manual. August 2008.

Thesis

1. Thomas Gazagnaire. Scenario Languages: Using Partial Orders to Model, Verify and Supervize Distributed and Concurrent Systems. PhD Thesis Université de Rennes 1, 2008.
2. Stefan Haar. Law and Partial Order; Nonsequential Behaviour and Probability in Asynchronous Systems. PhD Thesis Université de Rennes 1, 2008.

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