JANI: Quantitative Model and Tool Interaction-Reference-Cited by-同舟云学术

JANI: Quantitative Model and Tool Interaction

Published:2017 Issue: Volume: Page:151-168
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Budde Carlos E.,Dehnert Christian,Hahn Ernst Moritz,Hartmanns Arnd,Junges Sebastian,Turrini Andrea

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54580-5_9

Reference57 articles.

1. Agut, D.E.N., van Beek, D.A., Rooda, J.E.: Syntax and semantics of the compositional interchange format for hybrid systems. J. Log. Algebr. Program. 82(1), 1–52 (2013)

2. Alur, R., Henzinger, T.A.: Reactive modules. FMSD 15(1), 7–48 (1999)

3. Lecture Notes in Computer Science;EG Amparore,2014

4. Lecture Notes in Computer Science;T Babiak,2015

5. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015). www.smt-lib.org

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

1. Parameter synthesis for Markov models: covering the parameter space;Formal Methods in System Design;2024-02-17

2. RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024

3. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains;Lecture Notes in Computer Science;2024

4. QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification;Lecture Notes in Computer Science;2024

5. Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations;ACM Transactions on Embedded Computing Systems;2023-07-26