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 » WikiSandbox

Feel free to use this page to experiment with the Text Formatting Rules. Just click the "Edit Page" link at the top of the page after being logged in.

  • BenchmarkASMLRERS-YangEtAl2019.Mealy
  • BenchmarkBankcard-AartsEtAl2013.Mealy
  • BenchmarkCircuits.Mealy
  • BenchmarkCoffeeMachine-SteffenEtAl2011.Mealy
  • BenchmarkDTLS-Fiterau-BrosteanEtAl2020.Mealy
  • BenchmarkEdentifier2-ChaluparEtAl2014.Mealy
  • BenchmarkESMcontroller-SmeenkEtAl2015.Mealy
  • BenchmarkFromRhapsodyToDezyne-SchutsEtAl2018.Mealy
  • BenchmarkIEC60870-5-104.Mealy
  • BenchmarkMQTT-TapplerEtAl2017.Mealy
  • BenchmarkQUICprotocol.Mealy
  • BenchmarkSSH.Mealy
  • BenchmarkTCP.Mealy
  • BenchmarkTLS.Mealy
  • BenchmarkToyModels.Mealy
  • BenchmarkXrayPowerControlService-SchutsEtAl2016.Mealy