BERNARDO, MARCO
BERNARDO, MARCO
AFORM - AREA FORMAZIONE E DOTTORATO
Personale esterno ed autonomi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.039 secondi).
Causal Reversibility Implies Time Reversibility
2023 Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.
Formal Methods for Web Services
2009 Bernardo, M.; Padovani, L.; Zavattaro, G.
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007 Bernardo, Marco; Padovani, Luca
QoS evaluation of IP telephony services: A specification language based simulation software tool
2003 Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R.
Comparing the QoS of Internet Audio Mechanisms via Formal Methods
2001 Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M.
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
1998 Bernardo M.; Gorrieri R.; Roccetti M.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Causal Reversibility Implies Time Reversibility | Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper.pdf |
| Formal Methods for Web Services | Bernardo, M.; Padovani, L.; Zavattaro, G. | 2009-01-01 | - | Springer | 3.02 Curatela | - |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | Bernardo, Marco; Padovani, Luca | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| QoS evaluation of IP telephony services: A specification language based simulation software tool | Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R. | 2003-01-01 | SYSTEMS ANALYSIS, MODELLING, SIMULATION | - | 1.01 Articolo in rivista | - |
| Comparing the QoS of Internet Audio Mechanisms via Formal Methods | Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M. | 2001-01-01 | ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | - | 1.01 Articolo in rivista | - |
| Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet | Bernardo M.; Gorrieri R.; Roccetti M. | 1998-01-01 | FORMAL ASPECTS OF COMPUTING | - | 1.01 Articolo in rivista | - |