Publications de l'équipe COMETE

2012

Articles dans des revues avec comité de lecture

Titre

Synthesis of opaque systems with static and dynamic masks

Auteurs

Franck Cassez; Jérémy Dubreil; Hervé Marchand

Détail

Formal Methods in System Design, Springer, 2012, 40 (1), pp. 88-115

Accès au texte intégral et bibtex

Communications avec actes

Titre

A non-local method for robustness analysis of floating point programs

Auteurs

Ivan Gazeau ; Dale Miller ; Catuscia Palamidessi

Détail

Mieke Massink and Herbert Wiklicky. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Mar 2012, Tallinn, Estonia.

Accès au texte intégral et bibtex

Titre

Partition Refinement for Bisimilarity in CCP

Auteurs

Andrés Aristizábal; Filippo Bonchi; Luis Pino; Frank D. Valencia

Détail

27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. 6 p.

Accès au texte intégral et bibtex

Titre

Measuring Information Leakage using Generalized Gain Functions

Auteurs

Mário Alvim; Konstantinos Chatzikokolakis; Catuscia Palamidessi; Geoffrey Smith

Détail

Computer Security Foundations, 2012, Cambridge MA, United States. IEEE, pp. 265-279

Accès au texte intégral et bibtex

Rapports

Titre

Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus

Auteurs

Lili Xu

Détail

[Research Report], 2012, pp. 21

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Information Hiding in Probabilistic Concurrent Systems (journal version)

Auteurs

Miguel Andrés; Catuscia Palamidessi; Ana Sokolova; Peter Van Rossum

Détail

Journal of Theoretical Computer Science (TCS), 2011, 412 (28), pp. 3072-3089

Accès au texte intégral et bibtex

Titre

Epistemic Strategies and Games on Concurrent Processes

Auteurs

Konstantinos Chatzikokolakis; Sophia Knight; Catuscia Palamidessi; Prakash Panangaden

Détail

Transactions on Computational Logic, ACM, 2011

Accès au texte intégral et bibtex

Titre

Information Flow in Interactive Systems (Journal Version)

Auteurs

Mário Alvim; Miguel Andrés; Catuscia Palamidessi

Détail

Journal of Computer Security, IOS Press, 2011

Accès au texte intégral et bibtex

Communications avec actes

Titre

A type checking algorithm for qualified session types

Auteurs

Marco Giunti

Détail

Laura Kovács, Rosario Pugliese, Francesco Tiezzi. 7th International Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland. Electronic Proceedings in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Differential Privacy: on the trade-off between Utility and Information Leakage

Auteurs

Mário Alvim; Miguel Andrés; Konstantinos Chatzikokolakis; Pierpaolo Degano; Catuscia Palamidessi

Détail

Gilles Barthe and Anupam Datta and Sandro Etalle. The 8th International Workshop on Formal Aspects of Security & Trust (FAST), 2011, Leuven, Belgium. Springer, Proceedings of the 8th International Workshop on Formal Aspects of Security & Trust (FAST), Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Deriving Labels and Bisimilarity for Concurrent Constraint Programming

Auteurs

Andrés Aristizábal; Filippo Bonchi; Catuscia Palamidessi; Luis Pino; Frank D. Valencia

Détail

Martin Hofmann. FOSSACS, Mar 2011, Saarbrücken, Germany. Springer, 6604, pp. 138-152, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach

Auteurs

Diana Hermith; Carlos Olarte; Camilo Rueda; Frank D. Valencia

Détail

Miguel P. Rocha and Juan M. Corchado Rodriguez and Florentino Fdez-Riverola and Alfonso Valencia. PACBB, Apr 2011, Salamanca, Spain. Springer, 93, pp. 321-328, Advances in Intelligent and Soft Computing

Accès au texte intégral et bibtex

Titre

Liquidsoap: a High-Level Programming Language for Multimedia Streaming

Auteurs

David Baelde; Romain Beauxis; Samuel Mimram

Détail

Cerná, Ivana and Gyimóthy, Tibor and Hromkovic, Juraj and Jefferey, Keith and Královic, Rastislav and Vukolic, Marko and Wolf, Stefan. SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. Springer Berlin / Heidelberg, SOFSEM 2011: Theory and Practice of Computer Science, 6543, pp. 99-110, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

