Pavol Cerny

Cited by

	All	Since 2018
Citations	1941	739
h-index	22	15
i10-index	35	25

220

110

165

200420052006200720082009201020112012201320142015201620172018201920202021202220235 25 17 35 41 71 59 90 108 97 110 145 205 163 155 132 135 144 156 16

Public access

View all

20 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Jedidiah McClurgAssistant Professor of CS, Colorado State UniversityVerified email at colostate.edu
Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
Ashutosh TrivediUniversity of Colorado at BoulderVerified email at colorado.edu
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Leonid RyzhykVMware ResearchVerified email at vmware.com
Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Thorsten TarrachAmazon Web ServicesVerified email at amazon.com
Swarat ChaudhuriUT AustinVerified email at cs.utexas.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelVerified email at csail.mit.edu
Micah SherrCallahan Family Professor of Computer Science, Georgetown UniversityVerified email at cs.georgetown.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sergio MoverAssistant Professor of Computer Science, École PolytechniqueVerified email at polytechnique.edu

Pavol Cerny

Professor, TU Wien

Verified email at tuwien.ac.at - Homepage

Computer-aided verification Program synthesis


Title Sort by citations Sort by year Sort by 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	402	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	159	2011
Expressiveness of streaming string transducers R Alur	157	2010
Efficient synthesis of network updates J McClurg, H Hojjat, P Černý, N Foster Acm Sigplan Notices 50 (6), 196-207, 2015	134	2015
Quantitative Synthesis for Concurrent Programs. P Cerný, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh CAV 6806, 243-259, 2011	108	2011
Preserving secrecy under refinement R Alur, P Černý, S Zdancewic Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006	107	2006
Simulation distances P Černý, TA Henzinger, A Radhakrishna Theoretical Computer Science 413 (1), 21-35, 2012	90	2012
Event-driven network programming J McClurg, H Hojjat, N Foster, P Černý ACM SIGPLAN Notices 51 (6), 369-385, 2016	62	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	62	2010
Synthesis through unification R Alur, P Černý, A Radhakrishna Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	55	2015
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	52	2013
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	52	2008
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	44	2007
Quantitative abstraction refinement P Cerny, TA Henzinger, A Radhakrishna Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	38	2013
Algorithmic analysis of array-accessing programs R Alur, P Černý, S Weinstein ACM Transactions on Computational Logic (TOCL) 13 (3), 1-29, 2012	31	2012
Toward synthesis of network updates A Noyes, T Warszawski, P Černý, N Foster arXiv preprint arXiv:1403.7840, 2014	26	2014
Parallel programming with object assemblies R Lublinerman, S Chaudhuri, P Cerny ACM SIGPLAN Notices 44 (10), 61-80, 2009	26	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	25	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	23	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	23	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors