Filter your results
- 31
- 3
- 2
- 33
- 3
- 33
- 1
- 1
- 1
- 4
- 3
- 2
- 2
- 8
- 3
- 5
- 2
- 2
- 1
- 4
- 36
- 36
- 30
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Towards Verification of the Pastry Protocol Using TLA +13th 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.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
Conference papers
hal-01583322v1
|
||
|
FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing AppsDAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
Conference papers
hal-02121311v1
|
||
|
Construction of Some Nonautomatic Sequences by Cellular AutomataAUTOMATA 2018 - 24th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.113-126, ⟨10.1007/978-3-319-92675-9_9⟩
Conference papers
hal-01824876v1
|
||
|
A Study of RPL DODAG Version Attacks8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.92-104, ⟨10.1007/978-3-662-43862-6_12⟩
Conference papers
hal-01090993v1
|
||
|
Cache Management Strategy for CCN based on Content Popularity7th International Conference on Autonomous Infrastructure (AIMS), IFIP, Jun 2013, Barcelonne, Spain. pp.92-95, ⟨10.1007/978-3-642-38998-6_12⟩
Conference papers
hal-00929736v1
|
||
|
Computability on quasi-Polish spacesDCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
Conference papers
hal-02118947v2
|
||
|
Towards a Software-Defined Security Framework for Supporting Distributed CloudAIMS 2017 - 11th IFIP International Conference on Autonomous Infrastructure, Management and Security, Jul 2017, Zurich, Switzerland. pp.47-61, ⟨10.1007/978-3-319-60774-0_4⟩
Conference papers
hal-01806058v1
|
||
|
Towards Real-Time Co-authoring of Linked-Data on the WebCIIA'2015 - 5th International Conference on Computer Science and Its Applications, May 2015, Saida, Algeria. pp.538-548, ⟨10.1007/978-3-319-19578-0_44⟩
Conference papers
hal-01789931v1
|
||
|
A CRDT Supporting Selective Undo for Collaborative Text Editing15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
Conference papers
hal-01246212v1
|
||
|
Two-dimensional traffic rules and the density classification problem22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zürich, France. pp.135-148, ⟨10.1007/978-3-319-39300-1_11⟩
Conference papers
hal-01290290v1
|
||
|
Canonical Form of Gray Codes in N-cubes23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.68-80, ⟨10.1007/978-3-319-58631-1_6⟩
Conference papers
hal-01656349v1
|
||
|
The e-Fran Program: A Nation-Wide Initiative Supporting Research Projects to Foster Learning and Teaching Through Digital Technologies11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.81-86, ⟨10.1007/978-3-319-74310-3_10⟩
Conference papers
hal-01762887v1
|
||
|
Analyzing Recommender System's Performance Fluctuations across UsersInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.390-402, ⟨10.1007/978-3-642-32498-7_29⟩
Conference papers
hal-00776932v1
|
||
|
SimGrid MC: Verification Support for a Multi-API Simulation Platform13th 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.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Conference papers
inria-00593505v1
|
||
|
Semantics for First-Order Affine Inductive Data Types via Slice CategoriesInternational Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
Conference papers
hal-03018418v1
|
||
|
Security of Networks and Services in an All-Connected WorldSpringer International Publishing, LNCS-10356, 2017, Lecture Notes in Computer Science, 978-3-319-60773-3. ⟨10.1007/978-3-319-60774-0⟩
Books
hal-01806060v1
|
||
|
Outsourcing Mobile Security in the Cloud8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.69-73, ⟨10.1007/978-3-662-43862-6_9⟩
Conference papers
hal-01092239v1
|
||
|
Exploring IoT Protocols Through the Information-Centric Networking's Lens9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.56-60, ⟨10.1007/978-3-319-20034-7_6⟩
Conference papers
hal-01251165v1
|
||
|
Identification of Comparison Key Elements and Their Relationships for Cloud Service Selection8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.74-82, ⟨10.1007/978-3-030-44769-4_6⟩
Conference papers
hal-02981729v1
|
||
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Conference papers
hal-01658423v1
|
||
|
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩
Conference papers
hal-03740259v1
|
||
|
Capturing Privacy-preserving User Contexts with IndoorHashDAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
Conference papers
hal-02541391v1
|
||
|
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers
hal-00640312v1
|
||
|
Praspel: A Specification Language for Contract-Based Testing in PHP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers
hal-00640279v1
|
||
|
Tooled Process for Early Validation of SysML Models using Modelica Simulation6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers
hal-01246025v1
|
||
|
Analysis and Evaluation of OpenFlow Message Usage for Security Applications10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.84-97, ⟨10.1007/978-3-319-39814-3_9⟩
Conference papers
hal-01632745v1
|
||
|
Diploid Cellular Automata: First Experiments on the Random Mixtures of Two Elementary RulesAUTOMATA 2017 - 23th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2017, Milan, Italy. pp.97-108, ⟨10.1007/978-3-319-58631-1_8⟩
Conference papers
hal-01656351v1
|
||
|
A methodology for tenant migration in legacy shared-table multi-tenant applicationsDAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
Conference papers
hal-03381116v1
|
||
|
Monitoring and Security for the Internet of Things7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.37-40, ⟨10.1007/978-3-642-38998-6_4⟩
Conference papers
hal-00876216v1
|
||
|
Cross-Lingual Approaches for Task-Specific Dialogue Act Recognition17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.232-242, ⟨10.1007/978-3-030-79150-6_19⟩
Conference papers
hal-03287703v1
|
- 1
- 2