1. [ABM09] Satisfiability and relevance for queries over active documents. S. Abiteboul, P. Bourhis, B. Marinoiu. In PODS 2009.

  2. [AMB09edbt] Efficient Maintenance Techniques for Views over Active Documents. S.Abiteboul,  B. Marinoiu, P. Bourhis. In EDBT 2009.

  3. [AMB08icde] Distributed Monitoring of Peer-to-Peer Systems. S. Abiteboul,  B. Marinoiu, P. Bourhis. In ICDE 2008 (demo).

  4. [AM07BDA] Distributed Monitoring of Peer to Peer Systems. S. Abiteboul, B. Marinoiu. In ACM Int. workshop on Web Information and Data Management, 2007. Also in  BDA 2007.

  5. [ABM07BDA] Incremental View Maintenance for Active Documents. S. Abiteboul, P.Bourhis, B. Marinoiu. In BDA 2007.

  6. [BHJR] QoS monitoring of soft contracts for transaction based Web services orchestrations A. Benveniste, S. Haar, C. Jard, S. Rosario.

  1. [BH10] Document based modeling of Web services choreographies using Active XML. A. Benveniste, L. Hélouët. International conference on Web Services (ICWS), 2010.

  1. [RBHJ09] Probabilistic QoS and soft contracts for transaction based Web services orchestrations. S. Rosario, A. Benveniste, S. Haar, C. Jard. In IEEE Trans. on Service Computing, 2009 (special issue ICWS’07).

  2. [Ben8] Composing Web Services in an Open World: Issues of Quality of Service. A. Benveniste. In FORMATS’08, 2008 (invited talk, abstract).

  3. [BHJR] QoS monitoring of soft contracts for transaction based Web services orchestrations A. Benveniste, S. Haar, C. Jard, S. Rosario.

  4. [RBHJ07] Probabilistic QoS and soft contracts for transaction based Web services orchestrations  S. Rosario, A. Benveniste, S. Haar, C. Jard. In ICWS 2007.

  5. [Bis07] Web Services Discovery and Constraints Composition. D. Biswas. In Web Reasoning and Rule Systems, 2007.

  6. [RKB07] Event Structure Semantics of Orc. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. In Int. Workshop on Web Services and Formal Methods (WS-FM), 2007.

  7. [MW07] A lower bound on Web services composition. A. Muscholl, I. Walukiewicz. In  FoSSaCS, 2007. Journal (extended) version in Logical Methods in Computer Science 4(2:5):1--14, 2008.

  1. [ABGM09] The AXML Artifact Model. S. Abiteboul, P. Bourhis, A. Galland, B. Marinoiu:. In TIME 2009.

  2. [GMW09] Verifying Recursive Active Documents with Positive Data Tree Rewriting. B. Genest, A. Muscholl, Z. Wu, report 2009.

  3. [HB09] Distributed Active XML and Service Interfaces. L. Hélouët, A. Benveniste. INRIA report no. 7082, 2009.

  4. [ASV08] Static analysis for Active XML systems. S. Abiteboul, L. Segoufin, V. Vianu. In PODS 2008. Journal version in ACM Trans. Database Syst. 34(4), 2009.

  5. [GMSZ08] Tree pattern rewriting systems. B. Genest, A. Muscholl, O. Serre, M. Zeitoun. In ATVA’08, LNCS 5311, 2008.

  6. Docflow’s example. A.Vincent, A. Benveniste, L. Hélouët, E. Fabre, B. Genest, S. Abiteboul. Draft, February 2008.

Models for active documents




  1. [Dav08] Complexity of Data Tree Patterns over XML Documents. C. David. In MFCS’08, LNCS 5162, 2008.

  2. [Bar08] Semi-synchronous transductions. V. Bárány. In Acta Informatica, 46(1), 2008.

  3. [GKM07] On Communicating Automata with Bounded Channels. B. Genest, D. Kuske and A. Muscholl. In Fundamenta Informatica 80(1), 2007.


  1. [AMZ08icwe] OptimAX: Optimizing Distributed ActiveXML Applications. S. Abiteboul, I. Manolescu, S. Zoupanos. In ICWE 2008.

  2. [AMZ08icde] OptimAX: efficient support for data-intensive mash-ups. S. Abiteboul, I. Manolescu, S. Zoupanos. In ICDE 2008 (demo).

  3. [AMPPS08] XML processing in DHT networks. S. Abiteboul, I. Manolescu, N. Polyzotis, N. Preda, C. Sun. In AMP’08.


  1. [BJG09] Atomicity for XML Databases. D. Biswas, A. Jiwane, B. Genest. International XML Database Symposium (XSym), 2009.

  2. [Bis09] Visibility in Hierarchical Systems. D. Biswas, PhD thesis Rennes 1, Jan. 2009. Available at

  3.   [MW08] A look at the control of asynchronous automata. A. Muscholl, I. Walukiewicz, M. Zeitoun. Universities Press India, 2009.

  4. [BGG08] Small Logs for Transactional Services. D. Biswas, T. Gazagnaire, B. Genest. High Assurance Systems Engineering Symposium (HASE), 2008.

  5.   [Bis08] Active XML Replication and Recovery. D. Biswas. In International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), 2008.

  6.   [BG08] Minimal Observability for Transactional Hierarchical Services. D. Biswas, B. Genest. In International Conference on Software Engineering and Knowledge Engineering (SEKE), 2008.

  7. [BV08] A Highly Flexible Data Structure for Multi-level Visibility of P2P Communities. D. Biswas, K. Vidyasankar. In International Conference on Distributed Computing and Networking (ICDCN), LNCS 4904, 2008.

  8.    [BV07] Formalizing Visibility Characteristics in Hierarchical Systems. D.Biswas, K. Vidyasankar. Rapport INRIA RR-6225, 2007.

  9.   [BG07]  Atomicity for P2P based XML Repositories. D. Biswas, K. Il-Gon. In ICDE International Workshop on Services Engineering (SEIW), 2007.