CNR Institutional Research Information System

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