iCIS
Automata Wiki
select Benchmark
ABP
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
BRP
Circuits
CoffeeMachine-SteffenEtAl2011
DTLS-Fiterau-BrosteanEtAl2020
Edentifier2-ChaluparEtAl2014
ESMcontroller-SmeenkEtAl2015
FIFOset
FromRhapsodyToDezyne-SchutsEtAl2018
FWGC
IEC60870-5-104
Login-AartsEtAl2012
Map
MQTT-TapplerEtAl2017
MultiLogin
Passport-AartsEtAl2010
Queue
QUICprotocol
RandomDFAs
RandomMoore
RepdigitPalindrome
SIP
SSH
Stack
TCP
TLS
ToyDFA
ToyDFIA
ToyModels
ToyMoore
XrayPowerControlService-SchutsEtAl2016
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
·
login
Home
»
RegisterAutomata
Benchmarks for Register Automata
Downloads:
All register automata benchmarks
Δ
(7zip, 103MB, Updated Februari 29th 2016)
Generated summary of the benchmarks:
BenchmarkABP.Register
BenchmarkBRP.Register
BenchmarkFIFOset.Register
BenchmarkFWGC.Register
BenchmarkLogin-AartsEtAl2012.Register
BenchmarkMap.Register
BenchmarkMultiLogin.Register
BenchmarkPassport-AartsEtAl2010.Register
BenchmarkQueue.Register
BenchmarkRepdigitPalindrome.Register
BenchmarkSIP.Register
BenchmarkStack.Register
BenchmarkABP
BenchmarkASMLRERS-YangEtAl2019
BenchmarkBankcard-AartsEtAl2013
BenchmarkBRP
BenchmarkCircuits
BenchmarkCoffeeMachine-SteffenEtAl2011
BenchmarkDTLS-Fiterau-BrosteanEtAl2020
BenchmarkEdentifier2-ChaluparEtAl2014
BenchmarkESMcontroller-SmeenkEtAl2015
BenchmarkFIFOset
BenchmarkFromRhapsodyToDezyne-SchutsEtAl2018
BenchmarkFWGC
BenchmarkIEC60870-5-104
BenchmarkLogin-AartsEtAl2012
BenchmarkMap
BenchmarkMQTT-TapplerEtAl2017
BenchmarkMultiLogin
BenchmarkPassport-AartsEtAl2010
BenchmarkQueue
BenchmarkQUICprotocol
BenchmarkRandomDFAs
BenchmarkRandomMoore
BenchmarkRepdigitPalindrome
BenchmarkSIP
BenchmarkSSH
BenchmarkStack
BenchmarkTCP
BenchmarkTLS
BenchmarkToyDFA
BenchmarkToyDFIA
BenchmarkToyModels
BenchmarkToyMoore
BenchmarkXrayPowerControlService-SchutsEtAl2016