Access content directly

Sophie Chabridon

69
Documents

Publications

Image document

Bringing privacy, security and performance to the Internet of Things using IOTA and usage control

Nathanaël Denis , Sophie Chabridon , Maryline Laurent
Annals of Telecommunications - annales des télécommunications, 2024, ⟨10.1007/s12243-023-01005-1⟩
Journal articles hal-04383612v1
Image document

Integrating usage control into distributed ledger technology for internet of things privacy

Nathanaël Denis , Maryline Laurent , Sophie Chabridon
IEEE Internet of Things Journal, 2023, pp.1-1. ⟨10.1109/JIOT.2023.3283300⟩
Journal articles hal-04121481v1
Image document

Taming internet of things application development with the IoTvar middleware

Pedro Victor Borges Caldas da Silva , Chantal Taconet , Sophie Chabridon , Denis Conan , Everton Cavalcante
ACM Transactions on Internet Technology, 2023, 2, pp.1533-5399. ⟨10.1145/3586010⟩
Journal articles hal-04033054v1
Image document

Energy awareness and energy efficiency in internet of things middleware: a systematic literature review

Pedro Victor Borges Caldas da Silva , Chantal Taconet , Sophie Chabridon , Denis Conan , Everton Cavalcante
Annals of Telecommunications - annales des télécommunications, 2022, 78 (1-2), pp.115-131. ⟨10.1007/s12243-022-00936-5⟩
Journal articles hal-03901655v1
Image document

IoT data qualification for a logistic chain traceability smart contract

Mohamed Ahmed , Chantal Taconet , Mohamed Ould , Sophie Chabridon , Amel Bouzeghoub
Sensors, 2021, 21 (6), pp.2239:1-2239:25. ⟨10.3390/s21062239⟩
Journal articles hal-03219609v1
Image document

A semantic-based discovery service for the Internet of Things

Porfírio Gomes , Everton Cavalcante , Thais Batista , Chantal Taconet , Denis Conan
Journal of Internet Services and Applications, 2019, 10 (1), ⟨10.1186/s13174-019-0109-8⟩
Journal articles hal-02147177v1
Image document

Fog architectures and sensor location certification in distributed event-based systems

Fátima Castro-Jul , Rebeca P. Díaz-Redondo , Ana Fernández Vilas , Sophie Chabridon , Denis Conan
Sensors, 2018, 19 (1), pp.104. ⟨10.3390/s19010104⟩
Journal articles hal-01975724v1
Image document

Enhancing context data distribution for the internet of things using QoC-awareness and attribute-based access control

Léon Lim , Pierrick Marie , Denis Conan , Sophie Chabridon , Thierry Desprats
Annals of Telecommunications - annales des télécommunications, 2016, 71 (3/4), pp.121 - 132. ⟨10.1007/s12243-015-0480-9⟩
Journal articles hal-01298025v1
Image document

From ambient sensing to IoT-based context computing: an open framework for end to end QoC management

Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla , Chantal Taconet
Sensors, 2015, Special Issue: Select Papers from UCAmI & IWAAL 2014, 15 (6), pp.14180-14206. ⟨10.3390/s150614180⟩
Journal articles hal-01262395v1

Building ubiquitous QoC-aware applications through model-driven software engineering

Sophie Chabridon , Denis Conan , Zied Abid , Chantal Taconet
Science of Computer Programming, 2013, 78 (10), pp.1912 - 1929. ⟨10.1016/j.scico.2012.07.019⟩
Journal articles hal-00848041v1
Image document

A survey on addressing privacy together with quality of context for context management in the Internet of Things

Sophie Chabridon , Romain Laborde , Thierry Desprats , Arnaud Oglaza , Pierrick Marie
Annals of Telecommunications - annales des télécommunications, 2013, 69 (1-2), pp.47-62. ⟨10.1007/s12243-013-0387-2⟩
Journal articles hal-01285786v1
Image document

Mobile Databases: a Selection of Open Issues and Research Directions

Guy Bernard , Jalel Ben-Othman , Luc Bouganim , Gérôme Canals , Sophie Chabridon
SIGMOD record, 2004, Special Issue : Data engineering for life sciences, 33 (2), pp.78-83. ⟨10.1145/1024694.1024708⟩
Journal articles inria-00320861v1
Image document

A middleware architecture for mastering energy consumption in internet of things applications

Pedro Victor Borges Caldas da Silva , Chantal Taconet , Sophie Chabridon , Denis Conan , Everton Cavalcante
2023 International Conference on ICT for Sustainability (ICT4S), IEEE, Jun 2023, Rennes, France. ⟨10.1109/ICT4S58814.2023.00016⟩
Conference papers hal-04127201v1
Image document

