Geguang Pu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Science China Information Sciences	2022-10-28	Paper
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking Artificial Intelligence	2021-08-16	Paper
Towards backbone computing: a greedy-whitening based approach AI Communications	2021-01-20	Paper
SAT-based explicit LTL reasoning and its application to satisfiability checking Formal Methods in System Design	2019-11-18	Paper
First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation (available as arXiv preprint)	2019-10-15	Paper
Accelerating LTL satisfiability checking by SAT solvers Journal Of Logic And Computation	2019-01-31	Paper
An explicit transition system construction approach to LTL satisfiability checking Formal Aspects of Computing	2018-03-29	Paper
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference	2017-09-12	Paper
\(\mathrm{LTL}_{f}\) satisfiability checking	2017-07-18	Paper
\(\mathrm{LTL}_{f}\) satisfiability checking (available as arXiv preprint)	2017-07-18	Paper
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques IEEE Transactions on Computers	2017-05-16	Paper
The semantics and verification of timed service choreography International Journal of Computer Mathematics	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 Theories of Programming and Formal Methods	2013-08-16	Paper
Exploring optimal solution to hardware/software partitioning for synchronous model Formal Aspects of Computing	2006-10-25	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper

Research outcomes over time

This page was built for person: Geguang Pu