default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlorin Craciun
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j3]Yamine Aït-Ameur, Florin Craciun:
Introduction to the TASE 2022 Special issue. Sci. Comput. Program. 234: 103092 (2024)- 2022
- [e1]Yamine Aït Ameur
, Florin Craciun:
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Lecture Notes in Computer Science 13299, Springer 2022, ISBN 978-3-031-10362-9 [contents] - 2021
- [i1]Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin:
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR abs/2109.11802 (2021)
2010 – 2019
- 2018
- [c23]Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun:
Automated Modular Verification for Relaxed Communication Protocols. APLAS 2018: 284-305 - [c22]Florin Craciun, Wei-Ngan Chin, Shengchao Qin:
Variant Region Types. ICECCS 2018: 126-135 - [c21]Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun:
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM 2018: 177-193 - [c20]Florin Craciun, Gabriel Glodean:
Towards Compiling Region Types Into RTSJ-Compliant Java Code. SYNASC 2018: 101-108 - 2017
- [j2]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: 189-212 (2017) - [c19]Paul Tucan, Florin Craciun, Calin Vaida, Bogdan Gherman, Doina Pisla, Corina Radu, Nicolae Crisan:
Development of a Control System for an Innovative Parallel Robot Used in Prostate Biopsy. CSCS 2017: 76-83 - 2015
- [c18]Tibor Kiss, Florin Craciun, Bazil Pârv:
Verification of protocol specifications with Separation Logic. ICCP 2015: 109-116 - [c17]Florin Craciun, Tibor Kiss, Andreea Costea:
Towards a Session Logic for Communication Protocols. ICECCS 2015: 140-149 - 2013
- [c16]Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
Automated Specification Discovery via User-Defined Predicates. ICFEM 2013: 397-414 - [c15]Florin Craciun, Simona Motogna, Ioan Lazar:
Towards Better Testing of fUML Models. ICST 2013: 485-486 - [c14]Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin:
Towards Complete Specifications with an Error Calculus. NASA Formal Methods 2013: 291-306 - 2011
- [c13]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: 293-309 - 2010
- [j1]Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin:
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010) - [c12]Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR 2010: 76-91 - [c11]Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin:
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187
2000 – 2009
- 2009
- [c10]Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127 - 2008
- [c9]Alexandru Stefan, Florin Craciun, Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI. APLAS 2008: 19-35 - [c8]Florin Craciun, Shengchao Qin, Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146 - 2006
- [c7]Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea:
A flow-based approach for variant parametric types. OOPSLA 2006: 273-290 - [c6]Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin:
Core-java: an expression-oriented java. OOPSLA Companion 2006: 639-640 - 2004
- [c5]Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard:
Region inference for an object-oriented language. PLDI 2004: 243-254 - 2001
- [c4]Ioan Alfred Letia, Florin Craciun, Zoltan Köpe:
Norms for DLP Agents Working in a Warehouse Scenario. IEA/AIE 2001: 728-733 - 2000
- [c3]Ioan Alfred Letia, Florin Craciun, Zoltan Köpe:
Towards Validation of Specifications by Simulation. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 293-295 - [c2]Ioan Alfred Letia, Florin Craciun, Zoltan Köpe, Alexandru Lelutiu:
First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents. IDEAL 2000: 187-192 - [c1]Ioan Alfred Letia, Florin Craciun, Zoltan Köpe:
Validating the Behavior of Self-Interested Agents in an Information Market Scenario. IDEAL 2000: 392-397
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-31 17:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
