Corina S. Pasareanu

Identifiers

• name variant Corina S. Pasareanu 0.60 · backfill

Papers (7)

1. Prophecy: Inferring Formal Properties from Neuron Activations cs.LG · 2025 · author #2
2. DifFuzz: Differential Fuzzing for Side-Channel Analysis cs.CR · 2018 · author #3
3. Compositional Verification for Autonomous Systems with Deep Learning Components cs.AI · 2018 · author #1
4. Symbolic Execution for Deep Neural Networks cs.SE · 2018 · author #4
5. Learning Probabilistic Systems from Tree Samples cs.LO · 2012 · author #2
6. Assume-Guarantee Abstraction Refinement for Probabilistic Systems cs.LO · 2012 · author #2
7. Predicate Abstraction with Under-approximation Refinement cs.GT · 2007 · author #1

Mentions

• 1207.5091 #2 · backfill · confidence 0.70 Corina S. Pasareanu
• 1207.5086 #2 · backfill · confidence 0.70 Corina S. Pasareanu

Frequent Coauthors

• Divya Gopinath 3 shared papers
• Anvesh Komuravelli 2 shared papers
• Edmund M. Clarke 2 shared papers
• Huafeng Yu 1 shared papers
• Kaiyuan Wang 1 shared papers
• Mengshi Zhang 1 shared papers
• Muhammad Usman 1 shared papers
• Radek Pelanek 1 shared papers
• Sarfraz Khurshid 1 shared papers
• Shirin Nilizadeh 1 shared papers
• Willem Visser 1 shared papers
• Yannic Noller 1 shared papers