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
FP7_COLLAB_HIERATIC v2
Rowe, Jon
(Principal Investigator)
Good, Chris
(Co-Investigator)
Parker, Dave
(Co-Investigator)
Computer Science
Mathematics
Overview
Fingerprint
Research output
(1)
Project Details
Short title
FP7_COLLAB_HIERATIC v2
Status
Finished
Effective start/end date
1/10/12
→
30/04/16
Funding
European Commission - Management Costs
European Commission
View all
View less
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.
Compositional Verification
Mathematics
100%
Model Checking
Mathematics
62%
Model checking
Engineering & Materials Science
58%
Probabilistic Automata
Mathematics
50%
Reward
Mathematics
41%
Performance Metrics
Mathematics
27%
Costs
Mathematics
26%
Scalability
Mathematics
23%
Research output
Research output per year
2013
2013
2013
1
Article
Research output per year
Research output per year
Compositional probabilistic verification through multi-objective model checking
Kwiatkowska, M.
,
Norman, G.
,
Parker, D.
&
Qu, H.
,
Nov 2013
,
In:
Information and Computation.
232
,
p. 38-65
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Compositional Verification
100%
Model Checking
62%
Model checking
58%
Probabilistic Automata
50%
Reward
41%
20
Citations (Scopus)
170
Downloads (Pure)