Skip to main navigation
Skip to search
Skip to main content
Sort by
Keyphrases
Bisimulation
60%
Probabilistic Automata
60%
Calculus
50%
Weak Bisimulation
46%
Interval Markov Chains
45%
Specification Theory
43%
Mobile Networks
40%
Randomized Protocol
40%
Timing Specification
40%
Logical Equivalence
33%
Markov Chain
33%
Attacker
31%
Mobility Function
30%
Behavioral Equivalence
30%
Wireless Networks
30%
Logical Composition
30%
Channel Capacity
26%
Refinement Relation
22%
Real-time Systems
20%
Compositional Verification
20%
Abstraction Refinement
20%
Mobility Model
20%
Web Browser
20%
Network Topology
20%
Information Leakage
20%
Quantitative Security
20%
Secret Data
20%
Markov Process
20%
Private Information
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%
Tool Use
20%
Compositional Minimization
16%
Formal Verification
16%
Deterministic System
16%
Nondeterminism
13%
Immediate Transition
13%
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%
Leader Election Protocol
10%
Connectivity Probability
10%
Probabilistic Broadcast
10%
Network Distribution
10%
Zeroconf
10%
Minority Variants
10%
Arbitrary Precision
10%
Reward Function
10%
Network Node
10%
Connectivity Information
10%
Topology Constraint
10%
Security Analysis
10%
Security Protocols
10%
Markov Chain Model
10%
Refinement Operators
10%
Confidential Information
10%
System Behavior
10%
Timing Games
10%
Limited Precision
10%
Client-server
6%
Temporal Properties
6%
Synchronization Rate
6%
Client-centered
6%
Behavioral Model
6%
Joint Synchronization
6%
Probabilistic Model Checking
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%
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%
Digital Healthcare
6%
Computational Algorithm
6%
Computer System
6%
Computer Application
6%
Danish Universities
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%
Smartphone
6%
Consumer Electronic Devices
6%
Future Consumer
6%
Healthcare Electronics
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%
Global Entropy
5%
Model Abstraction
5%
SPIN Model Checker
5%
Discrete Distribution
5%
Entropy Maximization
5%
High Entropy
5%
Probabilistic Processes
5%
Timed Systems
5%
Timed Input/output Automata
5%
Computer Science
Automaton
100%
Markov Chain
50%
Real Time Systems
50%
Input/Output
40%
Attackers
30%
Case Study
30%
Wireless Network
30%
Markov Process
26%
Probability
25%
Model Checking
23%
Channel Capacity
20%
Information Leakage
20%
Network Topology
20%
Concurrent System
20%
Formal Verification
20%
Web Browser
20%
Security Analysis
20%
Mobile Network
20%
Deadlock Freedom
20%
Continuous Time
20%
Liveness
20%
Logical Equivalence
20%
Model Checking Algorithm
20%
Execution Time
20%
Process Model
20%
Information Technology
20%
secret data
20%
model checker
20%
Synchronism
20%
Static Program Analysis
13%
Computer Science
13%
Refinement Relation
11%
Client-Server Model
10%
Behavior Model
10%
temporal property
10%
Experimental Result
10%
Running Process
10%
Parallel Composition
10%
Implementation Model
10%
Limited Precision
10%
distributed delay
10%
consistency checking
10%
Security protocols
10%
Refinement Step
10%
Physical System
10%
markov chain model
10%
System Behavior
10%
Transition System
10%
Common Implementation
8%
Confidential Data
6%
Electronic Payment
6%
Medical Equipment
6%
Computer System
6%
Personal Digital Assistant
6%
Computational Method
6%
Software Development Tool
6%
Quantitative Evaluation
6%
Routing Protocol
6%
Health Care
6%
Computer Science Applications
6%
State Space
5%