Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
CPS Rising Stars Workshop 2022 aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in Cyber-Physical Systems (CPS) related areas. CPS are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components. CPS technologies are transforming the way people interact with engineered systems, just as the Internet has transformed the way people interact with information.
Submitted by Frankie King on January 17th, 2022
Generalized RAcing Intelligence Competition (GRAIC) is a simulated vehicle race co-located with CPS-IOT Week 2023. GRAIC brings together researchers in AI, planning, synthesis, and control to create a platform for comparing different algorithms for controlling vehicles in dynamic and uncertain environments.
Submitted by Sayan Mitra on January 24th, 2023
Event
CPS&IoT’2023
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.
Submitted by Anonymous on December 8th, 2022
Event
HSCC 2023
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
Submitted by Anonymous on September 21st, 2022
Event
ARCH 2019
6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19)
This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.
Submitted by Anonymous on July 30th, 2020
Event
ARCH 2020
7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH)
While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of the workshop is to bring together people from industry with researchers and tool developers interested in applying verification to continuous and hybrid systems.
Submitted by Anonymous on July 30th, 2020
Event
IEEE ICM 2020 - Virtual
IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020)
The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world’s 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.
Submitted by Anonymous on July 24th, 2020
Event
ICPADS 2020
26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020)
The 26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020) will be held in Hong Kong in December 2020. The conference provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications.
Submitted by Anonymous on July 24th, 2020
Event
ICECCS 2020
25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)
Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data.
Submitted by Anonymous on July 24th, 2020
Event
SP 2020 - Virtual
41st IEEE Symposium on Security and Privacy (SP 2020)
Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field. The 2020 Symposium will mark the 41st annual meeting of this flagship conference.
The Symposium will be held on May 18-20, 2020, and the Security and Privacy Workshops will be held on May 21, 2020.
Submitted by Anonymous on July 24th, 2020