From 12ab0111a54e0c6ce9fe78925efb6bf13d2b77b3 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Mon, 22 Aug 2011 14:24:18 +0000
Subject: Added new publication from RWTH Aachen.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@138232 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Publications.html | 21 ++++++++++++++++++---
 1 file changed, 18 insertions(+), 3 deletions(-)

(limited to 'www')

diff --git a/www/Publications.html b/www/Publications.html
index bc8eb64c..50d5ff1f 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -54,14 +54,14 @@
     </li>
 
     <li>
-    <a href="http://ds.informatik.rwth-aachen.de/publications/2010/pdfs/2010-04-ipsn-sasnauskas-KleeNet.pdf">
+    <a href="http://www.comsys.rwth-aachen.de/fileadmin/papers/2010/2010-04-ipsn-sasnauskas-KleeNet.pdf">
     <em>
     KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
     </em>
     </a> 
     <br>
     Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai,
-    Carsten Weise,  Stefan Kowalewski,  Klaus Wehrle
+    Carsten Weise, Stefan Kowalewski, Klaus Wehrle
     <br>
     ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)
     <br>
@@ -189,7 +189,6 @@
     <br/><br/>
     </li>
 
-
     <li>
     <a href="http://keeda.stanford.edu/~daramos/papers/ucklee-cav-2011.pdf">
     <em>
@@ -205,6 +204,22 @@
     <br/><br/>
     </li>
 
+    <li>
+    <a href="http://www.comsys.rwth-aachen.de/fileadmin/papers/2011/2011-06-icdcs-sasnauskas-sde.pdf">
+    <em>
+    Scalable Symbolic Execution of Distributed Systems
+    </em>
+    </a>
+    <br>
+    Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski,
+    Carsten Weise, Stefan Kowalewski, Klaus Wehrle
+    <br>
+    IEEE International Conference on Distributed Computing Systems (ICDCS 2011)
+    <br>
+    June 20-24, 2011, Minneapolis, MN, USA
+    <br><br>
+    </li>
+
   </ol>
 </div>
 </body>
-- 
cgit 1.4.1