93, 55-63, July 2018.
"Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults", ACM Transactions on Cyber-Physical Systems, 1(3), 15:1-15:23, May 2017.
"Design and Implementation of Attack-Resilient Cyber-Physical Systems", IEEE Control Systems, 37(2), 66-81, April 2017.
Attack-Resilient State Estimation for Noisy Dynamical Systems", IEEE Transactions on Control of Network Systems, 4(1), 82-92, March 2017. "
"Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks", IEEE Transactions on Control of Network Systems, 4(1), 106-117, March 2017.
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems", ACM Transactions on Embedded Computing Systems, 15(1), 21:1-21:24, February 2016."
Diagnosis of irregularities in the robotized part mating process based on contextual recognition of contact states transitions", Assembly Automation, 35(2), 190-199, April 2015."
Distributed Control for Cyber-Physical Systems", Journal of the Indian Institute of Science, 93(3), 353-387, July - September 2013."
Topological Conditions for In-Network Stabilization of Dynamical Systems", IEEE Journal on Selected Areas in Communications, 31(4), 794-807, April 2013."
Sporadic Data Integrity for Secure State Estimation", 56th IEEE Conference on Decision and Control (CDC), 2017."
Network Scheduling for Secure Cyber-Physical Systems", IEEE Real-Time Systems Symposium (RTSS), 2017."
C55) V. Lesi, I. Jovanov, and M. Pajic, "Security-Aware Scheduling of Embedded Control Tasks", ACM International Conference on Embedded Software (EMSOFT) - journal version appeared in ACM Transactions on Embedded Computing Systems, 2017. (Best Paper Award)
C54) M. Elfar, Z. Zhong, Z. Li, K. Chakrabarty, and M. Pajic, "Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips", ACM International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) - journal version appeared in ACM Transactions on Embedded Computing Systems, 2017.
"Cyber-Physical Manufacturing Systems", 5th International Conference on Advanced Manufacturing Engineering and Technologies (NEWTECH), 2017.
Transient Performance and Availability Modeling in High Volume Eye Care Clinics", 63rd Annual Reliability and Maintainability Symposium (RAMS), 2017."
"Making the internet-of-things a reality: from smart models, sensing and actuation to energy-efficient architectures", International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2016.
Error recovery in a micro-electrode-dot-array digital microfluidic biochip", International Conference on Computer Aided Design (ICCAD), 2016. "
Estimation of Blood Oxygen Content Using Context-Aware Filtering", 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2016. "
Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems", 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016."
Scalable Verification of Linear Controller Software", Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016. "
Three Challenges in Cyber-Physical Systems", 8th International Conference on Communication Systems and Networks (COMSNETS), 2016."
Attack-Resilient State Estimation in the Presence of Noise", 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015."
Robust Localization Using Context-Aware Filtering", Workshop on Multi VIew Geometry in Robotics, in conjunction with RSS (MVIGRO), Rome, Italy, 2015."
Sensor attack detection in the presence of transient faults", 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, 2015."
Opportunistic Sensor Scheduling in Wireless Control Systems", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, 2014."
"Coding Sensor Outputs for Injection Attacks Detection", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, 2014.
Resilient multidimensional sensor fusion using measurement history", 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS), Berlin, Germany, 2014."
Attack-Resilient Sensor Fusion", Design, Automation and Test in Europe (DATE), Dresden, Germany, 2014."
Stabilizability over Deterministic Relay Networks", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, 2013."
"Modeling and Verification of a Dual Chamber Implantable Pacemaker", 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn, Estonia, 2012 (Best Paper Candidate).
Topological Conditions for Wireless Control Networks", 50th IEEE Conference on Decision and Control (CDC), Orlando, FL, 2011."
The Wireless Control Network: Monitoring for Malicious Behavior", 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010."
The Wireless Control Network: Synthesis and Robustness", 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010."
Embedded Virtual Machines for Robust Wireless Control and Actuation", 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Stockholm, Sweden, 2010."
Toward patient safety in closed-loop medical device systems", First ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Stockholm, Sweden, 2010."
Real-time Heart Model for Implantable Cardiac Device Validation and Verification", IEEE Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium, 2010."
"FPGA Design of Arbitrary Down-sampler", 26th IEEE International Conference on Microelectronics (MIEL), Nis, Serbia, 2008.
"Real-Time QRD-Based Beamforming on an FPGA Platform", Fortieth Asilomar Conference on Signals, Systems and Computers (ASILOMAR), Pacific Grove, CA, 2006.
QR Matrix Decomposition Algorithm Based on Virtex-4 FPGA Architecture", 50th Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering (ETRAN), Belgrade, Serbia, 2006. "
C2) "Timing Synchronization in Burst PAM Modem", 13th Telecommunications Forum (TELFOR), Belgrade, Serbia, 2005.
"SDR implementation of CPFSK modem for land mobile radio", 12th Telecommunications Forum (TELFOR), Belgrade, Serbia, 2004.
"Attack-Resilient Sensor Fusion for CPS", In Multisensor Data Fusion: From Algorithm and Architecture Design to Applications, CRC Press, August 2015.