A Formal Model For Virtual Machine Introspection

·2009·DOI
Health Data Science
Data Science and Technologies
Software Engineering and Practices
Debugging and Reliability Techniques

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Software Engineering and Practices
Neutralin Debugging and Reliability Techniques

Abstract

Citations

46

Year

2009

PageRank

1.4 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Partial Orders For Efficient Bounded Model Checking Of Concurrent Software
·2013·112 citations
How Programmers Debug, Revisited: An Information Foraging Theory Perspective
·2013·98 citations
A Semantic Rule Checking Environment For Building Performance Checking
·2011·198 citations
Control-flow Checking By Software Signatures
·2002·410 citations
Principles Of Program Analysis
·1999·689 citations
Designing Programs That Check Their Work
·1995·214 citations
The Early History Of Smalltalk
·1993·136 citations
The Early History Of Smalltalk
·1993·102 citations
A Formal Model Of Program Dependences And Its Implications For Software Testing, Debugging, And Maintenance
·1990·278 citations
Designing Programs That Check Their Work
·1989·180 citations
A Probabilistic Model For Validation Of Behavioral Hierarchies
·1976·98 citations