1.On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

Habbachi, S, Ben Haf     More...

Habbachi, S, Ben Hafaiedh, I, Li, ZW, Krichen, M     Less

VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2023[0302-9743], Published 2024, Volume 14368, Pages 45-59

收錄情况： WOS SCOPUS

WOS核心合集引用: 0 

2.Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms

Habbachi, Salwa, Li,     More...

Habbachi, Salwa, Li, Zhiwu, Khalgui, Mohamed     Less

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[0302-9743], Published 2020, Volume 12519 LNCS, Pages 116-130

收錄情况： WOS SCOPUS

WOS核心合集引用: 0 

3.Towards Efficient Partial Order Techniques for Time Petri Nets

Wang, Kuangze, Li, Z     More...

Wang, Kuangze, Li, Zhiwu, Boucheneb, Hanifa, Barkaoui, Kamel     Less

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[0302-9743], Published 2020, Volume 12519 LNCS, Pages 100-115

收錄情况： WOS SCOPUS

WOS核心合集引用: 1 

4.Exploiting local persistency for reduced state space generation

Barkaoui K., Bouchen     More...

Barkaoui K., Boucheneb H., Li Z.     Less

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[0302-9743], Published 2018, Volume 11181 LNCS, Pages 166-181

收錄情况： WOS SCOPUS

WOS核心合集引用: 2 

5.Mining of flexible manufacturing system using work event logs and Petri nets

Hu, HS, Li, ZW, Wang     More...

Hu, HS, Li, ZW, Wang, AR     Less

ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS[0302-9743], Published 2006, Volume 4093, Pages 380-387

收錄情况： WOS SCOPUS

WOS核心合集引用: 1