Geguang Pu

Available identifiers

Publication	Date of Publication	Type
On the power of automata minimization in reactive synthesis	2024-12-06	Paper
Searching for i-good lemmas to accelerate safety model checking	2024-01-12	Paper
The stochastic semantics and verification for periodic control systems	2022-10-28	Paper
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking	2021-08-16	Paper
Towards backbone computing: A Greedy-Whitening based approach	2021-01-20	Paper
SAT-based explicit LTL reasoning and its application to satisfiability checking	2019-11-18	Paper
First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation	2019-10-15	Paper
Accelerating LTL satisfiability checking by SAT solvers	2019-01-31	Paper
An explicit transition system construction approach to LTL satisfiability checking	2018-03-29	Paper
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5283016	2017-07-18	Paper
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques	2017-05-16	Paper
The semantics and verification of timed service choreography	2014-08-14	Paper
Integrating time and resource into Circus	2013-09-26	Paper
On the Relationship between LTL Normal Forms and Büchi Automata	2013-08-16	Paper
Exploring optimal solution to hardware/software partitioning for synchronous model	2006-10-25	Paper
FM 2005: Formal Methods	2006-01-10	Paper

This page was built for person: Geguang Pu