Advanced Methods for Timed Systems AMETIST

[1]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[2]  Sergio Yovine,et al.  Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode , 2000, HSCC.

[3]  Kim G. Larsen,et al.  As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata , 2001, CAV.

[4]  Oded Maler,et al.  Job-Shop Scheduling Using Timed Automata , 2001, CAV.

[5]  Kim G. Larsen,et al.  Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.

[6]  George J. Pappas,et al.  Optimal Paths in Weighted Timed Automata , 2001, HSCC.

[7]  Ansgar Fehnker,et al.  Scheduling a steel plant with timed automata , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[8]  Ansgar Fehnker,et al.  Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems , 2002 .

[9]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.