A Non-Standard Semantics for Kahn Networks in Continuous Time

Auteurs

Romain Beauxis; Samuel Mimram

Détail

Marc Bezem. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Sep 2011, Bergen, Norway. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, 12, pp. 35-50, Leibniz International Proceedings in Informatics (LIPIcs)

Accès au texte intégral et bibtex

Titre

On the relation between Differential Privacy and Quantitative Information Flow

Auteurs

Mário Alvim; Miguel Andrés; Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Luca Aceto, Monika Henzinger, Jiri Sgall. 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, 2011, Zurich, Switzerland. Springer, Proceedings of the 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, 6756, pp. 60-76, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Some Bridging Results and Challenges in Classical, Quantum and Computational Randomness

Auteurs

Giuseppe Longo; Catuscia Palamidessi; Paul Thierry

Détail

Hector Zenil. Randomness Through Computation, World Scientific, pp. NA, 2011

Accès au texte intégral et bibtex

Titre

Quantitative Information Flow and Applications to Differential Privacy

Auteurs

Mário Alvim; Miguel Andrés; Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Alessandro Aldini and Roberto Gorrieri. Foundations of Security Analysis and Design VI -- FOSAD Tutorial Lectures, 6858, Springer, pp. 211-230, 2011, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Concurrent constraints models of music interaction

Auteurs

Mauricio Toro ; Camilo Rueda; Frank Valencia; Gerardo Sarria; Carlos Olarte

Détail

Constraint Programming in Music, Wiley, pp. 133, 2011

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Proceedings of the 8th International Workshop on Security Issues in Concurrency

Auteurs

Konstantinos Chatzikokolakis; Véronique Cortier

Détail

Konstantinos Chatzikokolakis and Véronique Cortier. 51, Electronic Proceedings in Theoretical Computer Science, pp. 51, 2011, Electronic Proceedings in Theoretical Computer Science

Accès au bibtex

Ouvrages scientifiques

Titre

Proceedings 18th International Workshop on Expressiveness in Concurrency

Auteurs

Bas Luttik ; Frank D. Valencia

Détail

Bas Luttik and Frank Valencia. EPTCS, pp. , Aug. 2011

Accès au bibtex

Titre

Post-proceedings of TOSCA -- Theory of Security and Applications

Auteurs

Sebastian Mödersheim; Catuscia Palamidessi

Détail

6993. Sebastian Mödersheim and Catuscia Palamidessi. Springer, 235 p., 2011, Lecture Notes in Computer Science, 978-3-642-27374-2

Accès au bibtex

Titre

Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems

Auteurs

Catuscia Palamidessi; Alma Riska

Détail

Catuscia Palamidessi and Alma Riska. IEEE, 276 p., 2011, 978-1-4577-0973-9

Accès au bibtex

Thèses

Titre

Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications

Auteurs

Mário Alvim

Détail

informatique. Ecole Polytechnique X, Oct. 2011. English

Accès au texte intégral et bibtex

Titre

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems

Auteurs

Miguel Andrés

Détail

Radboud University, Nijmegen, Jul. 2011. English

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Making Random Choices Invisible to the Scheduler

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Information and Computation, 2010, 208 (6), pp. 694-715

Accès au texte intégral et bibtex

Communications avec actes

Titre

Supervisory Control for Modal Specifications of Services

Auteurs

Philippe Darondeau; Jérémy Dubreil; Hervé Marchand

Détail

Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp. 428-435

Accès au texte intégral et bibtex

Titre

Bisimilarity in Concurrent Constraint Programming

Auteurs

Andrés Aristizábal

Détail

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. 26th International Conference on Logic Programming, ICLP 2010, Jul 2010, Edinburgh, United Kingdom. 7, pp. 236-240, Leibniz International Proceedings in Informatics

Accès au texte intégral et bibtex

Titre

Computing the Leakage of Information-Hiding Systems

Auteurs

Miguel Andrés; Catuscia Palamidessi; Peter Van Rossum; Geoffrey Smith

Détail

Javier Esparza and Rupak Majumdar. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), Mar 2010, Paphos, Cyprus. Springer, 6015, pp. 373-389, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Information Hiding in Probabilistic Concurrent Systems

Auteurs

Miguel Andrés; Catuscia Palamidessi; Peter Van Rossum; Ana Sokolova

Détail

7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010), Sep 2010, Williamsburg, VA, United States. IEEE Computer Society, pp. 17-26

Accès au texte intégral et bibtex

Titre

Compositional modelling of signalling pathways in timed concurrent constraint programming

Auteurs

Davide Chiarugi; Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi

Détail

First ACM International Conference on Bioinformatics and Computational Biology (BCB '10)., Aug 2010, Niagara Falls, New York, United States. ACM Digital Libraries, pp. 414-417

Accès au texte intégral et bibtex

Titre

Probable Innocence and Independent Knowledge

Auteurs

Sardaouna Hamadou; Catuscia Palamidessi; Vladimiro Sassone; Ehab Elsalamouny

Détail

Pierpaolo Degano and Joshua D. Guttman. Formal Aspects of Security and Trust, Nov 2009, Eindhoven, Netherlands. Springer, Postproceedings of the 6th International Workshop on Formal Aspects in Security and Trust, 5983, pp. 141-156, 2010, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Information Flow in Interactive Systems

Auteurs

Mário Alvim; Miguel Andrés; Catuscia Palamidessi

Détail

Paul Gastin and François Laroussinie. 21th International Conference on Concurrency Theory (CONCUR 2010), Aug 2010, Paris, France. Springer, 6269, pp. 102-116, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Safe Equivalences for Security Properties

Auteurs

Mário Alvim; Miguel Andrés; Catuscia Palamidessi; Peter Van Rossum

Détail

Cristian S. Calude and Vladimiro Sassone. 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. Springer, 323, pp. 55-70, IFIP Advances in Information and Communication Technology

Accès au texte intégral et bibtex

Titre

Reconciling Belief and Vulnerability in Information Flow

Auteurs

Sardaouna Hamadou; Vladimiro Sassone; Catuscia Palamidessi

Détail

31st IEEE Symposium on Security and Privacy, May 2010, Berleley/Oakland, California, United States. IEEE Computer Society, pp. 79-92

Accès au texte intégral et bibtex

Conférences invitées

Titre

Interactive Information Flow

Auteurs

Catuscia Palamidessi; Mário Alvim; Miguel Andrés

Détail

Alessandro Armando and Gavin Lowe. Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), Mar 2010, Paphos, Cyprus. Springer, 6186, pp. 111-111, Lecture Notes in Computer Science

Accès au bibtex

Titre

Probabilistic Information Flow

Auteurs

Mário Alvim; Miguel Andrés; Catuscia Palamidessi

Détail

25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. IEEE Computer Society, pp. 314-321

Accès au texte intégral et bibtex

Titre

Compositionality of Secure Information Flow

Auteurs

Catuscia Palamidessi

Détail

Claude Bolduc, Jules Desharnais, and Béchir Ktari,. Joint Conference: 10th International Conference on the Mathematics of Program Construction (MPC 2010), and 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010), Jun 2010, Lac Beaufort, Québec City, Canada. Springer, 6120, pp. 19-19, Lecture Notes in Computer Science

Accès au bibtex

Titre

Entropy and Attack Models in Information Flow

Auteurs

Mário Alvim; Miguel Andrés; Catuscia Palamidessi

Détail

Cristian S. Calude and Vladimiro Sassone. 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. Springer, 323, pp. 53-54, IFIP Advances in Information and Communication Technology

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Concurrent and Reactive Constraint Programming

Auteurs

Maurizio Gabbrielli; Catuscia Palamidessi; Frank D. Valencia

Détail

Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming, Springer, pp. 231-253, Jun. 2010

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Proceedings 17th International Workshop on Expressiveness in Concurrency

Auteurs

Frank D. Valencia; Sibylle Fröschle

Détail

Electronic Proceedings in Theoretical Computer Science, pp. 0, Nov. 2010

Accès au bibtex

Titre

Journal of Computer Security 18(2). Special Issue dedicated to a selection of the best papers presented at SECCO'07

Auteurs

Daniele Gorla; Catuscia Palamidessi

Détail

IOS Press, pp. 187-377, 2010

Accès au bibtex

Rapports

Titre

Supervisory Control for Modal Specifications of Services

Auteurs

Philippe Darondeau; Jérémy Dubreil; Hervé Marchand

Détail

[Research Report], 2010. RR-7247

Accès au texte intégral et bibtex

Thèses

Titre

Quantitative Approaches to Information Hiding

Auteurs

Christelle Braun

Détail

Ecole Polytechnique X, May. 2010. English

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Differential Privacy versus Quantitative Information Flow

Auteurs

Mário Alvim; Konstantinos Chatzikokolakis; Pierpaolo Degano; Catuscia Palamidessi

Détail

Dec. 2010

Accès au texte intégral et bibtex

Titre

Analysis of the reachability problem in fragments of the Pi-calculus

Auteurs

Luis Pino

Détail

Jun. 2010. BSc Thesis from Universidad del Valle, Colombia

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs

Auteurs

Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi

Détail

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM, 2009, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, pp. 207-218

Accès au texte intégral et bibtex

Titre

A Declarative Language for Dynamic Multimedia Interaction Systems

Auteurs

Carlos Olarte; Camilo Rueda

Détail

Mathematics and Computation in Music, Springer, 2009, Communications in Computer and Information Science, 38

Accès au texte intégral et bibtex

Titre

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Auteurs

Jesus Aranda; Gérard Assayag; Carlos Olarte; Camilo Rueda; Toro Mauricio; Perez Jorge; Frank D. Valencia

Détail

Proc. of the 25th International Conference in Logic Programming ICLP'09, Springer, 2009, LNCS, 5649, pp. 509-513

Accès au texte intégral et bibtex

Titre

Towards a Unified Framework for Declarative Structured Communications

Auteurs

Hugo Lopez; Carlos Olarte; Jorge Perez

Détail

Proc. of PLACES'09, Elsevier, 2009, 15p.

Accès au texte intégral et bibtex

Titre

Explicit Fairness in Testing Semantics

Auteurs

Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi

Détail

Logical Methods in Computer Science, 2009, 5 (2), pp. Article 15

Accès au texte intégral et bibtex

Titre

Probabilistic and nondeterministic aspects of anonymity

Auteurs

Romain Beauxis; Catuscia Palamidessi

Détail

Theoretical Computer Science, Elsevier, 2009, 410 (41), pp. 4006-4025

Accès au texte intégral et bibtex

Titre

Model checking probabilistic and stochastic extensions of the $\pi$-calculus

Auteurs

Gethin Norman; Catuscia Palamidessi; David Parker; Peng Wu

Détail

IEEE Transactions of Software Engineering, IEEE Computer Society, 2009, 35 (2), pp. 209-223

Accès au texte intégral et bibtex

Titre

A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding

Auteurs

Simon Kramer; Catuscia Palamidessi; Roberto Segala; Andrea Turrini; Christelle Braun

Détail

The Journal of Applied Non-Classical Logic, 2009, 19 (4), pp. 489-516

Accès au texte intégral et bibtex

Communications avec actes

Titre

Modelando Sistemas de Membranas en ntcc

Auteurs

Angela Villota; Jesus Aranda; Diaz Juan Francisco

Détail

XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil.

Accès au texte intégral et bibtex

Titre

On the Expressive Power of Restriction and Priorities in CCS with replication

Auteurs

Jesus Aranda; Frank Valencia; Cristian Versari

Détail

Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Mar 2009, York, UK, United Kingdom. Foundations of Software Science and Computational Structures, Volume 5504/2009, LNCS

Accès au texte intégral et bibtex

Titre

Epistemic Strategies and Games on Concurrent Processes

Auteurs

Konstantinos Chatzikokolakis; Sophia Knight; Prakash Panangaden

Détail

SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. Springer, 5404, pp. 153-166, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Bounds on the leakage of the input's distribution in information-hiding protocols

Auteurs

Abhishek Bhowmick; Catuscia Palamidessi

Détail

