Fang Yu
Orcid: 0000-0002-2776-9624Affiliations:
- National Chengchi University, Department of Management Information Systems, Taipei City, Taiwan
- University of California, Santa Barbara, Department of Computer Science, CA, USA (former, PhD 2010)
- Academia Sinica, Institute of Information Science, Taipei, Taiwan (former)
According to our database1,
Fang Yu
authored at least 50 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2023
POSTER: On searching information leakage of Python model execution to detect adversarial examples.
Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023
2021
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020
Proceedings of the 8th International Workshop on Security in Blockchain and Cloud Computing, 2020
2019
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning, 2019
2018
Comput. Commun., 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
2017
Proceedings of the 2017 IEEE International Congress on Internet of Things, 2017
Springer, ISBN: 978-3-319-68668-4, 2017
2016
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015
Space Connection: A New 3D Tele-immersion Platform for Web-Based Gesture-Collaborative Games and Services.
Proceedings of the 4th IEEE/ACM International Workshop on Games and Software Engineering, 2015
2014
Formal Methods Syst. Des., 2014
Topological pattern discovery and feature extraction for fraudulent financial reporting.
Expert Syst. Appl., 2014
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014
Patcher: An Online Service for Detecting, Viewing and Patching Web Application Vulnerabilities.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014
2013
Proceedings of the 2013 International Joint Conference on Neural Networks, 2013
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013
2012
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012
Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR).
Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012
2011
Int. J. Found. Comput. Sci., 2011
Proceedings of the Model Checking Software, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses.
Proceedings of the ASE 2009, 2009
2008
Proceedings of the Model Checking Software, 2008
Modular verification of web services using efficient symbolic encoding and summarization.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
2006
IEEE Trans. Software Eng., 2006
2005
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol.
J. Embed. Comput., 2005
Proceedings of the 20th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2005), 2005
2004
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
IEEE Trans. Software Eng., 2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the Formal Techniques, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Proceedings of the Implementation and Application of Automata, 2003
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003