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
The predictability of discrete event systems, IEEE Transactions on Automatic Control, vol.34, issue.11, pp.1168-1171, 1989. ,
DOI : 10.1109/9.40745
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
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
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
Predictability and control synthesis in time deviant graphs, Workshop on Discrete- Event Systems, 1998. ,
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
Improving predictability in embedded real-time systems, 2000. ,
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
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
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
A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001. ,
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
Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.1678440
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
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
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
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
DESUMA: A Tool Integrating GIDDES and UMDES, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.382402
Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Trans. on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,