CNR Institutional Research Information System

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