SHORE: a model-driven approach that combines goal, semantic and variability models for Smart HOme self-REconfiguration

Denisse Muñante , Bruno Traverson , Sophie Chabridon , Amel Bouzeghoub
MODELSWARD 2022: 10th international conference on Model-Driven Engineering and Software Development, Feb 2022, Online, France. pp.328-335, ⟨10.5220/0010907300003119⟩
Conference papers hal-03610122v1
Image document

Runtime models and evolution graphs for the version management of microservice architectures

Yuwei Wang , Denis Conan , Sophie Chabridon , Kavoos Bojnourdi , Jingxuan Ma
APSEC 2021: 28th Asia-Pacific Software Engineering Conference, Dec 2021, Taipei (online), Taiwan. pp.536-541, ⟨10.1109/APSEC53868.2021.00064⟩
Conference papers hal-03419462v1
Image document

Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting

Nathanaël Denis , Pierre Chaffardon , Denis Conan , Maryline Laurent , Sophie Chabridon
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers hal-02910407v1
Image document

A model based toolchain for the cosimulation of cyber-physical systems with FMI

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
MODELSWARD 2020: 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.15-25, ⟨10.5220/0008875400150025⟩
Conference papers hal-02530289v1
Image document

The smart grid simulation framework: model-driven engineering applied to cyber-physical systems

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
MODELSWARD 2020: 8th international conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.3-25, ⟨10.1007/978-3-030-67445-8_1⟩
Conference papers hal-03216723v1
Image document

Enhancing B2B supply chain traceability using smart contracts and IoT

Mohamed Ahmed , Chantal Taconet , Mohamed Ould , Sophie Chabridon , Amel Bouzeghoub
HICL 2020: Hamburg International Conference of Logistics, Sep 2020, Hamburg, Germany. pp.559-589
Conference papers hal-03030238v1
Image document

Authenticated and Privacy-Preserving Consent Management in the Internet of Things

Maryline Laurent , Jean Leneutre , Sophie Chabridon , Imane Laaouane
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
Conference papers hal-02147191v1
Image document

An approach to design smart grids and their IT system by cosimulation

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
MODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.372 - 379, ⟨10.5220/0007407003720379⟩
Conference papers hal-02070535v1
Image document

Mastering interactions with Internet of Things platforms through the IoTVar middleware

Pedro Victor Borges Caldas da Silva , Chantal Taconet , Sophie Chabridon , Denis Conan , Thais Batista
UCAMI 2019: 13th International Conference on Ubiquitous Computing and Ambient ‪Intelligence, Dec 2019, Tolède, Spain. pp.78, ⟨10.3390/proceedings2019031078⟩
Conference papers hal-02373839v1
Image document

Improving performances of log mining for anomaly prediction through NLP-based log parsing

Nicolas Aussel , Yohan Petetin , Sophie Chabridon
MASCOTS 2018: 26th International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Sep 2018, Milwaukee, United States. pp.237 - 243, ⟨10.1109/MASCOTS.2018.00031⟩
Conference papers hal-01919820v1
Image document

Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

Stevan Coroller , Sophie Chabridon , Maryline Laurent , Denis Conan , Jean Leneutre
M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers hal-01940866v1
Image document

Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.9-1 - 9-5
Conference papers hal-01821675v1
Image document

A multiscale approach for a distributed event-based Internet of Things

Denis Conan , Léon Lim , Chantal Taconet , Sophie Chabridon , Claire Lecocq
PICOM 2017 : 15th International Conference on Pervasive Intelligence and Computing, Nov 2017, Orlando, United States. pp.844 - 852, ⟨10.1109/DASC-PICom-DataCom-CyberSciTec.2017.142⟩
Conference papers hal-01766251v1
Image document

Predictive models of hard drive failures based on operational data

Nicolas Aussel , Samuel Jaulin , Guillaume Gandon , Yohan Petetin , Eriza Fazli
ICMLA 2017 : 16th IEEE International Conference On Machine Learning And Applications, Dec 2017, Cancun, Mexico. pp.619 - 625, ⟨10.1109/ICMLA.2017.00-92⟩
Conference papers hal-01703140v1

IoTVar to transparently handle interactions between applications and IoT platforms

Clément Courtais , Chantal Taconet , Denis Conan , Sophie Chabridon , Porfírio Gomes
M4IOT 2017 : 4th Workshop on Middleware and Applications for the Internet of Things, Dec 2017, Las Vegas, United States. pp.7 - 10, ⟨10.1145/3152141.3152390⟩
Conference papers hal-01670173v1
Image document

