Sfoglia per Autore
Enhanced transport through desorption-mediated diffusion
2013-01-01 Rojo, Félix; Budde, Carlos E.; H. S., Wio; Ernesto Budde, Carlos
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
2014-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; P., Sanchez Terraf; N., Wolovick
Rare Event Simulation with fully automated importance splitting
2015-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hermanns, Holger
Automation of Importance Splitting Techniques for Rare Event Simulation
2017-01-01 Budde, Carlos E.
JANI: Quantitative Model and Tool Interaction
2017-01-01 Budde, Carlos E.; C., Dehnert; E. M., Hahn; Hartmanns, Arnd; S., Junges; A., Turrini
The Road from Stochastic Automata to the Simulation of Rare Events
2017-01-01 D'Argenio, Pedro R.; Budde, Carlos E.; M. D., Lee; Monti, Raúl E.; L., Rodriguez; N., Wolovick
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
2017-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Monti, Raúl E.
Better Automated Importance Splitting for Transient Rare Events
2017-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
2018-01-01 Abate, Alessandro; Budde, Carlos E.; Cauchi, Nathalie; (Khaza Anuarul), Hoque; Stoelinga, Mariëlle
A statistical model checker for nondeterminism and rare events
2018-01-01 Budde, Carlos E.; R. D'Argenio., Pedro; Hartmanns, Arnd; Sedwards, Sean
Modelling Smart Buildings Using Fault Maintenance Trees
2018-01-01 A., Abate; Budde, Carlos E.; N., Cauchi; A., van Harmelen; K. A., Hoque; Stoelinga, Mariëlle
FFORT: A Benchmark Suite for Fault Tree Analysis
2019-01-01 Ruijters, E.; Budde, Carlos E.; Nakhaee, M. C.; Stoelinga, M.; Bucur, D.; Hiemstra, D.; Schivo, S.
Automated compositional importance splitting
2019-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd
Rare Event Simulation for Non-Markovian Repairable Fault Trees
2020-01-01 Budde, Carlos E.; Biagi, Marco; Monti, Raúl E.; D'Argenio, Pedro R.; Stoelinga, Mariëlle
A compositional semantics for Repairable Fault Trees with general distributions
2020-01-01 Monti, Raúl E.; Budde, Carlos E.; D'Argenio, Pedro R.
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
2020-01-01 Arias, J.; Budde, C. E.; Penczek, W.; Petrucci, L.; Sidoruk, T.; Stoelinga, M.
An efficient statistical model checker for nondeterminism and rare events
2020-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd; Sedwards, Sean
The Dynamic Fault Tree Rare Event Simulator
2020-01-01 Budde, Carlos E.; E., Ruijters; Stoelinga, Mariëlle
FIG: The Finite Improbability Generator
2020-01-01 Budde, Carlos E.
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
2020-01-01 Budde, Carlos E.; Stoelinga, Mariëlle
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