Skip to main content.

This page’s menu:

Publications

This page lists UPPAAL CORA related publications. For other publications about UPPAAL, please visit the UPPAAL home page.

2005

Behrmann, Gerd ; Larsen, Kim Guldstrand ; Rasmussen, Jacob Illum: "Optimal scheduling using priced timed automata", in SIGMETRICS Performance Evaluation Review.

Behrmann, Gerd ; Larsen, Kim Guldstrand ; Rasmussen, Jacob Illum: "Priced Timed Automata : Decidability Results, Algorithms and Applications", in Revised Lectures of the Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands.

Behrmann, Gerd ; Brinksma, Ed ; Hendriks, Martijn ; Mader, Angelika: "Production Scheduling by Reachability Analysis : A Case Study", in IPDPS 2005. IEEE Computer Society, 2005. Konferencen: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), nr. 19, Denver, USA.

Behrmann, Gerd ; Brinksma, Ed ; Hendriks, Martijn ; Mader, Angelika: "Scheduling lacquer production by reachability analysis : A case study", in IFAC World Congress. Elsevier Science Publishers, 2005. Konferencen: IFAC World Congress, nr. 16, Prague.

2004

Gerd Behrmann, Patricia Bouyer, Kim G. Larsen and Radek Pelánek: "Lower and Upper Bounds in Zone Based Abstractions of Timed Automata", In proc. of TACAS 2004, pp. 312-326, LNCS 2988. Full version accepted for publication in Int. Journal on Software Tools for Technology Transfer.

J. I. Rasmussen, K. G. Larsen, K. Subramani: "Resource-Optimal Scheduling Using Priced Timed Automata", In proc. of TACAS'04, pp. 220-235.

2003

Gerd Behrmann: "Data Structures and Algorithms for the Analysis of Real Time Systems". PhD Thesis, Aalborg University, November 2003. PDF.

2002

Ansgar Fehnker: "Citius, Vilius, Melius - Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems", PhD thesis, KUNijmegen, 2002.

2001

Kim Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas S. Hune, Paul Pettersson and Judi Romijn: "As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata". In Proceedings of CAV 2001.

Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Larsen, Paul Pettersson, Judi Romijn and Frits Vaandrager: "Minimum-Cost Reachability for Linearly Priced Timed Automata". In Proceedings of HSCC'2001.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn: "Efficient Guiding Towards Cost-Optimality in UPPAAL". In Proceedings of TACAS 2001.

Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Larsen, Paul Pettersson and Judi Romijn: "Guiding and Cost-Optimality in Uppaal". AAAI Spring Symposium Model-Based Validation of Intelligence, 2001.

2000

Ansgar Fehnker. Bounding and Heuristics in forward reachability algorithms.Computing Science Institute Nijmegen, Tech. rep. CSI-R0002, 2000. (ps)

1999

Ansgar Fehnker: "Scheduling a Steel Plant with Timed Automata". RTCSA'99, IEEE Computer Society Press, 1999. (ps)