Christos Kaklamanis and Flemming Nielson. Fourth Symposium on Trustworthy Global Computing (TGC), 2008, France. 5474, pp. 36-51, 2009

Accès au texte intégral et bibtex

Titre

Quantitative Notions of Leakage for One-try Attacks

Auteurs

Christelle Braun; Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), May 2009, Oxford, United Kingdom. Elsevier B.V., 249, pp. 75-91

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems.

Auteurs

Carlos Olarte; Camilo Rueda; Frank D. Valencia

Détail

Gérard Assayag and Andrew Gerzso. New Computational Paradigms for Computer Music, Delatour France / Ircam-Centre Pompidou, Jun. 2009

Accès au texte intégral et bibtex

Thèses

Titre

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus

Auteurs

Jesus Aranda

Détail

mathématiques et informatique. Ecole Polytechnique X; Universidad del Valle, Nov. 2009. English

Accès au texte intégral et bibtex

Titre

Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité

Auteurs

Carlos Olarte

Détail

informatique. Ecole Polytechnique X, Sep. 2009. English

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

On the Bayes Risk in Information-Hiding Protocols

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi; Prakash Panangaden

Détail

Journal of Computer Security, IOS Press, 2008, 16 (5), pp. 531-571

Accès au texte intégral et bibtex

Titre

Anonymity Protocols as Noisy Channels

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi; Prakash Panangaden

Détail

Information and Computation, Elsevier, 2008, 206 (2-4), pp. 378-401

Accès au texte intégral et bibtex

Communications avec actes

Titre

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programmin

Auteurs

Jesus Aranda; Perez Jorge; Camilo Rueda; Frank Valencia

Détail

Logic Programming, Dec 2008, Udine, Italy. Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings, Volume 5366/2009

Accès au texte intégral et bibtex

Titre

Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security

Auteurs

Carlos Olarte; Frank D. Valencia

Détail

23rd Annual ACM Symposium on Applied Computing, Mar 2008, Fortaleza, Brazil.

Accès au texte intégral et bibtex

Titre

Formal Approaches to Information-Hiding (Tutorial)

Auteurs

Romain Beauxis; Konstantinos Chatzikokolakis; Catuscia Palamidessi; Prakash Panangaden

Détail

Gilles Barthe and Cédric Fournet. Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. Springer, Proceedings of the Third Symposium on Trustworthy Global Computing (TGC 2007), 4912, pp. 347-362, 2008, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Compositional Methods for Information-Hiding

Auteurs

Christelle Braun; Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Roberto Amadio. Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. Springer, 4962, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security

Auteurs

Carlos Olarte; Frank D. Valencia

Détail

Sergio Antoy and Elvira Albert. 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Jul 2008, Valencia, Spain. Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 8-19

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

On the asynchronous nature of the asynchronous π-calculus

Auteurs

Romain Beauxis; Catuscia Palamidessi; Frank Valencia

Détail

Rocco De Nicola, Pierpaolo Degano, and José Meseguer. Concurrency, Graphs and Models, Springer, pp. 473-492, 2008, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Theoretical Computer Science, Elsevier, 2007, 389 (3), pp. 512-527

Accès au texte intégral et bibtex

Titre

Separation of synchronous and asynchronous communication via testing

Auteurs

Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi

Détail

Theoretical Computer Science, Elsevier, 2007, 386 (3), pp. 218-235

Accès au texte intégral et bibtex

Titre

Axiomatizations for probabilistic finite-state behaviors

Auteurs

Yuxin Deng; Catuscia Palamidessi

Détail

Theoretical Computer Science, Elsevier, 2007, 373 (1-2), pp. 92-114

Accès au texte intégral et bibtex

Titre

Tutorial on separation results in process calculi via leader election problems

Auteurs

Maria Grazia Vigliotti; Iain Phillips; Catuscia Palamidessi

Détail

Theoretical Computer Science, Elsevier, 2007, 388 (1-3), pp. 267-289

Accès au texte intégral et bibtex

Communications avec actes

Titre

Weak Probabilistic Anonymity

Auteurs

Yuxin Deng; Catuscia Palamidessi; Jun Pang

Détail

