| 2009 |
|---|
| 14 | EE | Paolo Ballarini,
Radu Mardare,
Ivan Mura:
Analysing Biochemical Oscillation through Probabilistic Model Checking.
Electr. Notes Theor. Comput. Sci. 229(1): 3-19 (2009) |
| 2008 |
|---|
| 13 | EE | Matteo Cavaliere,
Ivan Mura:
Experiments on the reliability of stochastic spiking neural P systems.
Natural Computing 7(4): 453-470 (2008) |
| 2004 |
|---|
| 12 | EE | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Ivan Mura:
Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Transactions on Reliability 53(4): 509-522 (2004) |
| 2003 |
|---|
| 11 | EE | Stefano Porcarelli,
Felicita Di Giandomenico,
Andrea Bondavalli,
Massimo Barbera,
Ivan Mura:
Service-Level Availability Estimation of GPRS.
IEEE Trans. Mob. Comput. 2(3): 233-247 (2003) |
| 2002 |
|---|
| 10 | EE | Massimo Barbera,
Cristina Barbero,
Paola Dal Zovo,
Fernanda Farinaccio,
Evangelos Gkroustiotis,
Sofoklis A. Kyriazakos,
Ivan Mura,
Gianluca Previti:
An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks.
ECCBR 2002: 490-504 |
| 2001 |
|---|
| 9 | EE | Ivan Mura,
Andrea Bondavalli:
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers 50(12): 1337-1351 (2001) |
| 2000 |
|---|
| 8 | EE | Andrea Bondavalli,
Ivan Mura,
Silvano Chiaradonna,
Roberto Filippini,
S. Poli,
F. Sandrini:
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
DSN 2000: 231-236 |
| 1999 |
|---|
| 7 | EE | Andrea Bondavalli,
Ivan Mura,
Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC 1999: 7-23 |
| 6 | EE | Andrea Bondavalli,
Ivan Mura,
István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML.
HASE 1999: 64- |
| 5 | EE | Andrea Bondavalli,
Ivan Mura,
István Majzik:
Automated Dependability Analysis of UML Designs.
ISORC 1999: 139- |
| 4 | | Andrea Bondavalli,
Felicita Di Giandomenico,
Ivan Mura:
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems.
Real-Time Systems 16(1): 5-30 (1999) |
| 1997 |
|---|
| 3 | | Simonetta Balsamo,
Ivan Mura:
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times.
Computer Performance Evaluation 1997: 218-231 |
| 2 | EE | Andrea Bondavalli,
Ivan Mura,
Manuela Nelli:
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
HASE 1997: 85- |
| 1995 |
|---|
| 1 | | Simonetta Balsamo,
Ivan Mura:
Approximate Response Time Distribution in Fork and Join Systems.
SIGMETRICS 1995: 305-306 |
