Search results for "Analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Yanhong A. Liu, Gustavo Gomez	Automatic Accurate Cost-Bound Analysis for High-Level Languages.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	cost bound, performance analysis and measurements, program analysis and transformation, space analysis, timing analysis, time analysis, worst-case execution time, program optimization, Cost analysis
8	Martin J. Diepstraten	Command and control system requirements analysis. System requirements specification tactical system CUP CMT.	ICECCS	1995	DBLP DOI BibTeX RDF	command and control system requirements analysis, system requirements specification tactical system, CUP CMT, user requirements analysis, process and information analysis, technical system analysis, system-oriented level, system reengineering, integrated tool support, rapid prototyping, systems analysis, software prototyping, systems re-engineering, information analysis, structured approach, command and control systems
7	Ben Liblit, Atanas Rountev	WODA 2008: the sixth international workshop on dynamic analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
7	Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof	Termination analysis of logic programs through combination of type-based norms.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
7	Mariana Sharp, Atanas Rountev	Static Analysis of Object References in RMI-Based Java Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	reference analysis, side-effect analysis, program analysis, points-to analysis, object-oriented software, RMI, distributed software, class analysis, call graph construction
7	Nenad Jovanovic, Christopher Kruegel, Engin Kirda	Precise alias analysis for static detection of web application vulnerabilities.	PLAS	2006	DBLP DOI BibTeX RDF	scripting languages security, static analysis, program analysis, data flow analysis, PHP, alias analysis, cross-site scripting, web application security
7	Ana Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to analysis for Java.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis
7	Marcelo Mendoza, Claudio Moraga, Luis Salinas	Design of a System for Image Registration and Compensation based on Spectral Analysis.	SCCC	2000	DBLP DOI BibTeX RDF	image compensation, crosspower spectrum, parameter estimation, parameter estimation, image registration, image registration, image database, spectral analysis, spectral analysis, visual databases, affine transformations, complex analysis, Fourier analysis, Fourier analysis, image acquisition
7	Yasuto Ishitani	Logical Structure Analysis of Document Images based on Emergent Computation. (PDF / PS)	ICDAR	1999	DBLP DOI BibTeX RDF	Logical structure analysis, Logical labeling, Emergent computation, Emergence, Artificial life, Document image analysis, Layout analysis, Document analysis system
7	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Solving Shape-Analysis Problems in Languages with Destructive Updating.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis
6	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
6	Nomair A. Naeem, Ondrej Lhoták	Efficient alias set analysis using SSA form.	ISMM	2009	DBLP DOI BibTeX RDF	live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
6	Tobias Gutzmann, Antonina Khairova, Jonas Lundberg, Welf Löwe	Towards Comparing and Combining Points-to Analyses.	SCAM	2009	DBLP DOI BibTeX RDF	analysis precision, interpreting analysis results, static analysis, dynamic analysis, points-to analysis
6	Yuanyan Tang	Status of pattern recognition with wavelet analysis.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	pattern recognition, biometrics, texture analysis, document analysis, image fusion, wavelet analysis, classifier design, image indexing and retrieval, singularity analysis, invariant representation
6	Iliada Elia, Athanasios Gagatsis	A comparison between the hierarchical clustering of variables, implicative statistical analysis and confirmatory factor analysis.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	implicative analysis, CHIC, representation, hierarchical clustering, function, Confirmatory Factor Analysis
6	Gérard Ramstein	Statistical Implicative Analysis of DNA microarrays.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	ranking analysis, gene coregulation, feature selection, classification rules, microarray data analysis
6	Petra Perner	Novel Computerized Methods in System Biology -Flexible High-Content Image Analysis and Interpretation System for Cell Images.	MDA	2008	DBLP DOI BibTeX RDF	Image Analysis and Interpretation, High-Content Analysis of Images HCA, Automation and Standardization of Visual Inspection Tasks, Systems for Knowledge Discovery and Interpretation, Microscopic Cell Image Analysis, Image-Mining
6	Chang-Burm Cho, Tao Li	Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis.	ISPASS	2007	DBLP DOI BibTeX RDF	program execution variability, workload execution statistics, program phase analysis, computer architecture design, computer architecture optimization, program execution statistics, SPEC CPU 2000 benchmark, wavelet domain phase analysis, runtime workload execution characteristics, scalable phase analysis, sampled workload statistics, phase classification accuracy, wavelet transform, time domain, wavelet denoising
6	Ruben E. Brown	AWE: improving software analysis through modular integration of static and dynamic analyses.	PASTE	2007	DBLP DOI BibTeX RDF	malicious software analysis, static analysis, dynamic analysis
6	Jaroslaw Kilon, Aida Saeed-Baginska, Jerzy Sienkiewicz, Romuald Mosdorf	Nonlinear and Frequency Analysis of the Weather in Bialystok.	CISIM	2007	DBLP DOI BibTeX RDF	windowed Fourier transform, weather analysis, wavelet analysis, fractal analysis, nonlinear analysis
6	Uma Srinivasan, Silvia Pfeiffer, Surya Nepal, Michael H. Lee, Lifang Gu, Stephen Barrass	A Survey of MPEG-1 Audio, Video and Semantic Analysis Techniques.	Multimedia Tools Appl.	2005	DBLP DOI BibTeX RDF	audio-visual segmentation, sports highlights, feature extraction, video analysis, content analysis, semantic analysis, audio analysis, scene change detection, MPEG-1
6	Atanas Rountev, Scott Kagan, Michael Gibas	Evaluating the imprecision of static analysis.	PASTE	2004	DBLP DOI BibTeX RDF	analysis precision, static analysis, dynamic analysis
6	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Parametric shape analysis via 3-valued logic.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	3-valued logic, destructive updating, static analysis, Abstract interpretation, shape analysis, constraint solving, pointer analysis, alias analysis
6	Nevin Heintze	Aliasing analysis for a million lines of C.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	aliasing analysis, narrowing conversion errors, scalable program analysis, C, dependence analysis, points-to analysis
6	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
6	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner	Low-level analysis of a portable Java byte code WCET analysis framework.	RTCSA	2000	DBLP DOI BibTeX RDF	low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs
6	Michael Codish, Harald Søndergaard, Peter J. Stuckey	Sharing and groundness dependencies in logic programs.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Boolean functions, program analysis, abstract interpretation, dataflow analysis, global analysis, groundness analysis, sharing analysis
6	Hanne Riis Nielson, Flemming Nielson	Flow Logics for Constraint Based Analysis.	CC	1998	DBLP DOI BibTeX RDF	Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis
6	Susan Horwitz	Precise Flow-Insensitive May-Alias Analysis is NP-Hard.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	static analysis, pointer analysis, dataflow analysis, alias analysis
6	Yasuto Ishitani	Document Layout Analysis Based on Emergent Computation.	ICDAR	1997	DBLP DOI BibTeX RDF	Structural Layout Analysis, Bottom Up Strategy, Document Image Analysis, Document Layout Analysis
6	Matthew B. Dwyer	Modular Flow Analysis for Concurrent Software. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
6	Sung-Kwan Kim, Sang Lyul Min, Rhan Ha	Efficient worst case timing analysis of data caching. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	efficient worst case timing analysis, accurate timing analysis, pipelined execution, multiple memory locations, pointer based references, dynamic load/store instructions, WCET overestimation, global data flow analysis, benchmark programs, real-time systems, computational complexity, data caching, cache storage, instruction sets, reduced instruction set computing, data dependence analysis, cache block
6	Krishnamoorthy Sivakumar, John Goutsias	On the morphological analysis of binary random fields. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	image data modeling, random shapes processing, random shapes analysis, continuous space binary random fields, random closed sets separability, image processing, image processing, statistical analysis, image analysis, mathematical morphology, set theory, random processes, morphological analysis, statistical techniques
6	Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa	RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	RECAP, requirements elicitation capture and analysis process prototype tool, large complex system development, consistent requirements, correct requirements, complete requirements, requirement use, requirement capture, requirement identification, natural language parsing, knowledge-based rules, semiautomatic capture elicitation analysis, unformatted natural language text, requirement translation, concise requirements data, user defined views, domain specific rules, formal specification, software tools, knowledge based systems, systems analysis, natural languages, requirement analysis, requirements specification, automated assistance, system life-cycle
6	K. Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
6	Suresh B. Marapane, Mohan M. Trivedi	Multi-Primitive Hierarchical (MPH) Stereo Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	multi-primitive hierarchical stereo analysis, hierarchical control strategy, region-based analysis module, linear edge segment-based analysis module, edgel-based stereo analysis module, multiple abstraction, image segmentation, edge detection, stereo image processing, hierarchical systems, image regions, disparity maps
6	Hamish Dewar, Paul Bratley, James Peter Thorne	A program for the syntactic analysis of English sentences.	Commun. ACM	1969	DBLP DOI BibTeX RDF	English sentences, analysis procedure, limited dictionary, psycholinguistics, recognition procedure, parsing, linguistic, syntactic analysis, language processing, language analysis, transformational grammar, predictive analysis
6	Glenn D. Bergland	Numerical Analysis: A fast fourier transform algorithm for real-valued series.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Fourier analysis algorithm, Fourier synthesis algorithm, digital spectrum analysis, real-time spectrum analyzers, fast Fourier transform, discrete Fourier transform, spectral analysis, time series analysis, digital filtering, Fourier analysis
5	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
5	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
5	Benjamin Seidler, Markus Ebbecke, Michael Gillmann	smartFIX statistics: towards systematic document analysis performance evaluation and optimization.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	document separation, key data, classification, evaluation, metrics, document analysis, extraction, suggestions
5	Ehry MacRostie, Rohit Prasad, Stephen Rawls, Matin Kamali, Huaigu Cao, Krishna Subramanian, Premkumar Natarajan	The BBN document analysis service: a platform for multilingual document translation.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	OCR, machine translation, system, Arabic, layout analysis
5	Markus Diem, Florian Kleber, Robert Sablatnig	Document analysis applied to fragments: feature set for the reconstruction of torn documents.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	document reconstruction, skew, layout analysis
5	Christophe Thovex, Francky Trichet	A Multidisciplinary Model of Dynamic and Semantic Social Networks Analysis for Institutions.	ASONAM	2010	DBLP DOI BibTeX RDF	Social Networks Analysis (SNA), ontologies, dynamic analysis, semantic analysis, electrodynamic
5	Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman	TAJ: effective taint analysis of web applications.	PLDI	2009	DBLP DOI BibTeX RDF	security, java, static analysis, web application, program analysis, slicing, taint analysis
5	Liping Hu, Hongwei Liu, Shunjun Wu	Two-Dimensional Maximum Clustering-Based Scatter Difference Discriminant Analysis for Synthetic Aperture Radar Automatic Target Recognition.	ISNN	2009	DBLP DOI BibTeX RDF	Two-dimensional clustering-based discriminant analysis (2DCDA), Maximum scatter difference (MSD), Two-dimensional principal component analysis (2DPCA), Two-dimensional linear discriminant analysis (2DLDA), Moving and stationary target acquisition and recognition (MSTAR), Synthetic aperture radar automatic target recognition (SAR ATR)
5	David G. Stork	Computer Vision and Computer Graphics Analysis of Paintings and Drawings: An Introduction to the Literature.	CAIP	2009	DBLP DOI BibTeX RDF	computer image analysis, brush stroke analysis, painting analysis, computer graphics reconstructions, pattern recognition, compositing, image forensics
5	Dongseok Jang, Kwang-Moo Choe	Points-to analysis for JavaScript.	SAC	2009	DBLP DOI BibTeX RDF	program analysis, JavaScript, scripting language, pointer analysis, points-to analysis
5	David G. Stork	Computer Analysis of Lighting in Realist Master Art: Current Methods and Future Challenges.	ICIAP	2009	DBLP DOI BibTeX RDF	computer image analysis of art, occluding contour algorithm, cast shadow analysis, computer graphics constructions, tableau virtuel, computer vision
5	Martin Th Görg, Jianjun Zhao	Identifying semantic differences in AspectJ programs.	ISSTA	2009	DBLP DOI BibTeX RDF	aop, difference analysis, disjunctive matching, static analysis, aspectj, semantic analysis
5	Jérémy Barbay, Claire Kenyon	Alternation and redundancy analysis of the intersection problem.	ACM Transactions on Algorithms	2008	DBLP DOI BibTeX RDF	Adaptive analysis, alternation analysis, intersection of sorted arrays, randomized algorithm, intersection, redundancy analysis
5	Hui Li, Maryellen L. Giger, Olufunmilayo I. Olopade, Michael R. Chinander	Power Spectral Analysis of Mammographic Parenchymal Patterns for Breast Cancer Risk Assessment.	J. Digital Imaging	2008	DBLP DOI BibTeX RDF	Mammographic parenchymal patterns, computerized texture analysis, breast cancer risk, power spectral analysis, image analysis
5	Stéphane Daviet, Fabrice Guillet, Henri Briand, Serge Baquédano, Vincent Philippé, Régis Gras	Using the Statistical Implicative Analysis for Elaborating Behavioral Referentials.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Statistical Implicative Analysis, Behavioral referentials, Validation study, geometric skill, Decision support system, Assessment tool
5	Pilar Orús, Pablo Gregori	Fictitious Pupils and Implicative Analysis: a Case Study.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	entropic implication, fictitious subject, intensity of implication, quasi-implication, statistical implicative analysis, Contribution, typicality
5	Guoqing (Harry) Xu, Atanas Rountev	Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	pointer analysis, context sensitivity, points-to analysis
5	Xin Zheng, Radu Rugina	Demand-driven alias analysis for C.	POPL	2008	DBLP DOI BibTeX RDF	CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis
5	Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards	Flexible pointer analysis using assign-fetch graphs.	SAC	2008	DBLP DOI BibTeX RDF	summary-based analysis, static analysis, pointer analysis
5	Dawn Xiaodong Song, David Brumley, Heng Yin, Juan Caballero, Ivan Jager, Min Gyung Kang, Zhenkai Liang, James Newsome, Pongsin Poosankam, Prateek Saxena	BitBlaze: A New Approach to Computer Security via Binary Analysis.	ICISS	2008	DBLP DOI BibTeX RDF	malware analysis and defense, vulnerability analysis and defense, reverse engineering, Binary analysis
5	Christophe Clavier, Benedikt Gierlichs, Ingrid Verbauwhede	Fault Analysis Study of IDEA.	CT-RSA	2008	DBLP DOI BibTeX RDF	Collision Fault Analysis, Ineffective Fault Analysis, Random Fault Model, IDEA, Differential Fault Analysis
5	Raimund Kirner, Peter P. Puschner	Obstacles in Worst-Case Execution Time Analysis.	ISORC	2008	DBLP DOI BibTeX RDF	measurement-based timing analysis, static analysis, WCET, worst-case execution time analysis
5	Yin Liu, Ana Milanova	Static analysis for inference of explicit information flow.	PASTE	2008	DBLP DOI BibTeX RDF	points-to analysis, flow analysis
5	Thang V. Pham, Connie R. Jimenez	OplAnalyzer: A Toolbox for MALDI-TOF Mass Spectrometry Data Analysis.	MDA	2008	DBLP DOI BibTeX RDF	bio-marker discovery, MALDI-TOF, OplAnalyzer, data analysis, proteomics, mass spectrometry, differential analysis
5	Esther Mohr, Günter Schmidt	Empirical Analysis of an Online Algorithm for Multiple Trading Problems.	MCO	2008	DBLP DOI BibTeX RDF	trading rules, trading problem, performance analysis, online algorithms, competitive analysis, average case analysis, empirical analysis, stock trading
5	Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel	Predicting accurate and actionable static analysis warnings: an experimental approach.	ICSE	2008	DBLP DOI BibTeX RDF	experimental program analysis, logistic regression analysis, software quality, screening, static analysis tools
5	Madhukar Anand, Insup Lee	Robust and sustainable schedulability analysis of embedded software.	LCTES	2008	DBLP DOI BibTeX RDF	robust schedulability analysis, sustainable schedulability analysis, schedulability analysis
5	Elsa Malisani, Aldo Scimone, Filippo Spagnolo	Modelling by Statistic in Research of Mathematics Education.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	research in didactics, theory of didactic situation, implicative analysis, factorial analysis, statistics
5	Rangaraj M. Rangayyan, Thanh M. Nguyen	Fractal Analysis of Contours of Breast Masses in Mammograms.	J. Digital Imaging	2007	DBLP DOI BibTeX RDF	Box counting method, breast masses, ruler method, signatures of contours, shape analysis, breast cancer, fractal dimension, fractal analysis, contour analysis, breast tumors
5	Jing Wu, William A. P. Smith, Edwin R. Hancock	Weighted Principal Geodesic Analysis for Facial Gender Classification.	CIARP	2007	DBLP DOI BibTeX RDF	facial surface normals, principal geodesic analysis, weighted principal geodesic analysis, gender discriminating power, Gender classification
5	Steffen Unkel, Nickolay T. Trendafilov	Noisy Independent Component Analysis as a Method of Rotating the Factor Scores.	ICA	2007	DBLP DOI BibTeX RDF	Factor rotation, Factor scores, Gradient projection algorithm, Independent component analysis, Exploratory factor analysis
5	Jong-Hwan Lee, Te-Won Lee, Ferenc A. Jolesz, Seung-Schik Yoo	Multivariate Analysis of fMRI Group Data Using Independent Vector Analysis.	ICA	2007	DBLP DOI BibTeX RDF	Independent Vector Analysis, Group Study, fMRI, Neuroimaging, Multivariate Analysis
5	Hadi Zayyani, Massoud Babaie-Zadeh, G. Hosein Mohimani, Christian Jutten	Sparse Component Analysis in Presence of Noise Using an Iterative EM-MAP Algorithm.	ICA	2007	DBLP DOI BibTeX RDF	sparse decomposition, independent component analysis, blind source separation, sparse component analysis
5	Bruno Dufour, Barbara G. Ryder, Gary Sevitsky	Blended analysis for performance understanding of framework-based applications.	ISSTA	2007	DBLP DOI BibTeX RDF	framework-intensive applications, program understandingperfor-mance, java, dataflow analysis, escape analysis
5	Tudor Gîrba, Stéphane Ducasse, Adrian Kuhn, Radu Marinescu, Daniel Ratiu	Using concept analysis to detect co-change patterns.	IWPSE	2007	DBLP DOI BibTeX RDF	co-change analysis, evolution analysis, concept analysis
5	Matthew Might	Logic-flow analysis of higher-order programs.	POPL	2007	DBLP DOI BibTeX RDF	LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS
5	Zhao Xia Jin, John Hajdukiewicz, Geoffrey Ho, Donny Chan, Yong-Ming Kow	Using Root Cause Data Analysis for Requirements and Knowledge Elicitation.	HCI	2007	DBLP DOI BibTeX RDF	Failure Modes and Effects Analysis (FMEA), Thematic Analysis, Qualitative Research, Root Cause Analysis
5	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
5	Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur	Heap analysis in the presence of collection libraries.	PASTE	2007	DBLP DOI BibTeX RDF	collection library, static analysis, shape analysis
5	Guillaume Fumaroli, Emmanuel Mayer, Renaud Dubois	First-Order Differential Power Analysis on the Duplication Method.	INDOCRYPT	2007	DBLP DOI BibTeX RDF	zero attack, differential power analysis, spectral analysis, Side-channel analysis
5	Davide Balzarotti, Marco Cova, Viktoria Felmetsger, Giovanni Vigna	Multi-module vulnerability analysis of web-based applications.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	multi-step attacks, static analysis, web applications, dynamic analysis, vulnerability analysis
5	Toshihiro Osaragi, Ikuko Otani	Effects of Ground Surface Relief in 3D Spatial Analysis on Residential Environment.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	3D urban spatial analysis, geographical relief, sunshine analysis, terrain, LIDAR data, visibility analysis
5	Reinaldo A. Bergamaschi, Indira Nair, Gero Dittmann, Hiren D. Patel, Geert Janssen, Nagu R. Dhanwada, Alper Buyuktosunoglu, Emrah Acar, Gi-Joon Nam, Dorothy Kucar, Pradip Bose, John A. Darringer, Guoling Han	Performance modeling for early analysis of multi-core systems.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	early analysis, multi-core systems modeling, physical analysis, performance, power analysis, transaction-level modeling
5	Nicolas Verbeke, Nicole Vincent	A PCA-Based Technique to Detect Moving Objects.	SCIA	2007	DBLP DOI BibTeX RDF	video sequence analysis, principal component analysis, Data analysis, motion detection, video surveillance
5	Ondrej Lhoták	Comparing call graphs.	PASTE	2007	DBLP DOI BibTeX RDF	comparison tools, interpreting analysis results, static analysis, dynamic analysis, call graph
5	Josh Dehlinger, Robyn R. Lutz	PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	software fault tree analysis, safety analysis tools, product-line engineering, hazard analysis
5	Ulrich Bayer, Andreas Moser, Christopher Krügel, Engin Kirda	Dynamic Analysis of Malicious Code.	Journal in Computer Virology	2006	DBLP DOI BibTeX RDF	Virus worm, Static analysis, Analysis, Dynamic analysis, API, Malware
5	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
5	Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel	Experimental program analysis: a new program analysis paradigm.	ISSTA	2006	DBLP DOI BibTeX RDF	experimental program analysis, program analysis, experimentation
5	Christoph Csallner, Yannis Smaragdakis	DSD-Crasher: a hybrid analysis tool for bug finding.	ISSTA	2006	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection
5	Daesung Park, Sungwon Kang, Jihyun Lee	Design Phase Analysis of Software Qualities Using Aspect-Oriented Programming.	SNPD	2006	DBLP DOI BibTeX RDF	Design stage software analysis, Performance analysis, Aspect-oriented programming, Reliability Analysis
5	Henry S. Baird, Matthew R. Casey	Towards Versatile Document Analysis Systems.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF	versatile document analysis systems, DAS methodology, document image content extraction, classification, computational geometry, hashing, k Nearest Neighbors, spatial data structures, CART, k-d trees
5	Matthew Might, Olin Shivers	Environment analysis via Delta CFA.	POPL	2006	DBLP DOI BibTeX RDF	delta-CFA, environment analysis, super-beta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
5	Michael Neve, Jean-Pierre Seifert, Zhenghong Wang	A refined look at Bernstein's AES side-channel analysis.	ASIACCS	2006	DBLP DOI BibTeX RDF	cache-state analysis, s-box tables, AES, computer security, timing analysis, side-channel analysis, information leakage
5	Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam	Interprocedural parallelization analysis in SUIF.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
5	Ernesto Wandeler, Alexander Maxiaguine, Lothar Thiele	Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications.	Real-Time Systems	2005	DBLP DOI BibTeX RDF	end-to-end delay analysis, real-time multimedia analysis, performance analysis, network calculus, real-time calculus
5	Ahmed Abbasi, Hsinchun Chen	Applying Authorship Analysis to Extremist-Group Web Forum Messages.	IEEE Intelligent Systems	2005	DBLP DOI BibTeX RDF	authorship analysis, Web forum postings, Web content analysis, security, Web mining, text analysis, multilingual
5	Diptikalyan Saha, C. R. Ramakrishnan	Incremental and demand-driven points-to analysis using logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	demand-drive analysis, logic programming, pointer analysis, incremental analysis
5	Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam	Improving software security with a C pointer analysis.	ICSE	2005	DBLP DOI BibTeX RDF	format string violations, security aws, program analysis, programming languages, error detection, dynamic analysis, vulnerabilities, buffer overflows, software security, pointer analysis, context-sensitive, type safety, software errors
5	Joonhee Yoo, Joseph Catanio, Ravi Paul, Michael Bieber	Relationship analysis in requirements engineering.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Software engineering, Communications, Requirements engineering, Taxonomy, Requirements analysis, Brainstorming, Systems analysis and design, Entity-relationship, Relationship analysis
5	Atanas Rountev, Scott Kagan, Michael Gibas	Static and dynamic analysis of call chains in Java.	ISSTA	2004	DBLP DOI BibTeX RDF	call chains, static analysis, dynamic analysis, call graph
5	Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang	Software validation via scalable path-sensitive value flow analysis.	ISSTA	2004	DBLP DOI BibTeX RDF	value flow, alias analysis, path-sensitive analysis