Visible to the public Biblio

Filters: Author is Pajic, Miroslav  [Clear All Filters]
Book Chapter
Park, Junkil, Pajic, Miroslav, Sokolsky, Oleg, Lee, Insup.  2017.  Automatic Verification of Finite Precision Implementations of Linear Controllers. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. :153–169.
Jakovljevic, Zivana, Mitrovic, Stefan, Pajic, Miroslav.  2017.  Cyber Physical Production Systems–-An IEC 61499 Perspective. Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :27–39.
Jakovljevic, Zivana, Majstorovic, Vidosav, Stojadinovic, Slavenko, Zivkovic, Srdjan, Gligorijevic, Nemanja, Pajic, Miroslav.  2017.  Cyber-Physical Manufacturing Systems (CPMS). Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :199–214.
Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg.  2016.  Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
Conference Paper
Pajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg.  2015.  Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.
Al Faruque, Mohammad, Regazzoni, Francesco, Pajic, Miroslav.  2015.  Design Methodologies for Securing Cyber-physical Systems. Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis. :30–36.
Bogdan, Paul, Pajic, Miroslav, Pande, Partha Pratim, Raghunathan, Vijay.  2016.  Making the Internet-of-things a Reality: From Smart Models, Sensing and Actuation to Energy-efficient Architectures. Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. :25:1–25:10.
Jiang, Zhihao, Pajic, Miroslav, Moarref, Salar, Alur, Rajeev, Mangharam, Rahul.  2012.  Modeling and Verification of a Dual Chamber Implantable Pacemaker. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :188–203.
Ibrahim, Mohamed, Boswell, Craig, Chakrabarty, Krishnendu, Scott, Kristin, Pajic, Miroslav.  2016.  A Real-time Digital-microfluidic Platform for Epigenetics. Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems. :10:1–10:10.
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Lee, Insup.  2015.  Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
Journal Article
Ivanov, Radoslav, Pajic, Miroslav, Lee, Insup.  2016.  Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.
Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul.  2014.  Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Son, Sang Hyuk, Lee, Insup.  2017.  Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Transactions on Cyber-Physical Systems. 1:15:1–15:23.
Lesi, Vuk, Jovanov, Ilija, Pajic, Miroslav.  2017.  Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst.. 16:188:1–188:21.
Elfar, Mahmoud, Zhong, Zhanwei, Li, Zipeng, Chakrabarty, Krishnendu, Pajic, Miroslav.  2017.  Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst.. 16:127:1–127:22.