共 50 条
- [1] Specification and analysis of automata-based designs INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 176 - 193
- [2] MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration 2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 14 - 15
- [3] Pattern Classification with Rejection Using Cellular Automata-Based Filtering COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), 2017, 10244 : 3 - 14
- [4] Efficient Online Timed Pattern Matching by Automata-Based Skipping FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 224 - 243
- [6] Online Parametric Timed Pattern Matching with Automata-Based Skipping NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 371 - 389
- [8] AUTOMATA-BASED APPROACH FOR KERNEL TRACE ANALYSIS 2009 IEEE 22ND CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1 AND 2, 2009, : 219 - 222
- [9] Automata-based analysis of recursive cryptographic protocols STACS 2004, PROCEEDINGS, 2004, 2996 : 382 - 393
- [10] Research on Code Pattern Automata-based Code Error Pattern Automatic Detection Technique PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 754 - 760