Florin Craciun

	2011
13		Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin: A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV 2011: 293-309
	2010
12		Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin: Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187
11		Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin: Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010)
	2009
10		Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127
	2008
9		Alexandru Stefan, Florin Craciun, Wei-Ngan Chin: A Flow-Sensitive Region Inference for CLI. APLAS 2008: 19-35
8		Florin Craciun, Shengchao Qin, Wei-Ngan Chin: A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146
	2006
7		Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea: A flow-based approach for variant parametric types. OOPSLA 2006: 273-290
6		Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin: Core-java: an expression-oriented java. OOPSLA Companion 2006: 639-640
	2004
5		Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard: Region inference for an object-oriented language. PLDI 2004: 243-254
	2001
4		Ioan Alfred Letia, Florin Craciun, Zoltan Köpe: Norms for DLP Agents Working in a Warehouse Scenario. IEA/AIE 2001: 728-733
	2000
3		Ioan Alfred Letia, Florin Craciun, Zoltan Köpe: Towards Validation of Specifications by Simulation. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 293-295
2		Ioan Alfred Letia, Florin Craciun, Zoltan Köpe, Alexandru Lelutiu: First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents. IDEAL 2000: 187-192
1		Ioan Alfred Letia, Florin Craciun, Zoltan Köpe: Validating the Behavior of Self-Interested Agents in an Information Market Scenario. IDEAL 2000: 392-397

Coauthor Index

1	Wei-Ngan Chin	[5] [6] [7] [8] [9] [10] [11] [12] [13]
2	Cristian Gherghina	[13]
3	Hong Yaw Goh	[6]
4	Guanhua He	[10] [11] [12]
5	Siau-Cheng Khoo	[7]
6	Zoltan Köpe	[1] [2] [3] [4]
7	Quang Loc Le	[13]
8	Alexandru Lelutiu	[2]
9	Ioan Alfred Letia	[1] [2] [3] [4]
10	Chenguang Luo	[11] [12]
11	Corneliu Popeea	[6] [7]
12	Shengchao Qin	[5] [8] [10] [11] [12] [13]
13	Martin C. Rinard	[5]
14	Alexandru Stefan	[9]
15	Razvan Voicu	[13]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page