|
 
|
Liste des publications
2018
- [BB18] H. Boucheneb, K. Barkaoui. "Delay-dependent partial order reduction technique for real time systems", Real-Time Systems , vol. 54(2), pp. 278-306, 2018, (doi:10.1007/s11241-017-9297-0)
- [BB18a] K. Barkaoui, H. Boucheneb. "On Persistency in Time Petri Nets", International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, August 2018, Vol. Volume 11022, pp.108-124, Series Lecture Notes in Computer Science, Beijing, China,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2015
-
[BB15c]
H. Boucheneb, K. Barkaoui.
"Stubborn Sets for Time Petri Nets.",
ACM Trans. Embedded Comput. Syst.,
vol. 14(1), pp. 11-25,
2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)
Revue Internationale avec comité de lecture
2014
- [BB14] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014
- [BBc14] H. Boucheneb, K. Barkaoui. "Delay-Dependent Partial Order Reduction Technique for Time Petri Nets", 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science , September 2014, Vol. 8711, pp. 53-68, Series Lecture Notes in Computer Science, (DOI: 10.1007/978-3-319-10512-3_5)
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2013
- [BB13] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps method", Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013
- [BBc13] H. Boucheneb, K. Barkaoui. "Reducing interleaving semantics redundancy in reachability analysis of time Petri nets", ACM Transactions in Embedded Computing Systems (TECS) , vol. 12(1), pp. 1-24, 2013
Revue Internationale avec comité de lecture
2011
- [BB11] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Vectors for Constructing Time Petri Net Reachability Graphs", Discrete Event Dynamic Systems: Theory and Applications, vol. 21(2 - 2011), pp. 171-204 , 2011
