Biblio

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is Madalinski, Agnes  [Clear All Filters]
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.
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.
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.