Uppaal Stratego-Reference-Cited by-同舟云学术

Uppaal Stratego

Published:2015 Issue: Volume: Page:206-211
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

David Alexandre,Jensen Peter Gjøl,Larsen Kim Guldstrand,Mikučionis Marius,Taankvist Jakob Haahr

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_16

Reference15 articles.

1. Lecture Notes in Computer Science;E. Asarin,1995

2. Lecture Notes in Computer Science;G. Behrmann,2007

3. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006, IEEE Computer Society, Washington, DC (2006)

4. Bulychev, P.E., David, A., Larsen, K.G., Mikučionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia. EPTCS, vol. 85 (March 2012)

5. Lecture Notes in Computer Science;F. Cassez,2005

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

1. Controlling stormwater detention ponds under partial observability;Journal of Logical and Algebraic Methods in Programming;2024-10

2. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems;Lecture Notes in Computer Science;2024-09-13

3. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

4. Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games;Software and Systems Modeling;2024-08-05

5. Optimal control strategies for stormwater detention ponds;Nonlinear Analysis: Hybrid Systems;2024-08