Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
A New Product Construction for the Diagnosability of Patterns in Time Petri Net.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
A State Class Construction for Computing the Intersection of Time Petri Nets Languages.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019