Pavol Cerny

Citata da

	Tutte	Dal 2019
Citazioni	2108	774
Indice H	24	16
i10-index	37	25

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202120222023202426 20 32 38 69 56 93 103 95 110 138 203 158 155 135 131 142 162 117 87

Accesso pubblico

Visualizza tutto

22 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Arjun RadhakrishnaMicrosoftEmail verificata su microsoft.com
Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
Nate FosterProfessor of Computer Science, Cornell UniversityEmail verificata su cs.cornell.edu
Jedidiah McClurgEmail verificata su colostate.edu
Hossein HojjatAssistant Professor, RITEmail verificata su cs.rit.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderEmail verificata su colorado.edu
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoEmail verificata su utep.edu
Leonid RyzhykFelderaEmail verificata su feldera.com
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
Damien ZuffereyStatic Analysis Scientist, SonarSource S.A.Email verificata su sonarsource.com
Thorsten TarrachAmazon Web ServicesEmail verificata su amazon.com
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderEmail verificata su cs.colorado.edu
Swarat ChaudhuriUT Austin, Google DeepmindEmail verificata su cs.utexas.edu
Krishnendu ChatterjeeProfessor, IST AustriaEmail verificata su ist.ac.at
Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelEmail verificata su csail.mit.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderEmail verificata su colorado.edu
Sergio MoverÉcole Polytechnique and LIXEmail verificata su polytechnique.edu
Roopsha SamantaAssistant Professor, Purdue UniversityEmail verificata su purdue.edu

Segui

Pavol Cerny

Professor, TU Wien

Email verificata su tuwien.ac.at - Home page

Computer-aided verification Program synthesis


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	395	2005
Expressiveness of streaming string transducers R Alur, P Černý IARCS Annual Conference on Foundations of Software Technology and …, 2010	175	2010
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	169	2011
Efficient synthesis of network updates J McClurg, H Hojjat, P Černý, N Foster Acm Sigplan Notices 50 (6), 196-207, 2015	147	2015
Quantitative synthesis for concurrent programs P Černý, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	113	2011
Preserving secrecy under refinement R Alur, P Černý, S Zdancewic Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006	113	2006
Simulation distances P Černý, TA Henzinger, A Radhakrishna Theoretical Computer Science 413 (1), 21-35, 2012	94	2012
Synthesis through unification R Alur, P Černý, A Radhakrishna International Conference on Computer Aided Verification, 163-179, 2015	86	2015
Event-driven network programming J McClurg, H Hojjat, N Foster, P Černý ACM SIGPLAN Notices 51 (6), 369-385, 2016	69	2016
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	64	2010
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	55	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	55	2008
Model checking on trees with path equivalences R Alur, P Černý, S Chaudhuri International Conference on Tools and Algorithms for the Construction and …, 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	41	2013
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	30	2017
Optimal consistent network updates in polynomial time P Černý, N Foster, N Jagnik, J McClurg Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016	30	2016
Algorithmic analysis of array-accessing programs R Alur, P Černý, S Weinstein ACM Transactions on Computational Logic (TOCL) 13 (3), 1-29, 2012	30	2012
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	28	2020
Regression-free synthesis for concurrency P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014	27	2014
Parallel programming with object assemblies R Lublinerman, S Chaudhuri, P Cerny ACM SIGPLAN Notices 44 (10), 61-80, 2009	27	2009

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori