Hamed Ghasemieh

According to our database, Hamed Ghasemieh authored at least 11 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Survivability analysis of a sewage treatment facility using hybrid Petri nets.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

Perform. Evaluation, 2016

2015

Hybrid Petri nets with multiple stochastic transition firings.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

EAI Endorsed Trans. Self Adapt. Syst., 2015

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo

Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

Energy Resilience Modelling for Smart Houses.

Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Survivability Evaluation of Gas, Water and Electricity Infrastructures.

Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.

Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

2013

Pricing in population games with semi-rational agents.

Hamed Ghasemieh, Mohammad Ghodsi, Hamid Mahini, Mohammad Ali Safari

Oper. Res. Lett., 2013

Analysis of a sewage treatment facility using hybrid Petri nets.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Cascading Failure Tolerance of Modular Small-World Networks.

Mahmoudreza Babaei, Hamed Ghasemieh, Mahdi Jalili

IEEE Trans. Circuits Syst. II Express Briefs, 2011