Radboud University
iCIS

Automata Wiki

  • 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 » Tag » All

List of benchmarks being tagged

See the page Tag for all defined tags.

  • ABP-AartsEtAl2012
  • ASMLRERS-YangEtAl2019
  • Bankcard-AartsEtAl2013
  • BLE-PferscherEtAl2022
  • BLE-Schnor2025
  • BRP-AartsEtAl2012
  • Circuits-FiserEtAl2018
  • CoffeeMachine-SteffenEtAl2011
  • DTLS-Fiterau-BrosteanEtAl2020
  • Edentifier2-ChaluparEtAl2014
  • ESMcontroller-SmeenkEtAl2015
  • FIFOset-AartsEtAl2014
  • FromRhapsodyToDezyne-SchutsEtAl2018
  • FWGC-AartsEtAl2012
  • IEC60870-5-104
  • 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
  • Stack-AartsEtAl2014
  • TCP-Fiterau-BrosteanEtAl2016
  • TLS-Janssen2021
  • TLS-RuiterEtAl2015
  • ToyDFA
  • ToyDFIA
  • ToyModels
  • ToyMoore
  • XrayPowerControlService-SchutsEtAl2016