Combining fog architectures and distributed event-based systems for mobile sensor location certification

Fátima Castro-Jul , Denis Conan , Sophie Chabridon , Rebeca P. Díaz Redondo , Ana Fernández Vilas
UCAmI 2017 : 11th International Conference on Ubiquitous Computing and Ambient Intelligence, Nov 2017, Philadelphia, United States. pp.27 - 33, ⟨10.1007/978-3-319-67585-5_3⟩
Conference papers hal-01634002v1
Image document

Unified modeling of quality of context and quality of situation for context-aware applications in the internet of things

Sophie Chabridon , Amel Bouzeghoub , Anis Ahmed Nacer , Pierrick Marie , Thierry Desprats
CONTEXT 2017 : 10th International and Interdisciplinary Conference on Modeling and Using Context, Jun 2017, Paris, France. pp.370 - 374, ⟨10.1007/978-3-319-57837-8_30⟩
Conference papers hal-01614541v1
Image document

Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets

Jean-Paul Arcangeli , Amel Bouzeghoub , Valérie Camps , Sophie Chabridon , Denis Conan
UBIMOB 2016 : 11èmes journées francophones Mobilité et Ubiquité, Jul 2016, Lorient, France. pp.1 - 7
Conference papers hal-01444756v1
Image document

Enabling self-configuration of QoC-centric fog computing entities

Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla
13th IEEE International Conference on Advanced and Trusted Computing (ATC 2016), Jul 2016, Toulouse, France. pp. 526-533, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0092⟩
Conference papers hal-01737033v1
Image document

A QoC-aware discovery service for the Internet of Things

Porfírio Gomes , Everton Cavalcante , Thais Batista , Chantal Taconet , Sophie Chabridon
UCAmI 2016 : 10th International Conference on Ubiquitous Computing & Ambient Intelligence, Nov 2016, Las Palmas, Gran Canaria, Spain. pp.344 - 355, ⟨10.1007/978-3-319-48799-1_39⟩
Conference papers hal-01405742v1
Image document

A framework for multiscale-, QoC- and privacy-aware context dissemination in the Internet of Things

Sophie Chabridon , Denis Conan , Thierry Desprats , Mohamed Mbarki , Chantal Taconet
11th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing (COLLABORATECOM 2015), Nov 2015, Wuhan, China. pp.207 - 218, ⟨10.1007/978-3-319-28910-6_19⟩
Conference papers hal-01270972v1
Image document

Extending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management

Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla
International Conference on Ubiquitous Computing and Ambient Intelligence - UCAmI 2014, Dec 2014, Belfast, United Kingdom. pp. 224-231
Conference papers hal-01148836v1
Image document

Projet INCOME : INfrastructure de gestion de COntexte Multi-Echelle pour l'Internet des Objets

Jean-Paul Arcangeli , Valérie Camps , Thierry Desprats , Romain Laborde , Emmanuel Lavinal
Conférence Francophone sur les Architectures Logicielles (CAL), Jun 2014, Paris, France. pp. 1-2
Conference papers hal-01133334v1
Image document

Gestion de contexte multi-échelle pour l'Internet des objets

Jean-Paul Arcangeli , Sophie Chabridon , Denis Conan , Thierry Desprats , Romain Laborde
10èmes Journées francophones Mobilité et Ubiquité (UBIMOB 2014), Jun 2014, Sophia Antipolis, France. pp.1-8
Conference papers hal-03665340v1
Image document

QoC-aware context data distribution in the Internet of Things

Pierrick Marie , Léon Lim , Atif Manzoor , Sophie Chabridon , Denis Conan
ACM Workshop on Middleware for Context-Aware Applications in the IoT @ Middleware 2014 - M4IOT, Dec 2014, Bordeaux, France. pp.13-18, ⟨10.1145/2676743.2676746⟩
Conference papers hal-04080596v1
Image document

QoCIM : un méta-modèle de qualité de contexte

Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla
9èmes journées francophones Mobilité et Ubiquité (UbiMob 2013), CNRS : Groupe de Travail « Mobilité et Ubiquité » du GDR I3, Jun 2013, Nancy, France
Conference papers hal-00850292v1
Image document

Trust-based context contract models for the Internet of Things

Samer Machara Marquez , Sophie Chabridon , Chantal Taconet
UIC/ATC 2013 : 10th International Conference on Ubiquitous Intelligence and Computing and 10th International Conference on Autonomic and Trusted Computing, Dec 2013, Vietri Sul Mare, Italy. pp.557 - 562, ⟨10.1109/UIC-ATC.2013.73⟩
Conference papers hal-01257890v1
Image document

