Publication

Automatic Verification of Parametric Specifications with Complex Topologies

Related publications (23)

Design of Steerable Wavelets to Detect Multifold Junctions

Michaël Unser, Cédric René Jean Vonesch, Zsuzsanna Püspöki, Virginie Sophie Uhlmann

We propose a framework for the detection of junctions in images. Although the detection of edges and key points is a well examined and described area, the multiscale detection of junction centers, especially for odd orders, poses a challenge in pattern ana ...

IEEE2015

Representation of Medical Guidelines with a Computer Interpretable Model

Giovanni De Micheli, Alena Simalatsar, Wenqi You Dubout

Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system which requires their computer ...

World Scientific Publ Co Pte Ltd2014

Sound Compilation of Reals

Viktor Kuncak, Eva Darulova

Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...

ACM2014