At the moment the most officially accessible workflow to my knowledge for SBAS with S1, SNAP and StaMPS is
It is not part of the official SNAP release. So if you want to use it, I recommend to read this thread above to be aware of potential issues.
1 Like