Auteurs
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Ilaria Matteucci »
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.
Ignacio Marti < Ilaria Matteucci < Ilia Polian  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 16.
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
000070 (2012-01) Ilaria Matteucci [Italie] ; G. Costa [Italie]Gate automata-driven run-time enforcement
000080 (2011-07) G. Costa [Italie] ; Ilaria Matteucci [Italie]Trust-Driven Policy Enforcement through Gate Automata
000086 (2011-06) Ilaria Matteucci [Italie] ; G. Costa [Italie]Elective Temporal Logic
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
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
000104 (2010-02-22) Gabriele Costa [Italie] ; Ilaria Matteucci [Italie]Enforcing private policy via security-by-Contract
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
000117 (2010) Gabriele Costa [Italie] ; Ilaria Matteucci [Italie]Enforcing Private Policy via Security-by-Contract

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 "Ilaria Matteucci" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i  \
                -Sk "Ilaria Matteucci" \
         | 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é=    Ilaria Matteucci
}}
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