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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020197 0 0 0 4 63 3 69 10 14 8 9 17
2020/2021633 45 5 62 40 105 14 146 68 24 58 61 5
2021/2022534 13 2 20 10 173 20 23 21 28 10 44 170
2022/20231.172 92 17 24 48 118 49 3 94 632 23 51 21
2023/2024773 54 47 33 48 175 121 51 18 31 17 51 127
2024/2025103 23 23 37 20 0 0 0 0 0 0 0 0
Totale 4.154