Follow
Pavol Cerny
Pavol Cerny
Professor, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
Synthesis of interface specifications for Java classes
R Alur, P Černę, P Madhusudan, W Nam
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
3952005
Expressiveness of streaming string transducers
R Alur, P Černę
IARCS Annual Conference on Foundations of Software Technology and …, 2010
1752010
Streaming transducers for algorithmic verification of single-pass list-processing programs
R Alur, P Černę
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1692011
Efficient synthesis of network updates
J McClurg, H Hojjat, P Černę, N Foster
Acm Sigplan Notices 50 (6), 196-207, 2015
1472015
Quantitative synthesis for concurrent programs
P Černę, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1142011
Preserving secrecy under refinement
R Alur, P Černę, S Zdancewic
Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006
1132006
Simulation distances
P Černę, TA Henzinger, A Radhakrishna
Theoretical Computer Science 413 (1), 21-35, 2012
942012
Synthesis through unification
R Alur, P Černę, A Radhakrishna
International Conference on Computer Aided Verification, 163-179, 2015
862015
Event-driven network programming
J McClurg, H Hojjat, N Foster, P Černę
ACM SIGPLAN Notices 51 (6), 369-385, 2016
692016
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
642010
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
552013
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, 1-13, 2008
552008
Model checking on trees with path equivalences
R Alur, P Černę, S Chaudhuri
International Conference on Tools and Algorithms for the Construction and …, 2007
442007
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
412013
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černę, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
Formal methods in system design 50, 97-139, 2017
302017
Optimal consistent network updates in polynomial time
P Černę, N Foster, N Jagnik, J McClurg
Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016
302016
Algorithmic analysis of array-accessing programs
R Alur, P Černę, S Weinstein
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-29, 2012
302012
Detecting and understanding real-world differential performance bugs in machine learning libraries
S Tizpaz-Niari, P Černę, A Trivedi
Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020
282020
Regression-free synthesis for concurrency
P Černę, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
272014
Parallel programming with object assemblies
R Lublinerman, S Chaudhuri, P Cerny
ACM SIGPLAN Notices 44 (10), 61-80, 2009
272009
The system can't perform the operation now. Try again later.
Articles 1–20