Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.

Visible to the public  CPS&IoT’2023
Jun 06, 2023 7:00 am - Jun 10, 2023 7:00 pm EDT

11th International Conference on Cyber-Physical Systems

Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.


Visible to the public  VECoS 2019
Oct 07, 2019 7:00 am - Oct 09, 2019 6:00 pm WEST

International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)

co-located with the International Symposium on Formal Methods, FM 2019.


Visible to the public  RSSRail 2019
Jun 04, 2019 7:00 am - Jun 06, 2019 7:00 pm CEST

International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)

The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation.