U-Check: Model Checking and Parameter Synthesis Under Uncertainty-Reference-Cited by-同舟云学术

U-Check: Model Checking and Parameter Synthesis Under Uncertainty

Published:2015 Issue: Volume: Page:89-104
ISSN:0302-9743
Container-title:Quantitative Evaluation of Systems
language:
Short-container-title:

Author:

Bortolussi Luca,Milios Dimitrios,Sanguinetti Guido

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22264-6_6

Reference22 articles.

1. Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP J. Bioinform. Syst. Biol. 2012(1), 1–14 (2012)

2. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: On the robustness of temporal properties for stochastic models. Proc. of HSB 125, 3–19 (2013)

3. Lecture Notes in Computer Science;E Bartocci,2014

4. Lecture Notes in Computer Science;E Bartocci,2011

5. Bortolussi, L., Galpin, V., Hillston, J.: Hybrid performance modelling of opportunistic networks. EPTCS 85, 106–121 (2012)

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

1. MoonLight: a lightweight tool for monitoring spatio-temporal properties;International Journal on Software Tools for Technology Transfer;2023-06-22

2. Understanding Social Feedback in Biological Collectives with Smoothed Model Checking;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

3. Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization;Journal of Systems and Software;2021-04

4. Tools for time-course simulation in systems biology: a brief overview;Briefings in Bioinformatics;2021-01-11

5. DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications;Lecture Notes in Computer Science;2021