Pierre-Cyrille Heam (INRIA Nancy - Grand Est / LORIA / LIFC

Identifiers

• name variant Pierre-Cyrille Heam (INRIA Nancy - Grand Est / LORIA / LIFC 0.60 · backfill

Papers (2)

1. Random Grammar-based Testing for Covering All Non-Terminals cs.SE · 2013 · author #3
2. Enhancing Approximations for Regular Reachability Analysis cs.FL · 2013 · author #3

Mentions

• 1311.6606 #3 · backfill · confidence 0.70 Pierre-Cyrille Heam (INRIA Nancy - Grand Est / LORIA / LIFC
• 1311.6605 #3 · backfill · confidence 0.70 Pierre-Cyrille Heam (INRIA Nancy - Grand Est / LORIA / LIFC

Frequent Coauthors

• FEMTO-ST) 2 shared papers
• Alois Dreyfus (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers
• Alois Dreyfus (UMR 6174 1 shared papers
• INRIA Nancy - Grand Est / LORIA / LIFC) 1 shared papers
• Olga Kouchnarenko (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers
• Olga Kouchnarenko (UMR 6174 1 shared papers
• UMR 6174) 1 shared papers