Conformance Testing/Reachability Analysis AD

2016 Microsoft Indoor Localization Competition Co-located with IPSN 2016

2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) Affiliated with CPSWeek 2016 Scope

22nd IEEE Rea​l-Time and Embedded Technology and Applications Symposium (RTAS 2016) will be held in Vienna, Austria, as part of the Cyber-Physical Systems Week (CPSWeek) in April 2016. The conference includes a Work in Progress (WiP) and Demo session…

3rd International Workshop on Applied Verification for Continuous and Hybrid Systems CPSWeek 2016

The 15th International Conference on Information Processing in Sensor Networks (IPSN '16) The 15th International Conference on Information Processing in Sensor Networks (IPSN '16) is a leading, single-track, annual forum on research in networked sensing…

Self-Awareness in Cyber-Physical Systems A CPS Week Workshop in frame of CPSWeek 2016 DESCRIPTION:

1st Tutorial on Tools for Real-Time Systems (TuToR'16) co-located with CPSWeek 2016 

7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016) held as part of CPS Week 2016 to be held in Vienna, Austria, from 11 to 14 April 2016.

7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2016) The 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS’16) will reflect on the growing interests in research,…

April 13, 2016 Asymmetric Information and Implementation In advance of the talk, please consider the question, "What is information?" Come up with your definition.

UnCoVerCPS is represented at the ARTEMIS Spring event: https://artemis-ia.eu/springevent2016/spring-event-2016-1.html A detailed description of the abstract can be found here: https://artemis-ia.eu/publication/download/speaker-project-information-v2.pdf

Conformance Testing/Reachability Analysis AD

April 20, 2016 Asymmetric Information and Implementation (Part 2) I will briefly repeat Hurwicz '72 proof [slides 23-26] (With hidden info, truth telling is not achievable, and no efficient, individually rational, and incentive compatible privacy-…