Marsha Chechik

Identifiers

• name variant Marsha Chechik 0.60 · backfill

Papers (3)

1. Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables cs.SE · 2026 · author #5
2. Optimizing Computation of Recovery Plans for BPEL Applications cs.SE · 2010 · author #3
3. Robust Vacuity for Branching Temporal Logic cs.LO · 2010 · author #2

Mentions

• 2606.03870 #5 · arxiv_oai · confidence 0.70 Marsha Chechik
• 1009.3710 #3 · backfill · confidence 0.70 Marsha Chechik
• 1002.4616 #2 · backfill · confidence 0.70 Marsha Chechik

Frequent Coauthors

• Alessio Di Sandro 1 shared papers
• Aren A. Babikian 1 shared papers
• Arie Gurfinkel 1 shared papers
• Claudio Menghi 1 shared papers
• Federico Formica 1 shared papers
• Jocelyn Simmonds 1 shared papers
• Shoham Ben-David 1 shared papers