Anne Robert

Tommaso Chiarusi1
Stefano Cecchini1
1Tommaso Chiarusi
1Stefano Cecchini
Learn More
This paper studies a general methodology and an associated tool for translating AADL (Architecture Analysis and Design Language) and annex behavior specification into the BIP (Behavior Interaction Priority) language. This allows simulation of systems specified in AADL and application to these systems of formal verification techniques developed for BIP, e.g.(More)
Schistosomiasis is among the most neglected tropical diseases, since its mode of spreading tends to limit the contamination to people who are in contact with contaminated waters in endemic countries. Here we report the in vitro and in vivo anti-schistosomal activities of trioxaquines. These hybrid molecules are highly active on the larval forms of the worms(More)
The accumulation of redox-active metal ions, in particular copper, in amyloid plaques is considered to the cause of the intensive oxidation damage to the brain of patients with Alzheimers disease (AD). Drug candidates based on a bis(8-aminoquinoline) tetradentate ligand are able to efficiently extract Cu(2+) from copper-loaded amyloids (Cu-Aβ). Contrarily,(More)
  • Christian Tamburini, Miquel Canals, Xavier Durrieu de Madron, Loïc Houpert, Dominique Lefèvre, Séverine Martini +150 others
  • 2013
The deep ocean is the largest and least known ecosystem on Earth. It hosts numerous pelagic organisms, most of which are able to emit light. Here we present a unique data set consisting of a 2.5-year long record of light emission by deep-sea pelagic organisms, measured from December 2007 to June 2010 at the ANTARES underwater neutrino telescope in the deep(More)
In this paper we show that by performing some VHDL elaboration transformations before synthesis we can extend the synthesis subset to include complex structural and hierarchical statements. This in turn means that: • Design, debug and simulation times are reduced • Designs are more accessible (readable, modifiable, portable, reusable) • Design prototyping(More)
  • 1