James Weimer

Identifiers

• name variant James Weimer 0.60 · backfill

Papers (4)

1. REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency cs.SY · 2019 · author #3
2. Verisig: verifying safety properties of hybrid systems with neural network controllers cs.SY · 2018 · author #2
3. Self-Driving Vehicle Verification Towards a Benchmark cs.LO · 2018 · author #3
4. Resilient Linear Classification: An Approach to Deal with Attacks on Training Data cs.LG · 2017 · author #2

Mentions

• 1902.04064 #3 · arxiv_oai · confidence 0.70 James Weimer
• 1811.01828 #2 · arxiv_oai · confidence 0.70 James Weimer
• 1806.08810 #3 · arxiv_oai · confidence 0.70 James Weimer
• 1708.03366 #2 · arxiv_oai · confidence 0.70 James Weimer

Frequent Coauthors

• Insup Lee 4 shared papers
• Oleg Sokolsky 2 shared papers
• Rajeev Alur 2 shared papers
• Gautam Mohan 1 shared papers
• George J. Pappas 1 shared papers
• Luan Viet Nguyen 1 shared papers
• Nima Roohi 1 shared papers
• Radoslav Ivanov 1 shared papers
• Ramneet Kaur 1 shared papers
• Sangdon Park 1 shared papers