Probabilistic Model Checking is a formal verification technique that belongs to the class of model checking methods, distinguished by its focus on analyzing systems exhibiting probabilistic behavior through the quantitative evaluation of temporal logic properties over stochastic models.
519
Publications
22.5K
Citations
977
Authors
420
Institutions
Publications per year
2017–2026
105
Parents
Publications
519
Specification and refinement of probabilistic processes
Bengt Jönsson, Kim G. Larsen · 2002 · 343 citations
1–5 of 519
Authors
977
- MK
32
h-index
- DP
27
h-index
- GN
25
h-index
- CB
18
h-index
- JK
18
h-index
1–5 of 977
Institutions
420
University of Birmingham
Birmingham, United Kingdom
23 h-index
56 publications
6.5K citations
University of Oxford
Oxford, United Kingdom
22 h-index
58 publications
3.3K citations
Carnegie Mellon University
Pittsburgh, United States
19 h-index
48 publications
3.6K citations
RWTH Aachen University
Aachen, Germany
16 h-index
40 publications
1.7K citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
16 h-index
37 publications
1.6K citations
Centre National de la Recherche Scientifique
Paris, France
14 h-index
32 publications
870 citations
University of Twente
Enschede, The Netherlands
14 h-index
28 publications
3.3K citations
Saarland University
Saarbrücken, Germany
14 h-index
31 publications
1.7K citations
1–8 of 420
Venues
- International Journal on Software Tools for Technology Transfer
15 publications · 1.2K citations
14
h-index
- Theoretical Computer Science
13 publications · 1K citations
13
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 17 publications · 474 citations
12
h-index
- Electronic Proceedings in Theoretical Computer Science
9 publications · 361 citations
9
h-index
- IEEE Transactions on Software Engineering
TSE · 8 publications · 1.1K citations
8
h-index
1–5