Post by: Fanxin Kong in Awards Call for Nominations
The ICCPS 2026 organizers invite nominations for the ICCPS Test-of-Time Award, which recognizes an outstanding paper published at the International Conference on Cyber-Physical Systems (ICCPS) in 2016 or earlier.
Post by: Fanxin Kong in Announcement
We are delighted to announce that the ACM SIGBED Paul Caspi Memorial Dissertation Award 2024 - 2025 has been awarded to Mario Guenzel at TU Dortmund for the dissertation titled "Property-based Timing Analysis of Distributed Real-Time Systems", and Yuze He at the Chinese University of Hong Kong for the dissertation titled "Leveraging Infrastructure to Enhance Perception and Scene Understanding for…
Post by: Fanxin Kong in Awards
ACM SIGBED SRC is the main student research competition in the real-time, embedded, and cyber-physical systems community. There are two categories: Undergraduate and Graduate. The champions will represent SIGBED and compete against other SIGs in the ACM Grand Finals.
Post by: Fanxin Kong in Call for Papers
Counterexample Guided Abstraction Refinement (CEGAR) has been a powerful paradigm in formal verification. The basic step in CEGAR is to refine the abstraction used in formal verification based on spurious counterexamples–counterexamples that are an artifact of the coarseness of the abstraction and do not correspond to “real” counterexamples. The initial paper on CEGAR was published in CAV 2000, and thus…
Post by: Fanxin Kong in Announcement
We are delighted to announce that the 2025 SIGBED Early Career Researcher Award has been awarded to Dr. Fanxin Kong, an Assistant Professor at University of Notre Dame. This award, established by ACM SIGBED in 2017, recognizes contributions by junior researchers in the area of embedded, real-time, and cyber-physical systems.
Post by: Fanxin Kong in Announcement
We are delighted to announce that the 2025 ACM SIGBED Technical Achievement Award has been awarded to Professor Reinhard Wilhelm of Saarland University. This award, established by ACM SIGBED in 2022, recognizes significant and sustained contributions to research and system implementations in embedded, real-time, and cyber-physical systems. It honors technical achievement whose impact has been long-lasting and deeply felt across…
Post by: Fanxin Kong in Awards Call for Papers
ACM SIGBED SRC is the main student research competition in the real-time, embedded, and cyber-physical systems community. There are two categories: Undergraduate and Graduate. The champions will represent SIGBED and compete against other SIGs in the ACM Grand Finals.
Post by: Fanxin Kong in Awards Call for Nominations
ACM SIGBED in 2017 established the Early Career Researcher Award to recognize contributions by junior researchers in the area of embedded, real-time, and cyber-physical systems. We now encourage SIGBED community members to nominate researchers for the 2022 award.
Post by: Fanxin Kong in Awards Call for Nominations
The SIGBED Paul Caspi Memorial Dissertation Award was established in 2013. The award recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the spirit and legacy of Dr. Paul Caspi’s work.
Post by: Fanxin Kong in Awards Call for Nominations
ACM SIGBED established the Technical Achievement Award in 2022 to recognize significant and sustained contributions to research and/or system implementations relevance to SIGBED, such as those over embedded, real-time, and cyber-physical systems. The award is based on the impacts of the research and/or system implementations made by the awardee throughout the lifetime. It consists of a plaque and a citation.