Dachuan Yu

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