RIDI, LORENZO

RIDI, LORENZO  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autore(i) File
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