| 2008 |
|---|
| 10 | EE | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen:
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.
HASE 2008: 333-342 |
| 9 | EE | Jicheng Fu,
Farokh B. Bastani,
Vincent Ng,
I-Ling Yen,
Yansheng Zhang:
FIP: A Fast Planning-Graph-Based Iterative Planner.
ICTAI (1) 2008: 419-426 |
| 8 | EE | Wei Hao,
Jicheng Fu,
I-Ling Yen,
Zhonghang Xia:
A Novel PSO-MP Approach for Database Replications at Edge Servers.
ICTAI (2) 2008: 291-298 |
| 2007 |
|---|
| 7 | EE | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen:
Iterative Planning in the Context of Automated Code Synthesis.
COMPSAC (1) 2007: 251-259 |
| 6 | EE | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen:
Model-Driven Prototyping Based Requirements Elicitation.
Monterey Workshop 2007: 43-61 |
| 5 | EE | Manish Gupta,
Jicheng Fu,
Farokh B. Bastani,
Latifur Khan,
I-Ling Yen:
Rapid goal-oriented automated software testing using MEA-graph planning.
Software Quality Journal 15(3): 241-263 (2007) |
| 2006 |
|---|
| 4 | EE | Yansheng Zhang,
Jicheng Fu,
I-Ling Yen,
Farokh B. Bastani,
Ann T. Tai,
Savio N. Chau,
Farrokh Vatan,
Amir Fijany:
QoS Adaptive ISHM Systems.
ICTAI 2006: 47-54 |
| 3 | EE | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen:
Automated AI Planning and Code Pattern Based Code Synthesis.
ICTAI 2006: 540-546 |
| 2 | EE | Jian Liu,
Jicheng Fu,
Yansheng Zhang,
Farokh B. Bastani,
I-Ling Yen,
Ann T. Tai,
Savio N. Chau:
Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns.
ISORC 2006: 109-116 |
| 1 | EE | Wei Hao,
Jicheng Fu,
Jiang He,
I-Ling Yen,
Farokh B. Bastani,
Ing-Ray Chen:
Extending Proxy Caching Capability: Issues and Performance.
World Wide Web 9(3): 253-275 (2006) |