Michael Backes and Andre Scedrov. 3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. Elsevier Science B.V., Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo), 180 (1), pp. 55-76, 2007, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Fair Pi

Auteurs

Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi

Détail

Iain Phillips and Roberto Amadio. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), Aug 2006, Bonn, Germany. Elsevier Science B.V., Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), 175 (3), pp. 3-26, 2007, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Probability of Error in Information-Hiding Protocols

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi; Prakash Panangaden

Détail

20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. IEEE Computer Society, Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20), pp. 341-354

Accès au texte intégral et bibtex

Titre

Making Random Choices Invisible to the Scheduler

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Luís Caires and Vasco Thudichum Vasconcelos. CONCUR'07, Sep 2007, Lisboa, Portugal. Springer, Proceedings of CONCUR'07, 4703, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Declarative Diagnosis of Temporal Concurrent Constraint Programs

Auteurs

Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi; Frank Valencia

Détail

Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, Proceedings of the 23rd International Conference in Logic Programming, 4670, pp. 271-285, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Universal Timed Concurrent Constraint Programming

Auteurs

Carlos Olarte; Catuscia Palamidessi; Frank Valencia

Détail

Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, Proceedings of the 23rd International Conference in Logic Programming, 4670, pp. 464-465, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Symbolic Bisimulation for Probabilistic Systems

Auteurs

Peng Wu; Catuscia Palamidessi; Huimin Lin

Détail

4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. IEEE Computer Society, Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems, pp. 179-188

Accès au texte intégral et bibtex

Titre

Model checking the probabilistic pi-calculus

Auteurs

Gethin Norman; Catuscia Palamidessi; David Parker; Peng Wu

Détail

4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. IEEE Computer Society, pp. 169-178

Accès au texte intégral et bibtex

Titre

A Probabilistic Applied Pi-Calculus

Auteurs

Jean Goubault-Larrecq; Catuscia Palamidessi; Angelo Troina

Détail

5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, Proceedings of the 5th Asian Symposium on Programming Languages and Systems, 4807, pp. 175-190, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

Auteurs

Diletta Cacciagrano; Flavio Corradini; Jesus Aranda; Frank Valencia

Détail

Roberto Amadio and Thomas Hildebrandt. 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07), Sep 2007, Lisbon, Portugal. Proceedings of the Preliminary Proceedings 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07), pp. 58-71

Accès au texte intégral et bibtex

Titre

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence

Auteurs

Jesus Aranda; Cinzia Di Giusto; Mogens Nielsen; Frank Valencia

Détail

Zhong Shao. 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, Proceedings of the 5th Asian Symposium on Programming Languages and Systems, 4807, pp. 383-398, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi

Auteurs

Jesus Aranda; Cinzia Di Giusto; Catuscia Palamidessi; Frank Valencia

Détail

Frank S. de Boer and Marcello M. Bonsangue. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. Springer, Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects, 4709, pp. 185-206, 2007, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Probable Innocence Revisited

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Theoretical Computer Science, Elsevier, 2006, 367 (1-2), pp. 123-138

Accès au texte intégral et bibtex

Articles dans des revues sans comité de lecture

Titre

Languages for Concurrency

Auteurs

Catuscia Palamidessi; Frank Valencia

Détail

Bulletin of the European Association for Theoretical Computer Science, EATCS, 2006, 90, pp. 155-171

Accès au texte intégral et bibtex

Communications avec actes

Titre

A Congruence Format for Name-passing Calculi

Auteurs

Axelle Ziegler; Dale Miller; Catuscia Palamidessi

Détail

Peter Mosses and Irek Ulidowski. 2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. Elsevier, Proceedings of the 2nd Workshop on Structural Operational Semantics, 156 (1), pp. 169-189, 2006, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Metrics for Action-labelled Quantitative Transition Systems

Auteurs

Yuxin Deng; Tom Chothia; Catuscia Palamidessi; Jun Pang

Détail

Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 153 (2), pp. 79-96, 2006, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Expressiveness of probabilistic \pi-calculi

Auteurs

Sylvain Pradalier; Catuscia Palamidessi

Détail

Alessandra Di Pierro and Herbert Wiklicky. 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL), Apr 2006, Vienna, Austria. Elsevier, Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 164 (3), Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

