Papers
(The TQCC of Formal Methods in System Design is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-03-01 to 2024-03-01.)
Symbolic encoding of LL(1) parsing and its applications | 2 |
Equivalence checking and intersection of deterministic timed finite state machines | 2 |
Certifying proofs for SAT-based model checking | 2 |