{"url": "http://alderis.ics.uci.edu/links.html", "content": "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1//EN\" \"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd\">\n<html xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"en\">\n<head>\n<title>Alderis@UCI - Analysis Language for Distributed, Embedded, and Real-time Systems</title>\n<meta http-equiv=\"content-type\" content=\"text/html; charset=utf-8\" />\n<link rel=\"stylesheet\" href=\"css/1.css\" type=\"text/css\" media=\"screen,projection\" />\n\n</head>\n \n<body>\n\n\t\t<div id=\"container\">\n\t\t\n\t\t\t\t<div id=\"header\">\n\t\t\t\t\n\t\t\t\t\t\t<h1>Alderis@UCI</a></h1>\n\t\t\t\t\t\t<h3>Analysis Language for Distributed, Embedded, and Real-time Systems.</h3>\n\t\t\t\t\n\t\t\t\t</div>\n\t\t\t\t\n\t\t\t\t<ul id=\"nav\">\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t<li><a href=\"downloads.html\">Downloads</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"publications.html\">Publications</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"dresystems.html\">DRE Systems</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"amba2.html\">AMBA</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"#\" class=\"active\">Links</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"index.html\">Home</a></li>\n\t\t\t\t\t\t\t\t\n\t\t\t\t</ul>\n\t\t\t\t\n\t\t\t\t<br class=\"clear\" />\n\t\t\t\t\n\t\t\t\t<div id=\"sidebar\">\n\t\t\t\t\n\t\t\t\t\t\t<h1>Description</h1>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t<p>You can find some pointers to related research groups here...</p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<div class=\"sidebarfooter\">\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t<a href=\"http://dre.sourceforge.net\">DREAM</a>\n\t\t\t\t\t\t\t\t<a href=\"http://www.cecs.uci.edu/~aces\">ACES</a>\n\t\t\t\t\t\t\t\t<a href=\"http://www.ics.uci.edu/~forge\">FORGE</a>\n\t\t\t\t\t\t\n\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<div id=\"sidebar_bottom\"></div>\n\t\t\t\t\n\t\t\t\t</div>\n\t\t\t\t\n\t\t\t\t<div id=\"content\">\n\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\n\t\t\t\t\t\t<h1>Links</h1>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t<ul>\n\t\t\t\t\t\t\t<li>The Alderis project is hosted at the <a href=\"http://www.cecs.uci.edu\">Center for Embedded Computer Systems</a>, <a href=\"http://www.uci.edu\">University of California, Irvine</a>, under the supervision of <a href=\"http://www.ics.uci.edu/~dutt/\">Nikil Dutt</a>.</li>\n\t\t\t\t\t\t\t<li>We are also collaborating with researchers from the <a href=\"http://www.ics.uci.edu/~dsm\">Distributed Systems Middleware Group</a> and the <a href=\"http://doc.ece.uci.edu\">DOC group</a> at UCI, and from <a href=\"http://www.isis.vanderbilt.edu\">ISIS</a> at Vanderbilt University.</li>\n\t\t\t\t\t\t\t<li>The Alderis language can be analyzed using the <a href=\"http://dre.sourceforge.net\">open-source DREAM &trade; tool</a>.</li>\n\t\t\t\t\t\t\t<li>DREAM &trade; uses the <a href=\"http://www.uppaal.com\">UPPAAL</a> model checker and the <a href=\"http://www-verimag.imag.fr/~async/IF/\">Verimag IF toolset</a> for formal verification.</li>\n\t\t\t\t\t\t\t<li>The original design of the website has been created by <a href=\"http://www.jameskoster.co.uk\">JayKay</a>.</li>\n\t\t\t\t\t\t</ul>\n\t\t\t\t\t\t</p>\n\n\t\t\t\t</div>\n\t\t\n\t\t</div>\n\t\t\n\t\t<div id=\"footer\">\n\t\t\n\t\t\t\t<p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t&copy; All the material published on this website is copyrighted. All rights reserved. <a href=\"http://www.ipstat.com/cgi-bin/stats?name=alderis\"><img src=\"http://www.ipstat.com/cgi-bin/ipstat?name=alderis\" height=\"5\" width=\"5\" border=\"0\"></a>\n\n\t\t\t\t\n\t\t\t\t\t\t</p>\n\t\t\n\t\t</div>\n\n\n</body>\n</html>\n", "encoding": "ascii"}