Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Chao Wang
    Last name: 0001
    DBLP: w/ChaoWang
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 666  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Lu Zhang, Chao Wang 0001.
    RClassify: classifying race conditions in web applications via deterministic replay.
    Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 2017 (0) 2017
    Conference paper
    Chao Wang 0001, Patrick Schaumont.
    Security by compilation: an automated approach to comprehensive side-channel resistance.
    SIGLOG News 2017, Volume 4 (0) 2017
    Conference paper
    Meng Wu, Haibo Zeng, Chao Wang 0001, Huafeng Yu.
    Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.
    Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017 2017 (0) 2017
    Conference paper
    Tingting Yu, Tarannum S. Zaman, Chao Wang 0001.
    DESCRY: reproducing system-level concurrency failures.
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017 (0) 2017
    Conference paper
    Shengjian Guo, Meng Wu, Chao Wang 0001.
    Symbolic execution of programmable logic controller code.
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017 (0) 2017
    Conference paper
    Markus Kusano, Chao Wang 0001.
    Thread-modular static analysis for relaxed memory models.
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017 (0) 2017
    Journal article
    Chungha Sung, Markus Kusano, Chao Wang 0001.
    Modular Verification of Interrupt-Driven Software.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Markus Kusano, Chao Wang 0001.
    Thread-Modular Static Analysis for Relaxed Memory Models.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Markus Kusano, Chao Wang 0001.
    Flow-Sensitive Composition of Thread-Modular Abstract Interpretation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Lin Cheng, Zijiang Yang, Chao Wang 0001.
    Systematic reduction of GUI test sequences.
    Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017 2017 (0) 2017
    Show item 1 to 10 of 666  

    Your query returned 666 matches in the database.