Automata Wiki
select Benchmark
BenchmarkABP
BenchmarkBankcard
BenchmarkBRP
BenchmarkCircuits
BenchmarkEdentifier2
BenchmarkESMcontroller
BenchmarkFIFOset
BenchmarkFWGC
BenchmarkIEC60870-5-104
BenchmarkLogin
BenchmarkMap
BenchmarkMQTT
BenchmarkMultiLogin
BenchmarkPassport
BenchmarkQueue
BenchmarkRepdigitPalindrome
BenchmarkSIP
BenchmarkSSH
BenchmarkStack
BenchmarkTCP
BenchmarkTLS
BenchmarkToyModels
Home
Please contribute!
Benchmarks
Overview
Benchmark structure
Syntax models →
Evaluation criteria
Downloads
Challenges
RERS
ZULU
?
Software
Tools
Scripts
People
Contributors
Further reading
Bibliography
print
·
source
·
login
Home
»
Contributors
Contributors
Fides Aarts
Alexander Fedotov
Paul Fiterau-Brostean
Falk Howar
Harco Kuppens
Joshua Moerman
Erik Poll
Joeri de Ruiter
Frits Vaandrager
