Ivan Mura

Publication Activity (10 Years)

Years Active: 1995-2021
Publications (10 Years): 8

Top Topics

Probabilistic Modeling

Cellular Manufacturing

Simulation Model

Statistical Analysis

Top Venues

IEEE Trans. Reliab.

Publications

Juan Jose Diaz Baquero, Ivan Mura, Juan Felipe Franco, Raha Akhavan-Tabatabaei
aiRe - A web-based R application for simple, accessible and repeatable analysis of urban air quality data. Environ. Model. Softw. 138 (2021)
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Ivan Mura
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Trans. Reliab. 70 (3) (2021)
Diego Sierra, Leonardo Montecchi, Ivan Mura
Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants. J. Braz. Comput. Soc. 25 (1) (2019)
Camilo Mejía-Moncayo, Alix E. Rojas, Ivan Mura
A Discrete Bacterial Chemotaxis Approach to the Design of Cellular Manufacturing Layouts. ICCSA (1) (2018)
Diego Sierra, Juan Briceno, Hector Buitrago, Brian Rozo, Leonardo Montecchi, Ivan Mura
Probabilistic Modeling of Failure Domino Effects in Chemical Plants. LADC (2018)
Daniela Azumendi Gongora, Juan Jose Diaz Baquero, Juan Felipe Franco, Ivan Mura
Simulation to predict cyclists' Exposure to Air Pollution along Bikeways. WSC (2018)
Adaoha E. C. Ihekwaba, Ivan Mura, John Walshaw, Michael W. Peck, Gary C. Barker
An Integrative Approach to Computational Modelling of the Gene Regulatory Network Controlling Clostridium botulinum Type A1 Toxin Production. PLoS Comput. Biol. 12 (11) (2016)
Daniela Angulo Diaz, Raha Akhavan-Tabatabaei, Ivan Mura
A compartmentalized simulation model for evaluation of HPV vaccination policies in Colombia. WSC (2016)
Adaoha E. C. Ihekwaba, Ivan Mura, Gary C. Barker
Computational modelling and analysis of the molecular network regulating sporulation initiation in Bacillus subtilis. BMC Syst. Biol. 8 (2014)
Attila Csikász-Nagy, Ivan Mura
Role of mRNA Gestation and Senescence in Noise Reduction during the Cell Cycle. Silico Biol. 10 (1-2) (2010)
Paolo Ballarini, Radu Mardare, Ivan Mura
Analysing Biochemical Oscillation through Probabilistic Model Checking. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology (2009)
Alida Palmisano, Ivan Mura, Corrado Priami
From ODES to Language-Based, Executable Models of Biological Systems. Pacific Symposium on Biocomputing (2009)
Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel
Exploiting non-Markovian Bio-Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Matteo Cavaliere, Ivan Mura
Experiments on the reliability of stochastic spiking neural P systems. Nat. Comput. 7 (4) (2008)
George T. Karetsos, Sofoklis A. Kyriazakos, Evangelos Gkroustiotis, Felicita Di Giandomenico, Ivan Mura
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. IEEE Wirel. Commun. 12 (6) (2005)
Sofoklis A. Kyriazakos, George T. Karetsos, Ivan Mura, Evangelos Gkroustiotis, Nikolaos Papaoulakis, Charis Kechagias, Kostas Vlahodimitropoulos
A Real-Time Monitoring and Intelligent Decisions-Making Platform for Enhanced Radio Resource Management in Wireless Cellular Systems. Wirel. Pers. Commun. 30 (2-4) (2004)
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura
Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Trans. Reliab. 53 (4) (2004)
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura
Service-Level Availability Estimation of GPRS. IEEE Trans. Mob. Comput. 2 (3) (2003)
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)
Ivan Mura, Andrea Bondavalli
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. IEEE Trans. Computers 50 (12) (2001)
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)
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC (1999)
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. Real Time Syst. 16 (1) (1999)
Andrea Bondavalli, Ivan Mura, István Majzik
Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE (1999)
Andrea Bondavalli, Ivan Mura, István Majzik
Automated Dependability Analysis of UML Designs. ISORC (1999)
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
Value-driven resource assignment in object-oriented real-time dependable systems. WORDS (1997)
Andrea Bondavalli, Ivan Mura, Manuela Nelli
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. HASE (1997)
Simonetta Balsamo, Ivan Mura
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times. Computer Performance Evaluation (1997)
Simonetta Balsamo, Ivan Mura
Approximate Response Time Distribution in Fork and Join Systems. SIGMETRICS (1995)