skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming Support for a Delay-Tolerant Web of Things
Material Type:
Autre
Ajouter à Mon espace

Programming Support for a Delay-Tolerant Web of Things

Auzias , Maël ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) ; Université de Bretagne Sud ; Yves Mahéo ; Frédéric Raimbault

https://tel.archives-ouvertes.fr/tel-01814863

HAL CCSD, 2017

Accessible en ligne

2
A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems
Material Type:
Autre
Ajouter à Mon espace

A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems

Kim, Jin Hyung ; Legay, Axel ; Traonouez, Louis-Marie ; Acher, Mathieu ; Kang, Sungwon ; Efficient STAtistical methods in SYstems of systems (ESTASYS) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique (Inria) - Institut National de Recherche en Informatique et en Automatique (Inria) - LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) - Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) - Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) - Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) ; Diversity-centric Software Engineering (DiverSe) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique (Inria) - Institut National de Recherche en Informatique et en Automatique (Inria) - LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) - Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) - Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) - Institut National des Sciences Appliquées (INSA) - Université de Rennes 1 (UR1) - Centre National de la Recherche Scientifique (CNRS) - Télécom Bretagne - École normale supérieure - Rennes (ENS Rennes) - CentraleSupélec - Université de Bretagne Sud (UBS) ; Centre de Mathématiques Appliquées (CMA) ; MINES ParisTech - École nationale supérieure des mines de Paris - PSL Research University (PSL)

https://hal.archives-ouvertes.fr/hal-01241673

HAL CCSD, 2015

Accessible en ligne

3
Real-time interpretation of geometric shapes for digital learning
Material Type:
Autre
Ajouter à Mon espace

Real-time interpretation of geometric shapes for digital learning

Krichen , Omar ; Girard , Nathalie ; Anquetil , Eric ; Renault , Mickaël ; intuitive user interaction for document ( IntuiDoc ) ; MEDIA ET INTERACTIONS ( IRISA-D6 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique )

in Proc. ICPRAI (Int. Conf. on PR & AI)

HAL CCSD, 2018

Accessible en ligne

4
The Ceteris Paribus Structure of Logics of Game Forms
Material Type:
Autre
Ajouter à Mon espace

The Ceteris Paribus Structure of Logics of Game Forms

Grossi , Davide ; Lorini , Emiliano ; Schwarzentruber , François ; University of Liverpool ; Institut de recherche en informatique de Toulouse ( IRIT ) ; Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

ISSN: 1076-9757

HAL CCSD;Association for the Advancement of Artificial Intelligence, 2015

Accessible en ligne

5
Side-Channel Analysis of Multiplications in GF(2 128 ) Application to AES-GCM
Material Type:
Autre
Ajouter à Mon espace

Side-Channel Analysis of Multiplications in GF(2 128 ) Application to AES-GCM

Belaid , Sonia ; Fouque , Pierre-Alain ; Gérard , Benoit ; École normale supérieure - Paris ( ENS Paris ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) ; Institut National des Sciences Appliquées ( INSA ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées ( INSA ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Palash Sarkar, Tetsu Iwata

Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security

HAL CCSD;Springer, 2014

Accessible en ligne

6
A distributed exact solution to computed inter-domain multi-constrained paths
Material Type:
Autre
Ajouter à Mon espace

A distributed exact solution to computed inter-domain multi-constrained paths

Bertrand , Gilles ; Lahoud , Samer ; Texier , Géraldine ; Molnar , Miklos ; Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris] ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

15th Eunice International Workshop : the Internet of the Future

HAL CCSD;Springer Verlag, 2009

Accessible en ligne

7
A distributed exact solution to compute inter-domain multi-constrained paths
Material Type:
Autre
Ajouter à Mon espace

A distributed exact solution to compute inter-domain multi-constrained paths

Bertrand , Gilles ; Lahoud , Samer ; Texier , Géraldine ; Molnar , Miklos ; Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris] ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

EUNICE - The Internet of the Future

