Search results for "control flow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz	Data Management and Control-Flow Aspects of an SIMD/SPMD Parallel Language/Compiler.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	control-flow aspects, SIMD/SPMD parallel language/compiler, explicitly parallel programming language, reconfigurable parallel processing systems, mode version, data-dependent control-flow, PE-address-dependent control-flow, parallel machine prototype, parallel programming, database management systems, data management, program compilers, parallel languages, processing elements, single program-multiple data
4	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
4	Zahira Ammarguellat	A Control-Flow Normalization Algorithm and Its Complexity.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	control-flow normalization algorithm, control flowgraphs, control-flow cycles, GOTOs, node-splitting techniques, control dependence relations, parallel algorithms, computational complexity, complexity, graph theory, automatic parallelization, structured programming, syntax tree
3	Wilson W. L. Fung, Ivan Sham, George L. Yuan, Tor M. Aamodt	Dynamic warp formation: Efficient MIMD control flow on SIMD graphics hardware.	TACO	2009	DBLP DOI BibTeX RDF	fine-grained multithreading, GPU, SIMD, control flow
3	Sumit Gulwani, Sagar Jain, Eric Koskinen	Control-flow refinement and progress invariants for bound analysis.	PLDI	2009	DBLP DOI BibTeX RDF	control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
3	Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang 0002, Pen-Chung Yew	Control flow obfuscation with information flow tracking.	MICRO	2009	DBLP DOI BibTeX RDF	control flow obfuscation, opaque predicate, information flow tracking, control speculation
3	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
3	Christopher Ferguson, Qijun Gu, Hongchi Shi	Self-healing control flow protection in sensor applications.	WISEC	2009	DBLP DOI BibTeX RDF	sensor application, access control, self healing, tinyos, control flow
3	Rui Gong, Wei Chen 0009, Fang Liu, Kui Dai, Zhiying Wang	Control flow checking and recovering based on 8051 architecture.	SAC	2008	DBLP DOI BibTeX RDF	8051 architecture, recovering, control flow checking
3	Devanir Zuliane, Marcio K. Oikawa, Simon Malkowski, José de Jesús Perez Alcázar, João Eduardo Ferreira	The RiverFish Approach to Business Process Modeling: Linking Business Steps to Control-Flow Patterns.	CollaborateCom	2008	DBLP DOI BibTeX RDF	control-flow patterns, information systems, process modeling, business process management, conceptual schema
3	Navid Farazmand, Mahdi Fazeli, Seyed Ghassem Miremadi	FEDC: Control Flow Error Detection and Correction for Embedded Systems without Program Interruption.	ARES	2008	DBLP DOI BibTeX RDF	Fault Tolerant, Embedded System, Error Correction, Soft Error, Control Flow Checking
3	Pedro C. Diniz, Diogo R. Ferreira	Automatic Extraction of Process Control Flow from I/O Operations.	BPM	2008	DBLP DOI BibTeX RDF	Process mining, Fourier analysis, Control-flow graphs
3	Sriraman Tallam, Rajiv Gupta	Unified control flow and data dependence traces.	TACO	2007	DBLP DOI BibTeX RDF	Control flow trace, dynamic data dependence trace, profiling, address trace
3	Lingxiao Jiang, Zhendong Su	Context-aware statistical debugging: from bug predictors to faulty control flow paths.	ASE	2007	DBLP DOI BibTeX RDF	bug localization, machine learning, control flow analysis, statistical debugging
3	Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu	Using control-flow patterns for specifying business processes in cooperative environments.	SAC	2007	DBLP DOI BibTeX RDF	control-flow patterns, process reference modeling, process algebra, business process management, scientific workflows
3	David Van Horn, Harry G. Mairson	Relating complexity and precision in control flow analysis.	ICFP	2007	DBLP DOI BibTeX RDF	eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction
3	Nai Xia, Bing Mao, Qingkai Zeng, Li Xie	Efficient and Practical Control Flow Monitoring for Program Security.	ASIAN	2006	DBLP DOI BibTeX RDF	Program Vulnerability, Source Code Instrumentation, Static Analysis, Control Flow, Dynamic Profiling
3	John H. Reppy	Type-sensitive control-flow analysis.	ML	2006	DBLP DOI BibTeX RDF	ML, control-flow analysis
3	Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini	Efficient control flow quantification.	OOPSLA	2006	DBLP DOI BibTeX RDF	virtual machine support, aspect-oriented programming, control flow
3	Yu-Lun Huang, F. S. Ho, Hsin-Yi Tsai, H. M. Kao	A control flow obfuscation method to discourage malicious tampering of software codes.	ASIACCS	2006	DBLP DOI BibTeX RDF	control flow obfuscation, reverse engineering, tamper-resistance, intellectual property protection, software obfuscation
3	Roshan G. Ragel, Sri Parameswaran	Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	embedded processor reliability, hardware/software technique, micro-instruction routines, preemptive fault detection, reliable processors, control flow checking
3	Mihai Budiu, Úlfar Erlingsson, Martín Abadi	Architectural support for software-based protection.	ASID	2006	DBLP DOI BibTeX RDF	control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting
3	Praful V. Bhansali	Complexity measurement of data and control flow.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	N2 chart, data flow, control flow, software complexity
3	Jun Ge, Soma Chaudhuri, Akhilesh Tyagi	Control flow based obfuscation.	Digital Rights Management Workshop	2005	DBLP DOI BibTeX RDF	control flow, software obfuscation
3	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	Control-flow integrity.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors
3	Xiaotong Zhuang, Tao Zhang, Hsien-Hsin S. Lee, Santosh Pande	Hardware assisted control flow obfuscation for embedded processors.	CASES	2004	DBLP DOI BibTeX RDF	obfuscation, control flow graph
3	Jang-Wu Jo, Byeong-Mo Chang	Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow.	ICCSA	2004	DBLP DOI BibTeX RDF	exception flow, control flow graph, normal flow
3	Peng Li, Steve Zdancewic	Advanced control flow in Java card programming.	LCTES	2004	DBLP DOI BibTeX RDF	trampolined style, smart card, continuation, control flow, Java card, CPS
3	Weidong Wang, Tat Kee Tan, Jiong Luo, Yunsi Fei, Li Shang, Keith S. Vallerio, Lin Zhong, Anand Raghunathan, Niraj K. Jha	A comprehensive high-level synthesis system for control-flow intensive behaviors.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	control-flow intensive behaviors, high-level synthesis, low power design
3	Daniel Kästner, Stephan Wilhelm	Generic control flow reconstruction from assembly code.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	control flow reconstruction, embedded processors, call graph, retargetable compilers, assembly code, postpass optimization
3	Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott	A Control-Flow Analysis for a Calculus of Concurrent Objects.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	prototype-based, Concurrency, object-oriented, soundness, control-flow analysis
3	Zeyad Alkhalifa, V. S. S. Nair, Narayanan Krishnamurthy, Jacob A. Abraham	Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	coverage, latency, fault injection, assertions, Control flow checking
3	Thomas Ball	On the Limit of Control Flow Analysis for Regression Test Selection.	ISSTA	1998	DBLP DOI BibTeX RDF	profiling, coverage, regression testing, control flow analysis
3	Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha	IMPACT: A High-Level Synthesis System for Low Power Control-Flow Intensive Circuits.	DATE	1998	DBLP DOI BibTeX RDF	multiplexer re-structuring, low power, high-level synthesis, resource sharing, control-flow, module selection
3	Saumya K. Debray, Todd A. Proebsting	Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	control-flow analysis
3	David I. August, Wen-mei W. Hwu, Scott A. Mahlke	A Framework for Balancing Control Flow and Predication.	MICRO	1997	DBLP BibTeX RDF	conditional instructions, if-conversion, predicated instructions, program control flow, schedule time, scheduling decisions, compiler, parallel architecture, instruction-level parallelism, optimising compilers, predicated execution
3	Ganesh Lakshminarayana, Kamal S. Khouri, Niraj K. Jha	Wavesched: a novel scheduling technique for control-flow intensive behavioral descriptions.	ICCAD	1997	DBLP DOI BibTeX RDF	control-flow intensive, scheduling, parallelism, pipelining, loop unrolling
3	X. Wendling, R. Rochet, Régis Leveugle	Standard and ROM-based synthesis of FSMs with control flow checking capabilities.	VTS	1996	DBLP DOI BibTeX RDF	read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking
3	Akihiko Matsuo, Sanya Uehara, Minako Kimura	A Maintenance Support System based on High-Level Control-Flow and Data Dependency.	APSEC	1995	DBLP DOI BibTeX RDF	large-scale business application system, data dependency, control-flow, program maintenance, ripple effect analysis
3	Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham	Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	control flow machine, verification vectors, formal verification, logic testing, digital simulation, circuit analysis computing, design verification, functional specification
3	Michael A. Schuette, John Paul Shen	Exploiting Instruction-Level Parallelism for Integrated Control-Flow Monitoring.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	control-flow monitoring, machine parallelism, idle resources, Multiflow TRACE 14/300 processor, TRACE 14/300, available resource-driven control-flow monitoring, parallel architectures, fault tolerant computing, error detection, instruction-level parallelism, concurrent error detection
3	Thomas Ball	What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow.	LOPLAS	1993	DBLP DOI BibTeX RDF	regions, control-flow graph, control dependence
3	K. B. Lakshmanan, S. Jayaprakash, P. K. Sinha	Properties of Control-Flow Complexity Measures.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control-flow complexity measure, cyclomatic number, total adjusted complexity, scope ratio, MEBOW, NPATH, software metrics, sequencing, programming theory, nesting
3	Stephen S. Yau, Wonmo Hong	Verification of Concurrent Control Flow in Distributed Computer Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software design representation, fault-tolerance, Context-free grammar, control flow checking, distributed software
2	Ramtilak Vemu, Jacob A. Abraham	CEDA: Control-Flow Error Detection Using Assertions.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Control-flow errors, software-based detection, fault tolerance, error detection
2	Zhi Wang, Xuxian Jiang	HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Control-Flow Integrity, Hypervisor, Rootkits
2	Yu-song Chen	The Generating Algorithm of Protocol Consistency Test Sequences Between Combined Control Flow and Data Flow.	MVHI	2010	DBLP DOI BibTeX RDF	protocol consistency test, data flow, control flow, test sequence, EFSM
2	Mohammad Abdur Rouf, Soontae Kim	Modeling and Evaluation of Control Flow Vulnerability in the Embedded System.	MASCOTS	2010	DBLP DOI BibTeX RDF	control flow error, architectural vulnerbility factor, transient fault
2		Control Flow Diagrams.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Jaco van de Pol, Mark Timmer	State Space Reduction of Linear Processes Using Control Flow Reconstruction.	ATVA	2009	DBLP DOI BibTeX RDF
2	Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han	A Static Java Birthmark Based on Control Flow Edges.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Aubrey J. Rembert, Clarence (Skip) Ellis	Learning the Control-Flow of a Business Process Using ICN-Based Process Models.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
2	Yong-Joon Park, Zhao Zhang, Songqing Chen	Run-Time Detection of Malwares via Dynamic Control-Flow Inspection.	ASAP	2009	DBLP DOI BibTeX RDF
2	Simone Campanoni, Stefano Crespi-Reghizzi	Traces of Control-Flow Graphs.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Frank Eichinger, Klemens Böhm	Selecting Computer Architectures by Means of Control-Flow-Graph Mining.	IDA	2009	DBLP DOI BibTeX RDF
2	David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris	A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.	SAS	2009	DBLP DOI BibTeX RDF
2	Binbin Wang, Zhitang Li, Hao Tu, Jie Ma	Measuring Peer-to-Peer Botnets Using Control Flow Stability.	ARES	2009	DBLP DOI BibTeX RDF
2	Johannes Kinder, Florian Zuleger, Helmut Veith	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang	Capturing propagation of infected program states.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	basic block, control-flow edge, edge profile, fault localization
2	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
2	Arjun Guha, Shriram Krishnamurthi, Trevor Jim	Using static analysis for Ajax intrusion detection.	WWW	2009	DBLP DOI BibTeX RDF	intrusion detection, javascript, Ajax, control-flow analysis
2	Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong	Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks.	NOMS	2008	DBLP DOI BibTeX RDF
2	Karl Fürlinger, Shirley Moore	Visualizing the Program Execution Control Flow of OpenMP Applications.	IWOMP	2008	DBLP DOI BibTeX RDF
2	Jinpeng Wei, Bryan D. Payne, Jonathon Giffin, Calton Pu	Soft-Timer Driven Transient Kernel Control Flow Attacks and Defense.	ACSAC	2008	DBLP DOI BibTeX RDF
2	Peng Li, Hyundo Park, Debin Gao, Jianming Fu	Bridging the Gap between Data-Flow and Control-Flow Analysis for Anomaly Detection.	ACSAC	2008	DBLP DOI BibTeX RDF
2	Stefan Leue, Alin Stefanescu, Wei Wei	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
2	Daniel Ziener, Jürgen Teich	Concepts for Autonomous Control Flow Checking for Embedded CPUs.	ATC	2008	DBLP DOI BibTeX RDF
2	Jingbo Zhang, Wen Fu, Jianmin Pang, Rongcai Zhao	Using Propositional Calculas to Accurately Structure Control-Flow from Binary Executables.	CSSE	2008	DBLP DOI BibTeX RDF
2	Marcello La Rosa, Marlon Dumas, Arthur H. M. ter Hofstede, Jan Mendling, Florian Gottschalk	Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects.	ER	2008	DBLP DOI BibTeX RDF	object flow, Process model, configuration, resource
2	Ghulam Lashari, Ondrej Lhoták, Michael McCool	Control Flow Emulation on Tiled SIMD Architectures.	CC	2008	DBLP DOI BibTeX RDF
2	Alex Kinneer, Gregg Rothermel	Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks.	ICSM	2008	DBLP DOI BibTeX RDF
2	Thomas D. LaToza	Answering control flow questions about code.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	empirical study, program comprehension, dataflow analysis
2	Frances Perry, David Walker	Reasoning about Control Flow in the Presence of Transient Faults.	SAS	2008	DBLP DOI BibTeX RDF
2	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
2	Axel Simon	Splitting the Control Flow with Boolean Flags.	SAS	2008	DBLP DOI BibTeX RDF
2	Daniel Martin, Daniel Wutke, Frank Leymann	Synchronizing control flow in a tuplespace-based, distributed workflow management system.	ICEC	2008	DBLP DOI BibTeX RDF	self coordinating components, tuplespaces, distributed workflows
2	Li Li, Wu Chou, Weiping Guo	Control Flow Analysis and Coverage Driven Testing for Web Services.	ICWS	2008	DBLP DOI BibTeX RDF
2	Thorsten Möller, Heiko Schuldt	Control Flow Intervention for Semantic Failure Handling during Composite Serice Execution.	ICWS	2008	DBLP DOI BibTeX RDF
2	Miao Wang, Rongcai Zhao, Jianmin Pang, Guoming Cai	Reconstructing Control Flow in Modulo Scheduled Loops.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	register rotation, modulo scheduling, decompilation, predication execution, conditional branches
2	Nélio Cacho, Thomas Cottenier, Alessandro Garcia	Improving robustness of evolving exceptional behaviour in executable models.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	exception control flow, aspect-oriented programming, modularity, exception handling, model-driven software development
2	Soodeh Hosseini, Mohammad Abdollahi Azgomi	UML Model Refactoring with Emphasis on Behavior Preservation.	TASE	2008	DBLP DOI BibTeX RDF	Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring
2	Jussi Vanhatalo, Hagen Völzer, Jana Koehler	The Refined Process Structure Tree.	BPM	2008	DBLP DOI BibTeX RDF	Workflow graph parsing, Model decomposition, BPMN to BPEL translation/ roundtripping, Subprocess detection, Graph theory, Control flow
2	Karl Fürlinger, Shirley Moore	Detection and Analysis of Iterative Behavior in Parallel Applications.	ICCS	2008	DBLP DOI BibTeX RDF	continuous profiling, control flow graph, Phase detection
2	Changjun Hu, Yewei Shao, Jue Wang, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
2	Mahdi Fazeli, Reza Farivar, Seyed Ghassem Miremadi	Error Detection Enhancement in PowerPC Architecture-based Embedded Processors.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Physical fault injection, Power supply disturbances, Concurrent error detection, Control flow checking
2	Tao Li, Lizy Kurian John, Anand Sivasubramaniam, Narayanan Vijaykrishnan, Juan Rubio	OS-Aware Branch Prediction: Improving Microprocessor Control Flow Prediction for Operating Systems.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	branch prediction, processor architectures, Pipeline processors, performance of systems, hardware/software interfaces, computer system implementation
2	Shuming Chen, Xiao Hu, Biwei Liu, Jihua Chen	An On-Line Control Flow Checking Method for VLIW Processor.	PRDC	2007	DBLP DOI BibTeX RDF
2	Jaewook Shin	Introducing Control Flow into Vectorized Code.	PACT	2007	DBLP DOI BibTeX RDF
2	Wilson W. L. Fung, Ivan Sham, George L. Yuan, Tor M. Aamodt	Dynamic Warp Formation and Scheduling for Efficient GPU Control Flow.	MICRO	2007	DBLP DOI BibTeX RDF
2	Rick Chern, Kris De Volder	Debugging with control-flow breakpoints.	AOSD	2007	DBLP DOI BibTeX RDF	debugger interface, pointcut language, case studies
2	Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cliff Changchun Zou	Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting.	ACSAC	2007	DBLP DOI BibTeX RDF
2	Jussi Vanhatalo, Hagen Völzer, Frank Leymann	Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.	ICSOC	2007	DBLP DOI BibTeX RDF
2	Axel Siebenborn, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel	Control-Flow Aware Communication and Conflict Analysis of Parallel Processes.	ASP-DAC	2007	DBLP DOI BibTeX RDF
2	Youngchul Cho, Nacer-Eddine Zergainoh, Ahmed Amine Jerraya, Kiyoung Choi	Buffer Size Reduction through Control-Flow Decomposition.	RTCSA	2007	DBLP DOI BibTeX RDF
2	Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni	Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature.	IMSCCS	2007	DBLP DOI BibTeX RDF
2	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
2	Mario Luca Bernardi, Giuseppe A. Di Lucca	An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems.	ICSM	2007	DBLP DOI BibTeX RDF
2	Vijayanand Nagarajan, Rajiv Gupta, Matias Madou, Xiangyu Zhang, Bjorn De Sutter	Matching Control Flow of Program Versions.	ICSM	2007	DBLP DOI BibTeX RDF
2	Mohsen Sharifi, Mohammad Zoroufi, Alireza Saberi	How to Counter Control Flow Tampering Attacks.	AICCSA	2007	DBLP DOI BibTeX RDF
2	Fabian Vargas, Leonardo Piccoli, Juliano Benfica, Antonio A. de Alecrim Jr., Marlon Moraes	Time-Sensitive Control-Flow Checking for Multitask Operating System-Based SoCs.	IOLTS	2007	DBLP DOI BibTeX RDF