In this page: toto | Reports | Dissertations
Software
I have designed, implemented, contributed to and led the development of various research prototypes. Some have been used for fundamental research purposes only, some for the desgn of Web languages and infrastructures, some as Web standards testbeds and finally some others have been developped as deliverables for industrial partners.
Research Prototype Implementations
XML Reasoning Solver
A fixpoint temporal logic satisfiability solver optimized for XML. Compilers for translating XPath and regular tree types including DTDs into mu-calculus for trees. Click on the picture to try the system online.
NAC high performance web and adaptation infrastructure
NAC: A Basic Core for the Adaptation and Negotiation of Multimedia Services. NAC (Negotiation and Adaptation Core) is a new basic core for multimedia services adaptation and negotiation in heterogeneous environments. The goal of the tool was to show that terminals with diverse capabilities can share the web content at the same time thanks to automatic adaptation. To allow a maximum of heterogeneity tolerance, no assumptions neither on the client context nor on the player (or the browser) used in the communication with the rest of the environment.
PocketSMIL
An embedded SMIL Player with profile management and proxy-based transcoders.
LimSee1 , LimSee2 , LimSee3
LimSee2 is a a fully featured SMIL editing system. It is a SMIL (2.x) editor developed in the WAM team at INRIA. LimSee2 is an Open Source, Java-based software.
LimSee3 is a multimedia authoring tool that aims flexibility and easiness of use through extensive use of document templates. LimSee3 is developed in Java, as Open Source. Our own contribution is subject to the CeCILL-B license (BSD-like), but due to some libraries we use, the whole project is distributed under CeCILL (GNU GPL-compatible). These tools have been used in a broad set of applications from interactive television to digital talking books with the DAISY Consortium
MIP-Phone
A SIP (Session Initiation Protocol) based embedded IP Phone with MMS Messaging
IncXSLT
A fully featured XSLT incremental document manipulation system. incXSLT is an incremental transformation framework, which can be used, in particular, in the editing of XML documents through one or many of its rendered presentations. These presentations are described as XML markup and produced usually through a transformation process. In order to facilitate this operation in an interactive authoring system, we propose to extend transformation processors to be the basis of XML documents manipulation.
Madeus1 (C implementation), Madeus 2 (Java Implementation)
A full constraint-based Multimedia authoring and presentation system.
Thot/Amaya
I have implemented the imaging, plug-ins and ... of the Thot Structured Editor (a.k.a) Grif Editor.