Auteurs

Catuscia Palamidessi; Vijay Saraswat; Frank Valencia; Bjorn Victor

Détail

Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. IEEE Computer Society, pp. 59-68

Accès au texte intégral et bibtex

Titre

Probable Innocence Revisited

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve A. Schneider. Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. Springer, Third International Workshop on Formal Aspects in Security and Trust, Revised Selected Papers, 3866, pp. 142-157, 2006, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Anonymity Protocols as Noisy Channels

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi; Prakash Panangaden

Détail

Ugo Montanari and Don Sannella. 2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. Springer, Proceedings of the 2nd Symposium on Trustworthy Global Computing, 4661, pp. 281-300, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Expressiveness via Leader Election Problems

Auteurs

Maria Grazia Vigliotti; Iain Phillips; Catuscia Palamidessi

Détail

Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever. 4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. Springer, Postproceedings of the 4th International Symposium on Formal Methods for Components and Objects, 4111, pp. 172-194, 2006, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

A Declarative Framework for Security: Secure Concurrent Constraint Programming

Auteurs

Hugo A. López; Catuscia Palamidessi; Jorge Andrés Pérez; Camilo Rueda; Frank Valencia

Détail

Sandro Etalle and Miroslaw Truszczynski. 22nd International Conference on logic Programming (ICLP), Aug 2006, Seattle, United States. Springer, Proceedings of the 22nd International Conference on logic Programming, 4079, pp. 449-450, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Conférences invitées

Titre

Probabilistic and nondeterministic aspects of Anonymity

Auteurs

Catuscia Palamidessi

Détail

Martín Escardó, Achim Jung and Michael Mislove. 21st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI), May 2006, Birmingham, United Kingdom. Elsevier, Proceedings of the 21st Conference on the Mathematical Foundations of Programming Semantics, 155, pp. 33-42, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

A randomized encoding of the pi-calculus with mixed choice

Auteurs

Catuscia Palamidessi; Oltea Mihaela Herescu

Détail

Theoretical Computer Science, Elsevier, 2005, 335 (2-3), pp. 373-404

Accès au texte intégral et bibtex

Articles dans des revues sans comité de lecture

Titre

Recursion vs Replication in Process Calculi: Expressiveness

Auteurs

Catuscia Palamidessi; Frank Valencia

Détail

Bulletin of the European Association for Theoretical Computer Science, ENTCS, 2005, 87, pp. 105-125

Accès au texte intégral et bibtex

Communications avec actes

Titre

Probabilistic Anonymity

Auteurs

Mohit Bhargava; Catuscia Palamidessi

Détail

Martin Abadi and Luca de Alfaro. CONCUR'05, Aug 2005, San Francisco, United States. Springer, Proceedings of CONCUR'05, 3653, pp. 171-185, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Separation of synchronous and asynchronous communication via testing

Auteurs

Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi

Détail

Jos Baeten and Iain Phillips. Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS 2005), Aug 2005, San Francisco, United States. Proceedings of the 12th International Workshop on Expressiveness in Concurrency, 154 (3), pp. 95-108, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange

Auteurs

Konstantinos Chatzikokolakis; Catuscia Palamidessi

Détail

Rocco De Nicola and Davide Sangiorgi. First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. Springer, Proceedings of the First Symposium on Trustworthy Global Computing, 3705, pp. 146-162, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Axiomatizations for probabilistic finite-state behaviors

Auteurs

Yuxin Deng; Catuscia Palamidessi

Détail

Vladimiro Sassone. 8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2005), Apr 2005, Edinburgh, United Kingdom. Springer, Proceedings of FOSSACS'05, 3441, pp. 110-124, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Compositional Reasoning for Probabilistic Finite-State Behaviors

Auteurs

Yuxin Deng; Catuscia Palamidessi; Jun Pang

Détail

Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp. 309-337, 2005, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

2003

Articles dans des revues avec comité de lecture

Titre

Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus

Auteurs

Catuscia Palamidessi

Détail

Mathematical Structures in Computer Science, Cambridge University Press, 2003, 13 (5), pp. 685-719

Accès au texte intégral et bibtex