Publications
• [ABM09] Satisfiability and relevance for queries over active documents. S. Abiteboul, P. Bourhis, B. Marinoiu. In PODS 2009.
• [AMB09edbt] Efficient Maintenance Techniques for Views over Active Documents. S.Abiteboul, B. Marinoiu, P. Bourhis. In EDBT 2009.
• [AMB08icde] Distributed Monitoring of Peer-to-Peer Systems. S. Abiteboul, B. Marinoiu, P. Bourhis. In ICDE 2008 (demo).
• [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.
• [ABM07BDA] Incremental View Maintenance for Active Documents. S. Abiteboul, P.Bourhis, B. Marinoiu. In BDA 2007.
• [BHJR] QoS monitoring of soft contracts for transaction based Web services orchestrations A. Benveniste, S. Haar, C. Jard, S. Rosario.
• [BH10] Document based modeling of Web services choreographies using Active XML. A. Benveniste, L. Hélouët. International conference on Web Services (ICWS), 2010.
• [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).
• [Ben8] Composing Web Services in an Open World: Issues of Quality of Service. A. Benveniste. In FORMATS’08, 2008 (invited talk, abstract).
• [BHJR] QoS monitoring of soft contracts for transaction based Web services orchestrations A. Benveniste, S. Haar, C. Jard, S. Rosario.
• [RBHJ07] Probabilistic QoS and soft contracts for transaction based Web services orchestrations S. Rosario, A. Benveniste, S. Haar, C. Jard. In ICWS 2007.
• [Bis07] Web Services Discovery and Constraints Composition. D. Biswas. In Web Reasoning and Rule Systems, 2007.
• [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.
• [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.
• [ABGM09] The AXML Artifact Model. S. Abiteboul, P. Bourhis, A. Galland, B. Marinoiu:. In TIME 2009.
• [GMW09] Verifying Recursive Active Documents with Positive Data Tree Rewriting. B. Genest, A. Muscholl, Z. Wu, report 2009.
• [HB09] Distributed Active XML and Service Interfaces. L. Hélouët, A. Benveniste. INRIA report no. 7082, 2009.
• [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.
• [GMSZ08] Tree pattern rewriting systems. B. Genest, A. Muscholl, O. Serre, M. Zeitoun. In ATVA’08, LNCS 5311, 2008.
• Docflow’s example. A.Vincent, A. Benveniste, L. Hélouët, E. Fabre, B. Genest, S. Abiteboul. Draft, February 2008.
Models for active documents
Monitoring
Orchestrations
Various
• [Dav08] Complexity of Data Tree Patterns over XML Documents. C. David. In MFCS’08, LNCS 5162, 2008.
• [Bar08] Semi-synchronous transductions. V. Bárány. In Acta Informatica, 46(1), 2008.
• [GKM07] On Communicating Automata with Bounded Channels. B. Genest, D. Kuske and A. Muscholl. In Fundamenta Informatica 80(1), 2007.
Optimization
• [AMZ08icwe] OptimAX: Optimizing Distributed ActiveXML Applications. S. Abiteboul, I. Manolescu, S. Zoupanos. In ICWE 2008.
• [AMZ08icde] OptimAX: efficient support for data-intensive mash-ups. S. Abiteboul, I. Manolescu, S. Zoupanos. In ICDE 2008 (demo).
• [AMPPS08] XML processing in DHT networks. S. Abiteboul, I. Manolescu, N. Polyzotis, N. Preda, C. Sun. In AMP’08.
Security
• [BJG09] Atomicity for XML Databases. D. Biswas, A. Jiwane, B. Genest. International XML Database Symposium (XSym), 2009.
• [Bis09] Visibility in Hierarchical Systems. D. Biswas, PhD thesis Rennes 1, Jan. 2009. Available at http://perso.crans.org/~genest/ThesisDebmalya.pdf.
• [MW08] A look at the control of asynchronous automata. A. Muscholl, I. Walukiewicz, M. Zeitoun. Universities Press India, 2009.
• [BGG08] Small Logs for Transactional Services. D. Biswas, T. Gazagnaire, B. Genest. High Assurance Systems Engineering Symposium (HASE), 2008.
• [Bis08] Active XML Replication and Recovery. D. Biswas. In International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), 2008.
• [BG08] Minimal Observability for Transactional Hierarchical Services. D. Biswas, B. Genest. In International Conference on Software Engineering and Knowledge Engineering (SEKE), 2008.
• [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.
• [BV07] Formalizing Visibility Characteristics in Hierarchical Systems. D.Biswas, K. Vidyasankar. Rapport INRIA RR-6225, 2007.
• [BG07] Atomicity for P2P based XML Repositories. D. Biswas, K. Il-Gon. In ICDE International Workshop on Services Engineering (SEIW), 2007.