pState: A probabilistic statecharts translator. - Bojan Nokovic; Emil Sekerinski (MECO, 2013)

Verification and Code Generation for Timed Transitions in pCharts. - Bojan Nokovic; Emil Sekerinski (C3S2E, 2014)

Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring. - Bojan Nokovic; Emil Sekerinski (IoT 360 (2), 2015)

A Holistic Approach in Embedded System Development. - Bojan Nokovic; Emil Sekerinski (F-IDE, 2015)

Model-based WCET Analysis with Invariants. - Bojan Nokovic; Emil Sekerinski (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Modelling probabilistic timing analysis: work-in-progress. - Bojan Nokovic; Emil Sekerinski (EMSOFT Companion, 2017)

Case Study: Qualitative and Quantitative Verification of File Ingestion Process. - Bojan Nokovic; Salah Sharieh (ICSIE, 2019)

Image Enhancement by Jetson TX2 Embedded AI Computing Device. - Bojan Nokovic; Shucai Yao (MECO, 2019)

Machine Learning in Action: Securing IAM API by Risk Authentication Decision Engine. - Nebojsa Djosic; Bojan Nokovic; Salah Sharieh (CNS, 2020)

API Security Risk Assessment Based on Dynamic ML Models. - Bojan Nokovic; Nebojsa Djosic; Weiyue Owen Li (IIT, 2020)