Towards Validation of Specifications by Simulation. - Ioan Alfred Letia; Florin Craciun; Zoltan Köpe (Agents Workshop on Infrastructure for Multi-Agent Systems, 2000)

Validating the Behavior of Self-Interested Agents in an Information Market Scenario. - Ioan Alfred Letia; Florin Craciun; Zoltan Köpe (IDEAL, 2000)

First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents. - Ioan Alfred Letia; Florin Craciun; Zoltan Köpe; Alexandru Lelutiu (IDEAL, 2000)

Norms for DLP Agents Working in a Warehouse Scenario. - Ioan Alfred Letia; Florin Craciun; Zoltan Köpe (IEA/AIE, 2001)

Region inference for an object-oriented language. - Wei-Ngan Chin; Florin Craciun; Shengchao Qin; Martin C. Rinard (PLDI, 2004)

A flow-based approach for variant parametric types. - Wei-Ngan Chin; Florin Craciun; Siau-Cheng Khoo; Corneliu Popeea (OOPSLA, 2006)

Core-java: an expression-oriented java. - Florin Craciun; Hong Yaw Goh; Corneliu Popeea; Wei-Ngan Chin (OOPSLA Companion, 2006)

A Flow-Sensitive Region Inference for CLI. - Alexandru Stefan; Florin Craciun; Wei-Ngan Chin (APLAS, 2008)

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. - Florin Craciun; Shengchao Qin; Wei-Ngan Chin (ICFEM, 2008)

An Interval-Based Inference of Variant Parametric Types. - Florin Craciun; Wei-Ngan Chin; Guanhua He; Shengchao Qin (ESOP, 2009)

Discovering Specifications for Unknown Procedures - Work in Progress. - Florin Craciun; Chenguang Luo; Guanhua He; Shengchao Qin; Wei-Ngan Chin (WING@ETAPS/IJCAR, 2010)

Verifying Heap-Manipulating Programs with Unknown Procedure Calls. - Shengchao Qin; Chenguang Luo; Guanhua He; Florin Craciun; Wei-Ngan Chin (ICFEM, 2010)

Verifying pointer safety for programs with unknown calls. - Chenguang Luo; Florin Craciun; Shengchao Qin; Guanhua He; Wei-Ngan Chin (J. Symb. Comput., 2010)

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. - Wei-Ngan Chin; Cristian Gherghina; Razvan Voicu; Quang Loc Le; Florin Craciun; Shengchao Qin (CAV, 2011)

Automated Specification Discovery via User-Defined Predicates. - Guanhua He; Shengchao Qin; Wei-Ngan Chin; Florin Craciun (ICFEM, 2013)

Towards Better Testing of fUML Models. - Florin Craciun; Simona Motogna; Ioan Lazar (ICST, 2013)

Towards Complete Specifications with an Error Calculus. - Quang Loc Le; Asankhaya Sharma; Florin Craciun; Wei-Ngan Chin (NASA Formal Methods, 2013)

Verification of protocol specifications with Separation Logic. - Tibor Kiss; Florin Craciun; Bazil Pârv (ICCP, 2015)

Towards a Session Logic for Communication Protocols. - Florin Craciun; Tibor Kiss; Andreea Costea (ICECCS, 2015)

Development of a Control System for an Innovative Parallel Robot Used in Prostate Biopsy. - Paul Tucan; Florin Craciun; Calin Vaida; Bogdan Gherman; Doina Pisla; Corina Radu; Nicolae Crisan (CSCS, 2017)

Automated specification inference in a combined domain via user-defined predicates. - Shengchao Qin; Guanhua He; Wei-Ngan Chin; Florin Craciun; Mengda He; Zhong Ming 001 (Sci. Comput. Program., 2017)

Automated Modular Verification for Relaxed Communication Protocols. - Andreea Costea; Wei-Ngan Chin; Shengchao Qin; Florin Craciun (APLAS, 2018)

Variant Region Types. - Florin Craciun; Wei-Ngan Chin; Shengchao Qin (ICECCS, 2018)

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. - Zhiwu Xu 001; Kerong Ren; Shengchao Qin; Florin Craciun (ICFEM, 2018)

Towards Compiling Region Types Into RTSJ-Compliant Java Code. - Florin Craciun; Gabriel Glodean (SYNASC, 2018)

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. - Andreea Costea; Wei-Ngan Chin; Florin Craciun; Shengchao Qin (CoRR, 2021)

Optimizing Cold Start Performance in Serverless Computing Environments. - Daniel-George Malancioiu; Harold-Nimród Földvári; Florin Craciun (SYNASC, 2024)

Introduction to the TASE 2022 Special issue. - Yamine Aït-Ameur; Florin Craciun (Sci. Comput. Program., 2024)

Advancing Serverless Workflow Efficiency: Integrating Functional Programming Constructs and DAG-Based Execution. - Harold-Nimród Földvári; Florin Craciun (CLOSER, 2025)