News
-
Travel Support Checks Making Progress<p>If you were awarded travel support, your paperwork is complete and being processed by University of Arizona central administration. If you get your check, send an email to <a href="mailto:sprinkjm@email.arizona.edu?subject=RE%3A%…
-
Updated CPS Solicitation is Released<p>The CPS Solicitation (<a href="http://www.nsf.gov/pubs/2014/nsf14542/nsf14542.htm#toc">NSF 14-542</a>) has hit the street. Proposals are due by June 02, 2014.</p>
-
Workshop Program Available<p>A tentative version of the workshop program is now <a href="http://cps-vo.org/group/ARCH/Program">available</a>. The program committee accepted 12 out 16 submissions, 8 of which are benchmarks.</p> <p>Looking…
-
Call for Submissions: 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (part of CPSWeek 2014, Berlin, Germany, April 14, 2014)<h2 style="text-align: center;">1st International Workshop on<br> Applied Verification for Continuous and Hybrid Systems<br> CPSWeek 2014, Berlin, Germany, April 14, 2014</h2> <p style="text-align: center…
-
Outstanding Paper Award at the ACM High Integrity Language Technologies 2013 Conference<p>The paper titled "Compositional Verification of a Medical Device System", authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahlwon the "Outstanding Paper Award" at the ACM High Integrity…
-
ARCH14 part of CPSWeek in Berlin<p>ARCH14 has been accepted for CPS Week in Berlin. For more information on CPS Week, see <a href="https://www.cpsweek2014.org/cpsweek2014/worktut.html">https://www.cpsweek2014.org/cpsweek2014/worktut.html</a></p…
-
NSA AWARD FOR THE BEST SCIENTIFIC CYBERSECURITY PAPER<p><span style="font-size:12px;">This year’s winner is Joseph Bonneau for his paper “The Science of Guessing: Analyzing an Anonymized Corpus of 70 Million Passwords.”</span></p> <p><span style="font-size:…
-
Newsletter: Academic-Industry Partnerships at NSF<p class="p1">The Academic-Industry Partnerships at NSF Newsletter is an all-in-one source for information on the Industry/University Cooperative Research Centers (<a href="http://www.nsf.gov/eng/iip/iucrc/index.jsp?SBTR=ctopi…
-
DARPA Releases FANG Challenge Tools to Open-Source<h2>Download the Challenge #1 Tools </h2> <p><span style="font-size:12px;">DARPA has recently released the software for all of the design and collaboration tools used by participants in its first FANG Challenge…
-
NIST CPS Leadership Team and Presidential Innovation Fellows<p class="p1">Dr. S. Shyam Sunder, Director, Engineering Laboratory of the National Institute for Standards and Technology (NIST) has made the following announcement rearding the new leadership team for the NIST Smart Grid and Cyber-…
-
Connected Highway and Vehicle Systems on Interstate 66<P>As reported by the <A href="http://www.wusa9.com/news/article/262327/158/Connected-Vehicle-Technology-Research-on-I-66">local CSB affiliate </A>in Washington, DC, Virginia DOT installed a "living laboratory…
-
Distinguished Lecture<p>On February 25, 2013 <strong>Insup Lee</strong> gave a talk <em>Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS)</em> as part of <a href="http://www.cs.unc.edu/cms/…
-
Expanding Public Access to Results of Federally-Funded Research<p>Dear Colleagues:</p>
-
First Prize at 2012 World Embedded Software Competition<p><a href="http://pvs.medcps.org/" target="_blank">Heart-on-a-Chip</a>, an embedded systems platform that was the 2012 Senior Design Project of Electrical and Systems Engineering (ESE) students Sriram Radhakrishnan…