Piskac, Ruzica

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Piskac, Ruzica
 
Main Affiliation Organisations­zuordnung
 
ORCID

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Santolucito, Mark ; Zhang, Jialu ; Zhai, Ennan ; Cito, Jurgen ; Piskac, Ruzica Learning CI Configuration Correctness for Early Build FeedbackInproceedings Konferenzbeitrag 2022

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf.jpgPiskac, Ruzica ; Whalen, Michael W. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021Konferenzband Proceedings Oct-2021