Man kann eigentlich jedes Schnittprogramm benutzen. Ich mach es z.B. mit Final Cut, aber es tut auch jedes andere Programm.
Man muss dann einfach nur die Dauer der einzelnen Fotos einstellen. Je nachdem, wieviele fps man haben will, z.b. 00:10 s wären 10 fps.