Ivan Mura
Ivan Mura
Associate Professor at Duke Kunshan University
Verified email at dukekunshan.edu.cn
Title
Cited by
Cited by
Year
Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability
I Mura, A Bondavalli
IEEE Transactions on Computers, 1337-1351, 2001
1592001
Dependability modeling and evaluation of multiple-phased systems using DEEM
A Bondavalli, S Chiaradonna, F Di Giandomenico, I Mura
IEEE Transactions on Reliability 53 (4), 509-522, 2004
1222004
Stochastic Petri Net extension of a yeast cell cycle model
I Mura, A Csikász-Nagy
Journal of theoretical biology 254 (4), 850-860, 2008
852008
Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach
I Mura, A Bondavalli, X Zang, KS Trivedi
Dependable Computing for Critical Applications 7, 1999, 319 - 337, 1999
801999
An efficient and exact stochastic simulation method to analyze rare events in biochemical systems
H Kuwahara, I Mura
The Journal of chemical physics 129 (16), 10B619, 2008
782008
Automatic dependability analysis for supporting design decisions in UML
A Bondavalli, I Majzik, I Mura
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
731999
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
721999
Hierarchical modeling and evaluation of phased-mission systems
I Mura, A Bondavalli
IEEE Transactions on Reliability 48 (4), 360-368, 1999
631999
DEEM: a tool for the dependability modeling and evaluation of multiple phased systems
A Bondavalli, I Mural, S Chiaradonna, R Filippini, S Poli, F Sandrini
Dependable Systems and Networks, 2000. DSN 2000. Proceedings International …, 2000
462000
Dependability modelling and sensitivity analysis of scheduled maintenance systems
A Bondavalli, I Mura, KS Trivedi
European Dependable Computing Conference, 7-23, 1999
431999
Analysing biochemical oscillation through probabilistic model checking
P Ballarini, R Mardare, I Mura
Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009
372009
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments
GT Karetsos, SA Kyriazakos, E Groustiotis, F Di Giandomenico, I Mura
IEEE Wireless Communications 12 (6), 11-17, 2005
352005
Analytical modelling and evaluation of phased-mission systems for space applications
A Bondavalli, I Mural, M Nelli
High-Assurance Systems Engineering Workshop, 1997., Proceedings, 85-91, 1997
341997
Service-level availability estimation of GPRS
S Porcarelli, F Di Giandomenico, A Bondavalli, M Barbera, I Mura
IEEE Transactions on Mobile Computing 2 (3), 233-247, 2003
302003
Exploiting non-markovian bio-processes
I Mura, D Prandi, C Priami, A Romanel
Electronic Notes in Theoretical Computer Science 253 (3), 83-98, 2009
232009
Experiments on the reliability of stochastic spiking neural P systems
M Cavaliere, I Mura
Natural Computing 7 (4), 453-470, 2008
212008
Approximate response time distribution in Fork and Join systems
S Balsamo, I Mura
Proceedings of the 1995 ACM SIGMETRICS joint international conference on …, 1995
211995
How Do People Understand Urban Air Pollution? Exploring Citizens’ Perception on Air Quality, Its Causes and Impacts in Colombian Cities
O Ramírez, I Mura, JF Franco
Open Journal of Air Pollution 6 (1), 1-17, 2017
152017
From Odes to Language-based, executable models of Biological Systems
A Palmisano, I Mura, C Priami
Biocomputing 2009, 239-250, 2009
152009
Value-driven resource assignment in object-oriented real-time dependable systems
A Bondavalli, F Di Giandomenico, I Mura
Proceedings Third International Workshop on Object-Oriented Real-Time …, 1997
131997
The system can't perform the operation now. Try again later.
Articles 1–20