Biblio

Export 3 results:
Author [ Title(Asc)] Type Year
Filters: Author is Madalinski, Agnes  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
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.
F
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.
D
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.