<!-- Array
(
    [http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autoreCNR] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90956
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91049
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91055
                    [s_type] => uri
                )

            [3] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91073
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91125
                    [s_type] => uri
                )

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91127
                    [s_type] => uri
                )

            [6] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91631
                    [s_type] => uri
                )

            [7] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91740
                    [s_type] => uri
                )

            [8] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91849
                    [s_type] => uri
                )

            [9] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91966
                    [s_type] => uri
                )

            [10] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90986
                    [s_type] => uri
                )

            [11] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91106
                    [s_type] => uri
                )

            [12] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91722
                    [s_type] => uri
                )

            [13] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91954
                    [s_type] => uri
                )

            [14] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91970
                    [s_type] => uri
                )

            [15] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92042
                    [s_type] => uri
                )

            [16] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43723
                    [s_type] => uri
                )

            [17] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43753
                    [s_type] => uri
                )

            [18] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43768
                    [s_type] => uri
                )

            [19] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43909
                    [s_type] => uri
                )

            [20] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43997
                    [s_type] => uri
                )

            [21] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44092
                    [s_type] => uri
                )

            [22] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44106
                    [s_type] => uri
                )

            [23] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44197
                    [s_type] => uri
                )

            [24] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44246
                    [s_type] => uri
                )

            [25] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68267
                    [s_type] => uri
                )

            [26] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43728
                    [s_type] => uri
                )

            [27] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44107
                    [s_type] => uri
                )

            [28] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44139
                    [s_type] => uri
                )

            [29] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44144
                    [s_type] => uri
                )

            [30] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44171
                    [s_type] => uri
                )

            [31] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44235
                    [s_type] => uri
                )

            [32] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68362
                    [s_type] => uri
                )

            [33] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68423
                    [s_type] => uri
                )

            [34] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68435
                    [s_type] => uri
                )

            [35] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68445
                    [s_type] => uri
                )

            [36] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68468
                    [s_type] => uri
                )

            [37] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43792
                    [s_type] => uri
                )

            [38] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43896
                    [s_type] => uri
                )

            [39] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44182
                    [s_type] => uri
                )

            [40] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44248
                    [s_type] => uri
                )

            [41] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44258
                    [s_type] => uri
                )

            [42] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68256
                    [s_type] => uri
                )

            [43] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68257
                    [s_type] => uri
                )

            [44] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68422
                    [s_type] => uri
                )

            [45] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68446
                    [s_type] => uri
                )

            [46] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68450
                    [s_type] => uri
                )

            [47] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90979
                    [s_type] => uri
                )

            [48] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91092
                    [s_type] => uri
                )

            [49] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91150
                    [s_type] => uri
                )

            [50] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91500
                    [s_type] => uri
                )

            [51] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91762
                    [s_type] => uri
                )

            [52] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91850
                    [s_type] => uri
                )

            [53] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91934
                    [s_type] => uri
                )

            [54] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92011
                    [s_type] => uri
                )

            [55] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92097
                    [s_type] => uri
                )

            [56] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92110
                    [s_type] => uri
                )

            [57] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID120673
                    [s_type] => uri
                )

            [58] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID138936
                    [s_type] => uri
                )

            [59] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139044
                    [s_type] => uri
                )

            [60] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149482
                    [s_type] => uri
                )

            [61] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149483
                    [s_type] => uri
                )

            [62] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149617
                    [s_type] => uri
                )

            [63] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149634
                    [s_type] => uri
                )

            [64] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149635
                    [s_type] => uri
                )

            [65] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160823
                    [s_type] => uri
                )

            [66] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160937
                    [s_type] => uri
                )

            [67] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160956
                    [s_type] => uri
                )

            [68] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161134
                    [s_type] => uri
                )

            [69] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139078
                    [s_type] => uri
                )

            [70] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149489
                    [s_type] => uri
                )

            [71] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149554
                    [s_type] => uri
                )

            [72] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149556
                    [s_type] => uri
                )

            [73] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149633
                    [s_type] => uri
                )

            [74] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160084
                    [s_type] => uri
                )

            [75] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160091
                    [s_type] => uri
                )

            [76] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160102
                    [s_type] => uri
                )

            [77] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160109
                    [s_type] => uri
                )

            [78] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160116
                    [s_type] => uri
                )

            [79] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160653
                    [s_type] => uri
                )

            [80] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160836
                    [s_type] => uri
                )

            [81] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149484
                    [s_type] => uri
                )

            [82] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149555
                    [s_type] => uri
                )

            [83] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149616
                    [s_type] => uri
                )

            [84] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160155
                    [s_type] => uri
                )

            [85] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160425
                    [s_type] => uri
                )

            [86] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160845
                    [s_type] => uri
                )

            [87] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160974
                    [s_type] => uri
                )

            [88] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161038
                    [s_type] => uri
                )

            [89] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174917
                    [s_type] => uri
                )

            [90] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178098
                    [s_type] => uri
                )

            [91] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178854
                    [s_type] => uri
                )

            [92] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179756
                    [s_type] => uri
                )

            [93] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179768
                    [s_type] => uri
                )

            [94] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179771
                    [s_type] => uri
                )

            [95] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190093
                    [s_type] => uri
                )

            [96] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190097
                    [s_type] => uri
                )

            [97] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190100
                    [s_type] => uri
                )

            [98] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199409
                    [s_type] => uri
                )

            [99] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178261
                    [s_type] => uri
                )

            [100] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178663
                    [s_type] => uri
                )

            [101] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179732
                    [s_type] => uri
                )

            [102] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180154
                    [s_type] => uri
                )

            [103] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180181
                    [s_type] => uri
                )

            [104] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190551
                    [s_type] => uri
                )

            [105] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190553
                    [s_type] => uri
                )

            [106] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203869
                    [s_type] => uri
                )

            [107] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203870
                    [s_type] => uri
                )

            [108] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203871
                    [s_type] => uri
                )

            [109] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203872
                    [s_type] => uri
                )

            [110] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205394
                    [s_type] => uri
                )

            [111] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206263
                    [s_type] => uri
                )

            [112] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207106
                    [s_type] => uri
                )

            [113] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207628
                    [s_type] => uri
                )

            [114] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174931
                    [s_type] => uri
                )

            [115] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178590
                    [s_type] => uri
                )

            [116] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179808
                    [s_type] => uri
                )

            [117] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190099
                    [s_type] => uri
                )

            [118] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199878
                    [s_type] => uri
                )

            [119] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199965
                    [s_type] => uri
                )

            [120] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204361
                    [s_type] => uri
                )

            [121] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207104
                    [s_type] => uri
                )

            [122] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207120
                    [s_type] => uri
                )

            [123] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206124
                    [s_type] => uri
                )

            [124] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213907
                    [s_type] => uri
                )

            [125] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID218155
                    [s_type] => uri
                )

            [126] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID219059
                    [s_type] => uri
                )

            [127] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220738
                    [s_type] => uri
                )

            [128] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220743
                    [s_type] => uri
                )

            [129] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213224
                    [s_type] => uri
                )

            [130] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213926
                    [s_type] => uri
                )

            [131] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID217118
                    [s_type] => uri
                )

            [132] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220735
                    [s_type] => uri
                )

            [133] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID221543
                    [s_type] => uri
                )

            [134] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227150
                    [s_type] => uri
                )

            [135] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276099
                    [s_type] => uri
                )

            [136] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277189
                    [s_type] => uri
                )

            [137] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277611
                    [s_type] => uri
                )

            [138] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277752
                    [s_type] => uri
                )

            [139] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID218334
                    [s_type] => uri
                )

            [140] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID275110
                    [s_type] => uri
                )

            [141] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276687
                    [s_type] => uri
                )

            [142] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276689
                    [s_type] => uri
                )

            [143] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277610
                    [s_type] => uri
                )

            [144] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277613
                    [s_type] => uri
                )

            [145] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276096
                    [s_type] => uri
                )

            [146] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277334
                    [s_type] => uri
                )

            [147] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277510
                    [s_type] => uri
                )

            [148] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277813
                    [s_type] => uri
                )

            [149] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID278974
                    [s_type] => uri
                )

            [150] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294333
                    [s_type] => uri
                )

            [151] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285076
                    [s_type] => uri
                )

            [152] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285212
                    [s_type] => uri
                )

            [153] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294419
                    [s_type] => uri
                )

            [154] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294421
                    [s_type] => uri
                )

            [155] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295358
                    [s_type] => uri
                )

            [156] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID308489
                    [s_type] => uri
                )

            [157] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID284137
                    [s_type] => uri
                )

            [158] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294536
                    [s_type] => uri
                )

            [159] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294733
                    [s_type] => uri
                )

            [160] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294741
                    [s_type] => uri
                )

            [161] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295304
                    [s_type] => uri
                )

            [162] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295360
                    [s_type] => uri
                )

            [163] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295361
                    [s_type] => uri
                )

            [164] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID305232
                    [s_type] => uri
                )

            [165] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID305274
                    [s_type] => uri
                )

            [166] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID327846
                    [s_type] => uri
                )

            [167] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329757
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/pubblicazioni.owl#coautore] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12162
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290
                    [s_type] => uri
                )

            [3] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148
                    [s_type] => uri
                )

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA1269
                    [s_type] => uri
                )

            [6] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9343
                    [s_type] => uri
                )

            [7] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10186
                    [s_type] => uri
                )

            [8] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7601
                    [s_type] => uri
                )

            [9] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7856
                    [s_type] => uri
                )

            [10] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10947
                    [s_type] => uri
                )

            [11] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA4873
                    [s_type] => uri
                )

            [12] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10096
                    [s_type] => uri
                )

            [13] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361
                    [s_type] => uri
                )

            [14] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6431
                    [s_type] => uri
                )

            [15] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6370
                    [s_type] => uri
                )

            [16] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA2362
                    [s_type] => uri
                )

            [17] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID168
                    [s_type] => uri
                )

            [18] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID343
                    [s_type] => uri
                )

            [19] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8763
                    [s_type] => uri
                )

            [20] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID19413
                    [s_type] => uri
                )

            [21] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID20582
                    [s_type] => uri
                )

            [22] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1815
                    [s_type] => uri
                )

            [23] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID22681
                    [s_type] => uri
                )

            [24] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID4740
                    [s_type] => uri
                )

            [25] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182
                    [s_type] => uri
                )

            [26] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15115
                    [s_type] => uri
                )

            [27] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18289
                    [s_type] => uri
                )

            [28] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313
                    [s_type] => uri
                )

            [29] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18431
                    [s_type] => uri
                )

            [30] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18400
                    [s_type] => uri
                )

            [31] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID12538
                    [s_type] => uri
                )

            [32] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID320
                    [s_type] => uri
                )

            [33] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305
                    [s_type] => uri
                )

            [34] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11430
                    [s_type] => uri
                )

            [35] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA14943
                    [s_type] => uri
                )

            [36] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11298
                    [s_type] => uri
                )

            [37] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15226
                    [s_type] => uri
                )

            [38] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15294
                    [s_type] => uri
                )

            [39] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8826
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/persone.owl#haPubblicazioniCon] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12162
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290
                    [s_type] => uri
                )

            [3] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148
                    [s_type] => uri
                )

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9343
                    [s_type] => uri
                )

            [6] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361
                    [s_type] => uri
                )

            [7] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6431
                    [s_type] => uri
                )

            [8] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6370
                    [s_type] => uri
                )

            [9] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182
                    [s_type] => uri
                )

            [10] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313
                    [s_type] => uri
                )

            [11] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID12538
                    [s_type] => uri
                )

            [12] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305
                    [s_type] => uri
                )

            [13] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8826
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/personale.owl#partecipazioneDi] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2006
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2008
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2007
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/suddivisioni.owl#haAfferente] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/istituto/CDS074
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/retescientifica.owl#responsabile] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/commessa/ID1425
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/personale.owl#rapportoConPersona] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA7405
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/moduli.owl#gestore] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/modulo/ID4147
                    [s_type] => uri
                )

        )

    [http://www.w3.org/2004/02/skos/core#isSubjectOf] => Array
        (
            [0] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Software_engineering
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Software_quality
                    [s_type] => uri
                )

        )

)
--> <!doctype html>
<!-- v.1.0 2010.12.30 -->
<html lang="en" class="no-js">
	<head>
		<meta charset="utf-8" />
		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
		<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" />

		<title>SPARQL Endpoint</title>
		<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.js"></script>
		<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.1/jquery-ui.min.js"></script>
		<link rel="stylesheet" href="https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.1/themes/base/jquery-ui.css" type="text/css" media="all" />
		<link rel="stylesheet" href="https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.1/themes/overcast/jquery-ui.css" type="text/css" media="all" />

		<link rel="shortcut icon" href="/template.data.cnr.it/favicon.ico" />
		<link rel="stylesheet" href="/template.data.cnr.it/css/style.css" />
		<style>
			#navlocal{display:none;}
			#container{background-color:#FCFCFC;}
			#main .content {margin-left:0px}
			#main #footercontent {margin-left: 20px}
			#main {background: transparent}
			textarea#query {width: 600px; height: 100px}
		</style>
		<script>
			$('document').ready(function(){
				$('a.external').after($('<span/>').text(' ').append($('<img/>').attr('src','/template.data.cnr.it/img/extlnk.png').attr('alt','').attr('title','External link')));
			});
		</script>
	</head>
	<body>
		<div id="container">
			<div id="header">
				<div id="logo">
					<a href="/site" title="Home">
					<img src="/template.data.cnr.it/img/logo.png" />
					</a>
				</div>
				<ul id="navglobal">
					<li>
						<a href="/site">data.CNR.it</a>
					</li>
					<li>
						<a href="/sparql">SPARQL Endpoint</a>
					</li>
                                        <li>
                                                <a href="http://www.cnr.it/ontology/cnr/individuo/CNR">Browse</a>
                                        </li>
					<li>
						<a href="http://www.cnr.it/" target="_blank">CNR.it</a>
					</li>
				</ul>
			</div>
			<div id="navlocal">
