Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Delta-net: Real-time Network Verification Using Atoms
VeriCon: towards verifying controller programs in software-defined networks
Verification of Computer Switching Networks: An Overview
Behavioral consistency of C and Verilog programs using bounded model checking
A Novel Quantitative Approach For Measuring Network Security
Coverage directed test generation for functional verification using Bayesian networks
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
Pingmesh: A Large-Scale System for Data Center Network Latency Measurement and Analysis
A Verifiable Language for Programming Real-Time Communication Schedules
From AADL to Timed Automaton-A Verification Approach
Psl model checking and run-time verification via testers
RINSE: the real-time immersive network simulation environment for network security exercises
GARNET: A detailed on-chip network model inside a full-system simulator
NEZHA: Efficient Domain-Independent Differential Testing
Analyzing neighborhoods of falsifying traces in cyber-physical systems
Cyber attack modeling and simulation for network security analysis
Formal Verification of Neural Network Controlled Autonomous Systems
Verifying Web Services Composition Based on Interface Automata Using SPIN
Kripke modelling and verification of temporal specifications of a multiple UAV system
Automated Analysis and Debugging of Network Connectivity Policies
Specification and Verification of Concurrent Programs by forall-Automata
Firewall design: consistency, completeness, and compactness
A review of the recent research on vibration energy harvesting via bistable systems
Fixed priority scheduling periodic tasks with varying execution priority
Nanocomputers and swarm intelligence
A 2.5MHz, 97%-accuracy on-chip current sensor with dynamically-biased shunt feedback for current-mode switching DC-DC converters