Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction-Reference-Cited by-同舟云学术

Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction

Published:2017-08-31 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
language:
Short-container-title:

Author:

Iqbal Junaid¹,Truscan Dragos¹,Vain Jüri²,Porres Ivan¹

Affiliation:

1. Åbo Akademi University, Turku, Finland

2. Tallinn University of Technology, Tallinn, Estonia

Funder

ECSEL JU MegaM@Rt2 project

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3123779.3123813

Reference28 articles.

1. Gerd Behrmann Agnès Cougnard Alexandre David Emmanuel Fleury Kim G. Larsen and Didier Lime. 2007. UPPAAL-Tiga: Time for Playing Games! Springer Berlin Heidelberg Berlin Heidelberg 121--125. Gerd Behrmann Agnès Cougnard Alexandre David Emmanuel Fleury Kim G. Larsen and Didier Lime. 2007. UPPAAL-Tiga: Time for Playing Games! Springer Berlin Heidelberg Berlin Heidelberg 121--125.

2. Gerd Behrmann Alexandre David and Kim G. Larsen. 2004. A Tutorial on Uppaal. Springer Berlin Heidelberg Berlin Heidelberg 200--236. Gerd Behrmann Alexandre David and Kim G. Larsen. 2004. A Tutorial on Uppaal. Springer Berlin Heidelberg Berlin Heidelberg 200--236.

3. Axel Belinfante Jan Feenstra René G. de Vries Jan Tretmans Nicolae Goga Loe Feijs Sjouke Mauw and Lex Heerink. 1999. Formal Test Automation: A Simple Experiment. Springer US Boston MA 179--196. Axel Belinfante Jan Feenstra René G. de Vries Jan Tretmans Nicolae Goga Loe Feijs Sjouke Mauw and Lex Heerink. 1999. Formal Test Automation: A Simple Experiment. Springer US Boston MA 179--196.

4. Johan Bengtsson. 2002. Clocks DBMs and States in Timed Systems. Ph.D. Dissertation. Dept. of Information Technology Uppsala University. Johan Bengtsson. 2002. Clocks DBMs and States in Timed Systems. Ph.D. Dissertation. Dept. of Information Technology Uppsala University.

5. Johan Bengtsson Kim Larsen Fredrik Larsson Paul Pettersson and Wang Yi. 1996. Hybrid Systems III: Verification and Control. Springer Berlin Heidelberg Berlin Heidelberg Chapter UPPAAL --- a tool suite for automatic verification of real-time systems 232--243. Johan Bengtsson Kim Larsen Fredrik Larsson Paul Pettersson and Wang Yi. 1996. Hybrid Systems III: Verification and Control. Springer Berlin Heidelberg Berlin Heidelberg Chapter UPPAAL --- a tool suite for automatic verification of real-time systems 232--243.

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

1. MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges;Software Technology: Methods and Tools;2019