Automata Wiki
select Benchmark
BenchmarkABP
BenchmarkASMLRERS2019
BenchmarkBankcard
BenchmarkBRP
BenchmarkCircuits
BenchmarkCoffeeMachine
BenchmarkEdentifier2
BenchmarkESMcontroller
BenchmarkFIFOset
BenchmarkFromRhapsodyToDezyne
BenchmarkFWGC
BenchmarkIEC60870-5-104
BenchmarkLogin
BenchmarkMap
BenchmarkMQTT
BenchmarkMultiLogin
BenchmarkPassport
BenchmarkQueue
BenchmarkQUICprotocol
BenchmarkRandomDFAs
BenchmarkRandomMoore
BenchmarkRepdigitPalindrome
BenchmarkSIP
BenchmarkSSH
BenchmarkStack
BenchmarkTCP
BenchmarkTLS
BenchmarkToyDFA
BenchmarkToyDFIA
BenchmarkToyModels
BenchmarkToyMoore
BenchmarkX-ray-system-PCS
select tag
All
Datastructure
Industry
Protocol
Random
Register
Security
Home
Please contribute!
Benchmarks
Overview
Benchmark structure
Modelling frameworks
Evaluation criteria
Downloads
Software
Scripts
People
Contributors
Further reading and links
Learning/testing tools
Other repositories
Bibliography
print
·
source
·
login
Home
»
Contributors
Contributors
Fides Aarts
Petra van den Bos
Alexander Fedotov
Paul Fiterau-Brostean
Falk Howar
Harco Kuppens
Joshua Moerman
Daniel Neider
Erik Poll
Joeri de Ruiter
Frits Vaandrager