Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Automated quantitative software verification with PRISM
Kwiatkowska, Marta
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(4)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Biological Systems
35%
Communication Protocol
44%
Complex Systems
31%
Distributed Algorithms
41%
Experimental Results
30%
Fibroblasts
100%
Formal Verification
44%
Growth Factors
86%
Model
10%
Model Checking
69%
Pathway
73%
Power Management
60%
Probabilistic Model
70%
Range of data
18%
Scenarios
28%
Security Protocols
49%
Signaling Pathways
47%
Engineering & Materials Science
Biological systems
35%
Fibroblasts
89%
Formal verification
35%
Intercellular Signaling Peptides and Proteins
93%
Model checking
65%
Network protocols
20%
Parallel algorithms
28%
Power management
33%
Statistical Models
55%