Chih-Duo Hong

According to our database, Chih-Duo Hong authored at least 16 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Regular Abstractions for Array Systems.

Chih-Duo Hong, Anthony W. Lin

Proc. ACM Program. Lang., January, 2024

2022

Symbolic techniques for parameterised verification.

Chih-Duo Hong

PhD thesis, 2022

2020

Probabilistic Bisimulation for Parameterized Systems (Technical Report).

Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer

CoRR, 2020

Parameterized Synthesis with Safety Properties.

Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

CSS Minification via Constraint Solving.

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

ACM Trans. Program. Lang. Syst., 2019

Monadic Decomposability of Regular Relations.

Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).

Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

CSS Minification via Constraint Solving (Technical Report).

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

CoRR, 2018

2017

Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer

CoRR, 2017

An Executable Sequential Specification for Spark Aggregation.

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Networked Systems - 5th International Conference, 2017

Learning to prove safety over parameterised concurrent systems.

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015

Commutativity of Reducers.

Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2011

Advanced Ramsey-Based Büchi Automata Inclusion Testing.

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.

Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010