IRIS
MARRONE, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.026
EU - Europa 1.910
AS - Asia 457
SA - Sud America 39
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 2
Totale 4.441
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.019
IE - Irlanda 656
IT - Italia 375
UA - Ucraina 240
GB - Regno Unito 197
CN - Cina 187
SG - Singapore 158
DE - Germania 141
FI - Finlandia 80
GR - Grecia 55
TR - Turchia 48
FR - Francia 46
BR - Brasile 36
SE - Svezia 34
KR - Corea 22
BE - Belgio 19
HK - Hong Kong 17
AT - Austria 12
IN - India 12
NL - Olanda 9
LT - Lituania 8
ES - Italia 7
CA - Canada 6
CZ - Repubblica Ceca 6
PL - Polonia 5
PT - Portogallo 5
AU - Australia 4
PK - Pakistan 4
AR - Argentina 3
BG - Bulgaria 3
EU - Europa 3
IQ - Iraq 3
RO - Romania 3
RU - Federazione Russa 3
CH - Svizzera 2
IL - Israele 2
JP - Giappone 2
AE - Emirati Arabi Uniti 1
HU - Ungheria 1
MD - Moldavia 1
MX - Messico 1
NO - Norvegia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
VN - Vietnam 1
Totale 4.441
Salva come PNG Salva come JPEG
Città #
Dublin 656
Santa Clara 449
Jacksonville 345
Chandler 213
Singapore 102
New York 96
Princeton 82
Roxbury 75
Ann Arbor 69
Wilmington 57
Boardman 51
Naples 47
Bremen 43
Medford 42
Beijing 41
Cambridge 40
Woodbridge 38
Caserta 31
Vitoria de Santo Antao 23
Düsseldorf 22
Ashburn 19
Des Moines 19
Seoul 19
Brussels 18
Napoli 17
Mountain View 15
Salerno 15
Helsinki 12
Jinan 12
Nanjing 12
Munich 11
Rome 11
Aversa 10
San Mateo 10
Maddaloni 9
Shenyang 9
Hong Kong 8
Kunming 7
Lappeenranta 7
Nanchang 7
Sant'Anastasia 7
Taizhou 7
Tianjin 7
Brno 6
Graz 6
Hebei 6
Istanbul 6
Los Angeles 6
Redwood City 6
Reggio Calabria 6
Altino 5
Auburn Hills 5
Changsha 5
Kraków 5
Milan 5
Ribeirao 5
Zhengzhou 5
Afragola 4
Guangzhou 4
Kaiserslautern 4
Lessolo 4
Norwalk 4
Ottawa 4
Redmond 4
San Nicola la Strada 4
Shanghai 4
Trieste 4
Bari 3
Bologna 3
Cava de' Tirreni 3
Haikou 3
Hangzhou 3
Jaboatao dos Guararapes 3
Konya 3
Montegaldella 3
Munro 3
Pune 3
Roccapiemonte 3
Sofia 3
Sydney 3
Vienna 3
Zaragoza 3
Acerra 2
Asnieres-sur-Seine 2
Atlanta 2
Basra 2
Benevento 2
Campina Grande 2
Casoria 2
Castellammare di Stabia 2
Central 2
Cerreto Sannita 2
Chengdu 2
Clearwater 2
Cluj-Napoca 2
Elst 2
Frankfurt am Main 2
Giffoni Valle Piana 2
Giugliano in Campania 2
Granada 2
Totale 2.988
Salva come PNG Salva come JPEG
Nome #
Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems 95
A Security-Oriented Architecture for Federated Learning in Cloud Environments 84
Risk assessment and monitoring in intelligent data-centric system 82
A Compositional Modelling Approach for Large Sensor Networks Design 78
Dynamic state machines for modelling railway control systems 78
Compositional modeling of complex systems: contact center scenarios in OsMoSys 72
Adaptive Monitoring of Marine Disasters with Intelligent Mobile Sensor Networks 69
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 68
A model analysis of a distributed monitoring system using a multi-formalism approach 68
The software architecture of the OsMoSYS Multisolution Framework 68
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 66
Vulnerability modeling and analysis for critical infrastructure protection applications 66
Development of a Testbed for Fully Homomorphic Encryption Solutions 66
Dynamic state machines for formalizing railway control system specifications 65
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study 63
Combining Genetic Algorithms and Fault Tree Analysis in reliability/cost optimization for critical complex systems 62
A Performance Driven Modelling Approach for SOA Based Application 61
A cost-energy trade-off model in smart energy grids 60
Cyber resilience meta-modelling: The railway communication case study 60
Cost-energy modelling and profiling of smart domestic grids 59
Towards model-driven assessment of clinical processes 59
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 56
A Multiformalism Modular Approach to ERTMS/ETCS Failure Modelling 56
Modelling distributed supervisory systems using a modular multi-formalism methodology 56
PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications 56
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 54
A model-driven process for physical protection system design and vulnerability evaluation 54
Automatic resource allocation for high availability cloud services 54
Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems 53
Sensitivity of Machine Learning Approaches to Fake and Untrusted Data in Healthcare Domain 53
A performance driven modeling approach for SOA based application 52
Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology 51
A lightweight machine learning approach to detect depression from speech analysis 51
Interfaces and Binding in Component Based Development of Formal Models 50
An interoperable testing environment for ERTMS/ETCS control systems 50
Using Bayesian Networks to evaluate the trustworthiness of '2 out of 3' decision fusion mechanisms in multi-sensor applications 50
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 50
SWN client-server composition operators in the OsMoSys framework 49
The METRIP tool 49
A Petri Net pattern-oriented approach for the design of physical protection systems 49
Petri Net based Evaluation of Energy Consumption in Wireless Sensor Nodes 48
Combining heterogeneity, compositionality and automatic generation in formal modelling 48
An integrated lifetime and network quality model of large WSNs 46
Modeling railway control systems in promela 46
Finding Resilient and Energy-saving Control Strategies in Smart Homes 46
Model-based availability evaluation of composed web services 43
Model-driven V&V processes for computer based control systems: a unifying perspective 43
Model-driven estimation of distributed vulnerability in complex railway networks 43
Model-based vulnerability assessment of self-adaptive protection systems 43
Test specification patterns for automatic generation of test sequences 43
Towards Model-Driven V&V assessment of railway control systems 43
A model-driven methodology to evaluate performability of metro systems 43
Evaluating availability of composed web services 42
Performability modeling of exceptions-aware systems in multiformalism tools 41
A privacy-oriented approach for depression signs detection based on speech analysis 41
Toward an Interoperable Catalogue of Multimodal Depression-Related Data 40
Petri Net Modelling of Physical Vulnerability 40
Testing complex safety-critical systems in SOA context 40
Modeling system reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 40
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 40
Computer-Aided Security Assessment of Water Networks Monitoring Platforms 40
Exploiting Bayesian Networks for the analysis of combined Attack Trees 39
Improving Verification Process in Driverless Metro Systems: the MBAT project 39
Trustworthiness Evaluation of Multi-Sensor Situation Recognition in Transit Surveillance Scenarios 39
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 39
Telemaco: a language oriented tool for graph-based models layout optimization 38
Challenges and Trends in Federated Learning for Well-being and Healthcare 37
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence 37
Exploring the impact of data poisoning attacks on machine learning model reliability 36
Handwriting and Drawing for Depression Detection: A Preliminary Study 35
Multiformalism and transformation inheritance for dependability analysis of critical systems 35
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 35
On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications 35
Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology 34
Model-driven availability evaluation of railway control systems 33
A model-driven approach for vulnerability evaluation of modern physical protection systems 33
Towards a novel conceptualization of Cyber Resilience 33
Identifying Synthetic Voices’ Qualities for Conversational Agents 32
EVALUATING THE HAZARDOUS FAILURE RATE OF MAJORITY VOTING COMPUTER ARCHITECTURES BY MEANS OF BAYESIAN NETWORK MODELS 32
Safety Integrity Through Self-Adaptation for Multi-Sensor Event Detection: Methodology and Case-Study 32
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 32
Resilience learning through self adaptation in digital twins of human-cyber-physical systems 31
Evaluating Efficiency and Effectiveness of Federated Learning Approaches in Knowledge Extraction Tasks 31
Improving classification trustworthiness in random forests 31
A flexible simulation-based framework for model-based/data-driven dependability evaluation 28
Towards Railway Virtual Coupling 28
A Federated Consensus-Based Model for Enhancing Fake News and Misleading Information Debunking 27
Speech-based Evaluation of Emotions-Depression Correlation 27
An approach for the automatic verification of blockchain protocols: the Tweetchain case study 27
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 26
Explainabilty Comparison between Random Forests and Neural Networks—Case Study of Amino Acid Volume Prediction 23
Inferring Emotional Models from Human-Machine Speech Interactions 23
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 23
Leveraging CycleGAN in Lung CT Sinogram-free Kernel Conversion 22
Decoding humans' and virtual agents' emotional expressions 22
On managing security in smart e-health applications 22
CaseID Detection for Process Mining: A Heuristic-Based Methodology 21
A Petri net oriented approach for advanced building energy management systems 20
Synergy-Net: Artificial Intelligence at the Service of Oncological Prevention 20
HEAR set: A ligHtwEight acoustic paRameters set to assess mental health from voice analysis 19
Totale 4.517
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.303
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23.303
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020127 0 0 0 0 0 0 69 10 14 8 9 17
2020/2021633 45 5 62 40 105 14 146 68 24 58 61 5
2021/2022521 13 2 20 10 173 20 22 15 28 10 41 167
2022/20231.141 90 17 24 48 113 49 3 87 618 22 49 21
2023/2024755 51 47 33 47 171 119 51 18 28 17 49 124
2024/2025680 21 23 37 29 294 270 6 0 0 0 0 0
Totale 4.669