<!--				<ul>
					<li><a href="2.1.3">Voce 2.1.3</a>
						<ul>
							<li><a href="2.1.3.1">Voce 2.1.3.1</a></li>
							<li><a href="2.1.3.1">Voce 2.1.3.2</a></li>
							<li><strong>Voce 2.1.3.3</strong></li>
							<li><a href="2.1.3.1">Voce 2.1.3.4</a></li>
							<li><a href="2.1.3.1">Voce 2.1.3.5</a></li>

								<li>
									<strong>Voce 2.1.3.6</strong>
									<ul>
										<li><a href="2.1.3.1">Voce 2.1.3.6.1</a></li>
										<li><a href="2.1.3.1">Voce 2.1.3.6.2</a></li>
										<li class="selected"><strong>Voce 2.1.3.6.3</strong></li>
										<li><a href="2.1.3.1">Voce 2.1.3.4</a></li>
									</ul>
								</li>

								<li><a href="2.1.3.1">Voce 2.1.3.7</a></li>
						</ul>
					</li>
				</ul>-->
			</div>
			<div id="main">
				<div class="content">
					<div id="navpath"><strong>http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7405</strong> </div>
					<div class="scheda"><h1>STEFANIA GNESI</h1>
<dl><dt>Type</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/persone.owl#Persona' class = 'external' >Persona</a> (Classe)</li></ul></dd><dt>Label</dt><dd><ul><li>STEFANIA GNESI (literal)</li><li>STEFANIA GNESI (literal)</li></ul></dd><dt>Subject</dt><dd><ul><li><a href='http://dbpedia.org/resource/Category:Software_quality' class = 'external' >Software quality</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Software_engineering' class = 'external' >Software engineering</a> (Categoria DBpedia)</li></ul></dd><dt>Gestore di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/modulo/ID4147'>Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002)</a> (Modulo)</li></ul></dd><dt>Partecipa a commessa</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2006'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA STEFANIA GNESI nell'anno 2006</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA STEFANIA GNESI nell'anno 2008</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA STEFANIA GNESI nell'anno 2007</a> (Partecipazione a commessa)</li></ul></dd><dt>Persona in rapporto</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA7405'>Rapporto con CNR di DOTT.SSA STEFANIA GNESI</a> (Rapporto con CNR)</li></ul></dd><dt>Autore CNR di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91092'>On the fly model checking of communicating UML state machines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276689'>Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276687'>Model checking value-passing modal specifications (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91150'>A case study on the automated verification of groupware protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180154'>Quality Analysis of NL Requirements: An Industrial Case Study (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180181'>Detecting policy conflicts by model checking UML state machines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91762'>Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207106'>WCS: a Witness and Counterexample Server (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178261'>An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91850'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68362'>Automated verification of groupware protocols (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295358'>18th International Software Product Line Conference (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91500'>The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68468'>A graph-based design framework for global computing systems (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90956'>Elicitation of use cases for product lines (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68445'>Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206124'>Product line architectures for SOA (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277752'>1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68423'>Formal specification and verification of complex systems (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68435'>Assisting the design of an industrial groupware system by model checking (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91073'>Formal test-case generation for UML statecharts (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139044'>Detecting policy conflicts by model checking UML state machines (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190099'>Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems. (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91127'>A Relation-based Approach to Use Case Analysis (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91125'>Verification on the web of mobile systems (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID305274'>Context transformations for goal models (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID305232'>Pragmatic ambiguity detection in natural language requirements (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92097'>An approach to ambiguity analysis in safety-related standards (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91055'>Automatic clustering of non-functional requirements (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91049'>Applying generalized non deducibility on compositions (GNDC) approach in dependability (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178663'>A model-checking approach for service component architectures (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92110'>An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277611'>17th International Software Product Line Conference (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190100'>Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems. (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190097'>Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190093'>Formal Methods in System Design. An International Journal. Special issue on the fourth international workshop of the ercim working group on formal methods for industrial critical systems, trento, july 11-12, 1999 - selected papers (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91934'>Modelling variability, evolvability, and adaptability in service computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205394'>Formal description of variability in product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92011'>SENSORIA Patterns: Augmenting Service Engineering  with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179732'>Graph-based design and analysis of dynamic software architectures (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206263'>On the adoption of model checking in safety-related software industry (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID308489'>Software requirements elicitation in the context of a collaborative research project : technical report (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203871'>The Sensoria approach applied to the finance case study (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43896'>On testing UML statecharts (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203872'>Specification and implementation of demonstrators for the case studies (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203869'>Introduction to the Sensoria Case Studies (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203870'>An abstract, on the fly framework for the verification of service-oriented systems (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID278974'>Stochastic model-based analysis of railway operation to support traffic planning (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44107'>Preface (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160836'>Modelling dynamic software architectures using typed graph grammars (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43728'>A methodology for the derivation and verification of use cases for product lines (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43792'>Witness and counterexample automata for ACTL (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276096'>Formal methods for intelligent transportation systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44258'>Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID218334'>Demonstration of a model checker for the analysis of product variability. (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227150'>Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160653'>An Automatic Tool for the Analysis of Natural Language Requirements (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277189'>VMC: a tool for the analysis of variability in software product lines (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149555'>MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295360'>2nd FME Workshop on Formal Methods in Software Engineering (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295361'>Fundamental Approaches to Software Engineering (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149484'>JACK3 (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295304'>My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44171'>Graph-based design and analysis of dynamic software architectures (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44182'>Model driven development of railway systems using diversity (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44248'>A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44139'>A model checking approach for verifying COWS specifications (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149616'>XXL - CNR/RSTL (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44144'>An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178590'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44235'>A logical framework to deal with variability (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207104'>The HAL-online Tool (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149482'>HAL (History dependant Automata Laboratory) (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149483'>HAL On-Line (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178098'>A model checking approach for verifying COWS specifications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68422'>Formal methods for service composition (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329757'>Model checking value-passing modal specifications (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68450'>Modelling dynamic software architectures using typed graph grammars (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68446'>Experimenting with diversity in the formal development of railway signalling systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160116'>Application of linguistic techniques for use cases analysis (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160109'>Action-based model checking (and its applications to distributed, mobile, object-oriented systems) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207120'>QuARS Express: A Tool for Evaluating Natural Language Requirements (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160084'>Model Checking Groupware Protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92042'>A deontic logical framework for modelling product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160102'>A model checking verification environment for mobile systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199878'>A model-checking tool for families of services (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160091'>D2.3b: Modal Logics for Behavioural Properties of Mobile Systems (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294536'>Proceedings of the 18th International Software Product Line Conference, Volume 2 (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199965'>Model Checking : cos'è e come si applica (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285212'>A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178854'>Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149634'>TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149617'>TOCAI.it - MIUR (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149635'>Modellazione di sistemi ferroviari (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199409'>A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276099'>Towards an executable algebra for product lines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160956'>Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007. (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285076'>KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139078'>Preface of SEFM 2010 (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277510'>Families of dependable systems:a model checking approach (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179808'>Statecharts composition to model topologically distributed applications (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277334'>Model-based development and formal methods in the railway industry (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294333'>Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220735'>Lessons learnt from the adoption of formal model-based development. (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43768'>PLUTO: a test methodology for product families (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160823'>Evaluation of natural language requirements in an industrial case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294741'>Formal methods for railway control systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294733'>Research challenges in business process adaptability (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179756'>Achieving Fault Tolerance by a Formally Validated Interaction                Policy (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179768'>A logical framework to deal with variability (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179771'>A formal security analysis of an OSA/Parlay authentication interface (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43909'>A model-checking verification environment for mobile processes (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160937'>Case studies scenario description (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277813'>Using clustering to improve the structure of natural language requirements documents (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID275110'>Editorial (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220743'>A clustering-based approach for discovering flaws in requirements specifications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID284137'>A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43753'>Elicitation of use cases for product lines (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43723'>Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID221543'>A logical verification methodology for service-oriented computing (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68256'>Model checking publish/subscribe notification for thinkteam (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220738'>Using collective intelligence to detect pragmatic ambiguities. (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68257'>Application of linguistic techniques for use case analysis (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174931'>Model checking publish/subscribe notification for thinkteam (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID217118'>Variability and Rigour in Service Computing Engineering (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190553'>Model checking UML statechart diagrams using JACK (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190551'>A stochastic extension of a behavioural subset of UML statechart diagrams (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44246'>A model-checking approach for service component architectures (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44197'>Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204361'>Product lines for service oriented applications - PL for SOA (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91970'>Dynamic software architecture development: towards an automated process (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161134'>Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID138936'>Model checking groupware protocols (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91954'>CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213907'>Foreward - VaMoS '12 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91722'>A behavioural model for product families (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID120673'>QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160845'>QuARS and the natural language processing techniques: looking for a suitable syntax parser (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149633'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43997'>Model driven development and code generation: an automotive case study (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277613'>Formal methods for industrial critical systems: a survey of applications (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277610'>The Seventh International Workshop on Variability Modelling of Software-intensive Systems (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44106'>Editorial activity - FME 2003 (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91966'>Deontic logics for modeling behavioural variability (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44092'>AGILE: Software Architecture for Mobility (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174917'>Model Checking Groupware Protocols (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68267'>Model checking of embedded systems (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149556'>TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149554'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207628'>An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID219059'>A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149489'>QuARS: Quality Analyzer for Requirement Specifications (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID218155'>Can safety be obtained through good practices for requirement writing? (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160974'>Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161038'>Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90986'>Use case-based testing of product lines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160155'>Mu-ACTL+: a temporal logic for UML statechart diagrams (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91106'>Security analysis of parlay/OSA framework (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90979'>SpiDer: a security model checker (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294421'>Model checking value-passing modal specifications (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294419'>Measuring and improving the completeness of natural language requirements (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID327846'>From EU projects to a family of model checkers from Kandinsky to KandISTI (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91849'>Formal modeling for product families engineering (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160425'>An automatic quality evaluation for natural language requirements (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213926'>Preface to iFM&ABZ 2012 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91631'>Formal methods for service composition (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213224'>Integrated formal methods - 9th International Conference, IFM 2012 (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91740'>Automatic Instantiation for Railway Interlocking Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1815'>MARINELLA PETROCCHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6370'>MARIO FUSANI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID19413'>Giorgio Oronzo Spagnolo</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID20582'>LUCA BORTOLUSSI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11298'>ALESSANDRO COCO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8826'>Daniela Anastasio</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10096'>MARINELLA PETROCCHI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15226'>ALESSIO FERRARI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070'>ANTONIA BERTOLINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15294'>VINCENZO CIANCIA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID343'>GIANLUCA TRENTANNI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8763'>ISABELLA BISCOGLIO</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7601'>FOSCA GIANNOTTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6431'>FABRIZIO FABBRINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12162'>GIOVANNI LOMBARDI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18400'>Alessio Ferrari</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11430'>ILARIA MATTEUCCI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA14943'>ANDREA POLINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA2362'>TOMMASO BOLOGNESI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10947'>GUGLIELMO DE ANGELIS</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18431'>PATRIZIA ASIRELLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313'>ALESSANDRO FANTECHI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA4873'>FELICITA DI GIANDOMENICO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15115'>ALDI SULOVA</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID320'>MAURICE HENRI TER BEEK</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9343'>GIUSEPPE LAMI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7856'>FABIO MARTINELLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10186'>PAOLO MORI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID168'>GABRIELE TOLOMEI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID4740'>FELICE DELL'ORLETTA</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18289'>Massimiliano Leone Itria</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID12538'>MICHELE BANCI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758'>MIEKE MASSINK</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA1269'>PATRIZIA ASIRELLI</a> (Persona)</li></ul></dd><dt>Responsabile di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/commessa/ID1425'>Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008)</a> (Commessa)</li></ul></dd><dt>Nome</dt><dd><ul><li>STEFANIA (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>GNESI (literal)</li></ul></dd><dt>Afferisce a</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS074'>Institute of information science and technologies \"Alessandro Faedo\" (ISTI)</a> (Istituto)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9343'>GIUSEPPE LAMI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6370'>MARIO FUSANI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID12538'>MICHELE BANCI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758'>MIEKE MASSINK</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313'>ALESSANDRO FANTECHI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6431'>FABRIZIO FABBRINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12162'>GIOVANNI LOMBARDI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8826'>Daniela Anastasio</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070'>ANTONIA BERTOLINO</a> (Unità di personale interno)</li></ul></dd>

