Concepedia

Author

Pavel Parízek

Charles UniversityORCID

Also Known As

P PARIZEK, P. Parizek, Parizek, Pavel, Parízek, Pavel, Pavel Parizek, Pavel Parízek

51

Publications

259

Citations

10

H-Index

22

Concepts

All Affiliations

Charles UniversityUniversity of WaterlooCzech Academy of Sciences, Institute of Computer Science
PP

About

Pavel Parízek is an author at Charles University specializing in computer science, software analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

8

137

2

Computer Science

7

8

137

3

Systems Engineering

5

5

106

4

Computer Engineering

3

4

61

5

Real-time Systems

2

2

41

Pavel Parízek

×

7

Publications

127

Citations

7

H-Index

YearCitations

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker

Pavel Parízek, František Plášil, Jan Kofroň

Proceedings

2006

31

Exhaustive testing of safety critical Java

Tomáš Kalibera, Pavel Parízek, Michal Malohlava,

2010

31

Specification and Generation of Environment for Model Checking of Software Components

Pavel Parízek, František Plášil

Electronic Notes in Theoretical Computer Science

2007

18

Modeling Environment for Component Model Checking from Hierarchical Architecture

Pavel Parízek, František Plášil

Electronic Notes in Theoretical Computer Science

2007

16

Predicate abstraction of Java programs with collections

Pavel Parízek, OndYej Lhoták

2012

11

Identifying future field accesses in exhaustive state space traversal

Pavel Parízek, Pavel Parízek, Ondřej Lhoták

2011

10

Challenge benchmarks for verification of real-time programs

Tomáš Kalibera, Pavel Parízek, Ghaith Haddad,

2010

10

Page 1