Auteurs
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Fabio Martinelli »
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.
Fabio Gadducci < Fabio Martinelli < Fabio Massacci  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000050 (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
000068 (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
000073 (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
000076 (2011-09-15) Leanid Krautsevic [Italie] ; Fabio Martinelli [Italie] ; Charles Morisset [Italie] ; Yautsiukhin Artsiom [Italie]Risk-based Auto-Delegation for Probabilistic Availability
000087 (2011-05) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]Preserving Security Properties under Refinement
000089 (2011-02-18) Amel Bennaceur [France] ; Franck Chauvel [République populaire de Chine] ; Paola Inverardi [Italie] ; Valerie Issarny [France] ; Ilaria Matteucci [Italie] ; Fabio Martinelli [Italie] ; Romina Spalazzese [Italie] ; Massimo Tivoli [Italie]Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer
000090 (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
000091 (2010-12-31) Gabriele Costa [Italie] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Valérie Issarny [France] ; Rachid Saadi [France] ; Nicola Dragoni [Danemark] ; Fabio Massacci [Italie]Security-by-Contract-with-Trust for Mobile Devices
000093 (2010-10-26) Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction
000096 (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?∗
000098 (2010-06) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]A framework for automatic generation of security controller
000101 (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
000102 (2010-03-27) Gabriele Costa [Italie] ; Pierpaola Degano [Italie] ; Fabio Martinelli [Italie]Modular Plans for Secure Service Composition
000105 (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
000106 (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
000107 (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
000110 (2010) Gabriele Costa [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Christian Schaefer [Allemagne] ; Thomas Walter [Allemagne]Runtime monitoring for next generation Java ME platform
000122 (2009-12-05) Gabriele Costa [Italie] ; Pierpaolo Degano [Italie] ; Fabio Martinelli [Italie]Secure Service Composition with Symbolic Effects

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i -k "Fabio Martinelli" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i  \
                -Sk "Fabio Martinelli" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Fabio Martinelli
}}
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