Author of the publication

Counterexample-Guided Abstraction Refinement for Symbolic Model Checking

, , , , and . Journal of the ACM, 50 (5): 752-794 (September 2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Counterexample-Guided Abstraction Refinement for Symbolic Model Checking, , , , and . Journal of the ACM, 50 (5): 752-794 (September 2003)A Census of Star-Forming Galaxies in the z~9-10 Universe based on HST+Spitzer Observations Over 19 CLASH clusters: Three Candidate z~9-10 Galaxies and Improved Constraints on the Star Formation Rate Density at z~9.2, , , , , , , , , and 28 other author(s). (2012)cite arxiv:1211.2230Comment: 19 pages, 10 figures, 4 tables, submitted to the Astrophysical Journal.Modular Verification of Software Components in C, , , , and . IEEE Transactions on Software Engineering, 30 (6): 388-402 (June 2004)Observational Evidence from Supernovae for an Accelerating Universe and a Cosmological Constant, , , , , , , , , and 10 other author(s). The Astronomical Journal, (September 1998)Differential Expression Profile of NLRs and AIM2 in Glioma and Implications for NLRP12 in Glioblastoma, , , , , , , , and . Sci Rep, 9 (1): 8480-8480 (June 2019)Deja Vu All Over Again: The Reappearance of Supernova Refsdal, , , , , , , , , and 14 other author(s). (2015)cite arxiv:1512.04654Comment: Submitted to ApJL on 12/11/15.Explicitly Privacy-Aware Space Usage Analysis., , and . TrustCom, page 1285-1290. IEEE, (2020)Synergies between Vera C. Rubin Observatory, Nancy Grace Roman Space Telescope, and Euclid Mission: Constraining Dark Energy with Type Ia Supernovae, , , , , , , , , and 18 other author(s). (2021)cite arxiv:2104.01199Comment: Response to the recent DOE/NASA Request for Information. Endorsed by the Roman Supernova Science Investigation Teams and the LSST DESC Supernova Working Group.Approximate Q-learning approach for Health Aware Control Design., , , and . SysTol, page 418-423. IEEE, (2019)Remaining Useful Life Prediction for Liquid Propulsion Rocket Engine Combustion Chamber., , , and . SysTol, page 225-230. IEEE, (2021)