| Publication | Date of Publication | Type |
|---|
| A novel approach to verifying context free properties of programs | 2023-10-16 | Paper |
| Propositional projection temporal logic specification mining | 2023-03-21 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5873623 | 2023-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5873633 | 2023-02-09 | Paper |
| PPTL specification mining based on LNFG | 2022-10-24 | Paper |
| Anti-periodic behavior for quaternion-valued delayed cellular neural networks | 2022-08-25 | 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 |
| A decision procedure and complete axiomatization for projection temporal logic | 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 |
| From Box Algebra to Interval Temporal Logic | 2019-10-31 | 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 |
| Deconvolution Estimation Problem for Measurement-Delay Systems with Packet Dropping | 2019-05-27 | Paper |
| Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping | 2019-03-21 | 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 |
| Extending MSVL with Semaphore | 2016-09-02 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3461297 | 2016-01-15 | Paper |
| Verification of distributed systems with the axiomatic system of MSVL | 2016-01-06 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5257807 | 2015-06-29 | 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 |
| Linear time-dependent constraints programming with MSVL | 2014-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5418261 | 2014-06-03 | Paper |
| Interval Temporal Logic Semantics of Box Algebra | 2014-03-31 | Paper |
| Secure communications with strange planet protocol | 2014-03-14 | Paper |
| A cylinder computation model for many-core parallel computing | 2014-01-10 | Paper |
| A complete proof system for propositional projection temporal logic | 2014-01-10 | Paper |
| An Extended Strange Planet Protocol | 2013-12-10 | Paper |
| A Transformation from p-π to MSVL | 2013-10-04 | 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 |
| ITL semantics of composite Petri nets | 2013-02-21 | Paper |
| An efficient approach for abstraction-refinement in model checking | 2012-11-27 | Paper |
| Complete Axiomatization for Projection Temporal Logic with Finite Time | 2012-01-27 | Paper |
| Making Abstraction-Refinement Efficient in Model Checking | 2011-08-17 | Paper |
| Public Communication Based on Russian Cards Protocol: A Case Study | 2011-08-12 | Paper |
| A Semantic Model for Many-Core Parallel Computing | 2011-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3017644 | 2011-07-19 | Paper |
| Expressiveness of propositional projection temporal logic with star | 2011-04-05 | Paper |
| A Transformation from PPTL to S1S | 2011-01-10 | Paper |
| Axiomatic semantics of projection temporal logic programs | 2010-12-01 | Paper |
| A note on stutter-invariant PLTL | 2010-08-20 | Paper |
| Unconditional secure communication: a Russian cards protocol | 2010-08-13 | Paper |
| Generalized Russian Cards Problem | 2009-07-07 | Paper |
| Complexity of propositional projection temporal logic with star | 2009-03-24 | Paper |
| Operational semantics of Framed Tempura | 2009-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3536951 | 2008-11-24 | Paper |
| Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions | 2008-05-27 | Paper |
| Symbolic Algorithm Analysis of Rectangular Hybrid Systems | 2008-05-27 | Paper |
| A decision procedure for propositional projection temporal logic with infinite models | 2008-04-03 | Paper |
| Operational Semantics of Framed Temporal Logic Programs | 2008-03-07 | Paper |
| Framed temporal logic programming | 2008-02-04 | Paper |
| Decidability of Propositional Projection Temporal Logic with Infinite Models | 2007-11-13 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702889 | 2001-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4521982 | 2000-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489633 | 2000-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484370 | 1990-01-01 | Paper |
