Sfoglia per Autore
On the Computation of Performance Characteristics of Concurrent Programs using GSPNs
1994-01-01 G., Balbo; S., Donatelli; G., Franceschinis; A., Mazzeo; N., Mazzocca; Ribaudo, Marina
Use of GSPNs for concurrent software validation in EPOCA
1994-01-01 S., Donatelli; G., Franceschinis; Ribaudo, Marina; S., Russo
GSPN and SPA Compared in Practice - Modelling A Distributed Mail System
1995-01-01 S., Donatelli; H., Hermanns; J., Hillston; Ribaudo, Marina
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
1995-01-01 S., Donatelli; Ribaudo, Marina; J., Hillston
Stochastic Petri net semantics for stochastic process algebras
1995-01-01 Ribaudo, Marina
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
1995-01-01 Ribaudo, Marina
GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets
1995-01-01 Chiola, Giovanni; Franceschinis, G.; Gaeta, R.; Ribaudo, Marina
Exploiting Symmetries in Stochastic Process Algebras
1998-01-01 H., Hermanns; Ribaudo, Marina
Efficient Performance Analysis Techniques for Stochastic Well-formed nets and Stochastic Process Algebras
1998-01-01 G., Franceschinis; Ribaudo, Marina
Stochastic Process Algebras: a New Approach to Performance Modeling
1998-01-01 J., Hillston; Ribaudo, Marina
Stochastic Process Algebras
1998-01-01 J., Hillston; Ribaudo, Marina
Integrating Two Towers and GreatSPN
2000-01-01 M., Bernardo; N., Busi; Ribaudo, Marina
Diagnosis and Diagnosability Analysis Using PEPA
2000-01-01 L., Console; C., Picardi; Ribaudo, Marina
Exploiting Modal Logic to Express Performance Measures
2000-01-01 G., Clark; S., Gilmore; J., Hillston; Ribaudo, Marina
An Efficient Algorithm for Aggregating PEPA Models
2001-01-01 S., Gilmore; J., Hillston; Ribaudo, Marina
A Comparison of the Expressiveness of SPA and Bounded SPN models
2001-01-01 J., Hillston; L., Recalde; Ribaudo, Marina; M., Silva
Process algebras for systems diagnosis
2002-01-01 L., Console; C., Picardi; Ribaudo, Marina
PEPA nets: A structured performance modelling formalism
2002-01-01 S., Gilmore; J., Hillston; Ribaudo, Marina
Integrating TwoTowers and GreatSPN through a Compact Net Semantics
2002-01-01 M., Bernardo; N., Busi; Ribaudo, Marina
PEPA nets: A structured performance modelling formalism
2003-01-01 S., Gilmore; J., Hillston; L., Kloul; Ribaudo, Marina
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