GALS-CMP: Chip-Multiprocessor for GALS Embedded Systems. - Muhammad Nadeem; HeeJong Park 001; Zhenmin Li; Morteza Biglari-Abhari; Zoran Salcic (ARCS, 2013)

A System-Level Approach for Designing Context-Aware Distributed Pervasive Applications. - Kevin I-Kai Wang; HeeJong Park 001; Zoran Salcic; Panith Ratnayaka (GPC, 2013)

A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. - HeeJong Park 001; Zoran Salcic; Kevin I-Kai Wang; Udayanto Dwi Atmojo; Wei-Tsun Sun; Avinash Malik (TrustCom/ISPA/IUCC, 2013)

WYPIWYE automation systems - An intelligent manufacturing system case study. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (ETFA, 2014)

Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. - Roopak Sinha; Valeriy Vyatkin; Zoran Salcic; HeeJong Park 001 (ETFA, 2014)

The Cardiac Pacemaker: SystemJ versus Safety Critical Java. - HeeJong Park 001; Avinash Malik; Muhammad Nadeem; Zoran A. Salcic (JTRES, 2014)

Times square - marriage of real-time and logical-time in GALS and synchronous languages. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (RTCSA, 2014)

FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things. - Dez Packwood; Manu Sharma; Ding Ding; HeeJong Park 001; Zoran A. Salcic; Avinash Malik; Kevin I-Kai Wang (ISORC, 2015)

Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (Comput. Lang. Syst. Struct., 2015)

System-level approach to the design of ambient intelligence systems based on wireless sensor and actuator networks. - Udayanto Dwi Atmojo; Zoran A. Salcic; Kevin I-Kai Wang; HeeJong Park 001 (J. Ambient Intell. Humaniz. Comput., 2015)

Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (ACM Trans. Design Autom. Electr. Syst., 2015)

A heterogeneous multi-core SoC for mixed criticality industrial automation systems. - Zoran A. Salcic; Muhammad Nadeem; HeeJong Park 001; Jürgen Teich (ETFA, 2016)

Optimizing Latencies and Customizing NoC of Time-Predictable Heterogeneous Multi-core Processor. - Zoran A. Salcic; Muhammad Nadeem; HeeJong Park 001; Jürgen Teich (MCSoC, 2016)

Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages. - HeeJong Park 001; Zhenmin Li; Avinash Malik; Zoran A. Salcic (J. Signal Process. Syst., 2016)

A framework for designing dynamic and interoperable automation and robotics systems. - Zoran Salcic; Udayanto Dwi Atmojo; HeeJong Park 001; Andrew Tzer-Yeu Chen; Kevin I-Kai Wang (INDIN, 2017)

Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture. - Zhenmin Li; HeeJong Park 001; Avinash Malik; Kevin I-Kai Wang; Zoran Salcic; Boris Kuzmin; Michael Glaß; Jürgen Teich (J. Syst. Archit., 2017)

Noc-HMP: A Heterogeneous Multicore Processor for Embedded Systems Designed in SystemJ. - Zoran Salcic; HeeJong Park 001; Jürgen Teich; Avinash Malik; Muhammad Nadeem (ACM Trans. Design Autom. Electr. Syst., 2017)

Challenges in Digital Twin Development for Cyber-Physical Production Systems. - HeeJong Park 001; Arvind Easwaran; Sidharta Andalam (CyPhy/WESE, 2018)

Bandwidth Stealing TDMA Arbitration for Real-Time Multiprocessor Applications. - Muhammad Nadeem; HeeJong Park 001; Avinash Malik (TENCON, 2018)

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems. - HeeJong Park 001; Arvind Easwaran; Sidharta Andalam (ICCD, 2019)

Memory management of safety-critical hard real-time systems designed in SystemJ. - Avinash Malik; HeeJong Park 001; Muhammad Nadeem; Zoran Salcic (Microprocess. Microsystems, 2019)

Designing Dynamic and Collaborative Automation and Robotics Software Systems. - Zoran Salcic; Udayanto Dwi Atmojo; HeeJong Park 001; Andrew Tzer-Yeu Chen; Kevin I-Kai Wang (IEEE Trans. Ind. Informatics, 2019)

An anomaly detection framework for digital twin driven cyber-physical systems. - Chuanchao Gao; HeeJong Park 001; Arvind Easwaran (ICCPS, 2021)

Online cycle detection for models with mode-dependent input and output dependencies. - HeeJong Park 001; Arvind Easwaran; Etienne Borde (J. Syst. Archit., 2021)