Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Open Access
- 31 March 2025
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1998-2006
Abstract
No abstract availableFunding Information
- Agence Nationale de la Recherche (ProMiS (ANR-19-CE25-0015), BisoUS (ANR-22-CE48-0012))
This publication has 28 references indexed in Scilit:
- The Bright Side of Timed Opacity2024
- The Opacity of Timed Automata2024
- Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architectureInternational Journal on Software Tools for Technology Transfer, 2022
- Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checkingInternational Journal on Software Tools for Technology Transfer, 2018
- Static Timing Analysis for Hard Real-Time SystemsLecture Notes in Computer Science, 2010
- The Dark Side of Timed Opacity2009
- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches2009
- Opacity generalised to transition systemsInternational Journal of Information Security, 2008
- PN Standardisation: A Survey2006
- A theory of timed automataTheoretical Computer Science, 1994