| Publication | Date of Publication | Type |
|---|
Switching controller synthesis for delay hybrid systems under perturbations
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Synthesizing SystemC Code from Delay Hybrid CSP
Programming Languages and Systems | 2022-12-09 | Paper |
Switching controller synthesis for time-delayed hybrid systems
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
| Abstraction-based incremental inductive coverability for Petri nets | 2022-03-21 | Paper |
Approximate bisimulation and discretization of hybrid CSP
(available as arXiv preprint) | 2020-01-03 | Paper |
Difference bound constraint abstraction for timed automata reachability checking
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
Trace abstraction refinement for timed automata
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Using transition set sequences to partition behaviors of Petri nets
Acta Informatica | 2012-03-23 | Paper |
| Inverse constrained minimum spanning tree problem under Hamming distance | 2011-10-05 | Paper |
| Property-preserving Petri net process algebra in software engineering | 2011-06-23 | Paper |
| Inverse cost limit of constrained minimum spanning tree problem under Hamming distance | 2010-11-05 | Paper |
Canonical transition set semantics for Petri nets
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
A note on regular Petri nets
Information Processing Letters | 2010-06-09 | Paper |
A precongruence format for should testing preorder
The Journal of Logic and Algebraic Programming | 2010-05-27 | Paper |
Refining and verifying regular Petri nets
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2008-03-18 | Paper |
| scientific article; zbMATH DE number 5140768 (Why is no real title available?) | 2007-04-05 | Paper |
| Petri net refinement and its application in system design | 2006-05-19 | Paper |
| Some time estimates of Lévy process on \(p\)-adics | 2006-01-26 | Paper |
| scientific article; zbMATH DE number 2247706 (Why is no real title available?) | 2006-01-16 | Paper |
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2088663 (Why is no real title available?) | 2004-08-12 | Paper |
Notes on liveness and boundedness of extended strong asymmetric choice nets. II
Journal of Computer Science and Technology | 2002-04-03 | Paper |
