Edmund M. Clarke
Identifiers
- name variant Edmund M. Clarke 0.60 · backfill
Papers (10)
- Formal Modeling and Analysis of Pancreatic Cancer Microenvironment q-bio.QM · 2016 · author #6
- Optimizing Solution Quality in Synchronization Synthesis cs.PL · 2015 · author #2
- From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis cs.PL · 2015 · author #2
- Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis q-bio.QM · 2014 · author #5
- Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions cs.LO · 2014 · author #5
- SReach: A Bounded Model Checker for Stochastic Hybrid Systems cs.FL · 2014 · author #5
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking cs.LO · 2013 · author #4
- Learning Probabilistic Systems from Tree Samples cs.LO · 2012 · author #3
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems cs.LO · 2012 · author #3
- Quantifier Elimination over Finite Fields Using Gr\"obner Bases cs.SC · 2011 · author #3
Mentions
- 1505.04533 #2 · backfill · confidence 0.70 Edmund M. Clarke
- 1410.7346 #5 · backfill · confidence 0.70 Edmund M. Clarke
- 1407.1524 #5 · backfill · confidence 0.70 Edmund M. Clarke
- 1404.7206 #5 · backfill · confidence 0.70 Edmund M. Clarke
- 1306.1945 #4 · backfill · confidence 0.70 Edmund M. Clarke
- 1207.5091 #3 · backfill · confidence 0.70 Edmund M. Clarke
- 1207.5086 #3 · backfill · confidence 0.70 Edmund M. Clarke
- 1104.0746 #3 · backfill · confidence 0.70 Edmund M. Clarke
Frequent Coauthors
- Sicun Gao 4 shared papers
- Anvesh Komuravelli 3 shared papers
- Bing Liu 3 shared papers
- Paolo Zuliani 3 shared papers
- Soonho Kong 3 shared papers
- Arjun Radhakrishna 2 shared papers
- Corina S. Pasareanu 2 shared papers
- Leonid Ryzhyk 2 shared papers
- Pavol \v{C}ern\'y 2 shared papers
- Qinsi Wang 2 shared papers
- Roopsha Samanta 2 shared papers
- Thomas A. Henzinger 2 shared papers
- Thorsten Tarrach 2 shared papers
- Andr\'e Platzer 1 shared papers
- Arie Gurfinkel 1 shared papers
- James R. Faeder 1 shared papers
- Michael Lotze 1 shared papers
- Natasa Miskov-Zivanov 1 shared papers
- Sagar Chaki 1 shared papers