Publication at A-MOST 2017
Another publication has been accepted at A-MOST 2017. Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi: “Property-Based …
Author: Bernhard K. Aichernig
Publication at ICST 2017
A new publication has been accepted at the ICST 2017. Bernhard K. Aichernig and Richard Schumi: “Statistical …
Publication at DECOSYS 2016
Another publication has been accepted at DECOSYS 2016. Christian Burghard, Gerald Stieglbauer and Robert Korošec: “Introducing MDML …
Publication at MEMOCODE 2016
Another publication has been accepted at MEMOCODE’16. Bernhard K. Aichernig and Richard Schumi: “Towards Integrating Statistical Model …
Publication in Theory and Practice of Formal Methods
A paper has been accepted for publication in Theory and Practice of Formal Methods. Bernhard K. Aichernig and …
Publication in Theory and Practice of Formal Methods Read more →
Publication at A-MOST 2016
Our second publication has been accepted at A-MOST 2016. Bernhard K. Aichernig and Richard Schumi: “Property-based …
Publication at USE 2015
The first publication has been accepted at USE’15. Bernhard K. Aichernig and Martin Tappler: “Symbolic Input-Output Conformance …