Sfoglia per Autore
Mostrati risultati da 1 a 13 di 13
Automatic Code Generation from Real-Time Systems Specifications
2009 L. Carnevali; D. D'Amico; L. Ridi; E. Vicario
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems
2009 L. Carnevali; L. Ridi; E. Vicario
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems
2010 G. Bucci; L. Carnevali; L. Ridi; E. Vicario
Transient analysis of generalised semi-Markov processes using transient stochastic state classes
2010 A. Horváth; L. Ridi; E. Vicario
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions
2010 A. Horváth; L. Ridi; E. Vicario
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models
2011 L. Carnevali; L. Ridi; E. Vicario
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle
2011 L. Carnevali; L. Ridi; E. Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models
2011 L. Carnevali; L. Ridi; E. Vicario
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers
2011 Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Job scheduler for electromechanical system for biological analyses
2012 Enrico Vicario, Lorenzo Ridi, Andrea Carignano, Jacopo Torrini
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm
2012 Lorenzo Ridi;Jacopo Torrini;Enrico Vicario
Transient analysis of non-Markovian models using stochastic state classes
2012 András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
2013 Laura Carnevali;Lorenzo Ridi;Enrico Vicario
Mostrati risultati da 1 a 13 di 13
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