| * | 2009 |
|---|
| 7 | EE | Pavol Cerný,
Rajeev Alur:
Automated Analysis of Java Methods for Confidentiality.
CAV 2009: 173-187 |
| 6 | EE | Rajeev Alur,
Pavol Cerný,
Scott Weinstein:
Algorithmic Analysis of Array-Accessing Programs.
CSL 2009: 86-101 |
| 5 | EE | Roberto Lublinerman,
Swarat Chaudhuri,
Pavol Cerný:
Parallel programming with object assemblies.
OOPSLA 2009: 61-80 |
| 2008 |
|---|
| 4 | EE | Adam 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 | EE | Rajeev Alur,
Pavol Cerný,
Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences.
TACAS 2007: 664-678 |
| 2006 |
|---|
| 2 | EE | Rajeev Alur,
Pavol Cerný,
Steve Zdancewic:
Preserving Secrecy Under Refinement.
ICALP (2) 2006: 107-118 |
| 2005 |
|---|
| 1 | EE | Rajeev Alur,
Pavol Cerný,
P. Madhusudan,
Wonhong Nam:
Synthesis of interface specifications for Java classes.
POPL 2005: 98-109 |
