Dachuan Yu

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 1

Top Topics

Wave Propagation

Dynamic Characteristics

Segmentation Algorithm

Top Venues

IEEE Trans. Instrum. Meas.

Publications

Dachuan Yu, Niancheng Zhou, Jianquan Liao, Qianggang Wang, Yuanzheng Lyu
Modified VMD Algorithm-Based Fault Location Method for Overhead-Cable Hybrid Transmission Line in MTDC System. IEEE Trans. Instrum. Meas. 73 (2024)
Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. ICST (2011)
Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura
Formal Specification and Analysis of Timing Properties in Software Systems. FASE (2009)
Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su
Dynamic test input generation for web applications. ISSTA (2008)
Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov
JavaScript Instrumentation in Practice. APLAS (2008)
Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov
Better abstractions for secure server-side scripting. WWW (2008)
Zhaozhong Ni, Dachuan Yu, Zhong Shao
Using XCAP to Certify Realistic Systems Code: Machine Context Management. TPHOLs (2007)
Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
JavaScript instrumentation for browser security. POPL (2007)
Dachuan Yu
More Typed Assembly Languages for Confidentiality. APLAS (2007)
Dachuan Yu, Nayeem Islam
A Typed Assembly Language for Confidentiality. ESOP (2006)
Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
Generics. ECOOP (2006)
Dachuan Yu, Andrew Kennedy, Don Syme
Formalization of generics for the .NET common language runtime. POPL (2004)
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
Building certified libraries for PCC: dynamic storage allocation. Sci. Comput. Program. 50 (1-3) (2004)
Dachuan Yu, Zhong Shao
Verification of safety properties for concurrent assembly code. ICFP (2004)
Subbaraya Yuvarajan, Dachuan Yu
Characteristics and modelling of PEM fuel cells. ISCAS (5) (2004)
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
Building Certified Libraries for PCC: Dynamic Storage Allocation. ESOP (2003)
Dachuan Yu, Zhong Shao, Valery Trifonov
Supporting Binary Compatibility with Static Compilation. Java Virtual Machine Research and Technology Symposium (2002)
Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
A Representation of Fomega in LF. Electron. Notes Theor. Comput. Sci. 58 (1) (2001)
Lu Pei, Dachuan Yu, Jian Lu
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment. ACM SIGPLAN Notices 32 (9) (1997)
Lu Pei, Dachuan Yu, Lu Jian, David L. Shang
A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models. TOOLS (24) (1997)