Anne Robert

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)
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