Pavol Cerny
Pavol Cerny
Professor, TU Wien
Verified email at tuwien.ac.at - Homepage
TitleCited byYear
Synthesis of interface specifications for Java classes
R Alur, P Černý, P Madhusudan, W Nam
ACM SIGPLAN Notices 40 (1), 98-109, 2005
3582005
Streaming transducers for algorithmic verification of single-pass list-processing programs
R Alur, P Černý
ACM SIGPLAN Notices 46 (1), 599-610, 2011
1102011
Expressiveness of streaming string transducers
R Alur
1012010
Quantitative synthesis for concurrent programs
P Černý, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh
International Conference on Computer Aided Verification, 243-259, 2011
862011
Preserving secrecy under refinement
R Alur, P Černý, S Zdancewic
International Colloquium on Automata, Languages, and Programming, 107-118, 2006
862006
Efficient synthesis of network updates
J McClurg, H Hojjat, P Černý, N Foster
Acm Sigplan Notices 50 (6), 196-207, 2015
772015
Simulation distances
P Černý, TA Henzinger, A Radhakrishna
Theoretical Computer Science 413 (1), 21-35, 2012
742012
Model checking of linearizability of concurrent list implementations
P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur
International Conference on Computer Aided Verification, 465-479, 2010
512010
Security evaluation of ES&S voting machines and election management system
A Aviv, P Černy, S Clark, E Cronin, G Shah, M Sherr, M Blaze
Proceedings of the conference on Electronic voting technology, 11, 2008
382008
Model checking on trees with path equivalences
R Alur, P Černý, S Chaudhuri
International Conference on Tools and Algorithms for the Construction and …, 2007
382007
Efficient synthesis for concurrency by semantics-preserving transformations
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International Conference on Computer Aided Verification, 951-967, 2013
352013
Event-driven network programming
J McClurg, H Hojjat, N Foster, P Černý
ACM SIGPLAN Notices 51 (6), 369-385, 2016
32*2016
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
ACM SIGPLAN Notices 48 (1), 115-128, 2013
292013
Algorithmic analysis of array-accessing programs
R Alur, P Černý, S Weinstein
ACM Transactions on Computational Logic (TOCL) 13 (3), 27, 2012
272012
Synthesis through unification
R Alur, P Černý, A Radhakrishna
International Conference on Computer Aided Verification, 163-179, 2015
252015
Parallel programming with object assemblies
R Lublinerman, S Chaudhuri, P Cerny
ACM SIGPLAN Notices 44 (10), 61-80, 2009
242009
Toward synthesis of network updates
A Noyes, T Warszawski, P Černý, N Foster
arXiv preprint arXiv:1403.7840, 2014
202014
Regression-free synthesis for concurrency
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
192014
Segment abstraction for worst-case execution time analysis
P Černý, TA Henzinger, L Kovács, A Radhakrishna, J Zwirchmayr
European Symposium on Programming Languages and Systems, 105-131, 2015
172015
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
International Conference on Computer Aided Verification, 180-197, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20