Cannabis Indica

thcscience_admin
Bernhard Steffen

Bernhard Steffen

Professor für Informatik, TU Dortmund
Verified email at cs.uni-dortmund.de
Cited by 17109
Programmiersysteme Verifikation Validierung Model Checking Automata Learning
Frits W. Vaandrager

Frits W. Vaandrager

Professor of Computer Science, Radboud University
Verified email at cs.ru.nl
Cited by 11721
Formal Methods Concurrency Theory Verification Model Checking Automata Learning
Jan Tretmans

Jan Tretmans

Research Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, Nijmegen
Verified email at cs.ru.nl
Cited by 6474
Model-Based Testing Formal Methods Software Quality Automata Learning
Falk Howar

Falk Howar

TU Dortmund
Verified email at tu-dortmund.de
Cited by 2919
computer science formal methods automata learning
Bernhard Aichernig

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)
Verified email at ist.tugraz.at
Cited by 2866
Formal Methods Software Testing Model-based Testing Mutation Testing Automata Learning
Maik Merten

Maik Merten

Teacher, Federal University of Applied Administrative Sciences
Verified email at tu-dortmund.de
Cited by 977
automata learning model based software development web technologies
Fides Aarts

Fides Aarts

ASML
Verified email at asml.com
Cited by 874
automata learning active learning model-based testing
Martin Tappler

Martin Tappler

TU Wien
Verified email at ist.tugraz.at
Cited by 658
Model-Based Testing Automata Learning Trustworthy AI
Paul Fiterau

Paul Fiterau

Postdoctoral Researcher at Uppsala University, Sweden
Verified email at it.uu.se
Cited by 581
Automata Learning Conformance Testing Fuzzing Network Protocols
Kohei SUENAGA

Kohei SUENAGA

Kyoto University
Verified email at kuis.kyoto-u.ac.jp
Cited by 517
Program Verification Automata Learning Hybrid System Type Systems Machine Learning
1 - 10

Leave a Reply