E-LIB Suche - Ergebnisse für: Jiaguang, Sun

1

Fault Localization with Partially Reliable Test Results Usi..:

, In: 2014 Theoretical Aspects of Software Engineering Conference,

Guo, Xinrui ; Song, Xiaoyu ; Hung, William N.N... - p. 58-65 , 2014

Link: https://doi.org/10.1109/..

2

A machine learning approach to semi-automating workflow sta..:

, In: Proceedings of the 2007 ACM symposium on Applied computing,

Yingbo, Liu ; Jianmin, Wang ; Jiaguang, Sun - p. 340-345 , 2007

Link: https://dl.acm.org/doi/1..

3

Efficient example-based painting and synthesis of 2D direct..:

Bin Wang ; Wenping Wang ; Huaiping Yang.
IEEE Transactions on Visualization and Computer Graphics. 10 (2004) 3 - p. 266-277 , 2004

Link: https://doi.org/10.1109/..

4

A method for analyzing three-dimensional dynamic contact pr..:

Shu, Liu ; Jingbo, Liu ; Jiaguang, Sun.
Computers & Structures. 81 (2003) 24-25 - p. 2383-2394 , 2003

Link: https://doi.org/10.1016/..

5

Some issues on the translator of smalltalk to C++:

Shaofeng, Wang ; Fuquing, Yang ; Jiaguang, Sun
ACM SIGPLAN Notices. 36 (2001) 4 - p. 48-55 , 2001

Link: https://dl.acm.org/doi/1..

6

Some issues on the translator of smalltalk to C++:

Shaofeng, Wang ; Fuquing, Yang ; Jiaguang, Sun
ACM SIGPLAN Notices. 36 (2001) 4 - p. 48-55 , 2001

Link: https://doi.org/10.1145/..

7

A framework design of workflow management system with Java ..:

Shaofeng, Wang ; Jiaguang, Sun
ACM SIGPLAN Notices. 36 (2001) 9 - p. 86-93 , 2001

Link: https://doi.org/10.1145/..

8

A framework design of workflow management system with Java ..:

Shaofeng, Wang ; Jiaguang, Sun
ACM SIGPLAN Notices. 36 (2001) 9 - p. 86-93 , 2001

Link: https://dl.acm.org/doi/1..

9

The sweep-envelope differential equation algorithm for gene..:

Guoping, Wang ; Jiaguang, Sun ; Xuanji, Hua
Computer Aided Geometric Design. 17 (2000) 5 - p. 399-418 , 2000

Link: https://doi.org/10.1016/..

10

Tyr: Finding Consensus Failure Bugs in Blockchain System wi..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Chen, Yuanliang ; Ma, Fuchen ; Zhou, Yuanhang... - p. 2517-2532 , 2023

Link: https://doi.org/10.1109/..

11

Major Research Achievements:

, In: Reports of China's Basic Research; The Fundamental Research for Trustworthy Software,

He, Jifeng ; Fang, Binxing ; Sun, Jiaguang... - p. 35-63 , 2023

Link: https://doi.org/10.1007/..

12

Outlook:

, In: Reports of China's Basic Research; The Fundamental Research for Trustworthy Software,

He, Jifeng ; Fang, Binxing ; Sun, Jiaguang... - p. 65-72 , 2023

Link: https://doi.org/10.1007/..

13

Building Dynamic System Call Sandbox with Partial Order Ana..:

Zhang, Quan ; Zhou, Chijin ; Xu, Yiwen...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1253-1280 , 2023

Link: https://doi.org/10.1145/..

14

Research in China and Abroad:

, In: Reports of China's Basic Research; The Fundamental Research for Trustworthy Software,

He, Jifeng ; Fang, Binxing ; Sun, Jiaguang... - p. 25-33 , 2023

Link: https://doi.org/10.1007/..

15

CoopHance: Cooperative Enhancement for Robustness of Deep L..:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Zhang, Quan ; Tian, Yongqiang ; Ding, Yifeng... - p. 753-765 , 2023

Link: https://dl.acm.org/doi/1..