Ivan Mura

32 papers A* 1A 1C 1Misc 4Journal 14Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A value chain modeling approach for upscaling the production of fine flavor cocoa in Arauca (Colombia).
Int. Trans. Oper. Res.
María F. Cortés, Karla Parra, Daniela Rodríguez, Carlos Ardila, Sebastián Escobar, Bart Van Hoof, Ivan Mura, Jader Rodríguez, Andrés L. Medaglia
2021 J jnl
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.
IEEE Trans. Reliab.
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Ivan Mura
2021 J jnl
aiRe - A web-based R application for simple, accessible and repeatable analysis of urban air quality data.
Environ. Model. Softw.
Juan Jose Diaz Baquero, Ivan Mura, Juan Felipe Franco, Raha Akhavan-Tabatabaei
2019 J jnl
Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants.
J. Braz. Comput. Soc.
Diego Sierra, Leonardo Montecchi, Ivan Mura
2018 — conf
A Discrete Bacterial Chemotaxis Approach to the Design of Cellular Manufacturing Layouts.
ICCSA (1)
Camilo Mejía-Moncayo, Alix E. Rojas, Ivan Mura
2018 — conf
Probabilistic Modeling of Failure Domino Effects in Chemical Plants.
LADC
Diego Sierra, Juan Briceno, Hector Buitrago, Brian Rozo, Leonardo Montecchi, Ivan Mura
2018 Misc conf
Simulation to predict cyclists' Exposure to Air Pollution along Bikeways.
WSC
Daniela Azumendi Gongora, Juan Jose Diaz Baquero, Juan Felipe Franco, Ivan Mura
2016 Misc conf
A compartmentalized simulation model for evaluation of HPV vaccination policies in Colombia.
WSC
Daniela Angulo Diaz, Raha Akhavan-Tabatabaei, Ivan Mura
2016 J jnl
An Integrative Approach to Computational Modelling of the Gene Regulatory Network Controlling Clostridium botulinum Type A1 Toxin Production.
PLoS Comput. Biol.
Adaoha E. C. Ihekwaba, Ivan Mura, John Walshaw, Michael W. Peck, Gary C. Barker
2016 — ch.
Stochastic Modeling.
Modeling in Systems Biology, The Petri Net Approach
Ivan Mura
2014 J jnl
Computational modelling and analysis of the molecular network regulating sporulation initiation in Bacillus subtilis.
BMC Syst. Biol.
Adaoha E. C. Ihekwaba, Ivan Mura, Gary C. Barker
2010 J jnl
Role of mRNA Gestation and Senescence in Noise Reduction during the Cell Cycle.
Silico Biol.
Attila Csikász-Nagy, Ivan Mura
2009 — conf
Analyzing various models of Circadian Clock and Cell Cycle coupling.
Formal Methods in Molecular Biology
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
2009 — conf
Exploiting non-Markovian Bio-Processes.
QAPL
Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel
2009 Misc conf
From ODES to Language-Based, Executable Models of Biological Systems.
Pacific Symposium on Biocomputing
Alida Palmisano, Ivan Mura, Corrado Priami
2008 — conf
Analysing Biochemical Oscillation through Probabilistic Model Checking.
FBTC@ICALP
Paolo Ballarini, Radu Mardare, Ivan Mura
2008 J jnl
Experiments on the reliability of stochastic spiking neural P systems.
Nat. Comput.
Matteo Cavaliere, Ivan Mura
2005 J jnl
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments.
IEEE Wirel. Commun.
George T. Karetsos, Sofoklis A. Kyriazakos, Evangelos Gkroustiotis, Felicita Di Giandomenico, Ivan Mura
2004 J jnl
A Real-Time Monitoring and Intelligent Decisions-Making Platform for Enhanced Radio Resource Management in Wireless Cellular Systems.
Wirel. Pers. Commun.
Sofoklis A. Kyriazakos, George T. Karetsos, Ivan Mura, Evangelos Gkroustiotis, Nikolaos Papaoulakis, Charis Kechagias, Kostas Vlahodimitropoulos
2004 J jnl
Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Trans. Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura
2003 J jnl
Service-Level Availability Estimation of GPRS.
IEEE Trans. Mob. Comput.
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura
2002 — conf
An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks.
ECCBR
Massimo Barbera, Cristina Barbero, Paola Dal Zovo, Fernanda Farinaccio, Evangelos Gkroustiotis, Sofoklis A. Kyriazakos, Ivan Mura, Gianluca Previti
2001 J jnl
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers
Ivan Mura, Andrea Bondavalli
2000 A conf
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
DSN
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini
1999 J jnl
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems.
Real Time Syst.
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
1999 C conf
Automated Dependability Analysis of UML Designs.
ISORC
Andrea Bondavalli, Ivan Mura, István Majzik
1999 — conf
Automatic Dependability Analysis for Supporting Design Decisions in UML.
HASE
Andrea Bondavalli, Ivan Mura, István Majzik
1999 Misc conf
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
1997 — conf
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
HASE
Andrea Bondavalli, Ivan Mura, Manuela Nelli
1997 — conf
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times.
Computer Performance Evaluation
Simonetta Balsamo, Ivan Mura
1997 — conf
Value-driven resource assignment in object-oriented real-time dependable systems.
WORDS
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
1995 A* conf
Approximate Response Time Distribution in Fork and Join Systems.
SIGMETRICS
Simonetta Balsamo, Ivan Mura