Jakob Haahr Taankvist

Jakob Haahr Taankvist

PhD student, Aalborg University, Department of Computer Science
在 cs.aau.dk 的电子邮件经过验证
被引用次数：593
Formal Methods Timed Systems Machine Learning Model Checking Statistical Model Checking
Hamed Ghasemieh

Hamed Ghasemieh

PhD, University of Twente
在 utwente.nl 的电子邮件经过验证
被引用次数：326
Hybrid systems Statistical model checking Game theory
Lucian Bentea

Lucian Bentea

PhD in Computer Science, University of Oslo
被引用次数：304
Rewriting logic Statistical model checking Monte Carlo methods Computational systems biology Combinatorics
Carina da Silva

Carina da Silva

University of Münster
在 uni-muenster.de 的电子邮件经过验证
被引用次数：206
stochastic hybrid systems discrete-event simulation Statistical Model Checking
Erik Wognsen

Erik Wognsen

PhD student, Aalborg University, Department of Computer Science
在 cs.aau.dk 的电子邮件经过验证
被引用次数：190
Computer Security Formal Verification Model Checking Statistical Model Checking
Lin Gui

Lin Gui

PhD student in School of Computing, National University of Singapore
被引用次数：75
Reliability Analysis of Nondeterministic … Model checking Formal Methods Statistical Model Checking Probabilistic Model
Rohan Kela

Rohan Kela

Computer Science Undergraduate, BITS Pilani
在 pilani.bits-pilani.ac.in 的电子邮件经过验证
被引用次数：73
Statistical Model Checking Attack Trees Fault Trees Uppaal
Shiraj Arora

Shiraj Arora

Postdoc at Aalborg University
在 cs.aau.dk 的电子邮件经过验证
被引用次数：33
Probabilistic Model Checking Statistical Model Checking Formal Verification Formal Methods
Muhammad Naeem

Muhammad Naeem

Postdoctoral Researcher, Mälardalens University, Västerås, Sweden
在 mdu.se 的电子邮件经过验证
被引用次数：22
Formal Verification Statistical Model Checking Strategy Synthesis
Roberto Casaluce

Roberto Casaluce

University of Pisa and Sant'Anna School of Advanced Studies, Pisa
在 santannapisa.it 的电子邮件经过验证
被引用次数：15
Statistical Model Checking Process Mining Natural Language Processing