News
-
2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2015)<p>April 13, 2015, Seattle, USA<br> <br> <a href="http://cps-vo.org/group/ARCH">http://cps-vo.org/group/ARCH</a><br> <br> Verification of continuous and hybrid systems is increasing in…
-
ARCH15 part of CPSWeek in Seattle, USA<p>ARCH15 is taking place at CPS Week in Seattle, USA. For more information on CPS Week, see <a href="http://www.cpsweek.org/2015/">http://www.cpsweek.org/2015/</a></p>
-
Washington Post Article on Driverless Vehicles<h3>See the Washington Post article featuring Raj Ragunathan's work on Autonomous Transportation Systems.</h3> <h3>An autonomous car takes a capital test run.</h3> <p><em>Driverless cars are coming. And those of…
-
NIST Cyber-Physical Systems Public Working Group Announced<h3>NIST Cyber-Physical Systems Public Working Group</h3> <h4>What are Cyber-Physical Systems or CPS?</h4> <ul> <li>Is a CPS any engineered system with a microprocessor?</li> <li>Do all CPS need…
-
ARCH14 Proceedings Posted<p>The proceedings of the ARCH14 workshop are now available in the <a href="http://cps-vo.org/node/9442/browser">Files section</a> on the website.</p>
-
Videos of Workshop Available<p><a href="http://cps-vo.org/group/aspiringPIs/videos">Videos of the workshop sessions</a> were captured to permit broad dissemination. Videos are available on YouTube, and each video has closed-captioning subtitles in…
-
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…