Ivan Mura

According to our database1, Ivan Mura authored at least 29 papers between 1995 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants.
J. Braz. Comput. Soc., 2019

Simulation to predict cyclists' Exposure to Air Pollution along Bikeways.
Proceedings of the 2018 Winter Simulation Conference, 2018

Probabilistic Modeling of Failure Domino Effects in Chemical Plants.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

A Discrete Bacterial Chemotaxis Approach to the Design of Cellular Manufacturing Layouts.
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018

Stochastic Modeling.
Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

An Integrative Approach to Computational Modelling of the Gene Regulatory Network Controlling Clostridium botulinum Type A1 Toxin Production.
PLoS Comput. Biol., 2016

A compartmentalized simulation model for evaluation of HPV vaccination policies in Colombia.
Proceedings of the Winter Simulation Conference, WSC 2016, 2016

Computational modelling and analysis of the molecular network regulating sporulation initiation in Bacillus subtilis.
BMC Syst. Biol., 2014

Role of mRNA Gestation and Senescence in Noise Reduction during the Cell Cycle.
Silico Biol., 2010

Exploiting non-Markovian Bio-Processes.
Electron. Notes Theor. Comput. Sci., 2009

Analysing Biochemical Oscillation through Probabilistic Model Checking.
Electron. Notes Theor. Comput. Sci., 2009

From ODES to Language-Based, Executable Models of Biological Systems.
Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009

Analyzing various models of Circadian Clock and Cell Cycle coupling.
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

Experiments on the reliability of stochastic spiking neural P systems.
Nat. Comput., 2008

A hierarchical radio resource management framework for integrating WLANs in cellular networking environments.
IEEE Wirel. Commun., 2005

A Real-Time Monitoring and Intelligent Decisions-Making Platform for Enhanced Radio Resource Management in Wireless Cellular Systems.
Wirel. Pers. Commun., 2004

Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Trans. Reliab., 2004

Service-Level Availability Estimation of GPRS.
IEEE Trans. Mob. Comput., 2003

An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks.
Proceedings of the Advances in Case-Based Reasoning, 6th European Conference, 2002

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers, 2001

DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems.
Real Time Syst., 1999

Automated Dependability Analysis of UML Designs.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Automatic Dependability Analysis for Supporting Design Decisions in UML.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
Proceedings of the Dependable Computing, 1999

Value-driven resource assignment in object-oriented real-time dependable systems.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

On Queue Length Moments in Fork and Join Queuing Networks with General Service Times.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

Approximate Response Time Distribution in Fork and Join Systems.
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995