RIDI, LORENZO
RIDI, LORENZO
Mostra
records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.039 secondi).
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models
2011 L. Carnevali; L. Ridi; E. Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
2013 Laura Carnevali;Lorenzo Ridi;Enrico Vicario
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions
2010 A. Horváth; L. Ridi; E. Vicario
Automatic Code Generation from Real-Time Systems Specifications
2009 L. Carnevali; D. D'Amico; L. Ridi; E. Vicario
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm
2012 Lorenzo Ridi;Jacopo Torrini;Enrico Vicario
Job scheduler for electromechanical system for biological analyses
2012 Enrico Vicario, Lorenzo Ridi, Andrea Carignano, Jacopo Torrini
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems
2010 G. Bucci; 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
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle
2011 L. Carnevali; 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
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems
2009 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
Transient analysis of non-Markovian models using stochastic state classes
2012 András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario