CNR Institutional Research Information System

DI GIANDOMENICO, FELICITA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 4.214
NA - Nord America 3.148
EU - Europa 1.144
SA - Sud America 873
Continente sconosciuto - Info sul continente non disponibili 82
AF - Africa 77
OC - Oceania 3
Totale 9.541
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.974
SG - Singapore 1.932
CN - Cina 884
BR - Brasile 703
VN - Vietnam 451
HK - Hong Kong 435
IT - Italia 407
FR - Francia 258
KR - Corea 109
JP - Giappone 104
RU - Federazione Russa 92
DE - Germania 89
CA - Canada 69
GB - Regno Unito 61
NL - Olanda 57
IN - India 53
AR - Argentina 48
BD - Bangladesh 46
FI - Finlandia 44
EC - Ecuador 39
ID - Indonesia 36
CO - Colombia 35
MX - Messico 33
AT - Austria 28
CR - Costa Rica 18
IL - Israele 18
IQ - Iraq 18
ZA - Sudafrica 18
ES - Italia 15
TH - Thailandia 15
MA - Marocco 14
PY - Paraguay 14
SA - Arabia Saudita 14
UA - Ucraina 14
PL - Polonia 13
SE - Svezia 13
TR - Turchia 13
MY - Malesia 12
VE - Venezuela 12
PH - Filippine 11
EG - Egitto 10
JM - Giamaica 10
PE - Perù 10
PK - Pakistan 10
AZ - Azerbaigian 9
UZ - Uzbekistan 9
DZ - Algeria 8
TT - Trinidad e Tobago 7
CL - Cile 6
GT - Guatemala 6
KZ - Kazakistan 6
BG - Bulgaria 5
EE - Estonia 5
GR - Grecia 5
RO - Romania 5
TN - Tunisia 5
AE - Emirati Arabi Uniti 4
BB - Barbados 4
BE - Belgio 4
HN - Honduras 4
NP - Nepal 4
PA - Panama 4
SV - El Salvador 4
UY - Uruguay 4
BH - Bahrain 3
CH - Svizzera 3
CI - Costa d'Avorio 3
IE - Irlanda 3
JO - Giordania 3
LB - Libano 3
NI - Nicaragua 3
SC - Seychelles 3
AL - Albania 2
AU - Australia 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BY - Bielorussia 2
BZ - Belize 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
GA - Gabon 2
HU - Ungheria 2
IS - Islanda 2
KE - Kenya 2
KH - Cambogia 2
KW - Kuwait 2
LC - Santa Lucia 2
LU - Lussemburgo 2
LV - Lettonia 2
MN - Mongolia 2
NG - Nigeria 2
OM - Oman 2
PT - Portogallo 2
SN - Senegal 2
AG - Antigua e Barbuda 1
AO - Angola 1
BS - Bahamas 1
BW - Botswana 1
CZ - Repubblica Ceca 1
DJ - Gibuti 1
Totale 9.441
Salva come PNG Salva come JPEG
Città #
Singapore 1.140
Santa Clara 812
Hong Kong 427
San Jose 384
Hefei 239
Ashburn 230
Lauterbourg 214
Beijing 163
Ho Chi Minh City 147
Hanoi 112
Seoul 108
Los Angeles 94
Pisa 90
Tokyo 89
Dallas 77
São Paulo 58
New York 54
Cascina 53
Moscow 42
Frankfurt am Main 38
Rome 36
Phoenix 34
Buffalo 32
Florence 32
Rio de Janeiro 26
Brasília 25
Milan 25
Lappeenranta 23
Helsinki 21
Nuremberg 21
Atlanta 20
Chicago 20
Brooklyn 19
Orem 19
Philadelphia 19
Haiphong 18
Campinas 17
Da Nang 17
San José 17
Curitiba 16
Houston 16
Belo Horizonte 15
Montreal 15
Council Bluffs 14
London 14
Miami 13
Minamishinagawa 13
Vienna 13
Can Tho 12
Naples 12
Quito 12
Toronto 12
Viareggio 12
Amsterdam 11
Bengaluru 11
Charlotte 11
Guangzhou 11
Guayaquil 11
Porto Alegre 11
Baghdad 10
Johannesburg 10
Manchester 10
Newark 10
Ninh Bình 10
Queens 10
Recife 10
Asunción 9
Baku 9
Cincinnati 9
Cleveland 9
Fortaleza 9
Lima 9
Tashkent 9
Thái Bình 9
Thái Nguyên 9
Bogotá 8
Denver 8
Kingston 8
Stockholm 8
The Bronx 8
Washington 8
Biên Hòa 7
Dhaka 7
Goiânia 7
Ha Long 7
Las Vegas 7
Madrid 7
Orlando 7
Ribeirão Preto 7
Seattle 7
Warsaw 7
Lucca 6
Memphis 6
Osasco 6
Tampa 6
Turin 6
Athens 5
Bowie 5
Bắc Giang 5
Cairo 5
Totale 5.586
Salva come PNG Salva come JPEG
Nome #
ISTI-day 2025 Proceedings 174
Cross-coverage testing of functionally equivalent programs 91
Random bad state estimator to address false data injection in critical infrastructures 89
Implicit reward structures for implicit reliability models 89
An integrated perspective on the evaluation of complex railway systems 89
Model-based security testing in IoT systems: a rapid review 82
CAUTION++ - Validation report verification & validation of the CAUTION++ system 81
Dependability analysis of UPS architectures for the Italian railway signaling system 81
A decomposition-based modeling framework for complex systems 80
Enhancing sustainability of the railway infrastructure through efficient energy management policies 80
Dependability modeling & evaluation of multiple-phased systems using DEEM 78
Advanced integrated evaluation of railway systems 77
Dependable dynamic routing for urban transport systems through integer linear programming 76
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states 76
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 76
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies 75
Failure management strategies for IoT-based railways systems 72
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 72
Supervisory synthesis of configurable behavioural contracts with modalities 70
Solution bundles of Markov performability models through adaptive cross approximation 69
Progetto SIGS - Sistema di raccolta ed elaborazioni dati (D3.2) 68
Progetto SIGS - Architettura del Sistema (D3.1) 68
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states 66
Dependability modeling and evaluation of IPS architectures in the railway sector 65
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods 64
Model-based evaluation of the impact of attacks to the telecommunication service of the electrical grid 63
Optimal Discrimination between Transient and permanent Faults-Mathematical Details 61
Security-informed safety analysis of autonomous transport systems considering AI-powered cyberattacks and protection 61
Towards effective safety and cybersecurity co-engineering in critical domains 61
Error processing and fault treatment 61
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 60
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems 60
A tour of secure software engineering solutions for connected vehicles 60
Stochastic modeling of intrusion tolerant systems based on redundancy and diversity 60
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures 59
A new metric of adaptivity for self-adaptive systems 59
Stochastic modeling and evaluation of large interdependent composed models through Kronecker algebra and exponential sums 58
Advanced definition and analysis of anti-icing methods to balance energy usage and dependability in railways 57
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 57
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems 56
Trading dependability and energy consumption in critical infrastructures: Focus on the rail switch heating system 56
CAUTION++ - Final exploitation plans 55
Controller synthesis of service contracts with variability 55
A contribution to dependability evaluation of Fault-Tolerant, iterative-execution software 54
Safety and cybersecurity assessment techniques for critical industries: a mapping study 54
Model-based evaluation as a support to the design of dependable systems 53
Evaluation of integrated error processing and fault diagnosis in multiprocessor systems 53
Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies 52
A stochastic modelling framework to analyze smart grids control strategies 52
Basic aspects in redundancy-based intrusion tolerance 52
On-the-fly dependable mediation between heterogeneous networked systems 52
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment 52
On Extending and Comparing Newton-Raphson Variants for Solving Power-Flow Equations 52
An efficient strategy for model composition in the Möbius modeling environment 51
CAUTION++ - Implementation report 51
Extending the Möbius modeling environment with the advanced replication operator 51
Model-based evaluation of energy saving systems 51
A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components 50
Supporting CPS modeling through a new method for solving complex non-holomorphic equations 50
Dependability provisions for a network management platform 50
A Modeling Methodology for Hierarchical Control Systems and its Application 49
Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems 49
Using metamorphic relations in redundancy-based fault/intrusion tolerance 49
Smart Services for Railways 49
Coordinated backward recovery between client processes and data servers 48
Discriminating fault rate and persistency to improve fault treatment 48
Supporting the design of intelligent railway stations 48
Dependability and Performance Assessment of Dynamic CONNECTed Systems 47
State restoration in a COTS-based N-modular architecture 46
SAFEDMI: Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control - EU TST5-CT-2006-031413 46
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019 45
FMCAT: Supporting dynamic service-based product lines 45
CAUTION IST-2001-38229 D-3.6: Report of model-based validation activities 45
Specifying variability in service contracts 44
Threshold-based mechanisms to discriminate transient from intermittent faults 44
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation 44
Tuning energy consumption strategies in the railway domain: A model-based approach 44
Threshold-based mechanisms to discriminate transient from intermittent faults 44
CRUTIAL: Critical Utility Infrastructural Resilience - EU IST-FP6-STREP-027513 43
Inter-channel state restoration 43
A multi-criteria ranking of security countermeasures 42
Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach 42
Evaluation of fault-tolerant multiprocessor systems for high assurance applications 42
ART DECO (Adaptive InfRasTructures for DECentralized Organizations) - FIRB 2005 41
Controller synthesis of contract-based service product lines: extended version 41
Orchestration of dynamic service product lines with featured modal contract automata 41
Scheduling solutions for a unified approach to the tolerance of value and timing faults 40
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 40
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies 40
A refinement approach to analyse critical cyber-physical systems 40
Architectural challenges for a dependable information society 39
Evaluation of Critical Infrastructures: Challenges and Viable Approaches 39
CN MOST SP4 D1.3.1: Report on formal models 39
Enhancing models correctness through formal verification: a case study from the railway domain 39
Statistical model checking of an energy-saving cyber-physical system in the railway domain 39
Stochastic model-based evaluation of reliable energy-saving rail road switch heating systems 39
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 39
On a modeling framework for the analysis of interdependencies in electric power systems 38
Case Study on Critical Infrastructures: Assessment of Electric Power Systems. 38
Verification and analysis of autonomic systems for networked enterprises 38
Totale 5.663
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.082
article - articoli 7.898
book - libri 286
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.151
Totale 48.417
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202424 0 0 0 0 0 0 0 0 6 0 15 3
2024/20253.095 15 19 255 148 636 182 37 136 115 151 759 642
2025/20265.155 201 361 481 712 818 271 969 323 350 350 164 155
2026/20271.267 327 249 691 0 0 0 0 0 0 0 0 0
Totale 9.541