December 2015 - Paper "Scalable Verification of Linear Controller Software" has been accepted at the Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16)!

November 2015 - Paper on "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems" has been accepted for publication in the ACM Transactions on Embedded Computing Systems!

September 2015 - Dr. Pajic to serve on the Program Committee of the 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'15)!

July 2015 - Our book chapter on "Attack-Resilient Sensor Fusion for CPS" in Multisensor Data Fusion: From Algorithm and Architecture Design to Applications has been published by CRC Press.

July 2015 - Paper on "Attack-Resilient State Estimation in the Presence of Noise" has been accepted at the 54th IEEE Conference on Decision and Control (CDC'15)!

June 2015 - Paper on "Automatic Verification of Linear Controller Software" has been accepted at the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT'15)!

April 2015 - Dr. Pajic is a member of Technical Program Committee for the 2015 IEEE Real-Time Systems Symposium (RTSS'15)!

March 2015 - Paper on "Opportunistic Control Over Shared Wireless Channels" has been accepted for publication in the IEEE Transactions on Automatic Control!

March 2015 - Dr. Pajic announced to chair the Program Committee for the 2015 IEEE Real-Time Systems Symposium Work-in-Progress Session, RTSS'15.

January 2015 - Paper on "Sensor Attack Detection in the Presence of Transient Faults" has been accepted at the 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'15)!

January 2015 - Paper on "Recognition of Planar Segments in Point Cloud based on Wavelet Transform" has been accepted for publication in the IEEE Transactions on Industrial Informatics!