dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Edmund M. Clarke (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang: Automated Assume-Guarantee Reasoning through Implicit Learning. CAV 2010: 511-526
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu: Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. ISoLA (1) 2010: 643-657
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang: Learning Minimal Separating DFA's for Compositional Verification. TACAS 2009: 31-45
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang: Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. TACAS 2008: 2-17

Selection of 4 from 259 records - Edmund M. Clarke has 165 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page