Yu-Ting Chen

Publikationer (5)
Projekt (0)

Visar 5 publikationer

2024

Global guidance for local generalization in model checking

Hari Govind Vediramana Krishnan, Yu-Ting Chen, Sharon Shoham et al

Formal Methods in System Design. Vol. 63 (1-3), p. 81-109

Artikel i vetenskaplig tidskrift

2020

Global Guidance for Local Generalization in Model Checking

Hari Govind Vediramana Krishnan, Yu-Ting Chen, Sharon Shoham et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12225 LNCS, p. 101-125

Paper i proceeding

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10510 LNCS, 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

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.