PhD Scholars' Conference Publications

    2010

    • Viktor Kuncak, Ruzica Piskac, Philippe Suter, and Thomas Wies, Building a Calculus of Data Structures, in Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), Springer, 2010
    • Simon Schubert, Frank Uyeda, Nedeljko Vasic, Naveen Cherukuri, and Dejan Kostic, Bandwidth Adaptation in Streaming Overlays, in Proceedings of The Second International Conference on COMmunication Systems and NETworkS (COMSNETS), 2010
    • Andreas Podelski and Thomas Wies, Counterexample-guided focus, in ACM Symposium on Principles of Programming Languages (POPL 2010), ACM, 2010

    2009

    2008

    2007

    2006

    2005

    2002

    Share
    Share this page on Facebook
    Share this page on Twitter
    Share this page on LinkedIn
    E-mail this page
    RSS feeds