IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.213
AS - Asia 463
EU - Europa 452
SA - Sud America 95
AF - Africa 11
Totale 2.234
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.197
SG - Singapore 262
IT - Italia 190
CN - Cina 90
BR - Brasile 86
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.234
Salva come PNG Salva come JPEG
Città #
Singapore 168
Ashburn 144
Chandler 104
Trento 93
San Mateo 87
Santa Clara 79
Dallas 68
New York 58
Columbus 53
Fairfield 51
Princeton 50
San Jose 38
Los Angeles 37
Sofia 36
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
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.577
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
Consolidating cybersecurity in Europe: A case study on job profiles assessment 92
Automated compositional importance splitting 92
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 91
A Maturity Assessment Model for Cyber Security Education in Europe 88
A compositional semantics for Repairable Fault Trees with general distributions 87
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 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 83
Efficient Algorithms for Quantitative Attack Tree Analysis 78
FIG: The Finite Improbability Generator 78
The Dynamic Fault Tree Rare Event Simulator 77
The Marriage Between Safety and Cybersecurity: Still Practicing 77
FFORT: A Benchmark Suite for Fault Tree Analysis 77
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 66
Using Statistical Model Checking for Cybersecurity Analysis 66
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 65
Rare Event Simulation for Non-Markovian Repairable Fault Trees 60
Better Automated Importance Splitting for Transient Rare Events 60
Replicating RESTART with Prolonged Retrials: An Experimental Report 59
Automation of Importance Splitting Techniques for Rare Event Simulation 58
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 56
JANI: Quantitative Model and Tool Interaction 56
Rare Event Simulation with fully automated importance splitting 56
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
Modelling Smart Buildings Using Fault Maintenance Trees 46
FIG: the Finite Improbability Generator v1.3 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.379
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.580
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.029
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/2026725 115 30 184 138 119 94 45 0 0 0 0 0
Totale 2.379