Publication The Role of Abduction in Declarative Authorization Policies Mo Becker 10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008 10th International Symposium on Practical Aspects of Declarative Languages (PADL)
Publication Performance of Random Medium Access – An asymptotic approach Charles Bordenave, David McDonald, Alexandre Proutiere ACM Sigmetrics | January 2008
Publication A Secure Compiler for Session Abstractions Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer Journal of Computer Security (Special issue for CSF’07) | January 2008
Publication Digitaltechnik – eine praxisnahe Einführung Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger Published by Springer Verlag Berlin Heidelberg | January 2008
Publication Loop Summarization using Abstract Transformers Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Proceedings of ATVA 2008 | January 2008
Publication A Review of Overview+Detail, Zooming, and Focus+Context Interfaces Andy Cockburn, Amy Karlson, Benjamin B. Bederson ACM Computing Surveys, ACM Surveys | January 2008 ACM Surveys
Publication Compositional Modeling for Data-Centric Business Applications Ethan Jackson, Wolfram Schulte Software Composition | January 2008 ISBN: 978-3-540-78788-4 Project
Publication Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949 ISBN: 978-3-540-78916-1 The attached file is a preliminary version. Project Project Project
Publication DieCast: Testing Systems with an Accurate Scale Model Diwaker Gupta, Kashi Vishwanath, Amin Vahdat Networked Systems Design and Implementation (NSDI) | January 2008
Publication The Forgetron: A Kernel-Based Perceptron on a Budget Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer SIAM Journal on Computing | January 2008, Vol 37(5): pp. 1342-1372
