MedInria.
DALHIS » Associate team - Myriads / LBNL ACS department. Kinovis » a large environment for the visual perception of shapes in motion. PyECDAR » Timed games for Timed Specifications. PyECDAR is a free software that analyses timed games and timed specifications. The tool allows to solve timed games based on timed automata models. These can be extended with adaptive features to represent dynamicity and model software product lines. The tool implements original algorithms for solving Timed AdaCTL formulae. Timed specifications allow compositional reasoning between components based on Timed I/O Automata (TIOA). PyECDAR implements algorithms for the analysis of timed specifications.
It includes in particular original methods for robustness analysis. The current features allow: the computation of parallel composition and conjunctionrefinement checkingconsistency checkingcompatibility checkingrobust satisfaction checkingrobust consistency checkingrobust compatibility checking The tool implements its own engines: pytiga for timed games analysis and T-AdaCTL checkingpyreachability for reachability and safety analysispyrobustcegar for robustness analysis. NuWat » Numerics for water treatment research. QUAIL » Quantitative Analyzer for Imperative Languages. QUAIL is a tool to evaluate the security of systems through a quantitative analysis of information leakage.
It takes as an input a program written in a simple imperative language with randomized primitives. It builds a Markovian model of the program and analyzes the information leakage in the model. The tool consists in a preprocessor and an analyzer. The preprocessor compiles a program written in the QUAIL imperative language into a lower level language. The analyzer performs the following tasks to compute the leakage: The tool outputs the leakage expressed as a number of bits of information with the chosen precision. QUAIL is the result of a collaboration between INRIA Rennes and IT University in Copenhagen.
Boost Your Code! ITSSv6 » IPv6 Stack for Cooperative ITS. ITSSv6 builds on existing standards from ETSI, ISO and IETF and IPv6 software available from the CVIS and GeoNet projects. The IPv6 lTS station stack provided by ITSSv6 supports at least 802.11p and 2G/3G media types and is configured differently according to the role played by the ITS station (roadside, vehicle, central). Implemented IPv6 features specific to the Vehicle ITS station include NEMO and MCoA to maintain Internet continuity over multiple medias and IPv6 GeoNetworking for multi-hop communications between Vehicle and Roadside ITS stations over 802.11p. The IPv6 ITS station stack will be tested in relevant EU or National Cooperative Intelligent Transport Systems’ Field Operational Tests (Cooperative ITS FOTs) and projects.
The tasks of ITSSv6 tasks are to: TREASURE » Treatment and Sustainable Reuse of Effluents in semiarid climates. TREASURE (for Treatment and Sustainable Reuse of Effluents in semiarid climates) is a scientific Euro-Mediterranean research consortium associating institutions from Southern Europe and Northern Africa countries about biological wastewater treatment plants and microbial ecosystems. It is coordinated by the MODEMIC research team and a research group in mathematics and automatic control of the University of Tlemcen, Algeria. At the origin of the consortium, in 2006, the involved partners only consisted of academics from France, Algeria, Italy and Tunisia. Today, it is a network of a dozen of partners from eight Mediterranean countries (cf. the “Partners” section).
The network aims at promoting both research and education activities, the improvement and the diffusion of knowledge on bioprocesses and microbial ecosystems being among the main components of the project. In terms of research, this leads to :
Bulletin RI » Le bulletin des Relations Internationales du centre Inria Rennes - Bretagne Atlantique. In this 9th issue ♦♦♦ NewsThe second edition of the Meeting Pot is to be held this Thursday at the cafeteria. The 2014 BIS workshop will be held in June.The workshop to strengthen cooperations between China and France on ICST will be held in Paris on May, 16th. Letter of the Direction of European Partnerships ♦♦♦ Current Calls for projectsAll the calls towards scientific cooperation and mobility. 2nd Edition of the Meeting PotThe second edition of “Meeting Pot : rencontres de l’international” is held this Thursday, April 17th at 11am at the cafeteria.
International Mobility of PhD students is the chosen theme : through shared experiences, you will be able to understand the importance of a stay abroad during your thesis. Do not hesitate to join us! Inria@SiliconValley : the 2014 BIS WorkshopThe 2014 Berkeley-Inria-Stanford Workshop will be held in Paris from June 17th to 19th (at the CNAM).
It will be held in Paris on May, 16th.Information and registration here. Africa / Middle East America.
HAL - Inria. Colloque/Evénements. SCORE@F - Système COopératif Routier Expérimental Français. StopFingerprinting » How trackable is your browser in a long term?