Florin Craciun
Florin Craciun
Associate Professor of Computer Science, Babes-Bolyai University
Verified email at cs.ubbcluj.ro
Title
Cited by
Cited by
Year
Region inference for an object-oriented language
WN Chin, F Craciun, S Qin, M Rinard
ACM SIGPLAN Notices 39 (6), 243-254, 2004
572004
Distributed diagnosis by BDI agents
IA Letia, F Craciun, Z Kope, A Netin
IASTED International Conference" Applied Informatics", Innsbruck, Austria …, 2000
302000
A flow-based approach for variant parametric types
WN Chin, F Craciun, SC Khoo, C Popeea
ACM SIGPLAN Notices 41 (10), 273-290, 2006
182006
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods Symposium, 291-306, 2013
162013
Verifying pointer safety for programs with unknown calls
C Luo, F Craciun, S Qin, G He, WN Chin
Journal of Symbolic Computation 45 (11), 1163-1183, 2010
142010
A specialization calculus for pruning disjunctive predicates to support verification
WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin
International Conference on Computer Aided Verification, 293-309, 2011
112011
An interval-based inference of variant parametric types
F Craciun, WN Chin, G He, S Qin
European Symposium on Programming, 112-127, 2009
102009
CDGDroid: Android malware detection based on deep learning using CFG and DFG
Z Xu, K Ren, S Qin, F Craciun
International Conference on Formal Engineering Methods, 177-193, 2018
72018
Norms for DLP agents working in a warehouse scenario
IA Letia, F Craciun, Z Köpe
International Conference on Industrial, Engineering and Other Applications …, 2001
72001
Towards a Session Logic for Communication Protocols
F Craciun, T Kiss, A Costea
Engineering of Complex Computer Systems (ICECCS), 2015 20th International …, 2015
62015
Automated specification discovery via user-defined predicates
G He, S Qin, WN Chin, F Craciun
International Conference on Formal Engineering Methods, 397-414, 2013
62013
Towards better testing of fUML models
F Craciun, S Motogna, I Lazar
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
62013
A flow-sensitive region inference for cli
A Stefan, F Craciun, WN Chin
Asian Symposium on Programming Languages and Systems, 19-35, 2008
62008
A framework for object-oriented program analyses via Core-Java
F Craciun, HY Goh, WN Chin
IEEE Internationl Conference on Intelligent Computer Communication and …, 2006
62006
First experiments for mining sequential patterns on distributed sites with multi-agents
IA Letia, F Craciun, Z Köpe, A Lelutiu
International Conference on Intelligent Data Engineering and Automated …, 2000
52000
Verifying heap-manipulating programs with unknown procedure calls
S Qin, C Luo, G He, F Craciun, WN Chin
International Conference on Formal Engineering Methods, 171-187, 2010
42010
A formal soundness proof of region-based memory management for object-oriented paradigm
F Craciun, S Qin, WN Chin
International Conference on Formal Engineering Methods, 126-146, 2008
42008
Automated modular verification for relaxed communication protocols
A Costea, WN Chin, S Qin, F Craciun
Asian Symposium on Programming Languages and Systems, 284-305, 2018
32018
Automated specification inference in a combined domain via user-defined predicates
S Qin, G He, WN Chin, F Craciun, M He, Z Ming
Science of Computer Programming 148, 189-212, 2017
32017
Discovering Specifications for Unknown Procedures-Work in Progress.
F Craciun, C Luo, G He, S Qin, WN Chin
WING@ ETAPS/IJCAR, 76-91, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20