HalTutelle.i
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la télématique - Curation (Hal)

Index « HalTutelle.i » - entrée « CNR »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
CNAM Paris < CNR < CNRS  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 34.
[0-20] [0 - 20][0 - 34][20-33][20-40]
Ident.Authors (with country if any)Title
000003 (2010-10-26) Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction
000006 (2015-06-02) Fabio Gadducci [Italie] ; Francesco Santini [Italie] ; Luis Pino [Italie] ; Frank Valencia [France]A Labelled Semantics for Soft Concurrent Constraint Programming
000010 (2012) Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Pays-Bas]A Semiring-based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials
000014 (2010-06) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]A framework for automatic generation of security controller
000015 (2015-12-01) Filippo Rebecchi [France] ; Lorenzo Valerio [Italie] ; Raffaele Bruno [Italie] ; Vania Conan [France] ; Marcelo Dias De Amorim [France] ; Andrea Passarella [Italie]A joint multicast/D2D learning-based approach to LTE traffic offloading
000034 (2010-02-15) Antonia Bertolino [Italie] ; Silvano Chiaradonna [Italie] ; Gabriele Costa [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Paul Grace [Royaume-Uni] ; Valérie Issarny [France] ; Marta Kwiatkowska [Royaume-Uni] ; Fabio Martinelli [Italie] ; Paolo Masci [Italie] ; Ilaria Matteucci [Italie] ; Hongyang Qu [Royaume-Uni] ; Mark Rouncefield [Royaume-Uni] ; Rachid Saadi [France] ; Antonino Sabetta [Italie] ; Romina Spalazzese [Italie] ; Francois Taiani [Royaume-Uni]Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World
000035 (2012-02-29) Antonia Bertolino [Italie] ; Antonello Calabro [Italie] ; Silvano Chiaradonna [Italie] ; Gabriele Costa [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Mario Fusani [Italie] ; Valerie Issarny [France] ; Massimiliano Itria [Italie] ; Francesca Lonetti [Italie] ; Marta Kwiatkowska [Royaume-Uni] ; Eda Marchetti [Italie] ; Fabio Martinelli [Italie] ; Paolo Masci [Italie] ; Ilaria Matteucci [Italie] ; Charles Morisset [Italie] ; Nicola Nostro [Italie] ; Hongyang Qu [Royaume-Uni] ; Rachid Saadi [France] ; Anna Vaccarelli [Italie] ; Luca Wiegand [Italie]Consolidated dependability framework
000038 (2013) Emil Mircea Andriescu [France] ; Amel Bennaceur [France] ; Antonia Bertolino [Italie] ; Antonello Calabr [Italie] ; Paul Grace [Royaume-Uni] ; Malte Isberner [Allemagne] ; Antoine Léger [France] ; Maik Merten [Allemagne] ; Youssouf Mhoma [France] ; Pierre Châtel [France] ; Charles Morisset [Italie] ; Animesh Pathak [France] ; Pierre-Guillaume Raverdy [France] ; Rachid Saadi [France] ; Roberto Speicys Cardoso [France] ; Daniel Sykes [France]Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments
000039 (2010-04-13) Antonia Bertolino [Italie] ; Felicita Di Giandomenico [Italie] ; Paolo Masci [Italie] ; Antonino Sabetta [Italie] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Antinisca Di Marco [Italie] ; Valérie Issarny [France] ; Rachid Saadi [France]Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach
000040 (2005-12-30) Heiner Stuckenschmidt [Pays-Bas] ; Marc Ehrig [Allemagne] ; Jérôme Euzenat [France] ; Andreas Hess [Pays-Bas] ; Willem Robert Van Hage [Pays-Bas] ; Wei Hu [République populaire de Chine] ; Ningsheng Jian [République populaire de Chine] ; Gong Chen [République populaire de Chine] ; Yuzhong Qu [République populaire de Chine] ; George Stoilos [Grèce] ; Giorgos Stamou [Grèce] ; Umberto Straccia [Italie] ; Vojtech Svátek [République tchèque] ; Raphaël Troncy [Italie] ; Petko Valtchev [Canada] ; Mikalai Yatskevich [Italie]Description of alignment implementation and benchmarking results
000042 (2011-02-18) Antonia Bertolino [Italie] ; Antonello Calabro [Italie] ; Silvano Chiaradonna [Italie] ; Gabriele Costa [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Mario Fusani [Italie] ; Fabrizio Grandoni [Italie] ; Valerie Issarny [France] ; Marta Kwiatkowska [Royaume-Uni] ; Eda Marcheti [Italie] ; Fabio Martinelli [Italie] ; Marco Martinucci [Italie] ; Paolo Masci [Italie] ; Ilaria Matteucci [Italie] ; Hongyang Qu [Royaume-Uni] ; Rachid Saadi [France] ; Antonino Sabetta [Italie] ; Anna Vaccarelli [Italie]Design of Approaches for Dependability and Initial Prototypes
000050 (2010) Gabriele Costa [Italie] ; Ilaria Matteucci [Italie]Enforcing Private Policy via Security-by-Contract
000051 (2010-02-22) Gabriele Costa [Italie] ; Ilaria Matteucci [Italie]Enforcing private policy via security-by-Contract
000056 (2010-02-15) Gabriele Costa [Italie] ; Nicola Dragoni [Danemark] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Fabio Massacci [Italie] ; Ilaria Matteucci [Italie]Extending Security-by-Contract with Quantitative Trust on Mobile Devices
000057 (2010-02-15) Gabriele Costa [Italie] ; Nicola Dragoni [Danemark] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Fabio Massacci [Italie] ; Ilaria Matteucci [Italie]Extending Security-by-Contract with Quantitative Trust on Mobile Devices
000059 (2012-12-17) Emil-Mircea Andriescu [France] ; Amel Bennaceur [France] ; Gordon S. Blair [Royaume-Uni] ; Antonello Calabro [Italie] ; Paul Grace [Royaume-Uni] ; Gang Huang [République populaire de Chine] ; Valerie Issarny [France] ; Massimiliano Itria [Italie] ; Yun Ma [République populaire de Chine] ; Charles Morisset [Italie] ; Vatsala Nundloll [Royaume-Uni] ; Pierre-Guillaume Raverdy [France] ; Rachid Saadi [France] ; Roberto Speicys Cardoso [France] ; Daniel Sykes [France]Final CONNECT Architecture
000060 (2012-12-17) Antonia Bertolino [Italie] ; Antonello Calabro [Italie] ; Silvano Chiaradonna [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Valerie Issarny [France] ; Massimiliano Itria [Italie] ; Francesca Lonetti [Italie] ; Marta Kwiatkowska [Royaume-Uni] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Charles Morisset [Italie] ; Nicola Nostro [Italie] ; Hongyang Qu [Royaume-Uni] ; Alberto Ribolini [Italie] ; Anna Vaccarelli [Italie]Finalised dependability framework and evaluation results
000062 (2010-07-15) Leanid Krautsevich [France, Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]Formal approach to security metrics. What does “more secure” mean for you?∗
000080 (2010-03-27) Gabriele Costa [Italie] ; Pierpaola Degano [Italie] ; Fabio Martinelli [Italie]Modular Plans for Secure Service Composition
000091 (2012-05-18) Adriano Faggiani [Italie] ; Enrico Gregori [Italie] ; Luciano Lenzini [Italie] ; Simone Mainardi [Italie] ; Alessio Vecchio [Italie]On the Feasibility of Measuring the Internet Through Smartphone-based Crowdsourcing
000102 (2011-05) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]Preserving Security Properties under Refinement

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "CNR" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "CNR" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    CNR
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024