Name Card

Full name Familienname, Vorname
Hoffmann, Jörg
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eisenhut-2023-Automatic Metamorphic Test Oracles for Action-Policy Testing-vor.pdf.jpgEisenhut, Jan ; Torralba, Álvaro ; Christaki, Maria ; Hoffmann, Jörg Automatic Metamorphic Test Oracles for Action-Policy TestingInproceedings Konferenzbeitrag 2023
2Christakis-2023-Specifying and Testing k-Safety Properties for Machine-Le...-vor.pdf.jpgChristaki, Maria ; Eniser, Hasan Ferit ; Hoffmann, Jörg ; Singla, Adish ; Wüstholz, Valentin Specifying and Testing k-Safety Properties for Machine-Learning ModelsInproceedings Konferenzbeitrag 2023

Contributing Publications Mitbeteiligte Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gaspers, Serge ; Kim, Eun Jung ; Ordyniak, Sebastian ; Saurabh, Saket ; Szeider, Stefan Don't Be Strict in Local Search!Konferenzbeitrag Inproceedings 2012
2Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan On Finding Optimal PolytreesKonferenzbeitrag Inproceedings 2012
3Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui Query Rewriting for Horn-SHIQ Plus RulesKonferenzbeitrag Inproceedings 2012
4Fellows, Michael R. ; Pfandler, Andreas ; Rosamond, Frances A. ; Rümmele, Stefan The Parameterized Complexity of AbductionKonferenzbeitrag Inproceedings 2012
5Bäckström, Christer ; Chen, Yue ; Jonsson, Peter ; Ordyniak, Sebastian ; Szeider, Stefan The Complexity of Planning Revisited - A Parameterized AnalysisKonferenzbeitrag Inproceedings 2012
6Akhtar, Waseem ; Kopecký, Jacek ; Krennwallner, Thomas ; Polleres, Axel XSPARQL: Traveling between the XML and RDF Worlds – and Avoiding the XSLT PilgrimageKonferenzbeitrag Inproceedings 2008