Filter your results
- 69
- 6
- 68
- 7
- 72
- 6
- 3
- 1
- 7
- 8
- 8
- 9
- 3
- 7
- 9
- 4
- 6
- 6
- 5
- 2
- 75
- 14
- 10
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 11
- 8
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Browser-Based Distributed System for the Detection of HTTPS Stripping Attacks against Web Pages27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.549-554, ⟨10.1007/978-3-642-30436-1_47⟩
Conference papers
hal-01518220v1
|
||
|
A Calculus of Self-stabilising Computational Fields16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers
hal-01290075v1
|
||
|
A Decentralized Approach to Network-Aware Service Composition4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.34-48, ⟨10.1007/978-3-319-24072-5_3⟩
Conference papers
hal-01757563v1
|
||
|
A Reversible Abstract Machine and Its Space Overhead14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers
hal-00909384v1
|
||
|
A Session Subtyping ToolCOORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩
Conference papers
hal-03340750v1
|
||
|
A Social Software-Based Coordination Platform14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.17-28, ⟨10.1007/978-3-642-30829-1_2⟩
Conference papers
hal-01529596v1
|
||
|
Adaptive Function Chaining for Efficient Design of 5G Xhaul23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.94-107, ⟨10.1007/978-3-030-38085-4_9⟩
Conference papers
hal-03200678v1
|
||
|
Aggregate Processes in Field Calculus21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.200-217, ⟨10.1007/978-3-030-22397-7_12⟩
Conference papers
hal-02365504v1
|
||
|
An Efficient Management of Correlation Sets with Broadcast13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers
hal-01582988v1
|
||
|
An Integrated Application of Security Testing Methodologies to e-voting SystemsSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.225-236, ⟨10.1007/978-3-642-15158-3_19⟩
Conference papers
hal-01054838v1
|
||
|
An Open Source Environment for an Agile Development Model16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.148-162, ⟨10.1007/978-3-030-47240-5_15⟩
Conference papers
hal-03647279v1
|
||
|
Analysis of Deadlocks in Object Groups13th 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.168-182, ⟨10.1007/978-3-642-21461-5_11⟩
Conference papers
hal-01583328v1
|
||
|
Applicative Bisimulation and Quantum λ-Calculi6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers
hal-01231800v1
|
||
|
Bayesian Classifiers in Intrusion Detection Systems2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.379-391, ⟨10.1007/978-3-030-45778-5_26⟩
Conference papers
hal-03266456v1
|
||
|
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
|
||
|
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.186-193, ⟨10.1007/978-3-319-19282-6_12⟩
Conference papers
hal-01774947v1
|
||
|
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.80-99, ⟨10.1007/978-3-030-78089-0_5⟩
Conference papers
hal-03740270v1
|
||
|
Choreography AutomataCOORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers
hal-03005377v1
|
||
|
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers
hal-01767321v1
|
||
|
Configurable Low-Latency Interconnect for Multi-core Clusters20th International Conference on Very Large Scale Integration (VLSI-SoC), Aug 2012, Santa Cruz, CA, United States. pp.107-124, ⟨10.1007/978-3-642-45073-0_6⟩
Conference papers
hal-01456965v1
|
||
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-9037, 2015, Lecture Notes in Computer Science, 978-3-319-19281-9. ⟨10.1007/978-3-319-19282-6⟩
Books
hal-01774946v1
|
||
|
Decidability Results for Dynamic Installation of Compensation Handlers15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.136-150, ⟨10.1007/978-3-642-38493-6_10⟩
Conference papers
hal-01486023v1
|
||
|
Deploying W3C Web of Things-Based Interoperable Mash-up Applications for Industry 4.0: A Testbed17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.3-14, ⟨10.1007/978-3-030-30523-9_1⟩
Conference papers
hal-02881743v1
|
||
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers
hal-01227612v1
|
||
|
Electronic ParticipationLNCS-9249, 2015, Lecture Notes in Computer Science, 978-3-319-22499-2. ⟨10.1007/978-3-319-22500-5⟩
Books
hal-01587629v1
|
||
|
Equicontinuity and Sensitivity of Nondeterministic Cellular Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.81-96, ⟨10.1007/978-3-319-58631-1_7⟩
Conference papers
hal-01656361v1
|
||
|
Exploring Information Security Issues in Public Sector Inter-organizational Collaboration10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.355-366, ⟨10.1007/978-3-642-22878-0_30⟩
Conference papers
hal-01589080v1
|
||
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books
hal-01432933v1
|
||
|
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers
hal-01821498v1
|
||
|
From Close to Distant and Back: How to Read with the Help of Machines3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.87-100, ⟨10.1007/978-3-319-47286-7_6⟩
Conference papers
hal-01615290v1
|