Abstract The development of Human Robot Collaborative (HRC) systems faces many challenges. First, HRC should be adaptable and re-configurable to support fast production changes. However, in the applications safety considerations are paramount importance, as much classical activities such task programming deployment. Hence, reconfiguration reprogramming executing tasks might necessary also fulfi...

We present an approach for implementing a formally certified loop-invariant code motion optimization by composing unrolling pass and yet efficient global subexpression elimination. This is lightweight: each comes with simple independent proof of correctness. Experiments show the significantly narrows performance gap between CompCert compiler state-of-the-art optimizing compilers. Our static ana...

In the future, assistive robots will spread to everyday settings and regularly interact with humans. This paper introduces a deployment approach for robotic applications where human-robot interaction is main element. The infrastructure hinges on model-to-code transformation technique ROS-based middleware layer enables in real life or simulation virtual environment. fits into model-driven framew...

(-)-Gephyrotoxin-223 was formally synthesized from chiral synthon 1 which has been chemoenzymatically synthesized  in the presence  of Candida Antartica lipase.        

The automatic generation of travel-time maps is a prerequisite for many fields application such as tourist assistance and spatial decision support systems, example to analyze the accessibility health social facilities. task determine outlines zones that are reachable from user’s location in given amount time. In this work we focus on with formally guaranteed SEPARATION PROPERTY sense zone exact...