Yu-Fang Chen

Citado por

	Total	Desde 2019
Citas	1887	1055
Índice h	25	19
Índice i10	37	29

220

110

165

200820092010201120122013201420152016201720182019202020212022202320247 26 35 36 66 84 74 81 110 136 152 161 155 204 153 191 187

Acceso público

Ver todo

14 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Parosh AbdullaProfessor of Computer Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Lukas HolikBrno University of TehcnologyDirección de correo verificada de fit.vutbr.cz
Mohamed Faouzi AtigUppsala UniversityDirección de correo verificada de it.uu.se
Ahmed RezineLinköping UniversityDirección de correo verificada de liu.se
Ming-Hsien TsaiNational Taiwan University of Science and TechnologyDirección de correo verificada de mail.ntust.edu.tw
Ondřej LengálBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
Philipp RuemmerProfessor in Computer Science, University of RegensburgDirección de correo verificada de ur.de
Yih-Kuen TsayProfessor of Information Management, National Taiwan UniversityDirección de correo verificada de ntu.edu.tw
Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanDirección de correo verificada de nccu.edu.tw
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyDirección de correo verificada de fi.muni.cz
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Azadeh FarzanAssociate Professor, University of TorontoDirección de correo verificada de cs.toronto.edu
Hsin-Hung LinInstitute of Information Science, Academia SinicaDirección de correo verificada de iis.sinica.edu.tw
Lorenzo ClementeUniversity of WarsawDirección de correo verificada de mimuw.edu.pl
Nishant SinhaFounder, Chief Scientist, OffNote LabsDirección de correo verificada de in.ibm.com
Bo-Yin YangAcademia SinicaDirección de correo verificada de moscito.org
Peter SchwabeMPI-SP and Radboud UniversityDirección de correo verificada de mpi-sp.org
Chang-Hong HsuPinterest, inc.Dirección de correo verificada de umich.edu
Giorgio DelzannoAssociate Professor, Università di GenovaDirección de correo verificada de unige.it
Harald RuessfortissDirección de correo verificada de fortiss.org

Seguir

Yu-Fang Chen

Research Fellow/Professor, Academia Sinica

Dirección de correo verificada de iis.sinica.edu.tw - Página principal

Program Verification Formal Method Model Checking Theory of Computation


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	159	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	131	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	114	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	93	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	83	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	75	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	68	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	63	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	60	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	49	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	49	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	43	2013
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	41	2015
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	39	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	36	2010
Automatic fence insertion in integer programs via predicate abstraction PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012	34	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores