Author of the publication

Assumption Generation for Asynchronous Systems by Abstraction Refinement.

, , , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 260-276. Springer, (2012)

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

Discovering hot topics from geo-tagged video., , , , and . Neurocomputing, (2013)TRISO-Model: A New Approach to Integrated Software Process Assessment and Improvement.. Softw. Process. Improv. Pract., 12 (5): 387-398 (2007)Estimating fixing effort and schedule based on defect injection distribution., , , , , , and . Softw. Process. Improv. Pract., 13 (1): 35-50 (2008)Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution., , , , , and . ICCD, page 587-595. IEEE, (2023)Understanding the Contribution of Non-source Documents in Improving Missing Link Recovery: An Empirical Study., , and . ESEM, page 39:1-39:10. ACM, (2016)Effect of staffing pattern on software project: An empirical analysis., , , , and . ESEM, page 23-33. IEEE Computer Society, (2009)Software Process Management: Practices in China., and . ISPW, volume 3840 of Lecture Notes in Computer Science, page 317-331. Springer, (2005)Search based risk mitigation planning in project portfolio management., , , , and . ICSSP, page 146-155. ACM, (2013)Assumption Generation for Asynchronous Systems by Abstraction Refinement., , , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 260-276. Springer, (2012)Characterizing the spatio-temporal burstiness of storage workloads., , , , and . CloudDP@EuroSys, page 2:1-2:6. ACM, (2015)