Keyphrases
Specification Theory
73%
Bisimulation
60%
Probabilistic Automata
60%
Real-time Systems
60%
Weak Bisimulation
46%
Interval Markov Chains
45%
Mobile Networks
40%
Randomized Protocol
40%
Compositional Verification
40%
Time Specifications
40%
Calculus
40%
Logical Equivalence
33%
Markov Chain
33%
Attacker
31%
Mobility Function
30%
Behavioral Equivalence
30%
Wireless Networks
30%
Channel Capacity
26%
Automata
25%
Refinement Relation
22%
Abstraction Refinement
20%
Nondeterminism
20%
Mobility Model
20%
π-calculus
20%
Web Browser
20%
Network Topology
20%
Information Leakage
20%
Quantitative Security
20%
Secret Data
20%
Markov Process
20%
Private Information
20%
Robust Synthesis
20%
Compositional Design
20%
Consistency Checking
20%
Transition System
20%
Information Technology
20%
Adaptive Case Management
20%
Structural Composition
20%
Design Methodology
20%
Continuous-time
20%
Dynamic Condition Response Graphs
20%
Immediate Transition
20%
Compositional Minimization
16%
Checking Algorithm
16%
Formal Verification
16%
Deterministic System
16%
Leader Election Protocol
15%
Probabilistic Computation Tree Logic
13%
Static Model
13%
Computer Science
13%
Static Analysis
13%
Computer Program
13%
Emptiness
13%
Stochastic Behavior
13%
Concurrent Systems
13%
Probabilistic Systems
13%
Stochastic Systems
11%
Connectivity Probability
10%
Client-server
10%
Probabilistic Connectivity
10%
Probabilistic Broadcast
10%
Temporal Properties
10%
Network Distribution
10%
Synchronization Rate
10%
Zeroconf
10%
Client-centered
10%
Minority Variants
10%
Behavioral Model
10%
Limited Precision
10%
Arbitrary Precision
10%
Implementation Model
10%
Timed Games
10%
Parallel Composition
10%
Small Perturbation
10%
Reward Function
10%
Implementation Problems
10%
Parameter Robustness
10%
Robust Strategy
10%
Network Node
10%
Connectivity Information
10%
Topology Constraint
10%
Security Analysis
10%
Joint Synchronization
10%
Robust Implementation
10%
Security Protocols
10%
Abstract Specification
10%
Design Process
10%
Physical Systems
10%
Markov Chain Model
10%
Refinement Operators
10%
Confidential Information
10%
System Behavior
10%
Probabilistic Model Checking
6%
Consumer Electronics Device
6%
Information Approach
6%
Bisimulation Equivalence
6%
Lab Project
6%
Routing Protocol
6%
Stochastic Properties
6%
Dishwasher
6%
Intelligent Home
6%
Electronic Payment System
6%
Large State
6%
Control Program
6%
Implicit Analysis
6%
Continuity Properties
6%
Refinement Techniques
6%
Internal Behavior
6%
Stereo
6%
Type of Analysis
6%
Modern Methods
6%
Complexing Properties
6%
Applied Mathematics
6%
Explicit Analysis
6%
Medical Equipment
6%
Complex Control System
6%
Healthcare Payment Systems
6%
Markovian Process
6%
Quantitative Evaluation
6%
Markovian Model
6%
Bounded Bisimulations
6%
Infinite State
6%
Onion Routing
6%
Prototype Implementation
6%
Quotient Automata
6%
Strong Bisimulation
6%
Novel Technique
6%
Computational Methods
6%
World Wide Web
6%
Mobile Phone
6%
Digital Healthcare
6%
Computational Algorithm
6%
Computer System
6%
Computer Application
6%
Danish Universities
6%
Interval Constraint
6%
EXPTIME-complete
6%
Transition Matrix
6%
Standard Semantics
6%
Probability Intervals
6%
Compositional Modeling
6%
Polynomial Time
6%
Modeling Methodology
6%
Bisimulation Relation
6%
Determinism
6%
State Space Explosion
5%
Dynamic Adaptation
5%
Promela
5%
Dynamic Composition
5%
Liveness
5%
Graph Process
5%
Deadlock Freedom
5%
Isan
5%
Bayesian Inference
5%
Polynomial-time Algorithm
5%
Probabilistic Specification
5%
Process Description
5%
Global Entropy
5%
Capacity Computing
5%
Model Abstraction
5%
Timing System
5%
SPIN Model Checker
5%
Discrete Distribution
5%
Entropy Maximization
5%
High Entropy
5%
Input-output
5%
Execution Time
5%
Probabilistic Processes
5%
Computer Science
Automaton
100%
Markov Chain
55%
Real Time Systems
50%
Input/Output
40%
Attackers
31%
Wireless Networks
30%
Channel Capacity
26%
Model Checking
23%
Information Leakage
20%
Network Topology
20%
Concurrent System
20%
Client-Server Model
20%
Behavior Model
20%
Formal Verification
20%
Mobility Model
20%
Web Browser
20%
temporal property
20%
Security Analysis
20%
Mobile Network
20%
Deadlock Freedom
20%
Continuous Time
20%
Liveness
20%
Markov Process
20%
Logical Equivalence
20%
Model Checking Algorithm
20%
Execution Time
20%
Depth Case Study
20%
Process Model
20%
Information Technology
20%
secret data
20%
model checker
20%
Computer Software
13%
Static Program Analysis
13%
Computer Science
13%
Refinement Relation
11%
Experimental Result
10%
Broadcast Network
10%
Running Process
10%
Network Distribution
10%
Parallel Composition
10%
Implementation Model
10%
Limited Precision
10%
distributed delay
10%
consistency checking
10%
Case Study
10%
Confidential Data
10%
Security protocols
10%
Refinement Step
10%
Physical System
10%
markov chain model
10%
System Behavior
10%
Transition System
10%
Common Implementation
8%
Electronic Payment
6%
Medical Equipment
6%
Computer System
6%
Personal Digital Assistant
6%
Health Care
6%
Computational Method
6%
Software Development Tool
6%
Quantitative Evaluation
6%
Routing Protocol
6%
State Space
5%
Process Specification
5%
Polynomial Algorithm
5%