News
-
USDOT ITS Joint Program Office – Updates to the Open Source Application Development Portal (OSADP)<p><em><strong>New Features Added to the Open Source Application Development Portal (OSADP)</strong></em></p> -
Call for Paper: 3rd Architecture Virtual Integration Workshop (ACVI16)============================================================================ Third Workshop on Architecture Centric Virtual Integration at WICSA and CompArch 2016 http://www.acvi-workshop.org/… -
ARCH16 at CPSWeek in Vienna<p>The third edition of the Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH16) will take place in Vienna, April 2016, as part of CPSWeek.</p>
-
Bosch Sponsoring ARCH16<p>Bosch sponsors the 500 Euro prize for the most promising tool result at ARCH16. Bosch has been a sponsor of the ARCH workshop series since 2015 and has been actively participating in the workshop since the first edition in 2014.</p…
-
Best Tool Result Award for Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan<p>The best tool result award at ARCH 2015 goes to Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. Congratulations! The award comes with a $600 prize from Bosch.</p>
-
U.S. Department of Transportation Announces up to $42 Million in Next Generation Connected Vehicle Technologies<div id="stcpDiv"> <div id="stcpDiv"> <p><em>New York City, Tampa, FL and Wyoming Selected for Competitive Pilot Programs</em></p> -
NEW 2016 NSF-USDA Solicitation: Innovations at the Nexus of Food, Energy, and Water Systems (INFEWS)<p><strong><span style="font-size: 16px;">Innovations at the Nexus of Food, Energy and Water Systems (INFEWS)</span></strong></p> <hr> <p><strong><span style="font-size: 14px;… -
Viewpoint: The Future of Computer Science and Engineering Is in Your Hands<p>JULY 2015 | VOL. 58 | NO. 7 | COMMUNICATIONS OF THE ACM | Vijay Kumar and Thomas A. Kalil</p> -
Insights to Modern Cyber Threat Intelligence<p>This article provides expert insights to modern cyber threat intelligence without marketing material or vendor fluff to give readers a better understanding of this complex but critical area of cyber defense.</p> <p>https://www.… -
UnCoVerCPS at Artemis Co-Summit in Berlin, 10-11 March 2015<p>The 2015 Co-summit will be held on 10 & 11 March in the bcc Berlin Congress Center in Berlin, Germany.</p> <p>The event is jointly organised by ARTEMIS, represented by ARTEMIS Industry Association, the association for actors…
-
Bosch sponsors ARCH'15<p>Bosch sponsers the 500 Euro prize for the most promising benchmark result.</p>
-
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>