Sampling-based solution methods for verifying random or chance properties.
Event
WCET 2016
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)
Toulouse, France | 5th July 2016 | http://wcet2016.compute.dtu.dk
in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS)
WCET 2016 is kindly supported by TACLe (www.tacle.eu), an European COST-Action on Timing Analysis on Code-Level.
GOALS AND TOPICS
Submitted by Anonymous on January 28th, 2016
Submitted by Mark Campbell on September 14th, 2015
Event
GTTSE 2015
The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE)
Registration is open for participants!
http://gttse.wikidot.com/2015:registration
There is a students' workshop to which one may submit.
http://gttse.wikidot.com/2015:students-workshop
List of speakers
Submitted by Anonymous on June 23rd, 2015
Event
NSV 2015
The 8th International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA
Web Page: http://nsv2015.informatik.uni-freiburg.de/
Scope
Submitted by Anonymous on November 26th, 2014
Event
NSV 2014
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Novelty of this edition
Submitted by Anonymous on March 26th, 2014
Submitted by Rahul Mangharam on November 7th, 2013
Submitted by Mark Campbell on October 24th, 2013
Abstract:
This project's objective is to enable assertion-‐driven development and debugging cyber-‐ physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.
Submitted by Christine Julien on October 23rd, 2013
Abstract
Submitted by Aravinda Sistla on October 7th, 2012
Abstract
Vehicle automation has progressed from systems that monitor the operation of a vehicle, such as antilock brakes and cruise control, to systems that sense adgacent vehicles, such as emergency braking and intelligent cruise control. The next generation of systems will share sensor readings and collaborate to control braking operations by looking several cars ahead or by creating safe gaps for merging vehicles.
Submitted by Nicholas Maxemchuk on October 4th, 2012