Filter your results
- 12
- 2
- 12
- 2
- 14
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 14
- 2
- 1
- 1
- 1
- 3
- 3
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.72-86, ⟨10.1007/978-3-642-33475-7_6⟩
Conference papers
hal-01556211v1
|
||
|
A Distributed Coordination Infrastructure for Attribute-Based Interaction38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers
hal-01824810v1
|
||
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books
hal-01515249v1
|
||
|
Network-Aware Evaluation Environment for Reputation Systems7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.231-238, ⟨10.1007/978-3-642-38323-6_17⟩
Conference papers
hal-01468174v1
|
||
|
Replica-Based High-Performance Tuple Space Computing17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers
hal-01774936v1
|
||
|
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.111-128, ⟨10.1007/978-3-030-22397-7_7⟩
Conference papers
hal-02365500v1
|
||
|
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.166-181, ⟨10.1007/978-3-662-43613-4_11⟩
Conference papers
hal-01398015v1
|
||
|
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.216-231, ⟨10.1007/978-3-662-43613-4_14⟩
Conference papers
hal-01398017v1
|
||
Coordination Models and LanguagesSpringer, LNCS-7890, 2013, Lecture Notes in Computer Science, 978-3-642-38492-9. ⟨10.1007/978-3-642-38493-6⟩
Books
hal-01486134v1
|
|||
|
Tuple Spaces Implementations and Their Efficiency18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.51-66, ⟨10.1007/978-3-319-39519-7_4⟩
Conference papers
hal-01631715v1
|
||
|
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.340-354, ⟨10.1007/978-3-642-15240-5_25⟩
Conference papers
hal-01054448v1
|
||
|
Behavioural Contracts with Request-Response Operations12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers
hal-01054626v1
|
||
|
Linear-Time and May-Testing in a Probabilistic Reactive Setting13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.29-43, ⟨10.1007/978-3-642-21461-5_2⟩
Conference papers
hal-01583326v1
|
||
|
A Formal Approach to the Engineering of Domain-Specific Distributed Systems20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers
hal-01821499v1
|