Concepedia

Pavel Parízek

PP

7

Publications

127

Citations

7

H-Index

2006

Active since

Affiliations

Charles University(Current)

University of Waterloo

Czech Academy of Sciences, Institute of Computer Science

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

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware TestingVerificationSystem Software

Publications per year

2006–2012

7

Publications

7

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 citations

Software Maintenance, Engineering, Verification +18

Exhaustive testing of safety critical Java

Tomáš Kalibera, Pavel Parízek, Michal Malohlava et al. · 2010 · 31 citations

Software Maintenance, Engineering, Verification +22

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 citations · Full text

Software Maintenance, Program Checking, Engineering +19

Modeling Environment for Component Model Checking from Hierarchical Architecture

Pavel Parízek, František Plášil · Electronic Notes in Theoretical Computer Science · 2007 · 16 citations · Full text

Engineering, Verification, Software Engineering +19

Predicate abstraction of Java programs with collections

Pavel Parízek, OndYej Lhoták · 2012 · 11 citations

Program Checking, Engineering, Verification +17

Rows per page

1–5 of 7