Computer Science
Model Checking
100%
Performance Evaluation
40%
Stochastic Petri Net
37%
State Space
37%
Case Study
32%
Performability
28%
Markov Chain
26%
Continuous Time
24%
Data Center
20%
ad-hoc network
20%
Stochastic Model
16%
Model Checking Algorithm
16%
Time Markov Chain
16%
Domain-Specific Language
13%
Embedded Systems
13%
Process Algebra
13%
Quality of Service
11%
Petri Net
11%
Queueing Network
11%
Automaton
11%
Smart Grid
9%
System Designer
9%
Statistical Model
9%
Performance Model
9%
Event Simulation
9%
Image Processing
8%
And-States
8%
Power Management
8%
Critical Infrastructure
7%
Dependable System
7%
Specification Language
6%
Systems Performance
6%
System Behavior
6%
Distributed Systems
6%
Application Area
6%
Dependability Modeling
6%
Efficient Algorithm
6%
Local Intrusion Detection
6%
Input/Output
6%
Importance Sampling
6%
Distributed Algorithm
6%
Industrial Case
6%
State Probability
6%
Markov Decision Process
6%
model checker
5%
Mobile Device
5%
Transition System
5%
Imaging Systems
5%
Medical Imaging
5%
Physical Infrastructure
5%
Keyphrases
Performance Evaluation
43%
Stochastic Petri Nets
34%
State Space
21%
Markov Reward Model
20%
Dependability Attributes
20%
Performability
18%
Markov Chain
17%
Hybrid Petri Nets
16%
Continuous Stochastic Logic
15%
Ad Hoc Networks
15%
Continuous-time Markov Chain
15%
Logic Model Checking
14%
Embedded Systems
14%
Checking Algorithm
13%
Domain-specific Languages
13%
Kinetic Battery Model
13%
Battery Life
13%
Arcade
13%
Infinite State
13%
Survivability
11%
Mean-field Model
11%
SCADA
11%
Battery Model
10%
Mean-field Method
10%
Uniformization
10%
Statistical Model Checking
10%
World Wide Web
9%
Performability Model
9%
Stochastic Logic Model
9%
Rare Event Simulation
9%
Usage Patterns
9%
Modeling Approach
9%
Markovian
9%
Petri Net Model
8%
Smart Grid
8%
Quasi-birth-and-death Process
8%
Performance Model
8%
Service System
8%
Intrusion Detection
8%
Performability Evaluation
8%
System Designer
8%
Mobile Devices
8%
Quality of Service
8%
Queueing Networks
8%
State Space Generation
8%
Power Management
8%
CSL Model
8%
Automata
7%
Operating Limit
7%
Dependable Systems
7%
