متابعة
Florin Craciun
Florin Craciun
Associate Professor of Computer Science, Babes-Bolyai University
بريد إلكتروني تم التحقق منه على ubbcluj.ro
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
CDGDroid: Android malware detection based on deep learning using CFG and DFG‏
Z Xu, K Ren, S Qin, F Craciun‏
Formal Methods and Software Engineering: 20th International Conference on …, 2018‏
782018
Region inference for an object-oriented language‏
WN Chin, F Craciun, S Qin, M Rinard‏
ACM SIGPLAN Notices 39 (6), 243-254, 2004‏
682004
Distributed diagnosis by BDI agents‏
IA Letia, F Craciun, Z Kope, A Netin‏
IASTED International Conference" Applied Informatics", Innsbruck, Austria …, 2000‏
312000
Towards complete specifications with an error calculus‏
QL Le, A Sharma, F Craciun, WN Chin‏
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013‏
202013
A flow-based approach for variant parametric types‏
WN Chin, F Craciun, SC Khoo, C Popeea‏
ACM SIGPLAN Notices 41 (10), 273-290, 2006‏
202006
Towards a Session Logic for Communication Protocols‏
F Craciun, T Kiss, A Costea‏
Engineering of Complex Computer Systems (ICECCS), 2015 20th International …, 2015‏
162015
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‏
152010
Automated modular verification for relaxed communication protocols‏
A Costea, WN Chin, S Qin, F Craciun‏
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018‏
112018
A specialization calculus for pruning disjunctive predicates to support verification‏
WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin‏
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011‏
112011
Automated specification discovery via user-defined predicates‏
G He, S Qin, WN Chin, F Craciun‏
Formal Methods and Software Engineering: 15th International Conference on …, 2013‏
92013
An interval-based inference of variant parametric types‏
F Craciun, WN Chin, G He, S Qin‏
European Symposium on Programming, 112-127, 2009‏
92009
Towards better testing of fUML models‏
F Craciun, S Motogna, I Lazar‏
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013‏
82013
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‏
72006
Norms for DLP agents working in a warehouse scenario‏
IA Letia, F Craciun, Z Köpe‏
Engineering of Intelligent Systems: 14th International Conference on …, 2001‏
72001
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‏
62017
Verifying heap-manipulating programs with unknown procedure calls‏
S Qin, C Luo, G He, F Craciun, WN Chin‏
Formal Methods and Software Engineering: 12th International Conference on …, 2010‏
62010
A flow-sensitive region inference for cli‏
A Stefan, F Craciun, WN Chin‏
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008‏
62008
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‏
52008
First experiments for mining sequential patterns on distributed sites with multi-agents‏
IA Letia, F Craciun, Z Köpe, A Lelutiu‏
Intelligent Data Engineering and Automated Learning—IDEAL 2000. Data Mining …, 2000‏
52000
Core-java: an expression-oriented java‏
F Craciun, HY Goh, C Popeea, WN Chin‏
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006‏
42006
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20