 | 2012 |
|---|
| 10 |       | Hongjin Liang,
Xinyu Feng,
Ming Fu:
A rely-guarantee-based simulation for verifying concurrent program transformations.
POPL 2012: 455-468 |
| 9 | | Zipeng Zhang,
Xinyu Feng,
Ming Fu,
Zhong Shao,
Yong Li:
A Structural Approach to Prophecy Variables.
TAMC 2012: 61-71 |
| 2010 |
|---|
| 8 | | Ming Fu,
Yong Li,
Xinyu Feng,
Zhong Shao,
Yu Zhang:
Reasoning about Optimistic Concurrency Using a Program Logic for History.
CONCUR 2010: 388-402 |
| 7 | | Ming Fu,
Yu Zhang,
Yong Li:
Formal verification of concurrent programs with read-write locks.
Frontiers of Computer Science in China 4(1): 65-77 (2010) |
| 6 | | Yong Li,
Yu Zhang,
Yiyun Chen,
Ming Fu:
Formal Reasoning About Lazy-STM Programs.
J. Comput. Sci. Technol. 25(4): 841-852 (2010) |
| 2009 |
|---|
| 5 |  | Xiaobo Li,
Ming Fu,
Xiangdong Cui,
Zhou Zhou:
Super-Program Architectures - A New Driving Method for Executing Instructions.
CDES 2009: 111-116 |
| 4 | | Yong Li,
Yu Zhang,
Yiyun Chen,
Ming Fu:
On the Verification of Strong Atomicity in Programs Using STM.
SSIRI 2009: 123-131 |
| 3 | | Ming Fu,
Yu Zhang,
Yong Li:
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.
TASE 2009: 233-240 |
| 2008 |
|---|
| 2 | | Pei He,
Lishan Kang,
Ming Fu:
Formality based genetic programming.
IEEE Congress on Evolutionary Computation 2008: 4080-4087 |
| 2007 |
|---|
| 1 | | Ming Fu,
Yu Zhang:
Homomorphism Resolving of XPath Trees Based on Automata.
APWeb/WAIM 2007: 821-828 |
Data released under the ODC-BY 1.0 license — See also our legal information page