Biblio

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