HAL CCSD;Springer, Lecture notes in computer science, 2009

Accessible en ligne

8
Lutter contre les codes malveillants
Material Type:
Autre
Ajouter à Mon espace

Lutter contre les codes malveillants

Viet Triem Tong , Valérie ; Confidentialité, Intégrité, Disponibilité et Répartition ( CIDRE ) ; CentraleSupélec-Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA-D1 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS )

ISSN: 2270-6224

HAL CCSD;INRIA, 2016

Accessible en ligne

9
A non-topological proof for the impossibility of $k$-set agreement
Material Type:
Autre
Ajouter à Mon espace

A non-topological proof for the impossibility of $k$-set agreement

Hagit , Attiya ; Castaneda , Armando ; Department of Computer Science ; École normale supérieure - Paris ( ENS Paris ) ; As Scalable As Possible: foundations of large scale dynamic distributed systems ( ASAP ) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA-D1 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

13th International Symposium on Stabilization, Safety, and Security of Distributed Systems

HAL CCSD, 2011

Accessible en ligne

10
Quality of Service Routing in Next Generation Networks
Material Type:
Autre
Ajouter à Mon espace

Quality of Service Routing in Next Generation Networks

Bellabas , Alia ; Bertrand , Gilles ; Lahoud , Samer ; Texier , Géraldine ; Molnár , Miklós ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris]

Colloque Francophone sur l'Ingenierie des Protocoles (CFIP)

HAL CCSD, 2009

Accessible en ligne

11
Privacy-Preserving Reputation Mechanism: A Usable Solution Handling Negative Ratings
Material Type:
Autre
Ajouter à Mon espace

Privacy-Preserving Reputation Mechanism: A Usable Solution Handling Negative Ratings

Lajoie-Mazenc , Paul ; Anceaume , Emmanuelle ; Guette , Gilles ; Sirvent , Thomas ; Viet Triem Tong , Valérie ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) ; Christian Damsgaard Jensen ; Stephen Marsh ; Theo Dimitrakos ; Yuko Murayama ; TC 11 ; WG 11.11

IFIP Advances in Information and Communication Technology

HAL CCSD, 2015

Accessible en ligne

12
A Real-World Evaluation of Energy Budget Estimation Algorithms for Autonomous Long Range IoT Nodes
Material Type:
Autre
Ajouter à Mon espace

A Real-World Evaluation of Energy Budget Estimation Algorithms for Autonomous Long Range IoT Nodes

