Chih-Duo Hong

26 papers A* 2A 1B 4Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Concolic Testing on Individual Fairness of Neural Network Models.
CoRR
Ming-I Huang, Chih-Duo Hong, Fang Yu
2025 J jnl
Extracting Robust Register Automata from Neural Networks over Data Sequences.
CoRR
Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan
2025 J jnl
Influence-Guided Concolic Testing of Transformer Robustness.
CoRR
Chih-Duo Hong, Yu Wang, Yao-Chen Chang, Fang Yu
2025 J jnl
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification.
CoRR
Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
2025 J jnl
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification.
IEEE Trans. Software Eng.
Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
2024 J jnl
Regular Abstractions for Array Systems.
CoRR
Chih-Duo Hong, Anthony W. Lin
2024 J jnl
Regular Abstractions for Array Systems.
Proc. ACM Program. Lang.
Chih-Duo Hong, Anthony W. Lin
2022 — —
Symbolic techniques for parameterised verification.
Chih-Duo Hong
2020 B conf
Parameterized Synthesis with Safety Properties.
APLAS
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020 J jnl
Parameterized Synthesis with Safety Properties.
CoRR
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020 J jnl
Probabilistic Bisimulation for Parameterized Systems (Technical Report).
CoRR
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2019 J jnl
CSS Minification via Constraint Solving.
ACM Trans. Program. Lang. Syst.
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
2019 A* conf
Monadic Decomposability of Regular Relations.
ICALP
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019 J jnl
Monadic Decomposability of Regular Relations.
CoRR
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019 — conf
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).
CAV (1)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2018 J jnl
CSS Minification via Constraint Solving (Technical Report).
CoRR
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
2017 — conf
An Executable Sequential Specification for Spark Aggregation.
NETYS
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017 J jnl
An Executable Sequential Specification for Spark Aggregation.
CoRR
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017 J jnl
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
2017 B conf
Learning to prove safety over parameterised concurrent systems.
FMCAD
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
2015 A conf
Commutativity of Reducers.
TACAS
Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
2015 — conf
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
CAV (1)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
2015 J jnl
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
CoRR
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
2011 B conf
Advanced Ramsey-Based Büchi Automata Inclusion Testing.
CONCUR
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2010 B conf
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
CONCUR
Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
2010 A* conf
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
CAV
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar