An early draft of user-manual (comments are welcome).

Talks and Presentations

This section lists Uppaal TRON related talks and presentations.

1. UPPAAL TRON: Testing Real-time systems ONline. Marius Mikucionis. MoDES project meeting. Sønderborg, Denmark. March 13, 2007. [pdf]
2. Online Testing of Real-time Systems. Marius Mikucionis. Basic Research in Computer Science Seminar Series. Aalborg, Denmark. October 13, 2004. [pdf]
3. T-UPPAAL: Real-Time Online Testing Tool. Marius Mikucionis, Kim G. Larsen, Brian Nielsen. Presentation for Systematic Testing of Realtime Embedded Software Systems (STRESS) project, Twente University, The Netherlands. February, 2004. [pdf]

Publications

This section lists Uppaal TRON related publications. The list is available in bibtex format. Please visit the Uppaal home page for more publications about Uppaal.

1. Testing Real-Time Systems Using UPPAAL. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson and Arne Skou. Formal Methods and Testing. Springer Berlin / Heidelberg. April 13, 2008. [bib, pdf]
2. Testing Real-time Embedded Software using UPPAAL-TRON - An Industrial Case Study. Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou. The 5th ACM International Conference on Embedded Software. Jersey City, NJ, USA. September 18-22, 2005. [bib, pdf, models]
3. T-UPPAAL: Online Model-based Testing of Real-time Systems, tool demo. Marius Mikucionis, Kim G. Larsen, Brian Nielsen. 19th IEEE International Conference on Automated Software Engineering, 396-397. Linz, Austria. September 24, 2004. [bib, pdf]
4. Online Testing of Real-time Systems using Uppaal: Status and Future Work. Kim G. Larsen, Marius Mikucionis, Brian Nielsen. Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Testing. Schloss Dagstuhl, Wadern, Germany. September 5-10, 2004. [bib, pdf]
5. Online Testing of Real-time Systems Using UPPAAL. Kim G. Larsen, Marius Mikucionis, Brian Nielsen. Formal Approaches to Testing of Software. Linz, Austria. September 21, 2004. [bib, pdf]
6. Online On-the-Fly Testing of Real-time Systems. Marius Mikucionis, Kim G. Larsen, Brian Nielsen. Basic Research In Computer Science Report Series. Aalborg, Denmark. December, 2003. ISSN 0909-0878. [bib] [abstract] [pdf]
7. Real-time System Testing On-the-fly. Marius Mikucionis, Brian Nielsen, Kim G. Larsen. The 15th Nordic Workshop on Programming Theory. Turku, Finland. October 29-31, 2003. [bib] [pdf]
8. On-the-fly Testing Using Uppaal. Marius Mikucionis, Egle Sasnauskaite. Master thesis, Department of Computer Science, Aalborg University. June 11, 2003. [bib, pdf]