Name Card

Full name Familienname, Vorname
Mariani, Leonardo
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the EdgeInproceedings Konferenzbeitrag 8-Nov-2023
2Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti Property-Based Mutation TestingInproceedings Konferenzbeitrag 2023
3Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti Search-based Testing for Accurate Fault Localization in CPSInproceedings Konferenzbeitrag 21-Dec-2022
4Bartocci-2022-FIM fault injection and mutation for Simulink-vor.pdf.jpgBartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti FIM: fault injection and mutation for SimulinkInproceedings Konferenzbeitrag 9-Nov-2022
5Bartocci-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
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