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
  • ASMLRERS-YangEtAl2019
  • Bankcard-AartsEtAl2013
  • BRP
  • DTLS-Fiterau-BrosteanEtAl2020
  • Edentifier2-ChaluparEtAl2014
  • FIFOset
  • FWGC
  • IEC60870-5-104
  • Login-AartsEtAl2012
  • Map
  • MQTT-TapplerEtAl2017
  • MultiLogin
  • Passport-AartsEtAl2010
  • Queue
  • RandomDFAs
  • RandomMoore
  • RepdigitPalindrome
  • SIP
  • SSH
  • Stack
  • TCP
  • TLS