iCIS
Automata Wiki
select Benchmark
ABP-AartsEtAl2012
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
BLE-PferscherEtAl2022
BLE-Schnor2025
BRP-AartsEtAl2012
Circuits-FiserEtAl2018
CoffeeMachine-SteffenEtAl2011
DTLS-Fiterau-BrosteanEtAl2020
DTLS-Fiterau-BrosteanEtAl2023
Edentifier2-ChaluparEtAl2014
ESMcontroller-SmeenkEtAl2015
FIFOset-AartsEtAl2014
FromRhapsodyToDezyne-SchutsEtAl2018
FWGC-AartsEtAl2012
Login-AartsEtAl2012
Map
Moore-RivestShapire1993
MQTT-TapplerEtAl2017
MultiLogin-AartsEtAl2015
OPC-UA-VanEtAl2024
Passport-AartsEtAl2010
Queue-AartsEtAl2014
QUIC-FerreiraEtAl2021
QUIC-Rasool2018
RandomDFA-NeiderEtAl2019
RandomMoore-NeiderEtAl2019
RepdigitPalindrome-AartsEtAl2012
SIP-AartsEtAl2010
SMTP-BernasEtAl2025
SSH-Fiterau-BrosteanEtAl2017
SSH-Fiterau-BrosteanEtAl2023
Stack-AartsEtAl2014
TCP-Fiterau-BrosteanEtAl2016
TLS-Janssen2021
TLS-RuiterEtAl2015
ToyDFA
ToyDFIA
ToyModels
ToyMoore
XrayPowerControlService-SchutsEtAl2016
select tag
All
Datastructure
Industry
Protocol
Random
Register
Security
Toy
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-AartsEtAl2012.Register
BenchmarkBRP-AartsEtAl2012.Register
BenchmarkFIFOset-AartsEtAl2014.Register
BenchmarkFWGC-AartsEtAl2012.Register
BenchmarkLogin-AartsEtAl2012.Register
BenchmarkMap.Register
BenchmarkMultiLogin-AartsEtAl2015.Register
BenchmarkPassport-AartsEtAl2010.Register
BenchmarkQueue-AartsEtAl2014.Register
BenchmarkRepdigitPalindrome-AartsEtAl2012.Register
BenchmarkSIP-AartsEtAl2010.Register
BenchmarkStack-AartsEtAl2014.Register
BenchmarkABP-AartsEtAl2012
BenchmarkASMLRERS-YangEtAl2019
BenchmarkBankcard-AartsEtAl2013
BenchmarkBLE-PferscherEtAl2022
BenchmarkBLE-Schnor2025
BenchmarkBRP-AartsEtAl2012
BenchmarkCircuits-FiserEtAl2018
BenchmarkCoffeeMachine-SteffenEtAl2011
BenchmarkDTLS-Fiterau-BrosteanEtAl2020
BenchmarkDTLS-Fiterau-BrosteanEtAl2023
BenchmarkEdentifier2-ChaluparEtAl2014
BenchmarkESMcontroller-SmeenkEtAl2015
BenchmarkFIFOset-AartsEtAl2014
BenchmarkFromRhapsodyToDezyne-SchutsEtAl2018
BenchmarkFWGC-AartsEtAl2012
BenchmarkLogin-AartsEtAl2012
BenchmarkMap
BenchmarkMoore-RivestShapire1993
BenchmarkMQTT-TapplerEtAl2017
BenchmarkMultiLogin-AartsEtAl2015
BenchmarkOPC-UA-VanEtAl2024
BenchmarkPassport-AartsEtAl2010
BenchmarkQueue-AartsEtAl2014
BenchmarkQUIC-FerreiraEtAl2021
BenchmarkQUIC-Rasool2018
BenchmarkRandomDFA-NeiderEtAl2019
BenchmarkRandomMoore-NeiderEtAl2019
BenchmarkRepdigitPalindrome-AartsEtAl2012
BenchmarkSIP-AartsEtAl2010
BenchmarkSMTP-BernasEtAl2025
BenchmarkSSH-Fiterau-BrosteanEtAl2017
BenchmarkSSH-Fiterau-BrosteanEtAl2023
BenchmarkStack-AartsEtAl2014
BenchmarkTCP-Fiterau-BrosteanEtAl2016
BenchmarkTLS-Janssen2021
BenchmarkTLS-RuiterEtAl2015
BenchmarkToyDFA
BenchmarkToyDFIA
BenchmarkToyModels
BenchmarkToyMoore
BenchmarkXrayPowerControlService-SchutsEtAl2016
