Yu-Ting Chen

Doktorand vid Formella metoder

Min Sida @Chalmers

Källa: chalmers.se

Visar 3 publikationer

2018

Robustness Testing of Intermediate Verifiers

Yu-Ting Chen, Carlo A Furia
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11138 LNCS, p. 91-108
Paper i proceeding
2017

Triggerless happy: Intermediate verification with a first-order prover

Chen Yuting, Carlo A Furia
Lecture Notes in Computer Science - 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, 20-22 September 2017. Vol. 10510, p. 295-311
Paper i proceeding
2016

Theory-Specific Reasoning about Loops with Arrays using Vampire

Chen Yuting, Laura Kovacs, Simon Robillard
Proceedings of the 3rd Vampire Workshop. Vol. EPiC volume
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.
Det kan finnas fler projekt där Yu-Ting Chen medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.