We study generalisations to totally real fields of the methods originating with Wiles and Taylor and Wiles [A. Wiles, Modular elliptic curves and Fermat's Last ] on elliptic curves with ordinary reduction, we focus here on the case of supersingular reduction. Combining these, we then obtain some partial results on the modularity problem for semistable elliptic curves, and end by giving some applications of our results, for example proving the modularity of all semistable elliptic curves over Q( √ 2 ).