Sfoglia per Autore
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software
2007 L. Carnevali; L. Sassoli; E. Vicario
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool
2007 L. Carnevali; L. Sassoli; E. Vicario
A tool supporting evaluation of non-MarkovianFault Trees
2008 G. Bucci; L. Carnevali; E. Vicario
A tailored V-Model exploiting the theory of preemptive Time Petri Nets
2008 L.Carnevali; L.Grassi; E.Vicario
State-density functions over DBM domains in the analysis of non-Markovian models
2009 L.Carnevali; L.Grassi; E.Vicario
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems
2009 L. Carnevali; L. Ridi; E. Vicario
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems
2009 E. Vicario; L. Sassoli; L. Carnevali
Automatic Code Generation from Real-Time Systems Specifications
2009 L. Carnevali; D. D'Amico; L. Ridi; E. Vicario
Formal methods in the development life cycle of real-time software
2010 L. Carnevali
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems
2010 G. Bucci; 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
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models
2011 L. Carnevali; L. Ridi; E. Vicario
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters
2011 L. Carnevali; J. Giuntini; E. Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models
2011 L. Carnevali; L. Ridi; E. Vicario
A formal approach to design and verification of two-level Hierarchical Scheduling systems
2011 L. Carnevali; G. Lipari; A. Pinzuti; E. Vicario
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study
2013 I. Bicchierai;G. Bucci;L. Carnevali;E. Vicario
Compositional Verification for Hierarchical Scheduling of Real-Time systems
2013 Laura Carnevali;Alessandro Pinzuti;Enrico Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
2013 Laura Carnevali;Lorenzo Ridi;Enrico Vicario
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration
2013 S. Ballerini; L. Carnevali; M. Paolieri; K. Tadano; F. Machida
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software
2013 L. Carnevali; M. Paolieri; A. Santoni; E. Vicario
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