Florin Craciun

30 papers A* 2A 3B 5C 8Misc 3Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
Advancing Serverless Workflow Efficiency: Integrating Functional Programming Constructs and DAG-Based Execution.
CLOSER
Harold-Nimród Földvári, Florin Craciun
2024 J jnl
Introduction to the TASE 2022 Special issue.
Sci. Comput. Program.
Yamine Aït-Ameur, Florin Craciun
2024 Misc conf
Optimizing Cold Start Performance in Serverless Computing Environments.
SYNASC
Daniel-George Malancioiu, Harold-Nimród Földvári, Florin Craciun
2022 Misc ed.
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
TASE
Yamine Aït Ameur, Florin Craciun
2021 J jnl
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.
CoRR
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
2018 B conf
Automated Modular Verification for Relaxed Communication Protocols.
APLAS
Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
2018 C conf
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG.
ICFEM
Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
2018 Misc conf
Towards Compiling Region Types Into RTSJ-Compliant Java Code.
SYNASC
Florin Craciun, Gabriel Glodean
2018 B conf
Variant Region Types.
ICECCS
Florin Craciun, Wei-Ngan Chin, Shengchao Qin
2017 J jnl
Automated specification inference in a combined domain via user-defined predicates.
Sci. Comput. Program.
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
2017 — conf
Development of a Control System for an Innovative Parallel Robot Used in Prostate Biopsy.
CSCS
Paul Tucan, Florin Craciun, Calin Vaida, Bogdan Gherman, Doina Pisla, Corina Radu, Nicolae Crisan
2015 B conf
Towards a Session Logic for Communication Protocols.
ICECCS
Florin Craciun, Tibor Kiss, Andreea Costea
2015 B conf
Verification of protocol specifications with Separation Logic.
ICCP
Tibor Kiss, Florin Craciun, Bazil Pârv
2013 C conf
Automated Specification Discovery via User-Defined Predicates.
ICFEM
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
2013 A conf
Towards Better Testing of fUML Models.
ICST
Florin Craciun, Simona Motogna, Ioan Lazar
2013 — conf
Towards Complete Specifications with an Error Calculus.
NASA Formal Methods
Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
2011 A* conf
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.
CAV
Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
2010 — conf
Discovering Specifications for Unknown Procedures - Work in Progress.
WING@ETAPS/IJCAR
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2010 C conf
Verifying Heap-Manipulating Programs with Unknown Procedure Calls.
ICFEM
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
2010 J jnl
Verifying pointer safety for programs with unknown calls.
J. Symb. Comput.
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
2009 A conf
An Interval-Based Inference of Variant Parametric Types.
ESOP
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
2008 B conf
A Flow-Sensitive Region Inference for CLI.
APLAS
Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
2008 C conf
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
ICFEM
Florin Craciun, Shengchao Qin, Wei-Ngan Chin
2006 A conf
A flow-based approach for variant parametric types.
OOPSLA
Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
2006 — conf
Core-java: an expression-oriented java.
OOPSLA Companion
Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
2004 A* conf
Region inference for an object-oriented language.
PLDI
Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
2001 C conf
Norms for DLP Agents Working in a Warehouse Scenario.
IEA/AIE
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe
2000 C conf
First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents.
IDEAL
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe, Alexandru Lelutiu
2000 — conf
Towards Validation of Specifications by Simulation.
Agents Workshop on Infrastructure for Multi-Agent Systems
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe
2000 C conf
Validating the Behavior of Self-Interested Agents in an Information Market Scenario.
IDEAL
Ioan Alfred Letia, Florin Craciun, Zoltan Köpe