Approximate Response Time Distribution in Fork and Join Systems. - Simonetta Balsamo; Ivan Mura (SIGMETRICS, 1995)

On Queue Length Moments in Fork and Join Queuing Networks with General Service Times. - Simonetta Balsamo; Ivan Mura (Computer Performance Evaluation, 1997)

Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. - Andrea Bondavalli; Ivan Mura; Manuela Nelli (HASE, 1997)

Value-driven resource assignment in object-oriented real-time dependable systems. - Andrea Bondavalli; Felicita Di Giandomenico; Ivan Mura (WORDS, 1997)

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. - Andrea Bondavalli; Ivan Mura; Kishor S. Trivedi (EDCC, 1999)

Automatic Dependability Analysis for Supporting Design Decisions in UML. - Andrea Bondavalli; Ivan Mura; István Majzik (HASE, 1999)

Automated Dependability Analysis of UML Designs. - Andrea Bondavalli; Ivan Mura; István Majzik (ISORC, 1999)

An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. - Andrea Bondavalli; Felicita Di Giandomenico; Ivan Mura (Real Time Syst., 1999)

DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. - Andrea Bondavalli; Ivan Mura; Silvano Chiaradonna; Roberto Filippini; S. Poli; F. Sandrini (DSN, 2000)

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. - Ivan Mura; Andrea Bondavalli (IEEE Trans. Computers, 2001)

An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks. - Massimo Barbera; Cristina Barbero; Paola Dal Zovo; Fernanda Farinaccio; Evangelos Gkroustiotis; Sofoklis A. Kyriazakos; Ivan Mura; Gianluca Previti (ECCBR, 2002)

Service-Level Availability Estimation of GPRS. - Stefano Porcarelli; Felicita Di Giandomenico; Andrea Bondavalli; Massimo Barbera; Ivan Mura (IEEE Trans. Mob. Comput., 2003)

Dependability modeling and evaluation of multiple-phased systems using DEEM. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; Ivan Mura (IEEE Trans. Reliab., 2004)

A Real-Time Monitoring and Intelligent Decisions-Making Platform for Enhanced Radio Resource Management in Wireless Cellular Systems. - Sofoklis A. Kyriazakos; George T. Karetsos; Ivan Mura; Evangelos Gkroustiotis; Nikolaos Papaoulakis; Charis Kechagias; Kostas Vlahodimitropoulos (Wirel. Pers. Commun., 2004)

A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. - George T. Karetsos; Sofoklis A. Kyriazakos; Evangelos Gkroustiotis; Felicita Di Giandomenico; Ivan Mura (IEEE Wirel. Commun., 2005)

Analysing Biochemical Oscillation through Probabilistic Model Checking. - Paolo Ballarini; Radu Mardare; Ivan Mura (FBTC@ICALP, 2008)

Experiments on the reliability of stochastic spiking neural P systems. - Matteo Cavaliere; Ivan Mura (Nat. Comput., 2008)

Analyzing various models of Circadian Clock and Cell Cycle coupling. - 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; et al. (Formal Methods in Molecular Biology, 2009)

From ODES to Language-Based, Executable Models of Biological Systems. - Alida Palmisano; Ivan Mura; Corrado Priami (Pacific Symposium on Biocomputing, 2009)

Exploiting non-Markovian Bio-Processes. - Ivan Mura; Davide Prandi; Corrado Priami; Alessandro Romanel (QAPL, 2009)

Role of mRNA Gestation and Senescence in Noise Reduction during the Cell Cycle. - Attila Csikász-Nagy; Ivan Mura (Silico Biol., 2010)

Computational modelling and analysis of the molecular network regulating sporulation initiation in Bacillus subtilis. - Adaoha E. C. Ihekwaba; Ivan Mura; Gary C. Barker (BMC Syst. Biol., 2014)

A compartmentalized simulation model for evaluation of HPV vaccination policies in Colombia. - Daniela Angulo Diaz; Raha Akhavan-Tabatabaei; Ivan Mura (WSC, 2016)

An Integrative Approach to Computational Modelling of the Gene Regulatory Network Controlling Clostridium botulinum Type A1 Toxin Production. - Adaoha E. C. Ihekwaba; Ivan Mura; John Walshaw; Michael W. Peck; Gary C. Barker (PLoS Comput. Biol., 2016)

Stochastic Modeling. - Ivan Mura (Modeling in Systems Biology, The Petri Net Approach, 2016)

A Discrete Bacterial Chemotaxis Approach to the Design of Cellular Manufacturing Layouts. - Camilo Mejía-Moncayo; Alix E. Rojas; Ivan Mura (ICCSA (1), 2018)

Probabilistic Modeling of Failure Domino Effects in Chemical Plants. - Diego Sierra; Juan Briceno; Hector Buitrago; Brian Rozo; Leonardo Montecchi; Ivan Mura (LADC, 2018)

Simulation to predict cyclists' Exposure to Air Pollution along Bikeways. - Daniela Azumendi Gongora; Juan Jose Diaz Baquero; Juan Felipe Franco; Ivan Mura (WSC, 2018)

Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants. - Diego Sierra; Leonardo Montecchi; Ivan Mura (J. Braz. Comput. Soc., 2019)

aiRe - A web-based R application for simple, accessible and repeatable analysis of urban air quality data. - Juan Jose Diaz Baquero; Ivan Mura; Juan Felipe Franco; Raha Akhavan-Tabatabaei (Environ. Model. Softw., 2021)

Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. - Kun Qiu; Zheng Zheng 001; Kishor S. Trivedi; Ivan Mura (IEEE Trans. Reliab., 2021)

A value chain modeling approach for upscaling the production of fine flavor cocoa in Arauca (Colombia). - 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 (Int. Trans. Oper. Res., 2025)