Name Card

Full name Familienname, Vorname
Mateis, Cristinel
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Specification Parameters for Multi-class ClassificationInproceedings Konferenzbeitrag 1-Oct-2023
2Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Survey on mining signal temporal logic specificationsArticle Artikel Nov-2022
3Bartocci-2021-International Journal on Software Tools for Technology Tran...-vor.pdf.jpgBartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan CPSDebug: Automatic Failure Explanation in CPS ModelsArtikel Article Oct-2021
4Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Mateis, Cristinel ; Nesterini, Eleonora ; Ničković, Dejan ; Qin, Xin Mining Shape Expressions with ShapeItKonferenzbeitrag Inproceedings2021
5Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Gigler, Felix ; Mateis, Cristinel ; Nickovic, Dejan ; Qin, Xin Mining Shape Expressions from Positive ExamplesArtikel Article Nov-2020
6Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan ; Pastore, Fabrizio CPSDebug: a tool for explanation of failures in cyber-physical systemsKonferenzbeitrag Inproceedings2020
7Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan Automatic Failure Explanation in CPS ModelsKonferenzbeitrag Inproceedings2019
8Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Koch, Christoph ; Mateis, Cristinel ; Perri, Simona ; Scarcello, Francesco The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)Bericht Report2002