IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.368
AS - Asia 733
EU - Europa 518
SA - Sud America 122
AF - Africa 16
Totale 2.757
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.344
SG - Singapore 295
IT - Italia 209
VN - Vietnam 176
CN - Cina 104
BR - Brasile 103
RU - Federazione Russa 73
KR - Corea 49
FR - Francia 39
BG - Bulgaria 36
GB - Regno Unito 36
LV - Lettonia 29
HK - Hong Kong 26
DE - Germania 25
ID - Indonesia 20
CA - Canada 16
FI - Finlandia 15
NL - Olanda 15
IN - India 12
DK - Danimarca 10
AR - Argentina 8
BD - Bangladesh 7
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
Totale 2.757
Salva come PNG Salva come JPEG
Città #
Singapore 193
Ashburn 159
Chandler 104
San Jose 98
Trento 93
San Mateo 87
Santa Clara 80
Dallas 72
New York 62
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
Hong Kong 21
San Diego 21
Wilmington 21
Jakarta 20
Houston 15
London 14
Buffalo 13
Seattle 13
Verona 13
Helsinki 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
Brooklyn 6
Milan 6
Salt Lake City 6
Council Bluffs 5
Falkenstein 5
Florence 5
Frankfurt am Main 5
Toronto 5
Amsterdam 4
Beijing 4
Boardman 4
Falls Church 4
Guangzhou 4
Guarulhos 4
Norwalk 4
Paris 4
São Paulo 4
Amman 3
Atlanta 3
Baghdad 3
Bishkek 3
Brussels 3
Caserta 3
Denver 3
Hải Dương 3
Manaus 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
Albignasego 2
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
Hai Bà Trưng 2
Hyderabad 2
Johannesburg 2
Totale 1.930
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 129
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 126
An efficient statistical model checker for nondeterminism and rare events 122
FIG: The Finite Improbability Generator 111
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 108
Automated compositional importance splitting 108
A compositional semantics for Repairable Fault Trees with general distributions 103
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 96
A Maturity Assessment Model for Cyber Security Education in Europe 95
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 94
The Dynamic Fault Tree Rare Event Simulator 93
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 93
Efficient Algorithms for Quantitative Attack Tree Analysis 92
Using Statistical Model Checking for Cybersecurity Analysis 87
FFORT: A Benchmark Suite for Fault Tree Analysis 87
The Marriage Between Safety and Cybersecurity: Still Practicing 85
Analysis of non-Markovian repairable fault trees through rare event simulation 82
Enhanced transport through desorption-mediated diffusion 81
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 77
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 75
Rare Event Simulation for Non-Markovian Repairable Fault Trees 73
Rare Event Simulation with fully automated importance splitting 72
Better Automated Importance Splitting for Transient Rare Events 68
Automation of Importance Splitting Techniques for Rare Event Simulation 68
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 67
JANI: Quantitative Model and Tool Interaction 67
Replicating RESTART with Prolonged Retrials: An Experimental Report 67
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 59
A statistical model checker for nondeterminism and rare events 58
Modelling Smart Buildings Using Fault Maintenance Trees 57
FIG: the Finite Improbability Generator v1.3 53
The Road from Stochastic Automata to the Simulation of Rare Events 47
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 40
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 2.903
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.442
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 466
Totale 17.908
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.249 115 30 184 138 119 94 313 40 98 118 0 0
Totale 2.903