S. R. Buss, C. Papadimitriou, and J. Tsitsiklis, On the predictability of coupled automata: an allegory about chaos, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science, pp.525-539, 1991.
DOI : 10.1109/FSCS.1990.89601

X. Cao, The predictability of discrete event systems, IEEE Transactions on Automatic Control, vol.34, issue.11, pp.1168-1171, 1989.
DOI : 10.1109/9.40745

C. Chase and P. J. Ramadge, Predictability of a class of supervised one-dimensional systems, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990, 1990.
DOI : 10.1109/ISIC.1990.128529

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979.
DOI : 10.1145/567752.567778

S. K. Das, F. Sarkar, K. Basu, and S. Madhavapeddy, Parallel discrete event simulation in star networks with application to telecommunications, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp.66-71, 1995.
DOI : 10.1109/MASCOT.1995.378708

P. Declerck, Predictability and control synthesis in time deviant graphs, Workshop on Discrete- Event Systems, 1998.

H. K. Fadel and L. E. Holloway, Using SPC and template monitoring method for fault detection and prediction in discrete event manufacturing systems, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014), pp.150-155, 1999.
DOI : 10.1109/ISIC.1999.796646

P. H. Feiler, B. Lewis, and S. Vestal, Improving predictability in embedded real-time systems, 2000.

S. Genc and S. Lafortune, Diagnosis of Patterns in Partially-Observed Discrete-Event Systems, Proceedings of the 45th IEEE Conference on Decision and Control, 2006.
DOI : 10.1109/CDC.2006.377450

S. Genc and S. Lafortune, PREDICTABILITY IN DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION 1, IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2006.
DOI : 10.3182/20060829-4-CN-2909.00243

Q. He, M. Ammar, G. Riley, and R. Fujimoto, Exploiting the predictability of TCP's steady-state behavior to speed up network simulation, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pp.101-108, 2002.
DOI : 10.1109/MASCOT.2002.1167066

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001.

S. Jiang and R. Kumar, Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
DOI : 10.1109/TAC.2004.829616

T. Jéron, H. Marchand, S. Pinchinat, and M. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678440

T. Jéron, H. Marchand, and V. Rusu, Symbolic Determinisation of Extended Automata, 4th IFIP International Conference on Theoretical Computer Science, IFIP book series, 2006.
DOI : 10.1007/978-0-387-34735-6_18

S. T. King and P. M. Chen, Backtracking intrusions, ACM Transactions on Computer Systems, vol.23, issue.1, pp.51-76, 2005.
DOI : 10.1145/1047915.1047918

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.9499

S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, Failure diagnosis of dynamic systems: an approach based on discrete event systems, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), pp.2058-2071, 2001.
DOI : 10.1109/ACC.2001.946047

M. Musolesi and C. Mascolo, Evaluating Context Information Predictability for Autonomic Communication, 2006 International Symposium on a World of Wireless, Mobile and Multimedia Networks(WoWMoM'06), 2006.
DOI : 10.1109/WOWMOM.2006.41

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.2240

L. Ricker, S. Lafortune, and S. Genc, DESUMA: A Tool Integrating GIDDES and UMDES, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.382402

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Trans. on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.