Engineering & Materials Science
Algebra
8%
Application programming interfaces (API)
14%
Application programs
9%
Binary codes
10%
Chemical analysis
13%
Communication
7%
Computer hardware
30%
Computer hardware description languages
35%
Concurrency control
8%
Control systems
17%
Cyber Physical System
8%
Data Analytics
7%
Data Science
8%
Data storage equipment
61%
Data structures
49%
Difference equations
8%
Embedded systems
14%
Experiments
18%
Fences
8%
Flow graphs
10%
Formal specification
10%
Global positioning system
15%
Industry
8%
Leak detection
10%
Malware
9%
Markov chains
8%
Model checking
22%
Model predictive control
19%
Modeling languages
16%
Navigation
12%
Network protocols
19%
Object oriented programming
13%
Office buildings
7%
Phase transitions
8%
Positive ions
16%
Real time systems
12%
Refining
12%
Robots
8%
Semantics
100%
Simulation platform
7%
Smartphones
8%
Specification languages
22%
Specifications
74%
Static analysis
11%
Statistical Models
13%
Temporal logic
6%
Testing
12%
Water treatment
11%
Web services
10%
Mathematics
Algebraic Semantics
8%
Co-design
6%
Communication
7%
Denotational Semantics
20%
Encoding
6%
Experiment
5%
Hardware
7%
Heap
12%
Java
5%
Language
9%
Learning
17%
Linking
6%
Malware
10%
Memory Model
7%
Model
5%
Modeling Language
5%
Operational Semantics
14%
Probabilistic Model
7%
Program Analysis
5%
Programming
6%
Programming Model
5%
Reasoning
12%
Safety
9%
Semantics
18%
Separation Logic
24%
Software
5%
Soundness
5%
Specification
7%
Static Analysis
8%
Symbolic Execution
12%
Synthesis
5%
Trace
5%
Type Inference
5%