QoCIM : A Meta-model for Quality of Context

Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla
8th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2013), Oct 2013, Annecy, France. pp.PP. 302-3015
Conference papers hal-01212943v1
Image document

INCOME - Multi-scale context management for the internet of things

Jean-Paul Arcangeli , Amel Bouzeghoub , Valérie Camps , Marie-Françoise Canut , Sophie Chabridon
3rd International Joint Conference on Ambient Intelligence (AML 2012), Nov 2012, Pise, Italy. pp.338-347, ⟨10.1007/978-3-642-34898-3_25⟩
Conference papers hal-00753360v1

Ingénierie dirigée par les modèles pour la construction d'applications ubiquitaires sensibles à la qualité du contexte

Sophie Chabridon , Denis Conan , Zied Abid , Chantal Taconet
Ubimob '12 : 8èmes journées francophones Mobilité et Ubiquité, Jun 2012, Anglet, France. pp.167-176
Conference papers hal-00718128v1

Projet INCOME : INfrastructure de gestion de COntexte Multi-Échelle pour l'Internet des Objets

Jean-Paul Arcangeli , Amel Bouzeghoub , Valérie Camps , Marie-Françoise Canut , Sophie Chabridon
Ubimob 2012 : 8èmes journées francophones Mobilité et Ubiquité, Jun 2012, Anglet, France. pp.46-48
Conference papers hal-00724429v1
Image document

A fine-grain approach for evaluating the quality of context

Zied Abid , Sophie Chabridon
CoMoRea 2011 : 8th IEEE Workshop on Context Modeling and Reasoning, Mar 2011, Seattle, WA, United States. pp.444 - 449, ⟨10.1109/PERCOMW.2011.5766930⟩
Conference papers hal-01304184v1
Image document

Towards QoC-aware location-based services

Sophie Chabridon , Cao Cuong Ngo , Zied Abid , Denis Conan , Chantal Taconet
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.71 - 76, ⟨10.1007/978-3-642-21387-8_6⟩
Conference papers hal-01303054v1

A model driven approach for the QoC-awareness of ubiquitous applications

Sophie Chabridon , Zied Abid , Chantal Taconet , Denis Conan
UCAml '11 : 5th International Symposium on Ubiquitous Computing and Ambient Intelligence, Dec 2011, Riviera Maya, Mexico
Conference papers hal-00816827v1

MDE, DSL and tooling for effective context management in ubiquitous computing

Sophie Chabridon , Denis Conan , Chantal Taconet , Cong Kinh Nguyen , Cao Cuong Ngo
WMSE 2010 : Workshop on Mobile Software Engineering, in conjunction with MobiCASE 2010, Oct 2010, Santa Clara, Ca, United States
Conference papers hal-01305758v1

A reusable component for communication and data synchronization in mobile distributed interactive applications

Abdul Malik Khan , Sophie Chabridon , Antoine Beugnard
WCSI 2010 : 1st International Workshop on Component and Service Interoperability, in association with TOOLS 2010, Jun 2010, Malaga, Spain. pp.86 - 100, ⟨10.4204/EPTCS.37.7⟩
Conference papers hal-01314811v1
Image document

Adaptable client-server architecture for mobile multi-player games

Abdul Malik Khan , Ivica Arsov , Marius Preda , Sophie Chabridon , Antoine Beugnard
DISIO '10 : DIstributed SImulation & Online gaming, Mar 2010, Torremolinos, Malaga, Spain. pp.1-7
Conference papers hal-00470423v1

A session server architecture for mobile distributed virtual environments

Abdul Malik Khan , Sophie Chabridon , Antoine Beugnard
ERPAS 2010 : @WAS Emerging Research Projects, Applications and Services, Nov 2010, Paris, France. pp.772 - 775, ⟨10.1145/1967486.1967611⟩
Conference papers hal-01305762v1
Image document

Dynamic reduction of rollbacks in wireless multi-user virtual environments

Abdul Malik Khan , Sophie Chabridon , Antoine Beugnard
MobiCASE 2010: The Second International Conference on Mobile Computing, Applications, and Services Mobile Computing, Applications, and Services Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Oct 2010, Santa Clara, Ca, United States. pp.100-116, ⟨10.1007/978-3-642-29336-8_6⟩
Conference papers hal-00786937v1
Image document

A framework for quality of context management

