Florin Craciun

According to our database, Florin Craciun authored at least 26 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.

Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin

CoRR, 2021

2018

Towards Compiling Region Types Into RTSJ-Compliant Java Code.

Florin Craciun, Gabriel Glodean

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG.

Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun

Proceedings of the Formal Methods and Software Engineering, 2018

Variant Region Types.

Florin Craciun, Wei-Ngan Chin, Shengchao Qin

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Automated Modular Verification for Relaxed Communication Protocols.

Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

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

Sci. Comput. Program., 2017

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

Proceedings of the 21st International Conference on Control Systems and Computer Science, 2017

2015

Towards a Session Logic for Communication Protocols.

Florin Craciun, Tibor Kiss, Andreea Costea

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verification of protocol specifications with Separation Logic.

Tibor Kiss, Florin Craciun, Bazil Pârv

Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2015

2013

Towards Complete Specifications with an Error Calculus.

Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin

Proceedings of the NASA Formal Methods, 2013

Towards Better Testing of fUML Models.

Florin Craciun, Simona Motogna, Ioan Lazar

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Automated Specification Discovery via User-Defined Predicates.

Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun

Proceedings of the Formal Methods and Software Engineering, 2013

2011

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Verifying pointer safety for programs with unknown calls.

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

J. Symb. Comput., 2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls.

Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Discovering Specifications for Unknown Procedures - Work in Progress.

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

An Interval-Based Inference of Variant Parametric Types.

Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin

Proceedings of the Programming Languages and Systems, 2009

2008

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.

Florin Craciun, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2008

A Flow-Sensitive Region Inference for CLI.

Alexandru Stefan, Florin Craciun, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2006

Core-java: an expression-oriented java.

Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A flow-based approach for variant parametric types.

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2004

Region inference for an object-oriented language.

Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2001

Norms for DLP Agents Working in a Warehouse Scenario.

Ioan Alfred Letia, Florin Craciun, Zoltan Köpe

Proceedings of the Engineering of Intelligent Systems, 2001

2000

First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents.

Ioan Alfred Letia, Florin Craciun, Zoltan Köpe, Alexandru Lelutiu

Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

Validating the Behavior of Self-Interested Agents in an Information Market Scenario.

Ioan Alfred Letia, Florin Craciun, Zoltan Köpe

Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

Towards Validation of Specifications by Simulation.

Ioan Alfred Letia, Florin Craciun, Zoltan Köpe

Proceedings of the Infrastructure for Agents, 2000