Search - IFIP Open Digital Library Access content directly

Filter your results

35 results
level0_domain_s : Computer Science [cs]
labStructName_s : Inria Grenoble - Rhône-Alpes
Page :
sorted by
Image document

Network Non-Neutrality Debate: An Economic Analysis

 Eitan Altman , Arnaud Legout , Yuedong Xu
10th IFIP Networking Conference (NETWORKING), IFIP Technical Committee on Communication Systems (TC 6), May 2011, Valencia, Spain. pp.68-81, ⟨10.1007/978-3-642-20798-3_6⟩
Conference papers inria-00568922v2
Image document

Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop

 Rémi Brouet , Renaud Blanch , Marie-Paule Cani
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers hal-00814014v2
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers hal-00818788v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Distributed Random Process for a Large-Scale Peer-to-Peer Lottery

 Stéphane Grumbach , Robert Riemann
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.34-48, ⟨10.1007/978-3-319-59665-5_3⟩
Conference papers hal-01583824v1
Image document

Verification of Smart Contract Business Logic

 Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1
Image document

Coordination of ECA Rules by Verification and Control

 Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

Rialto 2.0: A Language for Heterogeneous Computations

 Johan Lilius , Andreas Dahlin , Lionel Morel
Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩
Conference papers hal-00521339v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

 Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

Investigating The Role Of Mutual Cognitive Environment For End-User Programming

 Rémi Barraquand , Patrick Reignier
6th IFIP International Conference on Artificial Intelligence Applications and Innovations, 2010, Lacarna, Cyprus. pp.352-359, ⟨10.1007/978-3-642-16239-8_46⟩
Conference papers hal-00953489v1
Image document

GREP: Games for the Runtime Enforcement of Properties

 Matthieu Renard , Antoine Rollet , Yliès Falcone
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers hal-01678960v1
Image document

Trust Driven Strategies for Privacy by Design

 Thibaud Antignac , Daniel Le Métayer
9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.60-75, ⟨10.1007/978-3-319-18491-3_5⟩
Conference papers hal-01262365v1
Image document

A Lot-Sizing Model for Maintenance Planning in a Circular Economy Context

 Ernest Foussard , Marie-Laure Espinouse , Grégory Mounié , Margaux Nattaf
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.673 - 682, ⟨10.1007/978-3-030-85902-2_72⟩
Conference papers hal-03352725v2
Image document

Verifying Timed BPMN Processes Using Maude

 Francisco Durán , Gwen Salaün
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers hal-01538104v1
Image document

Revisiting Glue Expressiveness in Component-Based Systems

 Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Delegation of Obligations and Responsibility

 Meriam Ben Ghorbel , Frédéric Cuppens , Nora Cuppens-Boulahia , Daniel Le Métayer , Guillaume Piolle
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.197-209, ⟨10.1007/978-3-642-21424-0_16⟩
Conference papers hal-00606018v1
Image document

Reactive Statistical Mapping: Towards the Sketching of Performative Control with Data

 Nicolas D’alessandro , Joëlle Tilmanne , Maria Astrinaki , Thomas Hueber , Rasmus Dall , et al.
eNTERFACE - 9th International Summer Workshop on Multimodal Interfaces (eNTERFACE), Jul 2013, Lisbonne, Portugal. pp.20-49, ⟨10.1007/978-3-642-55143-7_2⟩
Conference papers hal-01134574v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1
Image document

On the Most Suitable Axiomatization of Signed Integers

 Hubert Garavel
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2017, Gregynog, Wales, UK, United Kingdom. pp.120-134, ⟨10.1007/978-3-319-72044-9_9⟩
Conference papers hal-01667321v1
Image document

Monotonic Prefix Consistency in Distributed Systems

 Alain Girault , Gregor Gössler , Rachid Guerraoui , Jad Hamza , Dragos-Adrian Seredinschi
FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Conference papers hal-01824817v1
Image document

A Model-Based Certification Framework for the EnergyBus Standard

 Alexander Graf-Brill , Holger Hermanns , Hubert Garavel
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
Conference papers hal-01098360v1
Image document

Self-scalable Benchmarking as a Service with Automatic Saturation Detection

 Alain Tchana , Bruno Dillenseger , Noel de Palma , Xavier Etchevers , Jean-Marc Vincent , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.389-404, ⟨10.1007/978-3-642-45065-5_20⟩
Conference papers hal-00949560v1
Image document

Debugging of Concurrent Systems using Counterexample Analysis

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Conference papers hal-01533401v2
Image document

Secure and Trustable Distributed Aggregation based on Kademlia

 Stéphane Grumbach , Robert Riemann
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.171-185, ⟨10.1007/978-3-319-58469-0_12⟩
Conference papers hal-01529326v2
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers hal-01583404v1
Image document

Green IT for Innovation and Innovation for Green IT: The virtuous circle

 Christina Herzog , Laurent Lefevre , Jean-Marc Pierson
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Conference papers hal-00766806v1
Image document

Analysis of Privacy Policies to Enhance Informed Consent

 Raúl Pardo , Daniel Le Métayer
DBSEC 2019 - 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Jul 2019, Charleston, SC, United States. pp.177-198, ⟨10.1007/978-3-030-22479-0_10⟩
Conference papers hal-02384593v1
Image document

Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability

 Charbel El Kaed , Yves Denneulin , François-Gaël Ottogalli , Luis Felipe Melo Mora
Software Technologies for Embedded and Ubiquitous Systems, 2010, Waidhofen/Ybbs, Austria. pp.71-82, ⟨10.1007/978-3-642-16256-5_9⟩
Conference papers hal-00788859v1
Image document

Development Tools for Rule-Based Coordination Programming in LINC

 Maxime Louvel , François Pacull , Eric Rutten , Adja Ndeye Sylla
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
Conference papers cea-01531019v1
Page :