Interests / Fields

Computer science Model checking Probabilistic logic Theoretical computer science Abstraction model checking Formal verification Modeling language Markov decision process Programming language State space Architecture Probabilistic analysis of algorithms Probabilistic CTL Probabilistic relevance model Software architecture User requirements document Operational semantics Architecture description language Software Divergence-from-randomness model

Publications List