Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
Efficient Malware Detection Using Model-Checking
Stochastic Model Checking
Psl model checking and run-time verification via testers
A Survey of Statistical Model Checking
Another Look at LTL Model Checking
Ontology for malware behavior: A core model proposal
How to Learn a Model Checker
Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns
Long-Span Program Behavior Modeling and Attack Detection
Reduction Techniques for Model Checking Markov Decision Processes
A buffer overflow benchmark for software model checkers
Software model checking without source code
performance evaluation and model checking join forces .
Bounded Model Checking Using Satisfiability Solving
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Systematic Model-Based Safety Assessment via Probabilistic Model Checking
model checking of probabalistic and nondeterministic systems .
Symbolic Model Checking for Real-Time Systems
Run-time efficient probabilistic model checking
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
Context-sensitive analysis of obfuscated x86 executables
Human-Computer Interaction. Interaction in Context
Community Detection Using Diffusion Information
Improving the School Environment to Reduce School Violence: A Review of the Literature
The Dangers of Key Reuse: Practical Attacks on IPsec {IKE}