Towards a formal digital twin of the PTP protocol using automata learning
Open Access
- 6 June 2026
- journal article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 151
Abstract
No abstract availableFunding Information
- HORIZON EUROPE Framework Programme (101214553)
- Universidad de Málaga
- SNS Nordic Forest Research (101096328)
This publication has 12 references indexed in Scilit:
- Benchmarking Combinations of Learning and Testing Algorithms for Automata LearningFormal Aspects of Computing, 2024
- A Petri net model for Time‐Delay Attack detection in Precision Time Protocol‐based networksIET Cyber-Physical Systems: Theory & Applications, 2024
- Fingerprinting and analysis of Bluetooth devices with automata learningFormal Methods in System Design, 2022
- Enable learning of Hybrid Timed Automata in Absence of Discrete Events through Self-Organizing Maps2018
- MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following BehaviorsIEEE Transactions on Intelligent Transportation Systems, 2018
- A Security Analysis and Revised Security Extension for the Precision Time ProtocolIEEE Transactions on Dependable and Secure Computing, 2017
- Uppaal SMC tutorialInternational Journal on Software Tools for Technology Transfer, 2015
- A Tutorial on Uppaal2004
- The benefits of relaxing punctualityJournal of the ACM, 1996
- On the Synthesis of Finite-State Machines from Samples of Their BehaviorIEEE Transactions on Computers, 1972