Concepedia

Pavol Černý

PČ

Statistics

Publications

23

Citations

1.1K

H-Index

15

Active since

2005

Affiliations

University of Pennsylvania(Current)

University of Colorado Boulder

Institute of Science and Technology Austria

Cornell University

University of Colorado System

Pavol Černý is an author at University of Pennsylvania specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationSystem SoftwareComputer EngineeringSoftware EngineeringVerification

Publications per year

2005–2019

23

Publications

23

Synthesis of interface specifications for Java classes

Rajeev Alur, Pavol Černý, P. Madhusudan et al. · 2005 · 315 citations

Engineering, Verification, Software Engineering +20

Synthesis of interface specifications for Java classes

Rajeev Alur, Pavol Černý, P. Madhusudan et al. · ACM SIGPLAN Notices · 2005 · 106 citations

Program Checking, Engineering, Verification +20

Efficient synthesis of network updates

Jedidiah McClurg, Hossein Hojjat, Pavol Černý et al. · 2015 · 99 citations · Full text

Engineering, Network Planning, Verification +19

Streaming transducers for algorithmic verification of single-pass list-processing programs

Rajeev Alur, Pavol Černý · ACM SIGPLAN Notices · 2011 · 88 citations

Program Checking, Engineering, Verification +20

Expressiveness of streaming string transducers

Rajeev Alur, Pavol Černý · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 81 citations · Full text

Engineering, Verification, Transducers Coincides +20

1–5 of 23