Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

30 results
Page :
sorted by
Image document

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

 Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha
23th 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
Image document

Praspel: A Specification Language for Contract-Based Testing in PHP

 Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti , Abdallah Ben Othman
23th 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
Image document

Tooled Process for Early Validation of SysML Models using Modelica Simulation

 Jean-Marie Gauthier , Fabrice Bouquet , Ahmed Hammad , Fabien Peureux
6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers hal-01246025v1
Image document

Analysis and Evaluation of OpenFlow Message Usage for Security Applications

 Sebastian Seeber , Gabi Dreo Rodosek , Gaëtan Hurel , Rémi Badonnel
10th 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
Image document

Capturing Privacy-preserving User Contexts with IndoorHash

 Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
DAIS 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
Image document

SimGrid MC: Verification Support for a Multi-API Simulation Platform

 Stephan Merz , Martin Quinson , Cristian Rosa
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.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Conference papers inria-00593505v1

Semantics for First-Order Affine Inductive Data Types via Slice Categories

 Vladimir Zamdzhiev
International Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
Conference papers hal-03018418v1
Image document

Diploid Cellular Automata: First Experiments on the Random Mixtures of Two Elementary Rules

 Nazim A. Fatès
AUTOMATA 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
Image document

A methodology for tenant migration in legacy shared-table multi-tenant applications

 Guillaume Rosinosky , Samir Youcef , François Charoy , Etienne Rivière
DAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
Conference papers hal-03381116v1
Image document

Monitoring and Security for the Internet of Things

 Anthéa Mayzaud , Rémi Badonnel , Isabelle Chrisment
7th 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
Image document

A Formal Approach for the Verification of AWS IAM Access Control Policies

 Ehtesham Zahoor , Zubaria Asma , Olivier Perrin
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.59-74, ⟨10.1007/978-3-319-67262-5_5⟩
Conference papers hal-01677620v1

Management and Security in the Age of Hyperconnectivity

 Rémi Badonnel , Robert Koch , Aiko Pras , Martin Drašar , Burkhard Stiller
Springer International Publishing, LNCS-9701, 2016, Lecture Notes in Computer Science, 978-3-319-39813-6. ⟨10.1007/978-3-319-39814-3⟩
Books hal-01632740v1

Intelligent Mechanisms for Network Configuration and Security

 Steven Latré , Marinos Charalambides , Jérôme François , Corinna Schmitt , Burkhard Stiller
Steven Latré; Marinos Charalambides; Jérôme François; Corinna Schmitt; Burkhard Stiller. Springer, LNCS-9122, 2015, Intelligent Mechanisms for Network Configuration and Security, 978-3-319-20034-7. ⟨10.1007/978-3-319-20034-7⟩
Books hal-01244586v1
Image document

Blockchain-Based Auditing of Transparent Log Servers

 Hoang-Long Nguyen , Jean-Philippe Eisenbarth , Claudia-Lavinia Ignat , Olivier Perrin
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.21-37, ⟨10.1007/978-3-319-95729-6_2⟩
Conference papers hal-01917636v1
Image document

Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks

 Sanaz Eidizadehakhcheloo , Bizhan Alipour Pijani , Abdessamad Imine , Michaël Rusinowitch
35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.338-356, ⟨10.1007/978-3-030-81242-3_20⟩
Conference papers hal-03463902v1
Image document

Towards Verification of the Pastry Protocol Using TLA +

 Tianxiang Lu , Stephan Merz , Christoph Weidenbach
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
Image document

FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps

 Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
DAIS 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
Image document

Construction of Some Nonautomatic Sequences by Cellular Automata

 Irène Marcovici , Thomas Stoll , Pierre-Adrien Tahay
AUTOMATA 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

Security of Networks and Services in an All-Connected World

 Daphné Tuncer , Robert Koch , Rémi Badonnel , Burkhard Stiller
Springer 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
Image document

Outsourcing Mobile Security in the Cloud

 Gaëtan Hurel , Rémi Badonnel , Abdelkader Lahmadi , Olivier Festor
8th 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
Image document

Exploring IoT Protocols Through the Information-Centric Networking's Lens

 Salvatore Signorello , Radu State , Olivier Festor
9th 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 Selection

 Anis Ahmed Nacer , Olivier Perrin , François Charoy
8th 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
Image document

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B

 Paul J. Gibson , Souad Kherroubi , Dominique Méry
37th 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
Image document

A Study of RPL DODAG Version Attacks

 Anthéa Mayzaud , Anuj Sehgal , Rémi Badonnel , Isabelle Chrisment , Jürgen Schönwälder
8th 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
Image document

Cache Management Strategy for CCN based on Content Popularity

 César Bernardini , Thomas Silverston , Olivier Festor
7th 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
Image document

Computability on quasi-Polish spaces

 Mathieu Hoyrup , Cristóbal Rojas , Victor Selivanov , Donald M Stull
DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
Conference papers hal-02118947v2
Image document

Towards a Software-Defined Security Framework for Supporting Distributed Cloud

 Maxime Compastié , Rémi Badonnel , Olivier Festor , Ruan He , Mohamed Kassi-Lahlou
AIMS 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
Image document

Towards Real-Time Co-authoring of Linked-Data on the Web

 Moulay Driss Mechaoui , Nadir Guetmi , Abdessamad Imine
CIIA'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
Image document

A CRDT Supporting Selective Undo for Collaborative Text Editing

 Weihai Yu , Luc André , Claudia-Lavinia Ignat
15th 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
Image document

Two-dimensional traffic rules and the density classification problem

 Nazim Fatès , Irène Marcovici , Siamak Taati
22th 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
Page :