Publications

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, und Marcel Steinmetz. TraceVis: Towards Visualization for Deep Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, 27–46, Springer-Verlag, Berlin, Heidelberg, 2020. [PUMA: Checking Model Statistical Visualization nopdf networks neural] URL

Diego Esteves, Anisa Rula, Aniketh Janardhan Reddy, und Jens Lehmann. Toward Veracity Assessment in RDF Knowledge Bases: An Exploratory Analysis. J. Data and Information Quality, (9)3Association for Computing Machinery, New York, NY, USA, Februar 2018. [PUMA: DeFacto analysis benchmark checking data exploratory fact linked quality trustworthiness zno] URL