Search results for "checks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
140	Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall	The Use of Self Checks and Voting in Software Error Detection: An Empirical Study.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software error detection, N-version voting, code-based checks, fault tolerant computing, software reliability, requirements specification, voting, self checks
95	Rajiv Gupta 0001	Optimizing Array Bound Checks Using Flow Analysis.	LOPLAS	1993	DBLP DOI BibTeX RDF	available checks, check hoisting, very busy checks, dataflow analysis
62	Wie-Ngan Chin, Eak-Khoon Goh	A Reexamination of "Optimization of Array Subscript Range Checks".	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	backward checks propagation, loop guard elimination, safe bound checks optimization, integer programming
59	Rajiv Gupta 0001	A Fresh Look at Optimizing Array Bound Checking.	PLDI	1990	DBLP DOI BibTeX RDF
56	Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer	Speculation for Parallelizing Runtime Checks.	SSS	2009	DBLP DOI BibTeX RDF
55	Ramesh K. Sitaraman, Niraj K. Jha	Optimal Design of Checks for Error Detection and Location in Fault-Tolerant Multiprocessor Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	error location, optimal design of checks, fault-tolerant multiprocessor systems, RANDGEN, arbitrary data-check, majority diagnosability, UNIFGEN, uniform checks, fault tolerant computing, multiprocessing systems, error detection, error detection, algorithm-based fault tolerance
49	Mikel Luján, John R. Gurd, T. L. Freeman, José Miguel-Alonso	Elimination of Java array bounds checks in the presence of indirection.	Java Grande	2002	DBLP DOI BibTeX RDF	array indirection, Java, array bounds check
49	Stefan Böttcher	Improving the Concurrency of Integrity Checks and Write Operations.	ICDT	1990	DBLP DOI BibTeX RDF
49	Philippe le Chenadec	On Positive Occur-Checks in Unification.	MFCS	1988	DBLP DOI BibTeX RDF
49	Yehuda Afek, Adam Morrison 0001, Moran Tzafrir	Brief announcement: view transactions: transactional model with relaxed consistency checks.	PODC	2010	DBLP DOI BibTeX RDF	relaxed consistency checks, transactional memory, opacity
49	Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Segment protection for embedded systems using run-time checks.	CASES	2005	DBLP DOI BibTeX RDF	MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks
49	Surupa Biswas, Matthew S. Simpson, Rajeev Barua	Memory overflow protection for embedded systems using run-time checks, reuse and compression.	CASES	2004	DBLP DOI BibTeX RDF	out-of-memory errors, reliability, data compression, reuse, runtime checks, heap overflow, stack overflow
46	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
46	Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	Effective Null Pointer Check Elimination Utilizing Hardware Trap.	ASPLOS	2000	DBLP DOI BibTeX RDF	Java
43	Orna Kupferman	Sanity Checks in Formal Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
43	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
43	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
43	Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop	On the Power of Subsumption and Context Checks.	DISCO	1990	DBLP DOI BibTeX RDF
43	Surupa Biswas, Thomas W. Carley, Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Memory overflow protection for embedded systems using run-time checks, reuse, and compression.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Out-of-memory errors, reliability, data compression, reuse, run-time checks, heap overflow, stack overflow
43	Marisa E. Morita, Edouard Lethelier, Abdenaim El Yacoubi, Flávio Bortolozzi, Robert Sabourin	Recognition of Handwritten Dates on Bank Checks using an HMM Approach.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	automatic handwritten date recognition, Brazilian bank checks, omni-writer context, fixed lexicon, explicit segmentation technique, grapheme sequence, small database images, hidden Markov models, handwriting recognition
43	Arun Agarwal, Len Granowetter, Karim Hussein, Amar Gupta, Patrick Shen-Pei Wang	Detection of courtesy amount block on bank checks.	ICDAR	1995	DBLP DOI BibTeX RDF	courtesy amount block, bank checks, currency sign, neural network based recognition, handprinted courtesy amount, segmenting, recognition, cheque processing, deterministic finite automaton
39	Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Checking Memory Safety with Blast.	FASE	2005	DBLP DOI BibTeX RDF
39	Alexander Binun, Ehud Gudes	Policy and State Based Secure Wrapper and Its Application to Mobile Agents.	LA-WEB	2003	DBLP DOI BibTeX RDF	state-based fine-grained authorization, Security, mobile agents
39	Eugen-Nicolae Volanschi	A portable compiler-integrated approach to permanent checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	User-defined checks, Extensible compilers
39	Philippe Chose, Antoine Joux, Michel Mitton	Fast Correlation Attacks: An Algorithmic Point of View.	EUROCRYPT	2002	DBLP DOI BibTeX RDF	match-and-sort, algorithmics, cryptanalysis, Stream ciphers, linear feedback shift registers, fast correlation attacks, parity-checks
36	Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn	Parallelizing security checks on commodity hardware.	ASPLOS	2008	DBLP DOI BibTeX RDF	security, performance, parallel, operating systems, speculative execution
36	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	Enforcing resource bounds via static verification of dynamic checks.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Resource bounds, dynamic, static
36	Hana Chockler, Ofer Strichman	Easier and More Informative Vacuity Checks.	MEMOCODE	2007	DBLP DOI BibTeX RDF
36	Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla	On the Effectiveness of Run-Time Checks.	SAFECOMP	2005	DBLP DOI BibTeX RDF
36	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	Enforcing Resource Bounds via Static Verification of Dynamic Checks.	ESOP	2005	DBLP DOI BibTeX RDF
36	Yoshihiro Oyama, Koichi Onoue, Akinori Yonezawa	Speculative Security Checks in Sandboxing Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
36	Angelo Corsaro, Ron Cytron	Efficient memory-reference checks for real-time java.	LCTES	2003	DBLP DOI BibTeX RDF	scoped memory, garbage collection, memory management, object oriented languages, real-time java
36	Johann Blieberger, Bernd Burgstaller	Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.	Ada-Europe	2003	DBLP DOI BibTeX RDF
36	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 Distributed Syst.	1999	DBLP DOI BibTeX RDF	coverage, latency, fault injection, assertions, Control flow checking
36	Aymeric die Solages, Jacques Traoré	An Efficient Fair Off-Line Electronic Cash System with Extensions to Checks and Wallets with Observers.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
36	Priyadarshan Kolte, Michael Wolfe	Elimination of Redundant Array Subscript Range Checks.	PLDI	1995	DBLP DOI BibTeX RDF	FORTRAN
36	Jing Yu 0015, María Jesús Garzarán, Marc Snir	ESoftCheck: Removal of Non-vital Checks for Fault Tolerance.	CGO	2009	DBLP DOI BibTeX RDF	ESoftCheck, non-vital checks, fault tolerance
36	Ferdinand van der Heijden	Consistency Checks for Particle Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	modeling errors, fault detection, Particle filtering, consistency checks, model validation
36	Edouard Lethelier, Manuel Leroux, Michel Gilloux	An automatic reading system for handwritten numeral amounts on French checks.	ICDAR	1995	DBLP DOI BibTeX RDF	automatic reading system, handwritten numeral amounts, French checks, segmentation-by-recognition probabilistic model, explicit segmentation algorithm, multiple spatial representation, segmentation weights, probabilistic parser, bootstrapping technique, reject class, database images, image segmentation, optical character recognition, handwriting recognition, visual databases
36	V. S. S. Nair, Yatin Vasant Hoskote, Jacob A. Abraham	Probabilistic Evaluation of On-Line Checks in Fault-Tolerant Multiprocessor Systems.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	probabilistic evaluation, fault-tolerant multiprocessor systems, online checks, matrix-based model, probabilistic matrices, fault tolerant computing, probability, fault detection, multiprocessing systems, fault location, concurrent error detection
36	Rajiv Kane, Sartaj Sahni	VLSI Systems For Design Rule Checks.	FSTTCS	1984	DBLP DOI BibTeX RDF	design rule checks, VLSI systems, systolic algorithms, rectilinear polygons
34	Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan 0009, Jian Zhang 0001	Are the Scala Checks Effective? Evaluating Checks with Real-world Projects.	QRS	2021	DBLP DOI BibTeX RDF
34	Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, Cristiano Giuffrida	Delta pointers: buffer overflow checks without the checks.	EuroSys	2018	DBLP DOI BibTeX RDF
34	Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov	RoleCast: finding missing security checks when you do not know what checks are.	OOPSLA	2011	DBLP DOI BibTeX RDF
33	Tim Harris 0001, Sasa Tomic, Adrián Cristal, Osman S. Unsal	Dynamic filtering: multi-purpose architecture support for language runtime systems.	ASPLOS	2010	DBLP DOI BibTeX RDF	garbage collection, transactional memory, runtime systems
33	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
33	Meine van der Meulen, Miguel A. Revilla	Experiences with the Design of a Run-Time Check.	SAFECOMP	2006	DBLP DOI BibTeX RDF
33	Stefan Hanenberg, Robert Hirschfeld, Rainer Unland	Morphing aspects: incompletely woven aspects and continuous weaving.	AOSD	2004	DBLP DOI BibTeX RDF
33	Marc R. C. van Dongen	Domain-Heuristics for Arc-Consistency Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
33	Robert Wahbe, Steven Lucco, Susan L. Graham	Practical Data Breakpoints: Design and Implementation.	PLDI	1993	DBLP DOI BibTeX RDF	SPARC
32	Navneet Goyal, Yashvardhan Sharma	New binning strategy for bitmap indices on high cardinality attributes.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	candidate checks, equi-width binning, bitmap index, binning
32	Andrew K. Wright, Suresh Jagannathan	Polymorphic Splitting: An Effective Polyvariant Flow Analysis.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	polyvariance, flow analysis, inlining, run-time checks
32	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	soft typing, SCHEME, run-time checks
32	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
30	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
30	Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma	Static Detection of Place Locality and Elimination of Runtime Checks.	APLAS	2008	DBLP DOI BibTeX RDF
30	Ajeet Shankar, Rastislav Bodík	DITTO: automatic incrementalization of data structure invariant checks (in Java).	PLDI	2007	DBLP DOI BibTeX RDF	data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic
30	Kim Lauenroth, Klaus Pohl	Towards automated consistency checks of product line requirements specifications.	ASE	2007	DBLP DOI BibTeX RDF	requirements engineering, consistency, product line
30	Yoonkyung Kim, Byeong-Mo Chang	Visualization of Permission Checks in Java Using Static Analysis.	WISA	2006	DBLP DOI BibTeX RDF	security, Java, static analysis, stack inspection
30	Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud	On-the-Fly Emptiness Checks for Generalized Büchi Automata.	SPIN	2005	DBLP DOI BibTeX RDF
30	Hanshen Tang, Emmanuel Augustin, Ching Y. Suen, Olivier Baret, Mohamed Cheriet	Recognition of Unconstrained Legal Amounts Handwritten on Chinese Bank Checks.	ICPR (2)	2004	DBLP DOI BibTeX RDF
30	Serge Fehr, Ueli M. Maurer	Linear VSS and Distributed Commitments Based on Secret Sharing and Pairwise Checks.	CRYPTO	2002	DBLP DOI BibTeX RDF
30	Salim Djeziri, Fathallah Nouboud, Réjean Plamondon	Extraction of Items From Checks.	ICDAR	1997	DBLP DOI BibTeX RDF
26	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
26	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
26	Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck	Array bounds check elimination for the Java HotSpot™ client compiler.	PPPJ	2007	DBLP DOI BibTeX RDF	array bounds check elimination, Java, optimization, performance, just-in-time compilation
26	Susanta Nanda, Lap-Chung Lam, Tzi-cker Chiueh	Dynamic multi-process information flow tracking for web application security.	Middleware (Demos and Posters)	2007	DBLP DOI BibTeX RDF	dynamic checking compiler, SQL injection, cross-site scripting, web application security, taint analysis, information flow tracking
26	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
26	Camilo Rueda, Frank D. Valencia	Non-viability Deductions in Arc-Consistency Computation.	ICLP	2004	DBLP DOI BibTeX RDF
26	Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard	Ownership types for safe region-based memory management in real-time Java.	PLDI	2003	DBLP DOI BibTeX RDF	real-time, encapsulation, regions, ownership types
26	Aki W. Tomita, Ken Sakamura	Improving Design Dependability by Exploiting an Open Model-Based Specification.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection
26	Daniel J. Scales, Kourosh Gharachorloo, Chandramohan A. Thekkath	Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory.	ASPLOS	1996	DBLP DOI BibTeX RDF
26	Robert Cartwright, Mike Fagan	Soft typing (with retrospective)	Best of PLDI	1991	DBLP DOI BibTeX RDF
26	Fabrizio Baiardi, Laura Ricci, Marco Vanneschi	Static checking of interprocess communication in ECSP.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
26	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
26	M. L. Yu, Paul C. K. Kwok, Cheung H. Leung, K. W. Tse 0001	Segmentation and recognition of Chinese bank check amounts.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Bank checks processing, Chinese legal amount, Segmentation, Handwriting recognition
26	Elaini Simoni Angelotti, Edson Emílio Scalabrin, Bráulio Coelho Ávila, Flávio Bortolozzi	A Paraconsistent System of Autonomous Agents for Brazilian Bank Check Treatment.	SCCC	2000	DBLP DOI BibTeX RDF	paraconsistent system, Brazilian bank check treatment, handwritten Brazilian bank checks, reasoning mechanisms, task distribution problems, communication between agents, multi-agent systems, image segmentation, software agents, handwriting recognition, autonomous agents, formal logic, paraconsistent logic, cheque processing
26	Premkumar T. Devanbu, Stuart G. Stubblebine	Research Directions for Automated Software Verification: Using Trusted Hardware.	ASE	1997	DBLP DOI BibTeX RDF	automated software verification, trusted hardware, content providers, hosted software, networked software, hosting computer, physically secure computing device, embedded certified private key, executable binary, trusted signature, scientific goals, engineering goals, testing, software agents, program verification, browsers, version control, servers, service providers, applets, checks
26	Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor	Formal Methods Pilot Project.	APSEC	1996	DBLP DOI BibTeX RDF	safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project
26	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
23	Jun Kiniwa, Kensaku Kikuta	Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler.	SSS	2009	DBLP DOI BibTeX RDF	safety under convergence, intentional fault model, multistage two-person zero sum game, game theory, self-stabilization, mutual exclusion, unfair scheduler
23	Martín Abadi	Automatic Mutual Exclusion and Atomicity Checks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
23	Mayumi Oyama-Higa, Teijun Miao, Junko Tsujino, Akira Imanishi	Possibility of mental health self-checks using divergence of pulse waves.	SMC	2007	DBLP DOI BibTeX RDF
23	Carlos A. B. Mello, Byron L. D. Bezerra, Cleber Zanchettin, V. Macário	An Efficient Thresholding Algorithm for Brazilian Bank Checks.	ICDAR	2007	DBLP DOI BibTeX RDF
23	Giovanni Cannata	Phymail Box: an information appliance that checks and prints only important emails.	Pers. Ubiquitous Comput.	2006	DBLP DOI BibTeX RDF	Usability, User-centered design, Tangible user interface, Information overload
23	Danilo Dias, Ricardo L. de Queiroz	A Model for the Electronic Representation of Bank Checks.	ICIP	2006	DBLP DOI BibTeX RDF
23	Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve	Ensuring code safety without runtime checks for real-time control systems.	CASES	2002	DBLP DOI BibTeX RDF	security, real-time, compiler, static analysis, control, programming language
23	Ashraf A. Kassim, H. Zhou, Surendra Ranganath	Automatic IC orientation checks.	Mach. Vis. Appl.	2000	DBLP DOI BibTeX RDF	Visual inspection of IC packages, Orientation identification, Notch/dimple detection, Adaptive double thresholding algorithm
23	Galia Angelova, Ognian Kalaydjiev, Walther von Hahn	The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks.	AIMSA	1998	DBLP DOI BibTeX RDF
20	Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar 0001, Frank Piessens, Wouter Joosen	PAriCheck: an efficient pointer arithmetic checker for C programs.	AsiaCCS	2010	DBLP DOI BibTeX RDF	bounds checking, buffer overflows
20	Hana Chockler, Ofer Strichman	Before and after vacuity.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Vacuity, Model-checking, Complexity
20	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
20	YoungHan Choi, TaeGhyoon Kim, Seokjin Choi, Cheolwon Lee	Automatic Detection for JavaScript Obfuscation Attacks in Web Pages through String Pattern Analysis.	FGIT	2009	DBLP DOI BibTeX RDF
20	Vimal K. Reddy, Eric Rotenberg	Coverage of a microarchitecture-level fault check regimen in a superscalar processor.	DSN	2008	DBLP DOI BibTeX RDF
20	Vijay Sundaresan, Mark G. Stoodley, Pramod Ramarao	Removing redundancy via exception check motion.	CGO	2008	DBLP DOI BibTeX RDF	java, just-in-time compilation, partial redundancy elimination
20	Syrine Tlili, Mourad Debbabi	Type and Effect Annotations for Safe Memory Access in C.	ARES	2008	DBLP DOI BibTeX RDF	Type and Effect Analysis, Type Annotations, Memory Safety, C Programming
20	Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell	Cloaker: Hardware Supported Rootkit Concealment.	SP	2008	DBLP DOI BibTeX RDF	security, operating system, rootkit, ARM
20	Gerald Weisser, Stephan Ruggiero, Alain Runa, Christoph Düber, Wolfgang Neff, Michael Walz	Online Availability Check of Teleradiology Components.	J. Digit. Imaging	2007	DBLP DOI BibTeX RDF	availability, e-mail, DICOM, Teleradiology
20	Sriraman Tallam, Rajiv Gupta 0001	Unified control flow and data dependence traces.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	Control flow trace, dynamic data dependence trace, profiling, address trace
20	Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The software model checker Blast.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Software verification, Test-case generation, Software specification, Memory safety