|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Simulation distances.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger |
From boolean to quantitative synthesis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný |
Streaming transducers for algorithmic verification of single-pass list-processing programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger |
The Complexity of Quantitative Information Flow Problems. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
quantitative information flow, computational complexity, verification, synthesis |
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný |
Algorithmic Verification of Single-Pass List Processing Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Simulation Distances. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Quantitative Simulation Games. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
Model Checking of Linearizability of Concurrent List Implementations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný |
Expressiveness of streaming string transducers. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný |
Parallel programming with object assemblies. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions |
| 1 | Pavol Cerný, Rajeev Alur |
Automated Analysis of Java Methods for Confidentiality. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný, Scott Weinstein |
Algorithmic Analysis of Array-Accessing Programs. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný, Swarat Chaudhuri |
Model Checking on Trees with Path Equivalences. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný, Steve Zdancewic |
Preserving Secrecy Under Refinement. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam |
Synthesis of interface specifications for Java classes. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
behavioral interfaces, learning regular languages, model checking, games, abstraction, synthesis, software components |
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")