Name Card

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

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rozier-2023-Developing an Open-Source, State-of-the-Art Symbolic Model-Ch...-vor.pdf.jpgRozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research CommunityKonferenzbeitrag Inproceedings Oct-2023
2Mohamed-2023-A Procedure for SyGuS Solution Fitting via Matching and Rewr...-vor.pdf.jpgMohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule DiscoveryInproceedings Oct-2023
3Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
430_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
516_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf.jpgArif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite TracesKonferenzbeitrag Inproceedings 2020

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
2Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag 2-Sep-2023
3Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
4Hozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023