@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2011 papers.bib}}
@ARTICLE{andres:2011:hal-00573447:1,
AUTHOR = {Andres, E., Miguel and Palamidessi, Catuscia and Sokolova, Ana and Van Rossum, Peter},
X-PAYS = {AT,NL},
TITLE = {{Information Hiding in Probabilistic Concurrent Systems}},
JOURNAL = {{Journal of Theoretical Computer Science}},
VOLUME = {412},
NUMBER = {28},
PAGES = {3072-3089},
YEAR = {2011},
X-INTERNATIONAL-AUDIENCE = {yes},
X-EDITORIAL-BOARD = {yes},
URL = {http://hal.inria.fr/hal-00573447/en},
X-ID-HAL = {hal-00573447}
}
@INPROCEEDINGS{hermith:2011:hal-00641433:1,
AUTHOR = {Hermith, Diana and Olarte, Carlos and Rueda, Camilo and Valencia, Frank D.},
X-PAYS = {CO},
TITLE = {{Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach}},
BOOKTITLE = {{PACBB}},
YEAR = {2011},
SERIES = {Advances in Intelligent and Soft Computing},
EDITOR = {Miguel P. Rocha and Juan M. Corchado Rodriguez and Florentino Fdez-Riverola and Alfonso Valencia},
DOI = {10.1007/ISBN 978-3-642-19913-4},
PUBLISHER = {Springer},
VOLUME = {93},
PAGES = {321-328},
ADDRESS = {Salamanca, Spain},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00641433/en},
X-ID-HAL = {hal-00641433}
}
@INPROCEEDINGS{aristizabal:2011:hal-00546722:1,
AUTHOR = {Aristizabal, Andr\'es and Bonchi, Filippo and Palamidessi, Catuscia and Pino, Luis and Valencia, Frank D.},
TITLE = {{Deriving Labels and Bisimilarity for Concurrent Constraint Programming}},
BOOKTITLE = { {Proceedings of the 14th International Conference on Foundations of Software Science an Computation Structures (FOSSACS 2011). }},
YEAR = {2011},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Martin Hofmann},
DOI = {10.1007/ISBN 978-3-642-19804-5},
PUBLISHER = {Springer},
VOLUME = {6604},
PAGES = {138-152},
ADDRESS = {Saarbr{\"u}cken, Germany},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00546722/en},
X-ID-HAL = {hal-00546722}
}
@INPROCEEDINGS{giunti:2011:hal-00644061:1,
AUTHOR = {Giunti, Marco},
TITLE = {{A type checking algorithm for qualified session types}},
BOOKTITLE = {{7th International Workshop on Automated Specification and Verification of Web Systems}},
YEAR = {2011},
MONTH = AUG,
EDITOR = {Laura Kov{\'a}cs, Rosario Pugliese, Francesco Tiezzi},
DOI = {10.4204/EPTCS.61.7},
PUBLISHER = {Electronic Proceedings in Theoretical Computer Science},
ADDRESS = {Reykjavik, Iceland},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00644061/en},
X-ID-HAL = {hal-00644061}
}
@INPROCEEDINGS{alvim:2011:inria-00580122:5,
AUTHOR = {Alvim, S., M{\'a}rio and Andres, E., Miguel and Chatzikokolakis, Konstantinos and Degano, Pierpaolo and Palamidessi, Catuscia},
X-PAYS = {IT},
TITLE = {{Differential Privacy: on the trade-off between Utility and Information Leakage}},
BOOKTITLE = {{The 8th International Workshop on Formal Aspects of Security \& Trust (FAST)}},
YEAR = {2011},
MONTH = MAR,
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Gilles Barthe and Anupam Datta and Sandro Etalle},
PUBLISHER = {Springer},
ADDRESS = {Leuven, Belgium},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/inria-00580122/en},
X-ID-HAL = {inria-00580122}
}
@INPROCEEDINGS{baelde:2011:inria-00585728:1,
AUTHOR = {Baelde, David and Beauxis, Romain and Mimram, Samuel},
TITLE = {{Liquidsoap: a High-Level Programming Language for Multimedia Streaming}},
BOOKTITLE = {{SOFSEM 2011: Theory and Practice of Computer Science}},
YEAR = {2011},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Cern{\'a}, Ivana and Gyim{\'o}thy, Tibor and Hromkovic, Juraj and Jefferey, Keith and Kr{\'a}lovic, Rastislav and Vukolic, Marko and Wolf, Stefan},
DOI = {10.1007/978-3-642-18381-2\_8},
PUBLISHER = {Springer Berlin / Heidelberg},
VOLUME = {6543},
PAGES = {99-110},
ADDRESS = {Nov{\'y} Smokovec, Slovakia},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/inria-00585728/en},
X-ID-HAL = {inria-00585728}
}
@INPROCEEDINGS{beauxis:2011:inria-00616968:1,
AUTHOR = {Beauxis, Romain and Mimram, Samuel},
TITLE = {{A Non-Standard Semantics for Kahn Networks in Continuous Time}},
BOOKTITLE = {{Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL}},
YEAR = {2011},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
URL2 = {http://drops.dagstuhl.de/opus/volltexte/2011/3221},
EDITOR = {Marc Bezem},
DOI = {10.4230/LIPIcs.CSL.2011.35},
PUBLISHER = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
VOLUME = {12},
PAGES = {35--50},
ADDRESS = {Bergen, Norway},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/inria-00616968/en},
X-ID-HAL = {inria-00616968}
}
@INPROCEEDINGS{alvim:2011:inria-00627937:1,
AUTHOR = {Alvim, S., M{\'a}rio and Andres, E., Miguel and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
TITLE = {{On the relation between Differential Privacy and Quantitative Information Flow}},
BOOKTITLE = {{38th International Colloquium on Automata, Languages and Programming - ICALP 2011}},
YEAR = {2011},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Luca Aceto, Monika Henzinger, Jiri Sgall},
DOI = {10.1007/978-3-642-22012-8\_4},
PUBLISHER = {Springer},
VOLUME = {6756},
PAGES = {60-76},
ADDRESS = {Zurich, Switzerland},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
X-INVITED-CONFERENCE = {yes},
URL = {http://hal.inria.fr/inria-00627937/en},
X-ID-HAL = {inria-00627937}
}
@INCOLLECTION{alvim:2011:hal-00655522:1,
AUTHOR = {Alvim, M{\'a}rio and Andres, E., Miguel and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
TITLE = {{Quantitative Information Flow and Applications to Differential Privacy}},
YEAR = {2011},
BOOKTITLE = {{Foundations of Security Analysis and Design VI -- FOSAD Tutorial Lectures}},
EDITOR = {Alessandro Aldini and Roberto Gorrieri},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
DOI = {10.1007/978-3-642-23082-0\_8},
PAGES = {211--230},
VOLUME = {6858},
X-INTERNATIONAL-AUDIENCE = {yes},
URL = {http://hal.inria.fr/hal-00655522/en},
X-ID-HAL = {hal-00655522}
}
@PROCEEDINGS{chatzikokolakis:2011:hal-00641020:1,
X-PROCEEDINGS = {yes},
AUTHOR = {Chatzikokolakis, Konstantinos and Cortier, V{\'e}ronique},
TITLE = {{Proceedings of the 8th International Workshop on Security Issues in Concurrency}},
YEAR = {2011},
EDITOR = {Konstantinos Chatzikokolakis and V{\'e}ronique Cortier},
PUBLISHER = {Electronic Proceedings in Theoretical Computer Science},
SERIES = {Electronic Proceedings in Theoretical Computer Science},
DOI = {10.4204/EPTCS.51},
PAGES = {51 pages},
VOLUME = {51},
X-INTERNATIONAL-AUDIENCE = {yes},
URL = {http://hal.inria.fr/hal-00641020/en},
X-ID-HAL = {hal-00641020}
}
@PROCEEDINGS{modersheim:2011:hal-00655523:1,
X-PROCEEDINGS = {yes},
AUTHOR = {M{\"o}dersheim, Sebastian and Palamidessi, Catuscia},
X-PAYS = {DK},
TITLE = {{Post-proceedings of TOSCA -- Theory of Security and Applications}},
YEAR = {2011},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Sebastian M{\"o}dersheim and Catuscia Palamidessi},
PAGES = {235 pages},
PUBLISHER = {Springer},
VOLUME = {6993},
X-INTERNATIONAL-AUDIENCE = {yes},
URL = {http://hal.inria.fr/hal-00655523/en},
X-ID-HAL = {hal-00655523}
}
@PROCEEDINGS{palamidessi:2011:hal-00655524:1,
X-PROCEEDINGS = {yes},
AUTHOR = {Palamidessi, Catuscia and Riska, Alma},
X-PAYS = {US},
TITLE = {{Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems}},
YEAR = {2011},
EDITOR = {Catuscia Palamidessi and Alma Riska},
PAGES = {276 pages},
PUBLISHER = {IEEE},
X-INTERNATIONAL-AUDIENCE = {yes},
URL = {http://hal.inria.fr/hal-00655524/en},
X-ID-HAL = {hal-00655524}
}
@PROCEEDINGS{Luttik:2011,
X-PROCEEDINGS = {yes},
AUTHOR = {Bas Luttik and Frank D. Valencia},
X-PAYS = {NL},
TITLE = {{Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems}},
YEAR = {2011},
EDITOR = {Bas Luttik and Frank D. Valencia},
PAGES = {131 pages},
PUBLISHER = {Electronic Proceedings in Theoretical Computer Science},
SERIES = {Electronic Proceedings in Theoretical Computer Science},
VOLUME = {64},
DOI = {10.4204/EPTCS.64},
URL = {aristizabal:2011:hal-00641408:1},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@PHDTHESIS{alvim:2011:tel-00639948:2,
AUTHOR = {Alvim, S., M{\'a}rio},
TITLE = {{Des approches formelles pour le cachement d'information: Une analyse des syst{\`e}mes interactifs, contr{\^o}le de divulgation statistique, et le raffinement des sp{\'e}cifications}},
YEAR = {2011},
MONTH = OCT,
SCHOOL = {Ecole Polytechnique X},
URL = {http://hal.inria.fr/tel-00639948/en},
X-ID-HAL = {tel-00639948}
}
@PHDTHESIS{andres:2011:tel-00655506:1,
AUTHOR = {Andres, Miguel},
TITLE = {{Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems}},
YEAR = {2011},
MONTH = JUL,
SCHOOL = {Radboud University, Nijmegen},
URL = {http://hal.inria.fr/tel-00655506/en},
X-ID-HAL = {tel-00655506}
}
@TECHREPORT{Cassez:2011:TR,
AUTHOR = {Franck Cassez, J\'er\'emy Dubreil and Herv\'e Marchand},
TITLE = {Synthesis of Opaque Systems with Static and Dynamic Masks.},
INSTITUTION = {INRIA},
NOTE = {Submitted to Formal Methods in System Design (FORM)},
YEAR = {2011}
}
@INCOLLECTION{longo:2010:hal-00445553:3,
AUTHOR = {Longo, Giuseppe and Palamidessi, Catuscia and Thierry, Paul},
BOOKTITLE = {Randomness Through Computation},
DATE-ADDED = {2010-12-30 03:55:53 +0100},
DATE-MODIFIED = {2010-12-30 03:55:53 +0100},
EDITOR = {Hector Zenil},
NOTE = {ISBN: 978-981-4327-74-9},
PUBLISHER = {World Scientific},
TITLE = {{Some Bridging Results and Challenges in Classical, Quantum and Computational Randomnessi}},
URL = {http://hal.inria.fr/hal-00445553/en},
X-ID-HAL = {hal-00445553},
X-INTERNATIONAL-AUDIENCE = {yes},
YEAR = {2011}
}
This file has been generated by bibtex2html 1.74