Florin Craciun

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 7

Top Topics

Communication Protocols

Malware Detection

Explicit Or Implicit

Top Venues

Sci. Comput. Program.

Publications

Yamine Aït-Ameur, Florin Craciun
Introduction to the TASE 2022 Special issue. Sci. Comput. Program. 234 (2024)
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR (2021)
Florin Craciun, Gabriel Glodean
Towards Compiling Region Types Into RTSJ-Compliant Java Code. SYNASC (2018)
Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
Automated Modular Verification for Relaxed Communication Protocols. APLAS (2018)
Florin Craciun, Wei-Ngan Chin, Shengchao Qin
Variant Region Types. ICECCS (2018)
Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM (2018)
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. 148 (2017)
Florin Craciun, Tibor Kiss, Andreea Costea
Towards a Session Logic for Communication Protocols. ICECCS (2015)
Tibor Kiss, Florin Craciun, Bazil Pârv
Verification of protocol specifications with Separation Logic. ICCP (2015)
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
Automated Specification Discovery via User-Defined Predicates. ICFEM (2013)
Florin Craciun, Simona Motogna, Ioan Lazar
Towards Better Testing of fUML Models. ICST (2013)
Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
Towards Complete Specifications with an Error Calculus. NASA Formal Methods (2013)
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)
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM (2010)
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR (2010)
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45 (11) (2010)
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
An Interval-Based Inference of Variant Parametric Types. ESOP (2009)
Florin Craciun, Shengchao Qin, Wei-Ngan Chin
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM (2008)
Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
A Flow-Sensitive Region Inference for CLI. APLAS (2008)
Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
A flow-based approach for variant parametric types. OOPSLA (2006)
Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
Core-java: an expression-oriented java. OOPSLA Companion (2006)
Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
Region inference for an object-oriented language. PLDI (2004)
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe
Norms for DLP Agents Working in a Warehouse Scenario. IEA/AIE (2001)
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe, Alexandru Lelutiu
First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents. IDEAL (2000)
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe
Towards Validation of Specifications by Simulation. Agents Workshop on Infrastructure for Multi-Agent Systems (2000)
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe
Validating the Behavior of Self-Interested Agents in an Information Market Scenario. IDEAL (2000)