Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la télématique - Exploration (Accueil)

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.
Ilaria Manno < Ilaria Matteucci < Ilda Bander  Facettes :

List of bibliographic references indexed by Ilaria Matteucci

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000493 (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
000520 (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
000526 (2012-01) Ilaria Matteucci [Italie] ; G. Costa [Italie]Gate automata-driven run-time enforcement
000677 (2011-07) G. Costa [Italie] ; Ilaria Matteucci [Italie]Trust-Driven Policy Enforcement through Gate Automata
000682 (2011-06) Ilaria Matteucci [Italie] ; G. Costa [Italie]Elective Temporal Logic
000684 (2011-05) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]Preserving Security Properties under Refinement
000687 (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
000688 (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
000A58 (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
000A75 (2010-06) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]A framework for automatic generation of security controller
000A78 (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
000A81 (2010-02-22) Gabriele Costa [Italie] ; Ilaria Matteucci [Italie]Enforcing private policy via security-by-Contract
000A82 (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
000A83 (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
000A84 (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
000F35 (2010) Gabriele Costa [Italie] ; Ilaria Matteucci [Italie]Enforcing Private Policy via Security-by-Contract
001758 (2008) Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]Synthesis of Web Services Orchestrators in a Timed Setting
001D34 (2007) Ilaria Matteucci [Italie]A Tool for the Synthesis of Controller Programs

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Ilaria Matteucci" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Ilaria Matteucci" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Main
   |étape=   Exploration
   |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