posted by user: mpstew || 3092 views || tracked by 9 users: [display]

AVICPS 2013 : The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop


When Dec 3, 2013 - Dec 3, 2013
Where Vancouver, Canada
Submission Deadline Sep 23, 2013
Notification Due Oct 28, 2013
Final Version Due Nov 10, 2013
Categories    cyber-physical systems   architecture   modeling   formal methods

Call For Papers

Co-located with RTSS 2013

The Analytic Virtual Integration Cyber-Physical Systems (AVICPS) workshop focuses on analytic techniques that enable the early discovery of faults in CPS before the system is integrated or its parts are built. Such an approach is known as analytic virtual integration. The objective is to discover and resolve problems early during the design and implementation phases where cost impact is low.

Related Resources

ICDM 2021   21st IEEE International Conference on Data Mining
CAV 2021   33rd International Conference on Computer-Aided Verification
CODES + ISSS 2021   International Conference on Hardware/Software Codesign and System Synthesis
FM 2021   Formal Methods 2021
CYBER 2021   The Sixth International Conference on Cyber-Technologies and Cyber-Systems
SCOPUS-CSMO 2021   5th International Conference on Simulation, Modeling and Optimization (CSMO 2021)
ACM SaT-CPS 2021   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
CMC 2021   7th International Conference on Control, Modeling and Computing
ICC-CCNCPS 2021   IEEE ICC'2021 workshop on Communication, Computing, and Networking in Cyber Physical Systems
ICHST--Ei Compendex, Scopus 2021   2021 3rd International Conference on Hardware Security and Trust (ICHST 2021)--Ei Compendex, Scopus