Name Card

Full name Familienname, Vorname
Tinelli, Cesare
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark Partitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
2Larraz-2023-CRV An Automated Resiliency Reasoner for System Design Models-vor.pdf.jpgLarraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar ; Tinelli, Cesare CRV: An Automated Resiliency Reasoner for System Design ModelsInproceedings Konferenzbeitrag Oct-2023