diff options
| -rw-r--r-- | www/Publications.html | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/www/Publications.html b/www/Publications.html index 710ea170..6f0c30a9 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -12,7 +12,7 @@ <!--#include virtual="menu.html.incl"--> <div id="content"> <!--*********************************************************************--> - <h1>KLEE-related publications:</h1> + <h1>KLEE-related Publications and Systems</h1> <!--*********************************************************************--> Below you can find a list of papers that use or extend KLEE. Papers @@ -64,6 +64,8 @@ ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010) <br> April 12-16, 2010, Stockholm, Sweden + <br> + <b>KleeNet is available <a href="https://www.comsys.rwth-aachen.de/research/projects/kleenet/">here</a>.</b> <br><br> </li> @@ -169,6 +171,8 @@ Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea <br/> April 10-13, 2011, Salzburg, Austria + <br/> + <b>Cloud9 is available <a href="http://cloud9.epfl.ch/">here</a>.</b> <br/><br/> </li> @@ -276,7 +280,7 @@ <br> February 25-29, 2012, New Orleans, LA, USA <br> - GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>. + <b>GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>.</b> <br><br> </li> |