Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata-Reference-Cited by-同舟云学术

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

Published:2022-11-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
language:
Short-container-title:

Author:

Arias Jaime¹,Bae Kyungmin²,Olarte Carlos¹,Ölveczky Peter Csaba³,Petrucci Laure¹,Rømming Fredrik³

Affiliation:

1. CNRS, France / LIPN, France / Université Sorbonne Paris Nord, France

2. Pohang University of Science and Technology, South Korea

3. University of Oslo, Norway

Funder

Centre National de la Recherche Scientifique

National Research Foundation of Korea

Publisher

ACM

Link

Reference54 articles.

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

2. Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18

3. Formal Verification of a Mechanical Ventilator using UPPAAL;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18

5. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29