Zied Abid , Sophie Chabridon , Denis Conan
QuaCon 2009 : 1st International Workshop on Quality of Context, Jun 2009, Stuttgart, Germany. pp.120 - 131, ⟨10.1007/978-3-642-04559-2_11⟩
Conference papers hal-01317618v1

Cohérence et qualité des informations de contexte en environnement pervasif

Zied Abid , Sophie Chabridon , Denis Conan
CDUR 2009 : 3ème Workshop sur la Cohérence des Données en Univers Réparti, Sep 2009, Toulouse, France. pp.1 - 5
Conference papers hal-01465761v1

Towards context-aware components

Antoine Beugnard , Sophie Chabridon , Denis Conan , Chantal Taconet , Fabien Dagnat
CASTA 2009 : Workshop on Context-Aware Software Technology and Applications - Co-located with ESEC/FSE 2009, Aug 2009, Amsterdam, Netherlands. pp.1 - 4, ⟨10.1145/1595768.1595770⟩
Conference papers hal-01315821v1
Image document

ShareX3D, a scientific collaborative 3D viewer over HTTP

Sébastien Jourdain , Julien Forest , Christophe Mouton , Bernard Nouailhas , Gérard Moniot
WEB3D 2008 : 13th International Symposium on 3D Web Technology, Aug 2008, Los Angeles, California, United States. pp.35 - 41, ⟨10.1145/1394209.1394220⟩
Conference papers hal-01327149v1

A dynamic approach to consistency management for mobile multiplayer games

Abdul Malik Khan , Sophie Chabridon , Antoine Beugnard
CDUR 2008 : 2nd Workshop sur la Cohérence Des Données en Univers Réparti, Jun 2008, Lyon, France. pp.1 - 6, ⟨10.1145/1416729.1416783⟩
Conference papers hal-01327154v1
Image document

Synchronization medium : a consistency maintenance component for mobile multiplayer games

Abdul Malik Khan , Sophie Chabridon , Antoine Beugnard
NetGames 2007 : 6th Annual Workshop on Network and Systems Support for Games 2007, Sep 2007, Melbourne, Australia. pp.99 - 104, ⟨10.1145/1326257.1326275⟩
Conference papers hal-01328165v1

RIMoCoW, a reconciliation infrastructure for CORBA component-based applications in mobile environments

Lydialle Chateigner , Sophie Chabridon , Guy Bernard
DOA 2006 : 8th International Symposium on Distributed Objects and Applications, Oct 2006, Montpellier, France. pp.1668 - 1685, ⟨10.1007/11914952_44⟩
Conference papers hal-01329428v1

Technical and Usage Issues for Mobile Multiplayer Games.

Michel Simatic , S. Craipeau , Antoine Beugnard , Sophie Chabridon , Mc. Legout
5th Int. Conf. on Computer Games: Artificial Intelligence, Design and Education, CGAID, Jan 2004, X, France. pp.134-138
Conference papers hal-01125031v1
Image document

Bringing privacy, security and performance to the internet of things through usage control and blockchains

Nathanaël Denis , Maryline Laurent , Sophie Chabridon
Privacy and Identity Management. Between Data Protection and Security, 644, Springer International Publishing, pp.57-72, 2022, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-99100-5_6⟩
Book sections hal-03754051v1
Image document

Middleware supporting PIS : requirements, solutions, and challenges

Chantal Taconet , Thais Batista , Pedro Victor Borges Caldas da Silva , Georgios Bouloukakis , Everton Cavalcante
Manuele Kirsch Pinheiro; Carine Souveyet; Philippe Roose; Luiz Angelo Steffenel. The Evolution of Pervasive Information Systems, Springer International Publishing, pp.65-97, 2022, 978-3-031-18175-7. ⟨10.1007/978-3-031-18176-4_4⟩
Book sections hal-03920430v1
Image document

The QoCIM framework : concepts and tools for quality of context management

Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla
Brézillon, Patrick; Gonzalez, Avelino J. Context in computing : a cross-disciplinary approach for modeling the real world, Chapter 11, Springer, pp.155-172, 2014, 978-1-4939-1886-7. ⟨10.1007/978-1-4939-1887-4_11⟩
Book sections hal-01263078v1
Image document

Enabling Context-Aware Web Services: A Middleware Approach for Ubiquitous Environments

Daniel Romero , Romain Rouvoy , Lionel Seinturier , Sophie Chabridon , Denis Conan
Michael Sheng and Jian Yu and Schahram Dustdar. Enabling Context-Aware Web Services: Methods, Architectures, and Technologies, Chapman and Hall/CRC, pp.113-135, 2010, 9781439809853
Book sections inria-00414070v1