Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 33
Titolo Anno di pubblicazione Autori Unitn File
Enhanced transport through desorption-mediated diffusion 1-gen-2013 Carlos E. Budde +
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 1-gen-2014 Carlos E. Budde +
Rare Event Simulation with fully automated importance splitting 1-gen-2015 Carlos E. Budde +
Automation of Importance Splitting Techniques for Rare Event Simulation 1-gen-2017 Carlos E. Budde
JANI: Quantitative Model and Tool Interaction 1-gen-2017 Carlos E. Budde +
The Road from Stochastic Automata to the Simulation of Rare Events 1-gen-2017 Carlos E. Budde +
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 1-gen-2017 Carlos E. Budde +
Better Automated Importance Splitting for Transient Rare Events 1-gen-2017 Carlos E. Budde +
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 1-gen-2018 Carlos E. Budde +
A statistical model checker for nondeterminism and rare events 1-gen-2018 Carlos E. Budde +
Modelling Smart Buildings Using Fault Maintenance Trees 1-gen-2018 Carlos E. Budde +
FFORT: A Benchmark Suite for Fault Tree Analysis 1-gen-2019 Carlos E. BuddeSchivo S. +
Automated compositional importance splitting 1-gen-2019 Carlos E. Budde +
Rare Event Simulation for Non-Markovian Repairable Fault Trees 1-gen-2020 Carlos E. Budde +
A compositional semantics for Repairable Fault Trees with general distributions 1-gen-2020 Carlos E. Budde +
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 1-gen-2020 Budde, C. E.Petrucci, L. +
An efficient statistical model checker for nondeterminism and rare events 1-gen-2020 Carlos E. Budde +
The Dynamic Fault Tree Rare Event Simulator 1-gen-2020 Carlos E. Budde +
FIG: The Finite Improbability Generator 1-gen-2020 Carlos E. Budde
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 1-gen-2020 Carlos E. Budde +
Mostrati risultati da 1 a 20 di 33
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile