IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 444
NA - Nord America 232
AS - Asia 79
AF - Africa 13
OC - Oceania 10
SA - Sud America 10
Totale 788
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 230
IT - Italia 214
NL - Olanda 52
FR - Francia 42
DE - Germania 35
CN - Cina 26
GB - Regno Unito 21
FI - Finlandia 19
SK - Slovacchia (Repubblica Slovacca) 11
AU - Australia 10
CH - Svizzera 10
IR - Iran 10
IN - India 9
HK - Hong Kong 7
NO - Norvegia 7
BE - Belgio 6
UA - Ucraina 6
SG - Singapore 5
AT - Austria 4
BR - Brasile 4
ZA - Sudafrica 4
GR - Grecia 3
IE - Irlanda 3
MY - Malesia 3
PK - Pakistan 3
SE - Svezia 3
SY - Repubblica araba siriana 3
TH - Thailandia 3
UG - Uganda 3
AR - Argentina 2
GH - Ghana 2
NG - Nigeria 2
PE - Perù 2
PT - Portogallo 2
QA - Qatar 2
RU - Federazione Russa 2
TR - Turchia 2
VN - Vietnam 2
AE - Emirati Arabi Uniti 1
CA - Canada 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EG - Egitto 1
ES - Italia 1
KR - Corea 1
MA - Marocco 1
MX - Messico 1
OM - Oman 1
PH - Filippine 1
PL - Polonia 1
SI - Slovenia 1
UY - Uruguay 1
Totale 788
Salva come PNG Salva come JPEG
Città #
Trento 138
Ashburn 46
Columbus 27
Bassano del Grappa 16
Enschede 13
Logan 12
Los Angeles 10
Seattle 10
Boardman 9
Helsinki 9
Lappeenranta 8
Nieuwegein 8
Chicago 7
Milan 7
Zurich 7
Cedar Knolls 6
Edinburgh 6
Hangzhou 6
Ingersleben 6
Shanghai 6
Uithoorn 6
Buffalo 5
Munich 5
Nitra 5
Borne 4
Comabbio 4
Dallas 4
Žilina 4
Amsterdam 3
Beijing 3
Boydton 3
Brussels 3
Council Bluffs 3
Dublin 3
Grenoble 3
Kuala Lumpur 3
Mountain View 3
Oslo 3
Paris 3
Rome 3
Schio 3
Tampa 3
Tehran 3
Trondheim 3
Troy 3
Utrecht 3
Vienna 3
Wandsworth 3
Adelaide 2
Amiens 2
Ann Arbor 2
Bangkok 2
Bratislava 2
Centurion 2
Como 2
Córdoba 2
Delhi 2
Doha 2
Fairfield 2
Fort Collins 2
Harrisburg 2
Hong Kong 2
Houston 2
Lancaster 2
Lima 2
Manchester 2
Milton Keynes 2
Multan 2
New York 2
Port Elizabeth 2
Port Harcourt 2
Preston 2
Providence 2
Reggio Emilia 2
Rotterdam 2
Rovereto 2
San Diego 2
Santa Maria 2
Santa Rosa 2
Shenzhen 2
Signa 2
Singapore 2
South Bend 2
Sterzing 2
Stockholm 2
Unterentfelden 2
Visakhapatnam 2
Winchester 2
Yekaterinburg 2
Aalst 1
Albignasego 1
Alexandria 1
Alicante 1
Ankara 1
Arlington 1
Atlanta 1
Ban Na Pong 1
Bellevue 1
Blackheath 1
Bougival 1
Totale 547
Salva come PNG Salva come JPEG
Nome #
Consolidating cybersecurity in Europe: A case study on job profiles assessment, file e46393c7-5015-426b-9251-f58508c3ab87 94
The Marriage Between Safety and Cybersecurity: Still Practicing, file e3835198-bacc-72ef-e053-3705fe0ad821 84
FIG: the Finite Improbability Generator v1.3, file 17658bc2-3a51-4bf8-9285-58970d23d4ff 81
A Maturity Assessment Model for Cyber Security Education in Europe, file b6de4d50-a6d3-4c84-a634-a02d506060f0 66
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis, file 8d1e0c87-87d1-4dc1-ace6-1655009a876a 59
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies, file e3835198-e1ba-72ef-e053-3705fe0ad821 47
JANI: Quantitative Model and Tool Interaction, file e3835198-b91c-72ef-e053-3705fe0ad821 35
Automated compositional importance splitting, file e3835198-e3be-72ef-e053-3705fe0ad821 34
Efficient Algorithms for Quantitative Attack Tree Analysis, file e3835198-b924-72ef-e053-3705fe0ad821 27
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth, file c144c5c1-cd44-434d-a230-7cb3f209220d 25
Analysis of non-Markovian repairable fault trees through rare event simulation, file d2ba1544-5cf5-4192-b793-3fc1e42f39d7 24
On Correctness, Precision, and Performance in Quantitative Verification, file e3835198-bfb3-72ef-e053-3705fe0ad821 20
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets, file e3835198-b91e-72ef-e053-3705fe0ad821 19
FIG: The Finite Improbability Generator, file e3835198-c60b-72ef-e053-3705fe0ad821 16
An efficient statistical model checker for nondeterminism and rare events, file e3835199-8b75-72ef-e053-3705fe0ad821 16
Efficient Algorithms for Quantitative Attack Tree Analysis, file 7a2e6602-9267-4d0f-93ca-df52813fcd3f 14
A compositional semantics for Repairable Fault Trees with general distributions, file e3835198-fe26-72ef-e053-3705fe0ad821 14
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters, file f4205346-5caf-455d-862d-e8dcf7c1fc65 14
Replicating RESTART with Prolonged Retrials: An Experimental Report, file e3835198-e1bc-72ef-e053-3705fe0ad821 13
Rare Event Simulation for Non-Markovian Repairable Fault Trees, file e3835198-ffad-72ef-e053-3705fe0ad821 13
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis, file d4d47f28-4b61-413d-bae2-9acb0381d7e1 12
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems, file e3835198-b5b7-72ef-e053-3705fe0ad821 9
The Dynamic Fault Tree Rare Event Simulator, file e3835198-c60f-72ef-e053-3705fe0ad821 6
Using Statistical Model Checking for Cybersecurity Analysis, file 3e0ed267-03b3-40c4-8c62-a94e9d4662f2 5
Compositional Construction of Importance Functions in Fully Automated Importance Splitting, file e3835199-023d-72ef-e053-3705fe0ad821 5
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, file e3835199-023f-72ef-e053-3705fe0ad821 5
FFORT: A Benchmark Suite for Fault Tree Analysis, file e3835198-b5ba-72ef-e053-3705fe0ad821 4
The Road from Stochastic Automata to the Simulation of Rare Events, file e3835199-0243-72ef-e053-3705fe0ad821 4
A compositional semantics for Repairable Fault Trees with general distributions, file 7cf3226f-7ed6-4aca-9900-5d4919b5b0be 3
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe, file 9ea079ba-caeb-4b14-a8c0-92a4a40f8bf7 3
Modelling Smart Buildings Using Fault Maintenance Trees, file e3835198-ffb1-72ef-e053-3705fe0ad821 3
Rare Event Simulation for Non-Markovian Repairable Fault Trees, file 764423e3-4e95-460a-825d-0b272f762228 2
FIG: The Finite Improbability Generator, file a0049530-03b8-48a7-b132-f63500a0ff7d 2
Using Statistical Model Checking for Cybersecurity Analysis, file bebc40a1-18e2-4547-9bec-a47be8a88129 2
Rare Event Simulation with fully automated importance splitting, file e3835198-b5bc-72ef-e053-3705fe0ad821 2
A statistical model checker for nondeterminism and rare events, file e3835198-b5be-72ef-e053-3705fe0ad821 2
Automation of Importance Splitting Techniques for Rare Event Simulation, file e3835198-bfb5-72ef-e053-3705fe0ad821 1
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees, file e3835198-efae-72ef-e053-3705fe0ad821 1
Better Automated Importance Splitting for Transient Rare Events, file e3835198-fe27-72ef-e053-3705fe0ad821 1
Enhanced transport through desorption-mediated diffusion, file e3835198-ffb7-72ef-e053-3705fe0ad821 1
Totale 788
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.140
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 19
Totale 5.159
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202239 0 25 0 0 0 0 0 0 0 7 1 6
2022/2023344 3 0 1 11 47 76 42 59 52 19 20 14
2023/2024405 37 30 26 49 34 51 24 19 25 59 51 0
Totale 788