diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-08-22 14:24:18 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-08-22 14:24:18 +0000 |
| commit | 12ab0111a54e0c6ce9fe78925efb6bf13d2b77b3 (patch) | |
| tree | bee673bb9b20a78d678559fd311351a3e0bc4323 /www/Publications.html | |
| parent | d78758164626aab2f6e26ba80dc6afb89d22e0c7 (diff) | |
| download | klee-12ab0111a54e0c6ce9fe78925efb6bf13d2b77b3.tar.gz | |
Added new publication from RWTH Aachen.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@138232 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/Publications.html')
| -rw-r--r-- | www/Publications.html | 21 |
1 files changed, 18 insertions, 3 deletions
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> |