IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.141
AS - Asia 452
EU - Europa 449
SA - Sud America 93
AF - Africa 11
Totale 2.146
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.125
SG - Singapore 255
IT - Italia 190
CN - Cina 87
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
AR - Argentina 5
JO - Giordania 5
PK - Pakistan 5
IN - India 4
MA - Marocco 4
PL - Polonia 4
UA - Ucraina 4
BE - Belgio 3
GR - Grecia 3
IR - Iran 3
SE - Svezia 3
BD - Bangladesh 2
ES - Italia 2
IQ - Iraq 2
KE - Kenya 2
KG - Kirghizistan 2
LK - Sri Lanka 2
LT - Lituania 2
MX - Messico 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
PY - Paraguay 1
SA - Arabia Saudita 1
SN - Senegal 1
TR - Turchia 1
UZ - Uzbekistan 1
Totale 2.146
Salva come PNG Salva come JPEG
Città #
Singapore 164
Ashburn 137
Chandler 104
Trento 93
San Mateo 87
Santa Clara 79
Dallas 68
New York 54
Columbus 53
Fairfield 51
Princeton 50
Sofia 36
Los Angeles 35
Chicago 31
Riga 28
Moscow 27
San Diego 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
Hanoi 8
Hefei 8
Verona 8
Washington 8
Tampa 7
Salt Lake City 6
Boston 5
Brooklyn 5
Falkenstein 5
Florence 5
Boardman 4
Falls Church 4
Frankfurt am Main 4
Guangzhou 4
Guarulhos 4
Norwalk 4
Paris 4
Toronto 4
Warsaw 4
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
Atlanta 2
Bagé 2
Beijing 2
Belo Horizonte 2
Bishkek 2
Brussels 2
Caxias do Sul 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
San Francisco 2
Shanghai 2
South Bend 2
Totale 1.513
Salva come PNG Salva come JPEG
Nome #
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report 121
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 104
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 90
Consolidating cybersecurity in Europe: A case study on job profiles assessment 88
Automated compositional importance splitting 87
A compositional semantics for Repairable Fault Trees with general distributions 85
A Maturity Assessment Model for Cyber Security Education in Europe 84
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 83
An efficient statistical model checker for nondeterminism and rare events 83
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 81
Efficient Algorithms for Quantitative Attack Tree Analysis 75
The Dynamic Fault Tree Rare Event Simulator 75
FIG: The Finite Improbability Generator 75
FFORT: A Benchmark Suite for Fault Tree Analysis 74
The Marriage Between Safety and Cybersecurity: Still Practicing 73
Enhanced transport through desorption-mediated diffusion 67
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 66
Analysis of non-Markovian repairable fault trees through rare event simulation 62
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 62
Using Statistical Model Checking for Cybersecurity Analysis 61
Better Automated Importance Splitting for Transient Rare Events 57
Rare Event Simulation for Non-Markovian Repairable Fault Trees 56
Replicating RESTART with Prolonged Retrials: An Experimental Report 56
Automation of Importance Splitting Techniques for Rare Event Simulation 56
JANI: Quantitative Model and Tool Interaction 55
Rare Event Simulation with fully automated importance splitting 55
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 53
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 52
A statistical model checker for nondeterminism and rare events 51
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 50
Modelling Smart Buildings Using Fault Maintenance Trees 44
FIG: the Finite Improbability Generator v1.3 42
The Road from Stochastic Automata to the Simulation of Rare Events 35
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 28
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 2.291
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.346
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 442
Totale 16.788
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/2026637 115 30 184 138 119 51 0 0 0 0 0 0
Totale 2.291