Biblio

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Author is Madalinski, Agnes  [Clear All Filters]
2010
A. Madalinski, Nouioua, F., and Dague, P., “Diagnosability verication with Petri net unfoldings”, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.
2016
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., “Fault Manifestability Verification for Discrete Event Systems”, in {22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
2018
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., “How to be Sure a Faulty System Does not Always Appear Healthy?”, in VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.