Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs by Schrammel, P, Jeannet, B

Applying abstract acceleration to (co−)reachability analysis of reactive programs by Schrammel, P, Jeannet, B

Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs by Schrammel, P, Jeannet, B

From hybrid data−flow languages to hybrid automata: a complete translation by Schrammel, P, Jeannet, B

Abstract Acceleration of General Linear Loops by Jeannet, B, Schrammel, P, Sankaranarayanan, S