Edmund M. Clarke

Affiliations: 
1982-2015 Computer Science Carnegie Mellon University, Pittsburgh, PA 
Website:
https://www.cs.cmu.edu/~emc/bio.html
Google:
"Edmund M. Clarke"
Bio:

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=50063

Children

Sign in to add trainee
E Allen Emerson grad student 1981 Harvard
Bhubaneswar Mishra grad student 1985 Carnegie Mellon
David L. Dill grad student 1988 Carnegie Mellon
Somesh Jha grad student 1996 Carnegie Mellon
Alex Groce grad student 2005 Carnegie Mellon
Bing Liu post-doc 2012-2014 Carnegie Mellon
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Černý P, Clarke EM, Henzinger TA, et al. (2017) From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50: 97-139
Bae K, Ölveczky PC, Kong S, et al. (2016) SMT-based analysis of virtually synchronous distributed hybrid systems Hscc 2016 - Proceedings of the 19th International Conference On Hybrid Systems: Computation and Control. 145-154
Janota M, Klieber W, Marques-Silva J, et al. (2016) Solving QBF with counterexample guided refinement Artificial Intelligence. 234: 1-25
Wang Q, Miskov-Zivanov N, Liu B, et al. (2016) Formal modeling and analysis of pancreatic cancer microenvironment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9859: 289-305
Wang Q, Telmer C, Miskov-Zivanov N, et al. (2015) Formal analysis provides parameters for guiding hyperoxidation in bacteria using phototoxic proteins Proceedings of the Acm Great Lakes Symposium On Vlsi, Glsvlsi. 20: 315-320
Liu B, Kong S, Gao S, et al. (2015) Towards personalized prostate cancer therapy using delta-reachability analysis Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 227-232
Gao S, Kong S, Clarke EM. (2015) Proof generation from delta-decisions Proceedings - 16th International Symposium On Symbolic and Numeric Algorithms For Scientific Computing, Synasc 2014. 156-163
Clarke EM, Wang Q. (2015) 25 years of model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8974: 26-40
Kong S, Gao S, Chen W, et al. (2015) dReach: δ-Reachability analysis for hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 200-205
Wang Q, Zuliani P, Kong S, et al. (2015) Sreach: A probabilistic bounded delta-reachability analyzer for stochastic hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9308: 15-27
See more...