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