Jakob Haahr Taankvist

Jakob Haahr Taankvist

PhD student, Aalborg University, Department of Computer Science
Verified email at cs.aau.dk
Cited by 574
Formal Methods Timed Systems Machine Learning Model Checking Statistical Model Checking
Hamed Ghasemieh

Hamed Ghasemieh

PhD, University of Twente
Verified email at utwente.nl
Cited by 320
Hybrid systems Statistical model checking Game theory
Lucian Bentea

Lucian Bentea

PhD in Computer Science, University of Oslo
Cited by 296
Rewriting logic Statistical model checking Monte Carlo methods Computational systems biology Combinatorics
Erik Wognsen

Erik Wognsen

PhD student, Aalborg University, Department of Computer Science
Verified email at cs.aau.dk
Cited by 188
Computer Security Formal Verification Model Checking Statistical Model Checking
Carina da Silva

Carina da Silva

Researcher, University of Münster
Verified email at uni-muenster.de
Cited by 185
stochastic hybrid systems discrete-event simulation Statistical Model Checking
Lin Gui

Lin Gui

PhD student in School of Computing, National University of Singapore
Cited by 75
Reliability Analysis of Nondeterministic … Model checking Formal Methods Statistical Model Checking Probabilistic Model
Rohan Kela

Rohan Kela

Computer Science Undergraduate, BITS Pilani
Verified email at pilani.bits-pilani.ac.in
Cited by 61
Statistical Model Checking Attack Trees Fault Trees Uppaal
Shiraj Arora

Shiraj Arora

Postdoc at Aalborg University
Verified email at cs.aau.dk
Cited by 32
Probabilistic Model Checking Statistical Model Checking Formal Verification Formal Methods
Muhammad Naeem

Muhammad Naeem

Aalborg University, Aalborg, Denmark
Verified email at cs.aau.dk
Cited by 19
Formal Verification Statistical Model Checking Strategy Synthesis
Roberto Casaluce

Roberto Casaluce

University of Pisa and Sant'Anna School of Advanced Studies, Pisa
Verified email at santannapisa.it
Cited by 7
Statistical Model Checking Process Mining Natural Language Processing