IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 690
EU - Europa 253
AS - Asia 117
AF - Africa 2
SA - Sud America 1
Totale 1.063
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 685
IT - Italia 160
SG - Singapore 74
BG - Bulgaria 36
GB - Regno Unito 27
ID - Indonesia 20
CN - Cina 12
DE - Germania 10
FR - Francia 7
CA - Canada 5
FI - Finlandia 5
GR - Grecia 3
JO - Giordania 3
DK - Danimarca 2
IN - India 2
LK - Sri Lanka 2
PK - Pakistan 2
BE - Belgio 1
CL - Cile 1
KR - Corea 1
MA - Marocco 1
NL - Olanda 1
UA - Ucraina 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 1.063
Salva come PNG Salva come JPEG
Città #
Chandler 104
Trento 91
San Mateo 87
Columbus 53
Singapore 53
Fairfield 51
Princeton 50
New York 48
Sofia 36
Ashburn 29
San Diego 21
Wilmington 21
Jakarta 20
Houston 14
London 13
Cambridge 11
Seattle 11
Los Angeles 10
Ann Arbor 9
Bassano del Grappa 9
Santa Clara 9
Verona 8
Washington 7
Falls Church 4
Norwalk 4
Rome 4
Caserta 3
Helsinki 3
Milan 3
Paris 3
Prescot 3
Vicenza 3
Woodbridge 3
Albignasego 2
Boardman 2
Comabbio 2
Como 2
Dallas 2
Karachi 2
Lappeenranta 2
Nanning 2
Negrar 2
Ragama 2
Regensburg 2
South Bend 2
Surrey 2
Wandsworth 2
Xi'an 2
Acqui Terme 1
Bari 1
Changsha 1
Chicago 1
Chiswick 1
Daiano 1
Duisburg 1
Florence 1
Ghaziabad 1
Harbin 1
Harelbeke 1
Hyderabad 1
Igny-Comblizy 1
Islington 1
Johannesburg 1
Lavis 1
Lyngby 1
Naples 1
Nuremberg 1
Padova 1
Saarbrücken 1
Santiago 1
Wuhan 1
Totale 851
Salva come PNG Salva come JPEG
Nome #
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 56
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 54
An efficient statistical model checker for nondeterminism and rare events 50
Efficient Algorithms for Quantitative Attack Tree Analysis 49
The Dynamic Fault Tree Rare Event Simulator 49
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 49
Automated compositional importance splitting 49
A compositional semantics for Repairable Fault Trees with general distributions 48
The Marriage Between Safety and Cybersecurity: Still Practicing 47
FIG: The Finite Improbability Generator 43
FFORT: A Benchmark Suite for Fault Tree Analysis 42
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 41
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report 40
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 38
A Maturity Assessment Model for Cyber Security Education in Europe 36
Rare Event Simulation for Non-Markovian Repairable Fault Trees 36
JANI: Quantitative Model and Tool Interaction 36
Better Automated Importance Splitting for Transient Rare Events 34
Replicating RESTART with Prolonged Retrials: An Experimental Report 33
Enhanced transport through desorption-mediated diffusion 32
Automation of Importance Splitting Techniques for Rare Event Simulation 32
Consolidating cybersecurity in Europe: A case study on job profiles assessment 30
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 27
Analysis of non-Markovian repairable fault trees through rare event simulation 25
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 25
FIG: the Finite Improbability Generator v1.3 24
A statistical model checker for nondeterminism and rare events 24
Modelling Smart Buildings Using Fault Maintenance Trees 24
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 23
Rare Event Simulation with fully automated importance splitting 23
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 23
The Road from Stochastic Automata to the Simulation of Rare Events 23
Using Statistical Model Checking for Cybersecurity Analysis 22
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 12
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 1.204
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.021
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 347
Totale 12.368
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/2025194 20 6 9 124 35 0 0 0 0 0 0 0
Totale 1.204