Moritz Hahn
    Phone: +44 (0)28 9097 6813

    For media contact email comms.office@qub.ac.uk
    or call +44(0)2890 973091.

    View graph of relations

    Research Interests

    My research area is located in the area of formal methods. I work in probabilistic model checking, which is the automatic analysis of properties (given e.g. as ω-regular languages) of stochastic models (such as for instance Markov decision processes). Within this area, I am especially interested in

    • very large or infinitely large models,
    • parametric and interval Markov models,
    • stochastic parity games,
    • stochastic hybrid (discrete-continuous) systems,
    • efficient algorithms for deciding linear time logic properties,
    • quantum Markov models, and
    • learning of Markov models.

    View all

    Frequent Journals

    • Fundamenta Informaticae

      ISSNs: 0169-2968

      Additional searchable ISSN (Electronic): 1875-8681

      IOS Press

      Scopus rating (2017): CiteScore 0.95 SJR 0.332 SNIP 0.744

      Journal

    • IEEE Transactions on Reliability

      ISSNs: 0018-9529

      Additional searchable ISSN (Electronic): 1558-1721

      Institute of Electrical and Electronics Engineers Inc.

      Scopus rating (2017): CiteScore 3.49 SJR 1.444 SNIP 1.986

      Journal

    • European Journal of Control

      ISSNs: 0947-3580

      Lavoisier

      Scopus rating (2017): CiteScore 2.53 SJR 1.174 SNIP 1.841

      Journal

    • ACM Transactions on Modeling and Computer Simulation

      ISSNs: 1049-3301

      Additional searchable ISSN (Electronic): 1558-1195

      Scopus rating (2017): CiteScore 1.41

      Journal

    • ECEASST

      ISSNs: 1863-2122

      Scopus rating (2017): CiteScore 0.48

      Journal

    View all »

    ID: 159649945