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