Learning Register Automata with Fresh Value Generation-Reference-Cited by-同舟云学术

Learning Register Automata with Fresh Value Generation

Published:2015 Issue: Volume: Page:165-183
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing - ICTAC 2015
language:
Short-container-title:

Author:

Aarts Fides,Fiterau-Brostean Paul,Kuppens Harco,Vaandrager Frits

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-25150-9_11

Reference27 articles.

1. Aarts, F.: Tomte: bridging the gap between active learning and real-world systems. Ph.D. thesis, Radboud University Nijmegen, October 2014

2. Lecture Notes in Computer Science;F Aarts,2012

3. Lecture Notes in Computer Science;F Aarts,2014

4. Aarts, F., Jonsson, B., Uijen, J., Vaandrager, F.W.: Generating models of infinite-state communication protocols using regular inference with abstraction. FMSD 46(1), 1–41 (2015)

5. Aarts, F., de Ruiter, J., Poll, E.: Formal models of bank cards for free. In: Software Testing Verification and Validation Workshop, pp. 461–468. IEEE (2013)

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02

2. MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. Scalable Tree-based Register Automata Learning;Lecture Notes in Computer Science;2024

4. On-the-fly bisimulation equivalence checking for fresh-register automata;Journal of Systems Architecture;2023-12

5. Fast computations on ordered nominal sets;Theoretical Computer Science;2022-10