Development of a new microactuator for hard disk drives

بواسطة Sun, Jun.
منشور في 2008

Kernel engineering on parse trees

بواسطة SUN JUN
منشور في 2011

Complementary formalisms - synthesis, verification and visualization

بواسطة SUN JUN
منشور في 2010

Assertion generation through active learning

بواسطة PHAM, Long H., SUN, Jun, SUN, Jun
منشور في 2017

Certified quantization strategy synthesis for neural networks

بواسطة ZHANG, Yedi, CHEN, Guangke, SUN, Jun, SUN, Jun
منشور في 2024

Learning assumptions for compositional verification of timed systems

بواسطة LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun, SUN, Jun
منشور في 2014

Defending large language models against jailbreak attacks via layer-specific editing

بواسطة ZHAO, Wei, LI, Zhe, LI, Yige, SUN, Jun, SUN, Jun
منشور في 2024

Adaptive fairness improvement based causality analysis

بواسطة ZHANG, Mengdi, SUN, Jun
منشور في 2022

Parametric timed model checking for guaranteeing timed opacity

بواسطة ANDRÉ, Étienne, SUN, Jun
منشور في 2019

ExAIs: Executable AI semantics

بواسطة SCHUMI, Richard, SUN, Jun
منشور في 2022

Automated verification of timed security protocols with clock drift

بواسطة LI, Li, SUN, Jun
منشور في 2016

SpecTest: Specification-based compiler testing

بواسطة SCHUMI, Richard, SUN, Jun
منشور في 2021

ObjSim: Efficient testing of cyber-physical systems

بواسطة SUN, Jun, YANG, Zijiang
منشور في 2020

Semantic-based neural network repair

بواسطة SCHUMI, Richard, SUN, Jun
منشور في 2023

Certified robust accuracy of neural networks are bounded due to Bayes errors

بواسطة ZHANG, Ruihan, SUN, Jun
منشور في 2024

Towards expressive specification and efficient model checking

بواسطة DONG, Jin Song, SUN, Jun
منشور في 2009

Design synthesis from interaction and state-based specifications

بواسطة SUN, Jun, DONG, Jin Song
منشور في 2006

Synthesis of distributed processes from scenario-based specifications

بواسطة SUN, Jun, DONG, Jin Song
منشور في 2005

Verifying neural networks against backdoor attacks

بواسطة PHAM, Long Hong, SUN, Jun
منشور في 2022

Certified continual learning for neural network regression

بواسطة PHAM, Hong Long, SUN, Jun
منشور في 2024