</dl>

<br/><h4>Incoming links:</h4><br/><dl><dt>Autore CNR</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90956'>Elicitation of use cases for product lines (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91049'>Applying generalized non deducibility on compositions (GNDC) approach in dependability (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91055'>Automatic clustering of non-functional requirements (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91073'>Formal test-case generation for UML statecharts (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91125'>Verification on the web of mobile systems (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91127'>A Relation-based Approach to Use Case Analysis (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91631'>Formal methods for service composition (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91740'>Automatic Instantiation for Railway Interlocking Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91849'>Formal modeling for product families engineering (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91966'>Deontic logics for modeling behavioural variability (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90986'>Use case-based testing of product lines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91106'>Security analysis of parlay/OSA framework (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91722'>A behavioural model for product families (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91954'>CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91970'>Dynamic software architecture development: towards an automated process (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92042'>A deontic logical framework for modelling product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43723'>Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43753'>Elicitation of use cases for product lines (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43768'>PLUTO: a test methodology for product families (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43909'>A model-checking verification environment for mobile processes (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43997'>Model driven development and code generation: an automotive case study (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44092'>AGILE: Software Architecture for Mobility (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44106'>Editorial activity - FME 2003 (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44197'>Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44246'>A model-checking approach for service component architectures (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68267'>Model checking of embedded systems (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43728'>A methodology for the derivation and verification of use cases for product lines (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44107'>Preface (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44139'>A model checking approach for verifying COWS specifications (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44144'>An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44171'>Graph-based design and analysis of dynamic software architectures (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44235'>A logical framework to deal with variability (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68362'>Automated verification of groupware protocols (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68423'>Formal specification and verification of complex systems (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68435'>Assisting the design of an industrial groupware system by model checking (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68445'>Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68468'>A graph-based design framework for global computing systems (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43792'>Witness and counterexample automata for ACTL (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43896'>On testing UML statecharts (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44182'>Model driven development of railway systems using diversity (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44248'>A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44258'>Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68256'>Model checking publish/subscribe notification for thinkteam (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68257'>Application of linguistic techniques for use case analysis (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68422'>Formal methods for service composition (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68446'>Experimenting with diversity in the formal development of railway signalling systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68450'>Modelling dynamic software architectures using typed graph grammars (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID90979'>SpiDer: a security model checker (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91092'>On the fly model checking of communicating UML state machines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91150'>A case study on the automated verification of groupware protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91500'>The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91762'>Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91850'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91934'>Modelling variability, evolvability, and adaptability in service computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92011'>SENSORIA Patterns: Augmenting Service Engineering  with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92097'>An approach to ambiguity analysis in safety-related standards (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92110'>An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID120673'>QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID138936'>Model checking groupware protocols (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139044'>Detecting policy conflicts by model checking UML state machines (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149482'>HAL (History dependant Automata Laboratory) (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149483'>HAL On-Line (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149617'>TOCAI.it - MIUR (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149634'>TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149635'>Modellazione di sistemi ferroviari (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160823'>Evaluation of natural language requirements in an industrial case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160937'>Case studies scenario description (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160956'>Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007. (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161134'>Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139078'>Preface of SEFM 2010 (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149489'>QuARS: Quality Analyzer for Requirement Specifications (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149554'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149556'>TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149633'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160084'>Model Checking Groupware Protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160091'>D2.3b: Modal Logics for Behavioural Properties of Mobile Systems (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160102'>A model checking verification environment for mobile systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160109'>Action-based model checking (and its applications to distributed, mobile, object-oriented systems) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160116'>Application of linguistic techniques for use cases analysis (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160653'>An Automatic Tool for the Analysis of Natural Language Requirements (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160836'>Modelling dynamic software architectures using typed graph grammars (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149484'>JACK3 (Manufatti, prototipi d'arte e relativi progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149555'>MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149616'>XXL - CNR/RSTL (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160155'>Mu-ACTL+: a temporal logic for UML statechart diagrams (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160425'>An automatic quality evaluation for natural language requirements (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160845'>QuARS and the natural language processing techniques: looking for a suitable syntax parser (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160974'>Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161038'>Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174917'>Model Checking Groupware Protocols (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178098'>A model checking approach for verifying COWS specifications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178854'>Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179756'>Achieving Fault Tolerance by a Formally Validated Interaction                Policy (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179768'>A logical framework to deal with variability (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179771'>A formal security analysis of an OSA/Parlay authentication interface (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190093'>Formal Methods in System Design. An International Journal. Special issue on the fourth international workshop of the ercim working group on formal methods for industrial critical systems, trento, july 11-12, 1999 - selected papers (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190097'>Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190100'>Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems. (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199409'>A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178261'>An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178663'>A model-checking approach for service component architectures (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179732'>Graph-based design and analysis of dynamic software architectures (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180154'>Quality Analysis of NL Requirements: An Industrial Case Study (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180181'>Detecting policy conflicts by model checking UML state machines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190551'>A stochastic extension of a behavioural subset of UML statechart diagrams (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190553'>Model checking UML statechart diagrams using JACK (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203869'>Introduction to the Sensoria Case Studies (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203870'>An abstract, on the fly framework for the verification of service-oriented systems (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203871'>The Sensoria approach applied to the finance case study (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID203872'>Specification and implementation of demonstrators for the case studies (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205394'>Formal description of variability in product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206263'>On the adoption of model checking in safety-related software industry (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207106'>WCS: a Witness and Counterexample Server (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207628'>An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174931'>Model checking publish/subscribe notification for thinkteam (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178590'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179808'>Statecharts composition to model topologically distributed applications (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190099'>Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems. (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199878'>A model-checking tool for families of services (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199965'>Model Checking : cos'è e come si applica (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204361'>Product lines for service oriented applications - PL for SOA (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207104'>The HAL-online Tool (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207120'>QuARS Express: A Tool for Evaluating Natural Language Requirements (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206124'>Product line architectures for SOA (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213907'>Foreward - VaMoS '12 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID218155'>Can safety be obtained through good practices for requirement writing? (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID219059'>A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220738'>Using collective intelligence to detect pragmatic ambiguities. (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220743'>A clustering-based approach for discovering flaws in requirements specifications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213224'>Integrated formal methods - 9th International Conference, IFM 2012 (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID213926'>Preface to iFM&ABZ 2012 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID217118'>Variability and Rigour in Service Computing Engineering (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID220735'>Lessons learnt from the adoption of formal model-based development. (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID221543'>A logical verification methodology for service-oriented computing (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227150'>Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276099'>Towards an executable algebra for product lines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277189'>VMC: a tool for the analysis of variability in software product lines (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277611'>17th International Software Product Line Conference (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277752'>1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID218334'>Demonstration of a model checker for the analysis of product variability. (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID275110'>Editorial (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276687'>Model checking value-passing modal specifications (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276689'>Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277610'>The Seventh International Workshop on Variability Modelling of Software-intensive Systems (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277613'>Formal methods for industrial critical systems: a survey of applications (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276096'>Formal methods for intelligent transportation systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277334'>Model-based development and formal methods in the railway industry (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277510'>Families of dependable systems:a model checking approach (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277813'>Using clustering to improve the structure of natural language requirements documents (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID278974'>Stochastic model-based analysis of railway operation to support traffic planning (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294333'>Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285076'>KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285212'>A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294419'>Measuring and improving the completeness of natural language requirements (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294421'>Model checking value-passing modal specifications (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295358'>18th International Software Product Line Conference (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID308489'>Software requirements elicitation in the context of a collaborative research project : technical report (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID284137'>A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294536'>Proceedings of the 18th International Software Product Line Conference, Volume 2 (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294733'>Research challenges in business process adaptability (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294741'>Formal methods for railway control systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295304'>My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295360'>2nd FME Workshop on Formal Methods in Software Engineering (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295361'>Fundamental Approaches to Software Engineering (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID305232'>Pragmatic ambiguity detection in natural language requirements (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID305274'>Context transformations for goal models (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID327846'>From EU projects to a family of model checkers from Kandinsky to KandISTI (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329757'>Model checking value-passing modal specifications (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070'>ANTONIA BERTOLINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12162'>GIOVANNI LOMBARDI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758'>MIEKE MASSINK</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA1269'>PATRIZIA ASIRELLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9343'>GIUSEPPE LAMI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10186'>PAOLO MORI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7601'>FOSCA GIANNOTTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7856'>FABIO MARTINELLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10947'>GUGLIELMO DE ANGELIS</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA4873'>FELICITA DI GIANDOMENICO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10096'>MARINELLA PETROCCHI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6431'>FABRIZIO FABBRINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6370'>MARIO FUSANI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA2362'>TOMMASO BOLOGNESI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID168'>GABRIELE TOLOMEI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID343'>GIANLUCA TRENTANNI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8763'>ISABELLA BISCOGLIO</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID19413'>Giorgio Oronzo Spagnolo</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID20582'>LUCA BORTOLUSSI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1815'>MARINELLA PETROCCHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID22681'>http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID22681</a></li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID4740'>FELICE DELL'ORLETTA</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15115'>ALDI SULOVA</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18289'>Massimiliano Leone Itria</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313'>ALESSANDRO FANTECHI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18431'>PATRIZIA ASIRELLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18400'>Alessio Ferrari</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID12538'>MICHELE BANCI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID320'>MAURICE HENRI TER BEEK</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11430'>ILARIA MATTEUCCI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA14943'>ANDREA POLINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11298'>ALESSANDRO COCO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15226'>ALESSIO FERRARI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15294'>VINCENZO CIANCIA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8826'>Daniela Anastasio</a> (Persona)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070'>ANTONIA BERTOLINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12162'>GIOVANNI LOMBARDI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758'>MIEKE MASSINK</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9343'>GIUSEPPE LAMI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6431'>FABRIZIO FABBRINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6370'>MARIO FUSANI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313'>ALESSANDRO FANTECHI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID12538'>MICHELE BANCI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID8826'>Daniela Anastasio</a> (Persona)</li></ul></dd><dt>Partecipazione di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2006'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA STEFANIA GNESI nell'anno 2006</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA STEFANIA GNESI nell'anno 2008</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7405-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA STEFANIA GNESI nell'anno 2007</a> (Partecipazione a commessa)</li></ul></dd><dt>Ha afferente</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS074'>Institute of information science and technologies \"Alessandro Faedo\" (ISTI)</a> (Istituto)</li></ul></dd><dt>Responsabile</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/commessa/ID1425'>Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008)</a> (Commessa)</li></ul></dd><dt>Rapporto con persona</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA7405'>Rapporto con CNR di DOTT.SSA STEFANIA GNESI</a> (Rapporto con CNR)</li></ul></dd><dt>Gestore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/modulo/ID4147'>Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002)</a> (Modulo)</li></ul></dd><dt>Http://www.w3.org/2004/02/skos/core#isSubjectOf</dt><dd><ul><li><a href='http://dbpedia.org/resource/Category:Software_engineering' class = 'external' >Software engineering</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Software_quality' class = 'external' >Software quality</a> (Categoria DBpedia)</li></ul></dd>

</dl></div>				</div>

				<div id="footercontent">
					data.CNR.it
				</div>
			</div>
			<div id="footer">
				<dl class="section">
					<dt>DATA.CNR.IT</dt>
					<dd>
						<ul>
							<li>
								<a href="/site">data.CNR.it</a>
							</li>
							<li>
								<a href="/sparql">SPARQL Endpoint</a>
							</li>
							<li>
								<a href="http://www.cnr.it/">CNR.it</a>
							</li>
						</ul>
					</dd>
				</dl>
				<dl class="section">
					<dt>Be updated</dt>
					<dd>
						<ul>
							<!--li>
								<a href="/...">Site map</a>
							</li-->
							<!--li>
								<a href="/...">RSS</a>
							</li-->
							<li>
								<a href="http://twitter.com/data_cnr_it">twitter</a>
							</li>
							<li>
								<a href="/site/contacts">contacts</a>
							</li>
						</ul>
					</dd>
				</dl>
				<dl class="section">
					<dt>External resources</dt>
					<dd>
						<ul>
							<li>
								<a href="http://www.w3.org/2001/sw/">W3C Semantic Web Activity</a>
							</li>
							<li>
								<a href="http://www.w3.org/TR/rdf-sparql-query/">SPARQL Query Language</a>
							</li>
							<li>
								<a href="http://linkeddata.org/">linkeddata.org</a>
							</li>
							<!-- li>
								<a href="http://www.w3.org/DesignIssues/LinkedData.html"><img src="http://lab.linkeddata.deri.ie/2010/lod-badges/img/data-badge-5.png" alt="five star open Web data" /></a>
							</li-->
						</ul>
					</dd>
				</dl>
				<p>Copyright &copy; 2010 <a href="http://www.cnr.it" class="lang-dyn">Italian National Research Council</a> <br/> <br/>
				This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License</a><br/><br/>
				<a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/3.0/"><img alt="Creative Commons License" style="border-width:0" src="http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png" /></a>
				</p>
			</div>
		</div>
	</body>
</html>