Name Card

Full name Familienname, Vorname
Dardik, Ian
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Zhang-2023-Fortis A Tool for Analysis and Repair of Robust Software Systems-vor.pdf.jpgZhang, Changjian ; Dardik, Ian ; Meira-Góes, Rômulo ; Garlan, David ; Kang, Eusnuk Fortis: A Tool for Analysis and Repair of Robust Software SystemsInproceedings Konferenzbeitrag Oct-2023
2Schultz-2022-Plain and Simple Inductive Invariant Inference for Distribut...-vor.pdf.jpgSchultz, William ; Dardik, Ian ; Tripakis, Stavros Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+Inproceedings Konferenzbeitrag Oct-2022