Pavol Cerny
Pavol Cerny
Professor, TU Wien
Verified email at - Homepage
Cited by
Cited by
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
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
Expressiveness of streaming string transducers
R Alur
Efficient synthesis of network updates
J McClurg, H Hojjat, P Černı, N Foster
Acm Sigplan Notices 50 (6), 196-207, 2015
Quantitative Synthesis for Concurrent Programs.
P Cernı, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh
CAV 6806, 243-259, 2011
Preserving secrecy under refinement
R Alur, P Černı, S Zdancewic
Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006
Simulation distances
P Černı, TA Henzinger, A Radhakrishna
Theoretical Computer Science 413 (1), 21-35, 2012
Event-driven network programming
J McClurg, H Hojjat, N Foster, P Černı
ACM SIGPLAN Notices 51 (6), 369-385, 2016
Model checking of linearizability of concurrent list implementations
P Černı, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
Synthesis through unification
R Alur, P Černı, A Radhakrishna
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
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
Efficient synthesis for concurrency by semantics-preserving transformations
P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
Model checking on trees with path equivalences
R Alur, P Černı, S Chaudhuri
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
Algorithmic analysis of array-accessing programs
R Alur, P Černı, S Weinstein
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-29, 2012
Toward synthesis of network updates
A Noyes, T Warszawski, P Černı, N Foster
arXiv preprint arXiv:1403.7840, 2014
Parallel programming with object assemblies
R Lublinerman, S Chaudhuri, P Cerny
ACM SIGPLAN Notices 44 (10), 61-80, 2009
Regression-free synthesis for concurrency
P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Optimizing horn solvers for network repair
H Hojjat, P Rümmer, J McClurg, P Černı, N Foster
2016 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2016
Optimal consistent network updates in polynomial time
P Černı, N Foster, N Jagnik, J McClurg
Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20