Synthesis and stochastic assessment of cost-optimal schedules-Reference-Cited by-同舟云学术

Synthesis and stochastic assessment of cost-optimal schedules

Published:2009-11-16 Issue:5 Volume:12 Page:305-318
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Mader Angelika,Bohnenkamp Henrik,Usenko Yaroslav S.,Jansen David N.,Hurink Johann,Hermanns Holger

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-009-0129-y.pdf

Reference36 articles.

1. Abdeddaïm Y., Asarin E., Maler O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)

2. Abdeddaïm Y., Maler O.: Job-shop scheduling using timed automata. In: Berry, G., Comon, H., Finkel, A. (eds) Computer Aided Verification. LNCS, vol. 2102, pp. 478–492. Springer, Berlin (2001)

3. Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

4. Alur R., Torre S., Pappas G.J.: Optimal paths in weighted timed automata. In: Di Benedetto , M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control 2001. LNCS, vol. 2034, Springer, Berlin (2001)

5. AMETIST, IST project ist-2001-35304. http://ametist.cs.utwente.nl/

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

1. Battery-aware scheduling in low orbit: the GomX–3 case;Formal Aspects of Computing;2019-04

2. A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector;From Software Engineering to Formal Methods and Tools, and Back;2019

3. Mastering operational limitations of LEO satellites – The GomX-3 approach;Acta Astronautica;2018-10

4. On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems;Green IT Engineering: Social, Business and Industrial Applications;2018-09-30

5. From Lotosphere to Thermosphere;ModelEd, TestEd, TrustEd;2017