| 2025 | CLOSER | Advancing Serverless Workflow Efficiency: Integrating Functional Programming Constructs and DAG-Based Execution. | Harold-Nimrd Fldvri, Florin Craciun |
| 2025 | SYNASC | PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning. | Iulian-Teodor Deac, Harold-Nimrd Fldvri, Florin Craciun |
| 2024 | SYNASC | Optimizing Cold Start Performance in Serverless Computing Environments. | Daniel-George Malancioiu, Harold-Nimrd Fldvri, Florin Craciun |
| 2018 | APLAS | Automated Modular Verification for Relaxed Communication Protocols. | Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun |
| 2018 | ICECCS | Variant Region Types. | Florin Craciun, Wei-Ngan Chin, Shengchao Qin |
| 2018 | ICFEM | CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. | Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun |
| 2018 | SYNASC | Towards Compiling Region Types Into RTSJ-Compliant Java Code. | Florin Craciun, Gabriel Glodean |
| 2015 | ICECCS | Towards a Session Logic for Communication Protocols. | Florin Craciun, Tibor Kiss, Andreea Costea |
| 2013 | ICFEM | Automated Specification Discovery via User-Defined Predicates. | Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun |
| 2013 | ICST | Towards Better Testing of fUML Models. | Florin Craciun, Simona Motogna, Ioan Lazar |
| 2011 | CAV | A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
| 2010 | CADE | Discovering Specifications for Unknown Procedures - Work in Progress. | Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin |
| 2010 | ICFEM | Verifying Heap-Manipulating Programs with Unknown Procedure Calls. | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
| 2009 | ESOP | An Interval-Based Inference of Variant Parametric Types. | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
| 2008 | APLAS | A Flow-Sensitive Region Inference for CLI. | Alexandru Stefan, Florin Craciun, Wei-Ngan Chin |
| 2008 | ICFEM | A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. | Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
| 2006 | OOPSLA | A flow-based approach for variant parametric types. | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
| 2006 | OOPSLA | Core-java: an expression-oriented java. | Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin |
| 2004 | PLDI | Region inference for an object-oriented language. | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
| 2000 | IDEAL | Validating the Behavior of Self-Interested Agents in an Information Market Scenario. | Ioan Alfred Letia, Florin Craciun, Zoltan Kpe |
| 2000 | IDEAL | First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents. | Ioan Alfred Letia, Florin Craciun, Zoltan Kpe, Alexandru Lelutiu |