Kais Klai

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
A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets Asian Journal of Control	2024-07-09	Paper
Symbolic observation graph-based generation of test paths	2023-12-12	Paper
A novel approach for supervisor synthesis to enforce opacity of discrete event systems	2022-06-08	Paper
Timed aggregate graph: a finite graph preserving event- and state-based quantitative properties of time Petri nets Transactions on Petri Nets and Other Models of Concurrency X	2017-06-20	Paper
Verification of reachability properties for time Petri nets Lecture Notes in Computer Science	2014-07-07	Paper
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking Automated Technology for Verification and Analysis	2011-10-07	Paper
An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets Lecture Notes in Computer Science	2009-03-10	Paper
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs Applications and Theory of Petri Nets	2008-07-03	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Applications and Theory of Petri Nets 2005 Lecture Notes in Computer Science	2005-12-14	Paper

Research outcomes over time

This page was built for person: Kais Klai