Yu-Fang Chen

Navedeno

	Vse	Od leta 2020
Navedbe	1979	962
indeks h	26	18
indeks i10	40	29

220

110

165

2008200920102011201220132014201520162017201820192020202120222023202420259 29 38 33 70 85 73 85 107 137 159 166 164 201 151 200 220 23

Javni dostop

Prikaži vse

15 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Lukas HolikBrno University of TehcnologyPreverjeni e-poštni naslov na fit.vutbr.cz
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityPreverjeni e-poštni naslov na it.uu.se
Ondřej LengálBrno University of TechnologyPreverjeni e-poštni naslov na fit.vutbr.cz
Mohamed Faouzi AtigUppsala UniversityPreverjeni e-poštni naslov na it.uu.se
Ahmed RezineLinköping UniversityPreverjeni e-poštni naslov na liu.se
Ming-Hsien TsaiNational Taiwan University of Science and TechnologyPreverjeni e-poštni naslov na mail.ntust.edu.tw
Philipp RuemmerProfessor in Computer Science, University of RegensburgPreverjeni e-poštni naslov na ur.de
Yih-Kuen TsayProfessor of Information Management, National Taiwan UniversityPreverjeni e-poštni naslov na ntu.edu.tw
Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanPreverjeni e-poštni naslov na nccu.edu.tw
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyPreverjeni e-poštni naslov na fi.muni.cz
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Azadeh FarzanAssociate Professor, University of TorontoPreverjeni e-poštni naslov na cs.toronto.edu
Hsin-Hung LinInstitute of Information Science, Academia SinicaPreverjeni e-poštni naslov na iis.sinica.edu.tw
Lorenzo ClementeUniversity of WarsawPreverjeni e-poštni naslov na mimuw.edu.pl
Nishant SinhaFounder, Chief Scientist, OffNote LabsPreverjeni e-poštni naslov na in.ibm.com
Bo-Yin YangAcademia SinicaPreverjeni e-poštni naslov na moscito.org
Peter SchwabeMPI-SP and Radboud UniversityPreverjeni e-poštni naslov na mpi-sp.org
Chang-Hong HsuPinterest, inc.Preverjeni e-poštni naslov na umich.edu
Giorgio DelzannoAssociate Professor, Università di GenovaPreverjeni e-poštni naslov na unige.it
Harald RuessfortissPreverjeni e-poštni naslov na fortiss.org

Spremljaj

Yu-Fang Chen

Research Fellow/Professor, Academia Sinica

Preverjeni e-poštni naslov na iis.sinica.edu.tw - Domača stran

Program Verification Formal Method Model Checking Theory of Computation


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata) PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2010	163	2010
String constraints for verification PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	138	2014
Norn: An SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman International conference on computer aided verification, 462-469, 2015	120	2015
Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution) M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018	97	2018
Learning minimal separating DFA’s for compositional verification YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2009	91	2009
Extending automated compositional verification to the full class of omega-regular languages A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2008	88	2008
Verifying curve25519 software YF Chen, CH Hsu, HH Lin, P Schwabe, MH Tsai, BY Wang, BY Yang, ... Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014	77	2014
Counter-example guided fence insertion under TSO PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	77	2012
Goal: A graphical tool for manipulating büchi automata and temporal formulae YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan International Conference on Tools and Algorithms for the Construction and …, 2007	73	2007
Advanced Ramsey-based Büchi automata inclusion testing PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar International Conference on Concurrency Theory, 187-202, 2011	69	2011
Automated assume-guarantee reasoning through implicit learning YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	67	2010
Flatten and conquer: a framework for efficient analysis of string constraints PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer ACM SIGPLAN Notices 52 (6), 602-617, 2017	63	2017
Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar International Conference on Computer Aided Verification, 132-147, 2010	57	2010
Trau: SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer 2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018	54	2018
Advanced automata-based algorithms for program termination checking YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018	45	2018
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	44	2013
Efficient handling of string-number conversion PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	43	2020
Constrained monotonic abstraction: A CEGAR for parameterized verification PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	39	2010
Counterexample-guided polynomial loop invariant generation by lagrange interpolation YF Chen, CD Hong, BY Wang, L Zhang Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	38	2015
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees Y Li, YF Chen, L Zhang, D Liu Information and Computation 281, 104678, 2021	34	2021

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji