Author Search Results

1

Development of a new microactuator for hard disk drives

Development of a new microactuator for hard disk drives

by Sun, Jun.
Published 2008

Get full text

Theses and Dissertations

2

Kernel engineering on parse trees

Kernel engineering on parse trees

by SUN JUN
Published 2011

Get full text

Theses and Dissertations

3

Complementary formalisms - synthesis, verification and visualization

Complementary formalisms - synthesis, verification and visualization

by SUN JUN
Published 2010

Get full text

Theses and Dissertations

4

Assertion generation through active learning

Assertion generation through active learning

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

Get full text
Get full text

text

5

Certified quantization strategy synthesis for neural networks

Certified quantization strategy synthesis for neural networks

by ZHANG, Yedi, CHEN, Guangke, SUN, Jun, SUN, Jun
Published 2024

Get full text
Get full text

text

6

Learning assumptions for compositional verification of timed systems

Learning assumptions for compositional verification of timed systems

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

Get full text
Get full text

text

7

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

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

by ZHAO, Wei, LI, Zhe, LI, Yige, SUN, Jun, SUN, Jun
Published 2024

Get full text
Get full text

text

8

Adaptive fairness improvement based causality analysis

Adaptive fairness improvement based causality analysis

by ZHANG, Mengdi, SUN, Jun
Published 2022

Get full text
Get full text

text

9

Parametric timed model checking for guaranteeing timed opacity

Parametric timed model checking for guaranteeing timed opacity

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

Get full text
Get full text

text

10

ExAIs: Executable AI semantics

ExAIs: Executable AI semantics

by SCHUMI, Richard, SUN, Jun
Published 2022

Get full text
Get full text

text

11

Automated verification of timed security protocols with clock drift

Automated verification of timed security protocols with clock drift

by LI, Li, SUN, Jun
Published 2016

Get full text
Get full text

text

12

SpecTest: Specification-based compiler testing

SpecTest: Specification-based compiler testing

by SCHUMI, Richard, SUN, Jun
Published 2021

Get full text
Get full text

text

13

ObjSim: Efficient testing of cyber-physical systems

ObjSim: Efficient testing of cyber-physical systems

by SUN, Jun, YANG, Zijiang
Published 2020

Get full text
Get full text

text

14

Semantic-based neural network repair

Semantic-based neural network repair

by SCHUMI, Richard, SUN, Jun
Published 2023

Get full text
Get full text

text

15

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

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

by ZHANG, Ruihan, SUN, Jun
Published 2024

Get full text
Get full text

text

16

Towards expressive specification and efficient model checking

Towards expressive specification and efficient model checking

by DONG, Jin Song, SUN, Jun
Published 2009

Get full text
Get full text

text

17

Design synthesis from interaction and state-based specifications

Design synthesis from interaction and state-based specifications

by SUN, Jun, DONG, Jin Song
Published 2006

Get full text
Get full text

text

18

Synthesis of distributed processes from scenario-based specifications

Synthesis of distributed processes from scenario-based specifications

by SUN, Jun, DONG, Jin Song
Published 2005

Get full text
Get full text

text

19

Verifying neural networks against backdoor attacks

Verifying neural networks against backdoor attacks

by PHAM, Long Hong, SUN, Jun
Published 2022

Get full text
Get full text

text

20

Certified continual learning for neural network regression

Certified continual learning for neural network regression

by PHAM, Hong Long, SUN, Jun
Published 2024

Get full text
Get full text

text

1
2
3
4
5
6
7
8
9
10
11
Next
[15]