  In this paper we prove the finiteness of the set of S-integral points of a
punctured rational elliptic curve without complex multiplication using the
Chabauty-Kim method. This extends previous results of Kim in the complex
multiplication case. The key input of our approach is the use of modularity
techniques to prove the vanishing of certain Selmer groups involved in the
Chabauty-Kim method.
