共 50 条
- [41] Generalized abstract non-interference: Abstract secure information-flow analysis for automata COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 3685 : 221 - 234
- [44] Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists STATIC ANALYSIS, SAS 2013, 2013, 7935 : 172 - 193
- [45] Real-counter automata and their decision problems (extended abstract) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3328 : 198 - 210
- [46] Poster Abstract: Cyclic Network Automata For Indoor Sensor Network IPSN'12: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, 2012, : 85 - 86
- [49] Classifying Words with 3-sort Automata: an extended abstract 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 787 - 788