IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.435
AS - Asia 740
EU - Europa 539
SA - Sud America 122
AF - Africa 16
Totale 2.852
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.407
SG - Singapore 298
IT - Italia 225
VN - Vietnam 176
CN - Cina 107
BR - Brasile 103
RU - Federazione Russa 73
KR - Corea 49
GB - Regno Unito 41
FR - Francia 39
BG - Bulgaria 36
LV - Lettonia 29
HK - Hong Kong 26
DE - Germania 25
ID - Indonesia 20
CA - Canada 19
FI - Finlandia 15
NL - Olanda 15
IN - India 12
DK - Danimarca 10
AR - Argentina 8
BD - Bangladesh 8
PL - Polonia 7
IQ - Iraq 6
JO - Giordania 6
MX - Messico 5
PK - Pakistan 5
UA - Ucraina 5
BE - Belgio 4
IR - Iran 4
MA - Marocco 4
EC - Ecuador 3
GR - Grecia 3
JP - Giappone 3
KG - Kirghizistan 3
PH - Filippine 3
PY - Paraguay 3
SE - Svezia 3
UZ - Uzbekistan 3
ZA - Sudafrica 3
CO - Colombia 2
DZ - Algeria 2
ES - Italia 2
KE - Kenya 2
LK - Sri Lanka 2
LT - Lituania 2
NP - Nepal 2
SA - Arabia Saudita 2
TR - Turchia 2
VE - Venezuela 2
AO - Angola 1
AT - Austria 1
BB - Barbados 1
CL - Cile 1
CZ - Repubblica Ceca 1
EG - Egitto 1
GA - Gabon 1
GD - Grenada 1
GP - Guadalupe 1
HR - Croazia 1
LB - Libano 1
LU - Lussemburgo 1
MY - Malesia 1
NO - Norvegia 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.852
Salva come PNG Salva come JPEG
Città #
Singapore 194
Ashburn 173
San Jose 124
Chandler 104
Trento 93
San Mateo 87
Santa Clara 83
Dallas 72
New York 65
Ho Chi Minh City 55
Columbus 53
Fairfield 51
Hanoi 50
Princeton 50
Seoul 48
Los Angeles 39
Sofia 36
Chicago 31
Riga 29
Moscow 28
The Dalles 28
Lauterbourg 26
Wilmington 22
Hong Kong 21
San Diego 21
Jakarta 20
Houston 15
London 14
Buffalo 13
Seattle 13
Verona 13
Helsinki 12
Milan 12
Cambridge 11
Rome 11
Ann Arbor 9
Bassano del Grappa 9
Boston 9
Da Nang 9
Elk Grove Village 9
Haiphong 8
Hefei 8
Orem 8
St Louis 8
Washington 8
Tampa 7
Warsaw 7
Boardman 6
Brooklyn 6
Salt Lake City 6
Toronto 6
Council Bluffs 5
Falkenstein 5
Florence 5
Frankfurt am Main 5
Slough 5
Amsterdam 4
Beijing 4
Falls Church 4
Guangzhou 4
Guarulhos 4
Montreal 4
Norwalk 4
Paris 4
São Paulo 4
Albignasego 3
Amman 3
Atlanta 3
Baghdad 3
Bishkek 3
Brussels 3
Caserta 3
Denver 3
Hải Dương 3
Manaus 3
Miano 3
Naples 3
Ottawa 3
Phú Nhuận 3
Prescot 3
Quảng Ngãi 3
Redondo Beach 3
Rio de Janeiro 3
Shijiazhuang 3
Stockholm 3
Vicenza 3
Woodbridge 3
Xi'an 3
Bagé 2
Belo Horizonte 2
Bắc Ninh 2
Bến Tre 2
Can Tho 2
Caxias do Sul 2
Charlotte 2
Chennai 2
Comabbio 2
Como 2
Eindhoven 2
Guayaquil 2
Totale 1.994
Salva come PNG Salva come JPEG
Nome #
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report 158
Consolidating cybersecurity in Europe: A case study on job profiles assessment 131
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 128
An efficient statistical model checker for nondeterminism and rare events 122
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 115
FIG: The Finite Improbability Generator 112
Automated compositional importance splitting 110
A compositional semantics for Repairable Fault Trees with general distributions 103
FFORT: A Benchmark Suite for Fault Tree Analysis 99
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 97
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 96
A Maturity Assessment Model for Cyber Security Education in Europe 95
Efficient Algorithms for Quantitative Attack Tree Analysis 95
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 95
The Dynamic Fault Tree Rare Event Simulator 93
The Marriage Between Safety and Cybersecurity: Still Practicing 93
Using Statistical Model Checking for Cybersecurity Analysis 92
Analysis of non-Markovian repairable fault trees through rare event simulation 87
Enhanced transport through desorption-mediated diffusion 84
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 79
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 78
Rare Event Simulation for Non-Markovian Repairable Fault Trees 74
Replicating RESTART with Prolonged Retrials: An Experimental Report 74
Rare Event Simulation with fully automated importance splitting 73
Better Automated Importance Splitting for Transient Rare Events 72
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 71
JANI: Quantitative Model and Tool Interaction 71
Automation of Importance Splitting Techniques for Rare Event Simulation 69
A statistical model checker for nondeterminism and rare events 60
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 59
Modelling Smart Buildings Using Fault Maintenance Trees 58
FIG: the Finite Improbability Generator v1.3 54
The Road from Stochastic Automata to the Simulation of Rare Events 49
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 47
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 2.998
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.383
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 492
Totale 18.875
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022381 0 110 0 0 1 7 23 154 9 8 17 52
2022/2023360 53 18 3 15 64 82 6 28 65 3 17 6
2023/2024269 8 11 24 11 27 79 3 8 11 49 11 27
2024/2025644 20 6 9 124 41 113 13 31 55 103 103 26
2025/20261.344 115 30 184 138 119 94 313 40 98 124 33 56
Totale 2.998