Publications
Publications found: 392
- Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras
Giuliana Franceschinis, Marina Ribaudo
Published on Petri Nets (2), 1996, Pages: 386-437
- Refinement Types for Program Analysis
Mario Coppo, Ferruccio Damiani, Paola Giannini
Published on SAS'96, Ed. Springer, 1996, Pages: 143-158
- Multiple Inheritance and Class Composition
Paola Giannini, S. Ricaldone
Published on Dipartimento di Informatica, Università di Torino, Ed. Dipartimento di Informatica, Università di Torino, 1996
- GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo
Published on Perform. Eval. Vol. 24 n. 1-2, 1995, Pages: 47-68
- State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems
Susanna Donatelli, Giuliana Franceschinis
Published on SIGMETRICS, 1995, Pages: 303-304
- Principal Types and Unification For a Simple Intersection Type System
Mario Coppo, Paola Giannini
Published on Information and Computation 122, 1995, Pages: 70--96
- Use of GSPNs for concurrent software validation in EPOCA
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
Published on Information & Software Technology Vol. 36 n. 7, 1994, Pages: 443-448
- On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs
G. Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
Published on Perform. Eval. Vol. 19 n. 2-3, 1994, Pages: 195-222
- Bounds for Quasi-Lumpable Markow Chains
Giuliana Franceschinis, Richard R. Muntz
Published on Perform. Eval. Vol. 20 n. 1-3, 1994, Pages: 223-243
- Software Architecture of the EPOCA Integrated Environment
Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
Published on Computer Performance Evaluation, 1994, Pages: 335-352
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 > »
