The effects of internet memes on formal speech and spoken grammar among UTAR Undergraduates

by Seow, Sun Jun
Published 2021

Complementary formalisms - synthesis, verification and visualization

by SUN JUN
Published 2010

Kernel engineering on parse trees

by SUN JUN
Published 2011

Development of a new microactuator for hard disk drives

by Sun, Jun.
Published 2008

Assertion generation through active learning

by PHAM, Long H., SUN, Jun, SUN, Jun
Published 2017

Learning assumptions for compositional verification of timed systems

by LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun, SUN, Jun
Published 2014

Adaptive fairness improvement based causality analysis

by ZHANG, Mengdi, SUN, Jun
Published 2022

Parametric timed model checking for guaranteeing timed opacity

by ANDRÉ, Étienne, SUN, Jun
Published 2019

ExAIs: Executable AI semantics

by SCHUMI, Richard, SUN, Jun
Published 2022

Automated verification of timed security protocols with clock drift

by LI, Li, SUN, Jun
Published 2016

SpecTest: Specification-based compiler testing

by SCHUMI, Richard, SUN, Jun
Published 2021

ObjSim: Efficient testing of cyber-physical systems

by SUN, Jun, YANG, Zijiang
Published 2020

Semantic-based neural network repair

by SCHUMI, Richard, SUN, Jun
Published 2023

Seasonal variations in the structure of copepod assemblages in tropical marine and estuarine waters, Coleroon, South-East India

by Rajkumar, Mayalagu, Sun, Jun, Jenkinson, I. R., Rahman, Mohammad Mustafizur
Published 2014

Towards expressive specification and efficient model checking

by DONG, Jin Song, SUN, Jun
Published 2009

Design synthesis from interaction and state-based specifications

by SUN, Jun, DONG, Jin Song
Published 2006

Synthesis of distributed processes from scenario-based specifications

by SUN, Jun, DONG, Jin Song
Published 2005

Verifying neural networks against backdoor attacks

by PHAM, Long Hong, SUN, Jun
Published 2022

CELL: A compositional verification framework

by JI, Kun, LIU, Yang, SUN, Jun, SUN, Jun, DONG, Jin Song, NGUYEN, Truong Khanh
Published 2013

Formal verification of scalable nonzero indicators

by SUN, Jun, LIU, Yang, SUN, Jun, DONG, Jin Song, CHEN, Wei, LIU, Yanhong A.
Published 2009