Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro |
Contract-Driven Implementation of Choreographies. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Kosowski, Alfredo Navarra, Maria Cristina Pinotti |
Connectivity in Multi-interface Networks. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
multi-interface network, approximation algorithm, wireless network, Energy saving |
1 | Christelle Molle, Fabrice Peix, Stéphane Pérennes, Hervé Rivano |
Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Cédric Fournet (eds.) |
Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro |
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Model Checking Usage Policies. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Scott D. Stoller |
Trust Management and Trust Negotiation in an Extension of SQL. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina |
Provably Correct Implementations of Services. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini |
Structured Communications with Concurrent Constraints. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Carla Ferreira 0001, Hugo Torres Vieira |
A Process Calculus Analysis of Compensations. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Bhowmick 0001, Catuscia Palamidessi |
Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi |
Type Systems for Bigraphs. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Bonelli, Adriana B. Compagnoni |
Multipoint Session Types for a Distributed Calculus. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Corin, Pierre-Malo Deniélou |
A Protocol Compiler for Secure Sessions in ML. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi 0001, Davide Sangiorgi |
On the Complexity of Termination Inference for Processes. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Buscemi, Hernán C. Melgratti |
Transactional Service Level Agreement. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Grégoire, Jorge Luis Sacchini |
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Michel Cosnard |
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Mariela Pavlova |
Elimination of Ghost Variables in Program Logics. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Aybek Mukhamedov, Mark Dermot Ryan |
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida |
On Progress for Structured Communications. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson, Jörg Bauer 0001, Christoffer Rosenkilde Nielsen, Henrik Pilegaard |
Relational Analysis for Delivery of Services. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tom Murphy VII, Karl Crary, Robert Harper 0001 |
Type-Safe Distributed Programming with ML5. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Crégut |
Extracting Control from Data: User Interfaces of MIDP Applications. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore |
Location-Aware Quality of Service Measurements for Service-Level Agreements. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Patryk Czarnik, Aleksy Schubert |
Extending Operational Semantics of the Java Bytecode. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Steve Kremer |
Computational Soundness of Equational Theories (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Romain Beauxis, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Prakash Panangaden |
Formal Approaches to Information-Hiding (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone |
Replicating Web Services for Scalability. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Cirillo, James Riely |
Access Control Based on Code Identity for Open Distributed Systems. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic |
1 | Jeff Magee |
Web Service Composition: From Analysis to Autonomy. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Roy 0001, Anupam Datta, John C. Mitchell |
Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Dietrich, Martin Pirker, Tobias Vejda, Ronald Toegl, Thomas Winkler 0002, Peter Lipp |
A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Smith 0001 |
Adversaries and Information Leaks (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto |
Service Oriented Architectural Design. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ilja Tsahhirov, Peeter Laud |
Application of Dependency Graphs to Security Protocol Analysis. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Donald Sannella, Roberto Bruni (eds.) |
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann 0001, Peter Müller 0001, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard |
MOBIUS: Mobility, Ubiquity, Security. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Karsten Ehrig, Reiko Heckel |
Verification of Model Transformations: A Case Study with BPEL. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou |
Scheduling to Maximize Participation. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro |
SensoriaProcess Calculi for Service-Oriented Computing. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Kranakis, Danny Krizanc |
An Algorithmic Theory of Mobile Agents. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Typed Calculus for Querying Distributed XML Documents. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Eymann, Werner Streitberger, Sebastian Hudert |
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires |
Spatial-Behavioral Types, Distributed Services, and Resources. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bacciu, Alessio Botta, Hernán C. Melgratti |
A Fuzzy Approach for Negotiating Quality of Services. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers |
The KOA Remote Voting System: A Summary of Work to Date. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi |
Software of the Future Is the Future of Software? |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christos Kaklamanis |
Project AEOLUS: An Overview. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Fagorzi, Elena Zucca |
A Framework for Type Safe Exchange of Mobile Code. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
parametric calculus, static and dynamic typechecking, subtyping, mobile code |
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Prakash Panangaden |
Anonymity Protocols as Noisy Channels. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic |
Security Types for Dynamic Web Data. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter |
Integration of a Security Type System into a Program Logic. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Silvestri 0001 |
On the Limits of Cache-Oblivious Matrix Transposition. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tom Chothia, Simona Orzan, Jun Pang 0001, Muhammad Torabi Dashti |
A Framework for Automatically Checking Anonymity with mu CRL. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Ivan Lanese |
PRISMA: A Mobile Calculus with Parametric Synchronization. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou |
A Distributed Object-Oriented Language with Session Types. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
A General Name Binding Mechanism. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Davide Sangiorgi (eds.) |
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fred Spiessens, Peter Van Roy |
A Practical Formal Model for Safety Analysis in Capability-Based Systems. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | William Simmonds, Tim Hawkins |
The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro |
Concurrency Among Strangers. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Briais, Uwe Nestmann |
A Formal Semantics for Protocol Narrations. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dean Rosenzweig, Davor Runje, Wolfram Schulte |
Model-Based Testing of Cryptographic Protocols. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Crafa, Sabina Rossi |
A Theory of Noninterference for the pi-Calculus. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Vasco Thudichum Vasconcelos |
History-Based Access Control for Distributed Processes. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James Skene, Wolfgang Emmerich |
Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin C. Pierce |
Harmony: The Art of Reconciliation. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | L. Gregory Meredith, Matthias Radestock |
Namespace Logic: A Logic for a Reflective Higher-Order Calculus. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Adriana B. Compagnoni, Elsa L. Gunter |
Types for Security in a Mobile World. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen |
Programming Cryptographic Protocols. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Buchholtz |
Automated Analysis of Infinite Scenarios. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Marco Giunti |
Typed Processes in Untyped Contexts. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Sonia Fagorzi, Elena Zucca |
Mixin Modules for Dynamic Rebinding. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Gianluigi Zavattaro |
web-pi at Work. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|