LIPIcs-Flyer-FLoC2010-v20100708.indd

First Page		Document Content
Date: 2010-07-08 09:54:24 Dagstuhl Knowledge Reinhard Wilhelm International Conference on Logic Programming Open access Digital Bibliography & Library Project Computer science Symposium on Theoretical Aspects of Computer Science Academia		LIPIcs-Flyer-FLoC2010-v20100708.indd Add to Reading List Source URL: www.dagstuhl.de Download Document from Source Website File Size: 504,82 KB Share Document on Facebook

	Compile-Time Verification of Properties of Heap Intensive Programs Mooly Sagiv Thomas Reps Reinhard Wilhelm http://www.cs.tau.ac.il/~TVLA DocID: 1sZpl - View Document
	The Worst-Case Execution Time Problem — Overview of Methods and Survey of Tools Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Rei DocID: 1elTu - View Document
	Volume 1, Issue 1, January – December[removed]Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop[removed]Simone Fischer-Hübner, Chris Hoofnagle, Ioannis Krontiris, Ka DocID: S6PI - View Document
	Volume 2, Issue 1, January – December[removed]Towards A Multi-Discipline Network Perspective (Dagstuhl Perspectives Workshop[removed]Matthias Häsel, Thorsten Quandt, and Gottfried Vossen . . . . . . . . . . . . . . . . . DocID: S6Ad - View Document
	Volume 3, Issue 1, January – December[removed]Machine Learning Methods for Computer Security (Dagstuhl Perspectives Workshop[removed]Anthony D. Joseph, Pavel Laskov, Fabio Roli, J. Doug Tygar, and Blaine Nelson . DocID: S6xn - View Document