Search results for "CFG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Kanagasabai Rajaraman, Ah-Hwee Tan	Mining Semantic Networks for Knowledge Discovery.	ICDM	2003	DBLP DOI BibTeX RDF
71	Alessandro Brawerman, Douglas M. Blough, Benny Bing	Securing the download of radio configuration files for software defined radio devices.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	analysis of protocols, radio configuration, security and privacy issues and software
71	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
71	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.	PARLE (2)	1987	DBLP DOI BibTeX RDF
67	Hyun Namgoong, Hong-Gee Kim	Ontology-Based Controlled Natural Language Editor Using CFG with Lexical Dependency.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF	Lexical Dependency, OntoPath, Look-Ahead Editor, Ontology, Context-Free Grammar, Controlled Natural Language
56	Minming Li, Chun Jason Xue, Tiantian Liu 0001, Yingchao Zhao 0001	Analysis and approximation for bank selection instruction minimization on partitioned memory architecture.	LCTES	2010	DBLP DOI BibTeX RDF	bank selection instruction minimization, partitioned memory architecture
56	Yufeng Chen, Chengqing Zong	A Structure-Based Model for Chinese Organization Name Translation.	ACM Trans. Asian Lang. Inf. Process.	2008	DBLP DOI BibTeX RDF	hierarchical derivation, organization name, synchronous context-free grammar, Machine translation, alignment, structural analysis, rules extraction, named entity, chunk
56	Ying Jin 0002	Formal Verification of Protocol Properties of Sequential Java Programs.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
56	Swapan Bhattacharya, Ananya Kanjilal	Code Based Analysis for Object-Oriented Systems.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	extended control flow graph, extended cyclomatic complexity, test paths, graph-based testing, object-oriented testing
53	YunMei Dong	Linear algorithm for lexicographic enumeration of CFG parse trees.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	hierarchical construction of set of parse trees, lexicographic enumeration of parse trees, counting of parse trees
53	Vinod P. Nair, Vijay Laxmi, Manoj Singh Gaur, G. V. S. S. Phani Kumar, Yadvendra S. Chundawat	Static CFG analyzer for metamorphic Malware code.	SIN	2009	DBLP DOI BibTeX RDF	metamorphic malware, normalization, obfuscation, control flow graph, longest common subsequence
43	Ozcan Ozturk 0001, Mahmut T. Kandemir, Guangyu Chen	Access pattern-based code compression for memory-constrained systems.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	CFG, code access pattern, Embedded systems, code compression, memory optimization
42	Efe Yardimci, Michael Franz	Mostly static program partitioning of binary executables.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Continuous compilation and optimization, dynamic parallelization, binary translation
42	Hongying Tang, Bo Zhu 0001, Kui Ren 0001	A New Approach to Malware Detection.	ISA	2009	DBLP DOI BibTeX RDF
42	Ayon Basumallik, Rudolf Eigenmann	Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis.	IWOMP	2008	DBLP DOI BibTeX RDF
42	Safaa O. Al-Mamory, Hongli Zhang 0001, Ayad R. Abbas	Modeling network attacks for scenario construction.	IJCNN	2008	DBLP DOI BibTeX RDF
42	Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley	Correcting the Dynamic Call Graph Using Control-Flow Constraints.	CC	2007	DBLP DOI BibTeX RDF
42	Akihiko Tozawa, Yasuhiko Minamide	Complexity Results on Balanced Context-Free Languages.	FoSSaCS	2007	DBLP DOI BibTeX RDF
42	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.	APLAS	2007	DBLP DOI BibTeX RDF
42	Deepak Goyal	Transformational Derivation of an Improved Alias Analysis Algorithm.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	may-alias analysis, dominated convergence, finite differencing, workset algorithm, alias graph, sparse evaluation graph, input-bounded, output-bounded, continuity, pointer analysis, control flow graph
42	Nerina Bermudo, Andreas Krall, R. Nigel Horspool	Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions.	SCAM	2005	DBLP DOI BibTeX RDF
42	Lillian Lee	Fast context-free grammar parsing requires fast boolean matrix multiplication.	J. ACM	2002	DBLP DOI BibTeX RDF	context-free grammar parsing, Boolean matrix multiplication
42	Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves	Fast Copy Coalescing and Live-Range Identification.	PLDI	2002	DBLP DOI BibTeX RDF	copy coalescing, live-range identification, code generation, register allocation, interference graph
39	Raul Fechete, Georg Kienesberger, Johann Blieberger	A Framework for CFG-Based Static Program Analysis of Ada Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
28	Abdul Razzaq, Ali Hur, Nasir Haider, Hafiz Farooq Ahmad	Multi-Layered Defense against Web Application Attacks.	ITNG	2009	DBLP DOI BibTeX RDF	CFG, Pi Calculus
28	Malay K. Ganai, Aarti Gupta	Tunneling and slicing: towards scalable BMC.	DAC	2008	DBLP DOI BibTeX RDF	CFG, partitioning, slice, SMT, tunnel, EFSM, CSR, BMC
28	Michael S. Ryoo, Jake K. Aggarwal	Semantic Representation and Recognition of Continued and Recursive Human Activities.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Semantic-level video analysis, Hierarchical action recognition, Event detection, Human activity recognition
28	Benjapol Auprasert, Yachai Limpiyakorn	Representing source code with Granular hierarchical structures.	ICPC	2009	DBLP DOI BibTeX RDF
28	Alexandru Nicolau, Guangqiang Li, Arun Kejariwal	Techniques for efficient placement of synchronization primitives.	PPoPP	2009	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
28	Sahar Al Seesi, Sanguthevar Rajasekaran, Reda A. Ammar	Pseudoknot Identification through Learning TAGRNA.	PRIB	2008	DBLP DOI BibTeX RDF
28	K. G. Subramanian 0001, Atulya K. Nagar, M. Geethalakshmi	Pure 2D Picture Grammars (P2DPG) and P2DPG with Regular Control.	IWCIA	2008	DBLP DOI BibTeX RDF
28	Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall	Generation of All-Paths Unit Test with Function Calls.	ICST	2008	DBLP DOI BibTeX RDF	all-paths unit test, unit test with function calls, unit test, constraint solving, structural testing, automatic generation, testing C programs
28	Yun Liang 0001, Tulika Mitra	Static analysis for fast and accurate design space exploration of caches.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	probabilistic cache states, cache, design space exploration
28	Tao Wei, Jian Mao, Wei Zou, Yu Chen	A New Algorithm for Identifying Loops in Decompilation.	SAS	2007	DBLP DOI BibTeX RDF	Loop identifying, Unstructuredness coefficient, Control flow analysis, Decompilation
28	Olgierd Unold	Learning Classifier System Approach to Natural Language Grammar Induction.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
28	Anastasis A. Sofokleous, Andreas S. Andreou	Batch-Optimistic Test-Cases Generation Using Genetic Algorithms.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
28	Jingling Xue, Qiong Cai	A lifetime optimal algorithm for speculative PRE.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	classic PRE, speculative PRE, data-flow analysis, Partial redundancy elimination, lifetime optimality, computational optimality
28	Young H. Cho, James Moscola, John W. Lockwood	Context-Free-Grammar based Token Tagger in Reconfigurable Devices.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
28	Young H. Cho, James Moscola, John W. Lockwood	Context-free-grammar based token tagger in reconfigurable devices.	FPGA	2006	DBLP DOI BibTeX RDF
28	James Moscola, Young H. Cho, John W. Lockwood	Reconfigurable context-free grammar based data processing hardware with error recovery.	IPDPS	2006	DBLP DOI BibTeX RDF
28	Michael S. Ryoo, J. K. Aggarwal	Recognition of Composite Human Activities through Context-Free Grammar Based Representation.	CVPR (2)	2006	DBLP DOI BibTeX RDF
28	Tetsuo Saitou, Mitsugu Suzuki, Tan Watanabe	Dominance analysis of irreducible CFGs by reduction.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	dominance frontier, immediate dominator, reduction, control flow graph, dominator tree, irreducible
28	Matej Crepinsek, Marjan Mernik, Faizan Javed, Barrett R. Bryant, Alan P. Sprague	Extracting grammar from programs: evolutionary approach.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	learning from positive and negative examples, genetic programming, grammar induction, grammar inference
28	Dibyendu Das 0005, U. Ramakrishna 0001	A practical and fast iterative algorithm for phi-function computation using DJ graphs.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	DJ Graph, Dominance Frontier, Static Single Assignment Form
28	Travis D. Breaux, Annie I. Antón	Deriving Semantic Models from Privacy Policies.	POLICY	2005	DBLP DOI BibTeX RDF
28	W. Eric Wong, Yu Lei, Xiao Ma	Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.	ICECCS	2005	DBLP DOI BibTeX RDF	concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph
28	Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunelle	Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels.	CSMR	2003	DBLP DOI BibTeX RDF
28	Kanagasabai Rajaraman, Ah-Hwee Tan	Knowledge discovery from texts: a concept frame graph approach.	CIKM	2002	DBLP DOI BibTeX RDF	information visualization, text mining, concept mapping, knowledge extraction
28	Ernesto Rodrigues, Aurora T. R. Pozo	Grammar-Guided Genetic Programming and Automatically Defined Functions.	SBIA	2002	DBLP DOI BibTeX RDF
28	Vicente Carrillo Montero, Víctor J. Díaz Madrigal	Left Corner Parser for Tree Insertion Grammars.	AIMSA	2002	DBLP DOI BibTeX RDF	TIG, left corner, natural language processing, TAG, parsing
28	Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox	Node Coarsening Calculi for Program Slicing.	WCRE	2001	DBLP DOI BibTeX RDF	slice precision, node merging, slicing
28	Thore Graepel, Mike Goutrié, Marco Krüger, Ralf Herbrich	Learning on Graphs in the Game of Go.	ICANN	2001	DBLP DOI BibTeX RDF
28	Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar	Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs.	PASTE	1999	DBLP DOI BibTeX RDF	Java
28	Robert Koch 0001, Norbert Blum	Greibach Normal Form Transformation, Revisited.	STACS	1997	DBLP DOI BibTeX RDF
28	Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard	Value Dependence Graphs: Representation without Taxation.	POPL	1994	DBLP DOI BibTeX RDF
28	S. V. Raghavan, D. Vasuki Ammaiyar, Günter Haring	Generative Networkload Models for a Single Server Environment.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
28	Chung-Hsing Chen, Daniel G. Saab	A novel behavioral testability measure.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
28	Pei-Chi Wu, Feng-Jian Wang	An object-oriented specification for compiler.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
28	David R. Wallace	Low level scheduling using the hierarchical task graph.	ICS	1992	DBLP DOI BibTeX RDF
28	Rajiv Gupta 0001	A Fresh Look at Optimizing Array Bound Checking.	PLDI	1990	DBLP DOI BibTeX RDF
28	Norbert Blum	On the Power of Chain Rules in Context Free Grammars.	ICALP	1982	DBLP DOI BibTeX RDF
28	Anton Nijholt	Cover Results and Normal Forms.	MFCS	1977	DBLP DOI BibTeX RDF
27	Praveen Ranjan Srivastava, Parshad Patel, Siddharth Chatrola	Cause effect graph to decision table generation.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	cause effect graphing (CFG), requirement specification
27	Claus Brabrand, Robert Giegerich, Anders Møller	Analyzing Ambiguity of Context-Free Grammars.	CIAA	2007	DBLP DOI BibTeX RDF	CFG ambiguity, regular approximation, RNA analysis
27	Cheng-Ying Mao, Yansheng Lu	Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing.	ICECCS	2005	DBLP DOI BibTeX RDF	exception handling mechanism, control flow graph (CFG), robustness improvement model, exception testing, safety critical system
25	Anjali Pare, Prasad A. Kulkarni	Exploring Errors in Binary-Level CFG Recovery.	ICISSP	2024	DBLP DOI BibTeX RDF
25	Alan M. Cleary, Jordan Dood	Constructing the CDAWG CFG using LCP-Intervals.	DCC	2023	DBLP DOI BibTeX RDF
25	Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle	Warp-Level CFG Construction for GPU Kernel WCET Analysis.	WCET	2023	DBLP DOI BibTeX RDF
25	Sirus Shahini, Mu Zhang 0001, Mathias Payer, Robert Ricci	Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis.	AsiaCCS	2023	DBLP DOI BibTeX RDF
25	Yichuan Wang, Jingjing Zhao, Yaling Zhang, Xinhong Hei 0001, Lei Zhu 0011	Smart Contract Symbol Execution Vulnerability Detection Method Based on CFG Path Pruning.	BSCI	2023	DBLP DOI BibTeX RDF
25	Yun Gao, Hirokazu Hasegawa, Yukiko Yamaguchi, Hajime Shimada	Malware Detection using Attributed CFG Generated by Pre-trained Language Model with Graph Isomorphism Network.	COMPSAC	2022	DBLP DOI BibTeX RDF
25	Stefan Tauner, Mario Telesklav	Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
25	Mario Telesklav, Stefan Tauner	Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes.	CoRR	2021	DBLP BibTeX RDF
25	Xiaozhu Meng, Weijie Liu 0004	Incremental CFG patching for binary rewriting.	ASPLOS	2021	DBLP DOI BibTeX RDF
25	Hyerean Jang, Moon Chan Park, Dong Hoon Lee 0001	IBV-CFI: Efficient fine-grained control-flow integrity preserving CFG precision.	Comput. Secur.	2020	DBLP DOI BibTeX RDF
25	Tran Nguyen Huong, Do Minh Kha, Hoang-Viet Tran, Pham Ngoc Hung	Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values.	KSE	2020	DBLP DOI BibTeX RDF
25	Omayma Matoussi, Frédéric Pétrot	Loop aware CFG matching strategy for accurate performance estimation in IR-level native simulation.	Integr.	2019	DBLP DOI BibTeX RDF
25	Jieran Liu, Yuan Shen, Hanbing Yan	Functions-based CFG Embedding for Malware Homology Analysis.	ICT	2019	DBLP DOI BibTeX RDF
25	Tran Nghi Phu, Le Huy Hoang, Nguyen Ngoc Toan, Nguyen Dai Tho, Nguyen Ngoc Binh	C500-CFG: A Novel Algorithm to Extract Control Flow-based Features for IoT Malware Detection.	ISCIT	2019	DBLP DOI BibTeX RDF
25	Hongliang Liang, Yuxing Yang, Lu Sun, Lin Jiang 0002	JSAC: A Novel Framework to Detect Malicious JavaScript via CNNs over AST and CFG.	IJCNN	2019	DBLP DOI BibTeX RDF
25	Zhiwu Xu 0001, Kerong Ren, Fu Song	Android Malware Family Classification and Characterization Using CFG and DFG.	TASE	2019	DBLP DOI BibTeX RDF
25	Fabiano Ferreira Luz, Marcelo Finger	Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder.	CoRR	2018	DBLP BibTeX RDF
25	Zhiwu Xu 0001, Kerong Ren, Shengchao Qin, Florin Craciun	CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG.	ICFEM	2018	DBLP DOI BibTeX RDF
25	Dongrui Zeng, Gang Tan	From Debugging-Information Based Binary-Level Type Inference to CFG Generation.	CODASPY	2018	DBLP DOI BibTeX RDF
25	Seong-Kyun Mok, Eun-Sun Cho	Building a CFG to Include Exceptions.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
25	Gang Tan, Trent Jaeger	CFG Construction Soundness in Control-Flow Integrity.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
25	Manny Rayner, Nikos Tsourakis, Johanna Gerlach	Lightweight Spoken Utterance Classification with CFG, tf-idf and Dynamic Programming.	SLSP	2017	DBLP DOI BibTeX RDF
25	Noor Fardzilawati Md Nasir, Noraini Ibrahim, Tutut Herawan	Detection of Redundancy in CFG-Based Test Cases Using Entropy.	SCDM	2016	DBLP DOI BibTeX RDF
25	Minh Hai Nguyen, Mizuhito Ogawa, Quan Thanh Tho	Obfuscation Code Localization Based on CFG Generation of Malware.	FPS	2015	DBLP DOI BibTeX RDF
25	Scott E. Friedman, David J. Musliner	Automatically Repairing Stripped Executables with CFG Microsurgery.	SASO Workshops	2015	DBLP DOI BibTeX RDF
25	Takumi Adachi, Satoshi Yamane, Kohei Sakurai	Distributed CFG-based symbolic execution for assembly programs.	GCCE	2015	DBLP DOI BibTeX RDF
25	Carlos Gómez-Rodríguez	Finding the smallest binarization of a CFG is NP-hard.	J. Comput. Syst. Sci.	2014	DBLP DOI BibTeX RDF
25	Arjun Bhardwaj, N. S. Narayanaswamy	An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA.	CoRR	2014	DBLP BibTeX RDF
25	Daiga Deksne, Inguna Skadina, Raivis Skadins	Extended CFG Formalism for Grammar Checker and Parser Development.	CICLing (1)	2014	DBLP DOI BibTeX RDF
25	Patrick P. F. Chan, Christian S. Collberg	A Method to Evaluate CFG Comparison Algorithms.	QSIC	2014	DBLP DOI BibTeX RDF
25	Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant, Dawn Song	HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism.	ESORICS	2013	DBLP DOI BibTeX RDF
25	Li Li 0024, Honglai Liu, Qingshi Gao, PeiFeng Wang	A Unified and Synchronous Generating System for Multiple Natural Languages Based on CFG and Semantic Language.	Int. J. Wavelets Multiresolution Inf. Process.	2012	DBLP DOI BibTeX RDF
25	Andrew R. Bernat, Barton P. Miller	Structured Binary Editing with a CFG Transformation Algebra.	WCRE	2012	DBLP DOI BibTeX RDF
25	Shadab Irfan, Prabhat Ranjan	A concept of out degree in CFG for optimal test data using genetic algorithm.	RAIT	2012	DBLP DOI BibTeX RDF
25	Shay Zakov, Dekel Tsur, Michal Ziv-Ukelson	Reducing the worst case running times of a family of RNA and CFG problems, using Valiant's approach.	Algorithms Mol. Biol.	2011	DBLP DOI BibTeX RDF