Gleonec , Philip-Dylan ; Ardouin , Jeremy ; Gautier , Matthieu ; Berder , Olivier ; Algorithmes et architectures adaptatifs pour les systèmes sans-fils efficaces en énergie ( GRANIT ) ; ARCHITECTURE ( IRISA-D3 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Wi6labs

International Conference on Telecommunication

HAL CCSD, 2018

Accessible en ligne

13
Energy/Reliability Trade-off of LoRa Communications over Fading Channels
Material Type:
Autre
Ajouter à Mon espace

Energy/Reliability Trade-off of LoRa Communications over Fading Channels

Le , Xuan-Chien ; Vrigneau , Baptiste ; Gautier , Matthieu ; Mabon , Malo ; Berder , Olivier ; Algorithmes et architectures adaptatifs pour les systèmes sans-fils efficaces en énergie ( GRANIT ) ; ARCHITECTURE ( IRISA-D3 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

International Conference on Telecommunication

HAL CCSD, 2018

Accessible en ligne

14
Reachability Analysis over Term Rewriting Systems
Material Type:
Autre
Ajouter à Mon espace

Reachability Analysis over Term Rewriting Systems

Feuillade , Guillaume ; Genet , Thomas ; Viet Triem Tong , Valérie ; System synthesis and supervision, scenarios ( S4 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Logiciel : ANalyse et DEveloppement ( Lande ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) ; INRIA

https://hal.inria.fr/inria-00071609

HAL CCSD, 2003

Accessible en ligne

15
QoS Routing and Management in Backbone Networks
Material Type:
Autre
Ajouter à Mon espace

QoS Routing and Management in Backbone Networks

Bertrand , Gilles ; Lahoud , Samer ; Molnar , Miklos ; Texier , Géraldine ; Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris] ; Advanced Technolgy in Networking ( ATNET ) ; RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES ( IRISA-D2 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Réseaux d'opérateurs ( REOP ) ; Télécom Bretagne-RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES ( IRISA-D2 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Pattarasinee Bhattarakosol

Intelligent Quality of Service Technologies and Network Management: Models for Enhancing Communication

HAL CCSD;IGI Global, 2010

Accessible en ligne

16
Liquid Clocks - Refinement Types for Time-Dependent Stream Functions
Material Type:
Autre
Ajouter à Mon espace

Liquid Clocks - Refinement Types for Time-Dependent Stream Functions

Talpin, Jean-Pierre ; Jouvelot, Pierre ; Kumar Shukla, Sandeep ; Tim, Events and Architectures (TEA) ; Inria Rennes – Bretagne Atlantique ; INRIA - INRIA - LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes 1 (UR1) - Université de Bretagne Sud (UBS) - École normale supérieure - Rennes (ENS Rennes) - INRIA - SUPELEC - Institut National des Sciences Appliquées (INSA) - Télécom Bretagne - CNRS - Université de Rennes 1 (UR1) - Université de Bretagne Sud (UBS) - École normale supérieure - Rennes (ENS Rennes) - INRIA - SUPELEC - Institut National des Sciences Appliquées (INSA) - Télécom Bretagne - CNRS - Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes 1 (UR1) - Université de Bretagne Sud (UBS) - École normale supérieure - Rennes (ENS Rennes) - INRIA - SUPELEC - Institut National des Sciences Appliquées (INSA) - Télécom Bretagne - CNRS - Université de Rennes 1 (UR1) - Université de Bretagne Sud (UBS) - École normale supérieure - Rennes (ENS Rennes) - SUPELEC - Institut National des Sciences Appliquées (INSA) - Télécom Bretagne - CNRS ; MINES ParisTech - École nationale supérieure des mines de Paris ; IIT Kanpur ; USAF Office for Scientific Research, grant FA8655-13-1-3049 ; INRIA Rennes - Bretagne Atlantique ; ANR-13-BS02-0008, FEEVER, Faust Environment Everyware : une solution ubiquitaire pour le traitement audionumérique portable et multiplateforme(2013)

https://hal.inria.fr/hal-01166350

HAL CCSD, 2015

Accessible en ligne

17
User Data Confidentiality in an Orchestration of Web Services
Material Type:
Autre
Ajouter à Mon espace

User Data Confidentiality in an Orchestration of Web Services

Demongeot , Thomas ; Totel , Eric ; Viet Triem Tong , Valérie ; Le Traon , Yves ; Centre d'Électronique de l'ARmement ( CELAR ) ; Direction Generale de l'Armement ; Confidentialité, Intégrité, Disponibilité et Répartition ( CIDRE ) ; CentraleSupélec-Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA-D1 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) ; Reliable and efficient component based software engineering ( TRISKELL ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria )

International Journal of Information Assurance and Security

HAL CCSD, 2012

Accessible en ligne

18
Demonstration of Segment Routing with SDN based label stack optimization
Material Type:
Autre
Ajouter à Mon espace

Demonstration of Segment Routing with SDN based label stack optimization

DUGEON , Olivier ; Guedrez , Rabah ; Lahoud , Samer ; Texier , Géraldine ; Orange Labs [Lannion] ; France Télécom ; Advanced technologies for operated networks ( ADOPNET ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES ( IRISA_D2 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris] ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

Proceedings ICIN 2017 : 20th Conference on Innovations in Clouds, Internet and Networks

HAL CCSD, 2017

Accessible en ligne

19
Label encoding algorithm for MPLS Segment Routing
Material Type:
Autre
Ajouter à Mon espace

Label encoding algorithm for MPLS Segment Routing

Guedrez , Rabah ; DUGEON , Olivier ; Lahoud , Samer ; Texier , Géraldine ; Advanced technologies for operated networks ( ADOPNET ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES ( IRISA-D2 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) ; Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris] ; Orange Labs [Lannion] ; France Télécom ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )

Proceedings NCA 2016 : IEEE 15th International Symposium on Network Computing and Applications

HAL CCSD, 2016

Accessible en ligne

20
GPFinder: Tracking the Invisible in Android Malware
Material Type:
Autre
Ajouter à Mon espace

GPFinder: Tracking the Invisible in Android Malware

Leslous , Mourad ; Viet Triem Tong , Valérie ; Lalande , Jean-François ; Genet , Thomas ; Confidentialité, Intégrité, Disponibilité et Répartition ( CIDRE ) ; CentraleSupélec-Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA_D1 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) ; Laboratoire d'Informatique Fondamentale d'Orléans ( LIFO ) ; Institut National des Sciences Appliquées - Centre Val de Loire ( INSA CVL ) ; Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Université d'Orléans ( UO ) ; Software certification with semantic analysis ( CELTIQUE ) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -LANGAGE ET GÉNIE LOGICIEL ( IRISA_D4 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) ; ANR-10-LABX-07-01,labex Cominlabs,Laboratoire d'excellence CominLabs ( 2013 )

12th International Conference on Malicious and Unwanted Software

HAL CCSD;IEEE Conputer Society, 2017

Accessible en ligne

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Articles  (2)
  3. Autres  (533)
  4. Plus d’options open sub menu

Auteur 

  1. Viet Triem Tong , Valérie  (49)
  2. Confidentialité, Intégrité, Disponibilité et Répartition ( CIDRE ) ; CentraleSupélec-Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA-D1 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS )  (36)
  3. Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris]  (24)
  4. Texier , Géraldine  (17)
  5. Andriatsimandefitra , Radoniaina  (12)
  6. Tronel , Frédéric  (11)
  7. Anceaume , Emmanuelle  (11)
  8. Lalande , Jean-François  (10)
  9. ANR-10-LABX-07-01,labex Cominlabs,Laboratoire d'excellence CominLabs ( 2013 )  (9)
  10. Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS )  (9)
  11. Le Bouder , Hélène  (8)
  12. Lahoud , Samer  (8)
  13. Laboratoire d'Informatique Fondamentale d'Orléans ( LIFO ) ; Institut National des Sciences Appliquées - Centre Val de Loire ( INSA CVL ) ; Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Université d'Orléans ( UO )  (7)
  14. Mé , Ludovic  (7)
  15. Guette , Gilles  (7)
  16. Lajoie-Mazenc , Paul  (7)
  17. Sensor-based and interactive robotics ( RAINBOW ) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SIGNAUX ET IMAGES NUMÉRIQUES, ROBOTIQUE ( IRISA_D5 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique )  (7)
  18. Lanet , Jean-Louis  (6)
  19. SUPELEC-Campus Rennes ; SUPELEC  (6)
  20. Threat Analysis and Mitigation for Information Security ( TAMIS ) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -LANGAGE ET GÉNIE LOGICIEL ( IRISA-D4 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS )  (5)
  21. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1999  (7)
  2. 1999 à 2002  (10)
  3. 2003 à 2006  (39)
  4. 2007 à 2011  (125)
  5. Après 2011  (355)
  6. Plus d’options open sub menu

Langue 

  1. Anglais  (477)
  2. Français  (59)
  3. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Viet Triem Tong , Valérie
  2. Confidentialité, Intégrité, Disponibilité et Répartition ( CIDRE ) ; CentraleSupélec-Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA-D1 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS )
  3. Département Réseaux, Sécurité et Multimédia ( RSM ) ; Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris]
  4. Texier , Géraldine
  5. Andriatsimandefitra , Radoniaina

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré