
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Lorenzo Ridi, Jacopo Torrini, Enrico Vicario, "Developing a Scheduler with DifferenceBound Matrices and the FloydWarshall Algorithm," IEEE Software, vol. 29, no. 1, pp. 7683, January/February, 2012.  
BibTex  x  
@article{ 10.1109/MS.2011.128, author = {Lorenzo Ridi and Jacopo Torrini and Enrico Vicario}, title = {Developing a Scheduler with DifferenceBound Matrices and the FloydWarshall Algorithm}, journal ={IEEE Software}, volume = {29}, number = {1}, issn = {07407459}, year = {2012}, pages = {7683}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2011.128}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  MGZN JO  IEEE Software TI  Developing a Scheduler with DifferenceBound Matrices and the FloydWarshall Algorithm IS  1 SN  07407459 SP76 EP83 EPD  7683 A1  Lorenzo Ridi, A1  Jacopo Torrini, A1  Enrico Vicario, PY  2012 KW  sequencing and scheduling KW  graph algorithms KW  FloydWarshall algorithm KW  differencebound matrix KW  model checking KW  software engineering VL  29 JA  IEEE Software ER   
1. R.K. Ahuja, T.L. Magnanti, and J.B. Orlin, Network Flows: Theory, Algorithms, and Applications, Prentice Hall, 1993.
2. D.L. Dill, "Timing Assumptions and Verification of FiniteState Concurrent Systems," Automatic Verification Methods for Finite State Systems, LNCS 407, Springer, 1990, pp. 197–212.
3. E. Vicario, "Static Analysis and Dynamic Steering of TimeDependent Systems," IEEE Trans. Software Eng., vol. 27, no. 8, 2001, pp. 728–748.
4. J. Bengtsson et al., "Uppaal—A Tool Suite for Automatic Verification of RealTime Systems," Hybrid Systems III, LNCS 1066, Springer, 1996, pp. 232–243.
5. C. Kloukinas and S. Yovine, "Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous RealTime Systems," Proc. 15th Euromicro Conf. RealTime Systems (ECRTS 03), IEEE CS Press, 2003, pp. 287–294.
6. G. Gardey et al., "Romeo: A Tool for Analyzing Time Petri Nets," Computer Aided Verification, LNCS 3576, Springer, 2005, pp. 261–272.
7. B. Berthomieu, P.O. Ribet, and F. Vernadat, "The Tool TINA—Construction of Abstract State Spaces for Petri Nets and Time Petri Nets," Int'l J. Production Research, vol. 42, no. 14, 2004, pp. 2741–2756.
8. G. Bucci et al., "Oris: A Tool for Modeling, Verification and Evaluation of RealTime Systems," Int'l J. Software Tools for Technology Transfer, vol. 12, no. 5, 2010, pp. 391–403.
9. A. Fehnker, "Scheduling a Steel Plant with Timed Automata," Proc. 6th Int'l Conf. RealTime Computing Systems and Applications (RTCSA 99), IEEE CS Press, 1999, pp. 280–286.
10. K. Larsen, "ResourceEfficient Scheduling for Real Time Systems," Embedded Software, LNCS 2855, Springer, 2003, pp. 16–19.
11. I. Al Attili et al., "Adaptive Scheduling of Data Paths Using Uppaal Tiga," Proc. 1st Workshop Quantitative Formal Methods: Theory and Applications (QFM 09), Electronic Proceedings in Theoretical Computer Science, 2009, pp. 1–11.
12. I. Calvino, Invisible Cities, Harcourt Brace Jovanovich, 1978.