June 2018 – TRUCONF

Exploitation of TRUCONF Results for a Publication at QEST 2018

By admin Posted on 20.06.2018 Posted in Publications, Uncategorized No Comments

We exploited the results of TRUCONF for a new application, for testing protocols of the Internet of Things (IoT). The work has been accepted at the QEST 2018. Bernhard K. Aichernig and Richard Schumi: “How Fast is MQTT? Statistical Model …

Exploitation of TRUCONF Results for a Publication at QEST 2018 Read more »

Publication at SETTA 2018

By admin Posted on 18.06.2018 Posted in Publications No Comments

A new publication has been accepted at the SETTA 2018. Bernhard K. Aichernig, Severin Kann and Richard Schumi: “Statistical Model Checking of Response Times for Different System Deployments“, In Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018, …

Publication at SETTA 2018 Read more »

Month: June 2018

Exploitation of TRUCONF Results for a Publication at QEST 2018

Publication at SETTA 2018