Speeding Up Logico−Numerical Strategy Iteration by Monniaux, D, Schrammel, P

Necessary and Sufficient Preconditions via Eager Abstraction by Seghir, M, Schrammel, P

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

Abstract Acceleration in Linear Relation Analysis by Gonnord, L, Schrammel, P

Logico−Numerical Max−Strategy−Iteration by Schrammel, P, Subotic, P

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

Generating test case chains for reactive systems by Schrammel, P, Melham, T, Kroening, D

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

Chaining Test Cases for Reactive System Testing by Schrammel, P, Melham, T, Kroening, D

A workplace breast cancer screening program. Costs and components. by Schrammel, P, Griffiths, R, Griffiths, C

Accelerated test execution using GPUs by Rajan, A, Sharma, S, Schrammel, P, Kroening, D

Safety verification and refutation by k-invariants and k-induction by Brain, M, Joshi, S, Kroening, D, Schrammel, P

Accelerated test execution using GPUs by Rajan, A, Sharma, S, Schrammel, P, Kroening, D

Unbounded Safety Verification for Hardware Using Software Analyzers by Mukherjee, R, Schrammel, P, Kroening, D, Melham, T

Sound static deadlock analysis for C/Pthreads (extended version) by Kroening, D, Poetzl, D, Schrammel, P, Wachter, B

Model and Proof Generation for Heap−Manipulating Programs by Brain, M, David, C, Kroening, D, Schrammel, P

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration by Cattaruzza, D, Abate, A, Schrammel, P, Kroening, D

Model and proof generation for heap-manipulating programs by Brain, M, David, C, Kroening, D, Schrammel, P