Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: A high-level domain-specific language for SIEM (design, development and formal verification)
Common Framework for Attack Modeling and Security Evaluation in SIEM Systems
ModelSec: A Generative Architecture for Model-Driven Security
Ten Commandments of Formal Methods
Formal hardware specification languages for protocol compliance verification
Software model checking without source code
Model-Based Security Engineering of Distributed Information Systems Using UMLsec
What's between simulation and formal verification? (extended abstract)
PRISM : Probabilistic Symbolic Model Checker ?
DIGS: A Framework for Discovering Goals for Security Requirements Engineering
QBF-Based Formal Verification: Experience and Perspectives
System-Agnostic Security Domains for Understanding and Prioritizing Systems Security Engineering Efforts
Psl model checking and run-time verification via testers
Athena: a new efficient automatic checker for security protocol analysis
Domains of Concern in Software Architectures and Architecture Description Languages
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
Umlsec: extending uml for secure systems development
Design Guidelines for Domain Specific Languages
Apron: A Library of Numerical Abstract Domains for Static Analysis
Notable design patterns for domain-specific languages
Boogie: A modular reusable verifier for object-oriented programs
Trial of complete weaning from immunosuppression for liver transplant recipients: factors predictive of tolerance.
Adolescent Alcohol Exposure Persistently Impacts Adult Neurobiology and Behavior
Anomalous Payload-Based Network Intrusion Detection
A survey on heuristic malware detection techniques
Introducing Time into RDF