IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.195
AS - Asia 460
EU - Europa 452
SA - Sud America 94
AF - Africa 11
Totale 2.212
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.179
SG - Singapore 261
IT - Italia 190
CN - Cina 88
BR - Brasile 85
RU - Federazione Russa 71
VN - Vietnam 39
BG - Bulgaria 36
GB - Regno Unito 32
LV - Lettonia 28
DE - Germania 23
ID - Indonesia 20
HK - Hong Kong 19
CA - Canada 13
FI - Finlandia 13
NL - Olanda 12
DK - Danimarca 10
FR - Francia 10
PL - Polonia 7
AR - Argentina 5
JO - Giordania 5
PK - Pakistan 5
IN - India 4
MA - Marocco 4
UA - Ucraina 4
BD - Bangladesh 3
BE - Belgio 3
GR - Grecia 3
IR - Iran 3
SE - Svezia 3
ES - Italia 2
IQ - Iraq 2
KE - Kenya 2
KG - Kirghizistan 2
LK - Sri Lanka 2
LT - Lituania 2
MX - Messico 2
PY - Paraguay 2
ZA - Sudafrica 2
AT - Austria 1
BB - Barbados 1
CL - Cile 1
DZ - Algeria 1
EC - Ecuador 1
GA - Gabon 1
HR - Croazia 1
JP - Giappone 1
KR - Corea 1
LB - Libano 1
LU - Lussemburgo 1
MY - Malesia 1
SA - Arabia Saudita 1
SN - Senegal 1
TR - Turchia 1
UZ - Uzbekistan 1
Totale 2.212
Salva come PNG Salva come JPEG
Città #
Singapore 167
Ashburn 144
Chandler 104
Trento 93
San Mateo 87
Santa Clara 79
Dallas 68
New York 58
Columbus 53
Fairfield 51
Princeton 50
Los Angeles 37
Sofia 36
Chicago 31
Riga 28
Moscow 27
San Diego 21
San Jose 21
Wilmington 21
Jakarta 20
Hong Kong 17
Ho Chi Minh City 15
Houston 14
London 14
Buffalo 13
Seattle 12
Cambridge 11
Helsinki 10
Ann Arbor 9
Bassano del Grappa 9
Elk Grove Village 9
Rome 9
Boston 8
Hanoi 8
Hefei 8
Verona 8
Washington 8
Tampa 7
Warsaw 7
Brooklyn 6
Salt Lake City 6
Falkenstein 5
Florence 5
Orem 5
Boardman 4
Falls Church 4
Frankfurt am Main 4
Guangzhou 4
Guarulhos 4
Norwalk 4
Paris 4
Toronto 4
Atlanta 3
Caserta 3
Manaus 3
Milan 3
Naples 3
Prescot 3
Redondo Beach 3
Shijiazhuang 3
Stockholm 3
Vicenza 3
Woodbridge 3
Xi'an 3
Albignasego 2
Amman 2
Amsterdam 2
Bagé 2
Beijing 2
Belo Horizonte 2
Bishkek 2
Brussels 2
Caxias do Sul 2
Charlotte 2
Comabbio 2
Como 2
Da Nang 2
Eindhoven 2
Hải Dương 2
Johannesburg 2
Karachi 2
Kongens Lyngby 2
Lappeenranta 2
Maceió 2
Miami 2
Montreal 2
Munich 2
Nairobi 2
Nanning 2
Negrar 2
Ninh Bình 2
Novara 2
Nuremberg 2
Ottawa 2
Pisa 2
Prato 2
Ragama 2
Recife 2
Regensburg 2
Rio de Janeiro 2
Totale 1.559
Salva come PNG Salva come JPEG
Nome #
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report 123
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 106
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 91
Consolidating cybersecurity in Europe: A case study on job profiles assessment 90
Automated compositional importance splitting 89
A compositional semantics for Repairable Fault Trees with general distributions 87
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 86
A Maturity Assessment Model for Cyber Security Education in Europe 86
An efficient statistical model checker for nondeterminism and rare events 84
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 82
FIG: The Finite Improbability Generator 78
Efficient Algorithms for Quantitative Attack Tree Analysis 77
The Marriage Between Safety and Cybersecurity: Still Practicing 77
FFORT: A Benchmark Suite for Fault Tree Analysis 77
The Dynamic Fault Tree Rare Event Simulator 76
Enhanced transport through desorption-mediated diffusion 69
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 68
Analysis of non-Markovian repairable fault trees through rare event simulation 65
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 64
Using Statistical Model Checking for Cybersecurity Analysis 63
Better Automated Importance Splitting for Transient Rare Events 59
Rare Event Simulation for Non-Markovian Repairable Fault Trees 58
Replicating RESTART with Prolonged Retrials: An Experimental Report 58
Automation of Importance Splitting Techniques for Rare Event Simulation 58
JANI: Quantitative Model and Tool Interaction 56
Rare Event Simulation with fully automated importance splitting 56
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 54
A statistical model checker for nondeterminism and rare events 53
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 53
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 52
FIG: the Finite Improbability Generator v1.3 45
Modelling Smart Buildings Using Fault Maintenance Trees 45
The Road from Stochastic Automata to the Simulation of Rare Events 38
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 29
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 2.357
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.557
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 449
Totale 17.006
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/2026703 115 30 184 138 119 94 23 0 0 0 0 0
Totale 2.357