Publications 2007

Academic Journals

1. S. Abbes, A. Benveniste. Probabilistic true-concurrency models: Markov nets and a law of large numbers. TCS special issue: FOSSACS 2005, 2007.
2. A. Bouillard, E. Thierry. An Algorithmic Toolbox for Network Calculus. Journal of Discrete Event Dynamical Systems, 18(1), 2007.
3. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Journal of Discrete Event Dynamical Systems, 17(3):267-306, 2007.
4. Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. Journal of Discrete Events Dynamical Systems, 2007.
5. Blaise Genest,,Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21, 2007.
6. S. Pickin, C. Jard, T. Jéron, J.-M. Jézéquel, Y. Le Traon. Test Synthesis form UML Models of Distributed Software. IEEE Transactions on Software Engineering, 33(4):252-268, April 2007.

International Conferences

1. Debmalya Biswas. Web Services Discovery and Constraints Composition. In RR, Volume LNCS 4524, Pages 73-87, 2007.
2. Debmalya Biswas, Il-Gon Kim. Atomicity for P2P based XML Repositories. In 2nd IEEE International Workshop on Services Engineering (SEIW), 2007.
3. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. In ICALP, Volume LNCS 4596, Pages 158-170, 2007.
4. A. Bouillard, B. Gaujal, S. Lagrange, E. Thierry. Optimal routing for end-to-end guarantees: the price of multiplexing. In VALUETOOLS, 2007.
5. Edith Elkind, Blaise Genest, Doron Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007.
6. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378-393, 2007.
7. E. Fabre. Modular Processings Based on Unfoldings. In UFO, Workshop on Unfoldings and Partial Order Techniques, 2007.
8. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
9. Thomas Gazagnaire, Loïc Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
10. T. Gazagnaire, C. Jard. Abstraire à la volée les événements d'un système réparti. In Proceedings of NOTERE 2007, 2007.
11. S. Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets. In Proceedings CDC, 2007.
12. S. Haar, C. Jard, G.-V. Jourdan. Testing Input/Output Partial Order Automata. In Testcom/Fates 07, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, Lecture Notes in Computer Science, Pages 171-185, June 2007.
13. C. Jard. Concurrent Operational Semantics of Safe Time Petri Nets. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 19-31, 2007.
14. A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 69-84, 2007.
15. Hélia Pouyllau, Stefan Haar. Distributed End-to-End QoS Contract Negotiation. In Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, Lecture Notes in Computer Science, Pages 180-183, 2007.
16. Hé Pouyllau, Stefan Haar. A protocol for QoS contract negotiation and its implementation using Web Services. In IEEE International Conference on Web Services (ICWS 2007) Salt Lake City, Utah, USA, Pages 168-175, 2007.
17. Hélia Pouyllau, Stefan Haar. End-to-end QoS of X-Domain pipes. In IEEE International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness (QShine), 2007, Vancouver, Canada, 2007.
18. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007.
19. Sidney Rosario, David Kitchin, Albert Benveniste, William and Haar,Stefan Cook, Claude Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007.

Research Reports

1. Debmalya Biswas, Krishnamurthy Vidyasankar. Formalizing Visibility Characteristics in Hierarchical Systems. Research Report INRIA, No 6225, 2007.
2. A. Bouillard, C.S. Chang. An Explicit Control Algorithm for Optical FIFO Queues. Research Report INRIA Research Report RR-6097, 2007.
3. A. Bouillard, E. Thierry. An Algorithmic Toolbox for Network Calculus. Research Report INRIA Research Report RR-6094, 2007.
4. A. Bouillard, E. Thierry. Some examples and counterexamples for (min,+) filtering operations. Research Report INRIA Research Report RR-6095, 2007.
5. Marius Bozga, Loïc Hélouët. Définition de la sémantique des diagrammes d'activités à l'aide de Réseaux de Petri. Research Report Délivrable Projet Persiform, 2007.
6. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007.
7. Blaise Genest, Philippe Darondeau, Loïc Hélouët. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.
8. Blaise Genest, Anca Muscholl, Olivier Serre, Marc. Zeitoun. Well Structured Control of Data Tree and the Decidability of AXML. 2007.
9. Asax Group. Semantics and Unfolding of AXML. Research Report Asax Project, 2007.
10. Loïc Hélouët. Application of Message Sequence Charts : a proposal for a new appendix to Z.120. Research Report Draft proposal for ITU SG17-Q12, 2007.
11. Claude Jard, Olivier Constant. Validation des formalismes proposés sur des applications concrètes. Research Report Délivrable Projet Persiform, 2007.
12. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. Research Report IRISA, No 1853, 2007.

Thesis

1. Emmanuel Donin de Rosière. Un langage non déterministe pour l'écriture de scénarios de test. PhD Thesis Université de Rennes 1, September 2007.
2. Eric Fabre. Bayesian Networks of Dynamic Systems. PhD Thesis Université de Rennes 1, 2007.

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