This report describes intermediate results of the current project HITCH (Healthcare Interoperability Testing Conformance Harmonisation) of the European Commission. Issued by EC DG Information Society, the project invites partners with different approaches regarding specification, testing and certification/labelling to join their methods and establish a roadmap towards an overall functionality a...

Online conformance checking comes with new challenges, especially in terms of time and space constraints. One fundamental challenge explaining the a running case is balancing between making sense at process level as reaches completion putting emphasis on current information same time. In this paper, we propose an online framework that tackles problem by incorporating step estimating “location” ...

One of the interesting topics on multimedia domain is concerned with empowering computer in order to speech production. Speech synthesis is granting human abilities to the computer for speech production. Data-based approach and process-based approach are the two main approaches on speech synthesis. Each approach has its varied challenges. Unit-selection speech synthesis and statistical parametr...

During modern model-driven development processes, generators and higherorder transformations are used to create metamodels with short life cycles. Since these metamodels often differ from each other only in small parts, instances as well as metamodels may be re-used if the difference between them does not lead to a violation of instance conformance. Existing co-evolution approaches describe thi...

This paper presents the TGV tool allowing the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV has been developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory, based on a model of transitions system which ...