Pavol Cerný

	2012
18		Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012)
	2011
17		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259
16		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger: The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217
15		Pavol Cerný, Thomas A. Henzinger: From boolean to quantitative synthesis. EMSOFT 2011: 149-154
14		Rajeev Alur, Pavol Cerný: Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL 2011: 599-610
13		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs CoRR abs/1104.4306: (2011)
	2010
12		Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur: Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479
11		Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Simulation Distances. CONCUR 2010: 253-268
10		Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60
9		Rajeev Alur, Pavol Cerný: Expressiveness of streaming string transducers. FSTTCS 2010: 1-12
8		Rajeev Alur, Pavol Cerný: Algorithmic Verification of Single-Pass List Processing Programs CoRR abs/1007.4958: (2010)
	2009
7		Pavol Cerný, Rajeev Alur: Automated Analysis of Java Methods for Confidentiality. CAV 2009: 173-187
6		Rajeev Alur, Pavol Cerný, Scott Weinstein: Algorithmic Analysis of Array-Accessing Programs. CSL 2009: 86-101
5		Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný: Parallel programming with object assemblies. OOPSLA 2009: 61-80
	2008
4		Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze: Security Evaluation of ES&S Voting Machines and Election Management System. EVT 2008
	2007
3		Rajeev Alur, Pavol Cerný, Swarat Chaudhuri: Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678
	2006
2		Rajeev Alur, Pavol Cerný, Steve Zdancewic: Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
	2005
1		Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109

Coauthor Index

1	Rajeev Alur	[1] [2] [3] [6] [7] [8] [9] [12] [14]
2	Adam J. Aviv	[4]
3	Matt Blaze	[4]
4	Krishnendu Chatterjee	[13] [16] [17]
5	Swarat Chaudhuri	[3] [5] [12]
6	Sandy Clark	[4]
7	Eric Cronin	[4]
8	Thomas A. Henzinger	[10] [11] [13] [15] [16] [17] [18]
9	Roberto Lublinerman	[5]
10	P. Madhusudan (Parthasarathy Madhusudan)	[1]
11	Wonhong Nam	[1]
12	Arjun Radhakrishna	[10] [11] [12] [13] [17] [18]
13	Gaurav Shah	[4]
14	Micah Sherr	[4]
15	Rohit Singh	[13] [17]
16	Scott Weinstein	[6]
17	Steve Zdancewic	[2]
18	Damien Zufferey	[12]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page