Cong Tian

Available identifiers

zbMath Open tian.congMaRDI QIDQ247892

List of research outcomes

Publication	Date of Publication	Type
A novel approach to verifying context free properties of programs	2023-10-16	Paper
Transforming multi-matching nested traceable automata to multi-matching nested expressions	2023-03-21	Paper
A proof system for unified temporal logic	2023-02-24	Paper
PPTL specification mining based on LNFG	2022-10-24	Paper
\textsc{LtlNfBa}: making LTL translation more practical	2021-05-20	Paper
A Proof System for MSVL Programs in Coq	2021-05-20	Paper
Unified temporal logic	2021-04-08	Paper
Multi-matching nested relations	2021-01-25	Paper
Verify heaps via unified model checking	2020-04-08	Paper
Translating Xd-C programs to MSVL programs	2020-01-29	Paper
A novel approach to verifying context free properties of programs	2020-01-29	Paper
Model checking Petri nets with MSVL	2019-12-13	Paper
Index set expressions can represent temporal logic formulas	2019-08-09	Paper
Verifying a scheduling protocol of safety-critical systems	2019-06-25	Paper
A temporal logic programming approach to planning	2019-06-25	Paper
Model checking open systems with alternating projection temporal logic	2019-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4624677	2019-02-22	Paper
A compiler for MSVL and its applications	2018-12-05	Paper
Modeling and verifying multi-core programs	2018-03-26	Paper
Cloning automata: simulation and analysis of computer bacteria	2018-02-26	Paper
On general threshold and general cascade models of social influence	2018-02-21	Paper
Using Unified Model Checking to Verify Heaps	2017-02-01	Paper
A mechanism of function calls in MSVL	2016-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q2824415	2016-10-06	Paper
Satisfiability of Linear Time Mu-Calculus on Finite Traces	2016-09-02	Paper
Verifying safety critical task scheduling systems in PPTL axiom system	2016-02-23	Paper
Symbolic Model Checking for Alternating Projection Temporal Logic	2016-02-05	Paper
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts	2015-12-11	Paper
A canonical form based decision procedure and model checking approach for propositional projection temporal logic	2015-12-11	Paper
A complete axiom system for propositional projection temporal logic with cylinder computation model	2015-12-11	Paper
Model Checking MSVL Programs Based on Dynamic Symbolic Execution	2015-10-29	Paper
Improved Even Order Magic Square Construction Algorithms and Their Applications	2015-09-11	Paper
An extended strange planet protocol	2015-07-28	Paper
A structural transformation from p-\(\pi\) to MSVL	2015-07-10	Paper
Transformation from PLTL to automata via NFGs	2015-02-16	Paper
A practical decision procedure for propositional projection temporal logic with infinite models	2014-10-06	Paper
A formal proof of the deadline driven scheduler in PPTL axiomatic system	2014-10-06	Paper
An Axiomatization for Cylinder Computation Model	2014-09-26	Paper
Normal Form Expressions of Propositional Projection Temporal Logic	2014-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5418261	2014-06-03	Paper
Secure communications with strange planet protocol	2014-03-14	Paper
A cylinder computation model for many-core parallel computing	2014-01-10	Paper
An Extended Strange Planet Protocol	2013-12-10	Paper
Some Fixed-Point Issues in PPTL	2013-08-16	Paper
Deternimization of Büchi Automata as Partitioned Automata	2013-06-11	Paper
Bounded Model Checking for Propositional Projection Temporal Logic	2013-06-11	Paper
An efficient approach for abstraction-refinement in model checking	2012-11-27	Paper
Making Abstraction-Refinement Efficient in Model Checking	2011-08-17	Paper
Expressiveness of propositional projection temporal logic with star	2011-04-05	Paper
A Transformation from PPTL to S1S	2011-01-10	Paper
A note on stutter-invariant PLTL	2010-08-20	Paper
Complexity of propositional projection temporal logic with star	2009-03-24	Paper
Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions	2008-05-27	Paper
A decision procedure for propositional projection temporal logic with infinite models	2008-04-03	Paper
Decidability of Propositional Projection Temporal Logic with Infinite Models	2007-11-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cong Tian